Это не контроль или ошибка. Предупреждение отражает реальную базовую проблему - нет никакого способа, которым компилятор Java может действительно быть уверен, что быть в спящем режиме класс собирается сделать, это - задание правильно и что список, который это возвращает, будет только содержать Кошек. Любое из предложений здесь прекрасно.
Эта функция просто отсутствует в noweb, или мне не хватает шага в компиляция?
Ни то, ни другое: noweb
использует гораздо более тонкие маркеры, чем вы привыкли видеть из CWEB. В случае с примером Википедии третий фрагмент (1c) появляется в фрагментах 1a и 1b. Эта информация сжимается в одну единицу, которая появляется в скобках справа от определения.
Чтобы получить длинные перекрестные ссылки в стиле CWEB, используйте
\noweboptions{longxref}
Вы должны получить для этого примера WP ссылку на раздел лицензии из каждого из двух фрагментов в разделе Hello World. Вы не получите никаких списков фрагментов или идентификаторов в конце, если не сообщите о них latex.
Чтобы получить список веб-фрагментов, попробуйте поместить \ nowebchunks
в конце документа (т. Е. , после появления последнего фрагмента), и добавив переключатель -x
к вызову noweb.
Чтобы получить список идентификаторов, попробуйте поместить \ nowebindex
в аналогичное место.