Глава
                        1
                          Глава
                        2
                          Глава
                        3
                          Глава
                        4
                          Глава
                        5
                          Глава
                        6
                          Глава
                        7
                          Глава
                        8
                          Глава
                        9
                          Глава
                        10
                          Глава
                        11
                          Глава
                        12
                          Глава
                        13  navigation  

Глава 14. Броузер/редактор (ocamlbrowser)

В этой главе описывается OCamlBrowser, броузер исходных текстов и компилированных интрефейсов, написанный на LablTk. Он полезен для программиста.

Функции OCamlBrowser таковы:

14.1 Запуск

Броузер запускается командой ocamlbrowser:

ocamlbrowser options

Он распознает следующие параметры командной строки:

-I directory

Добавляет указанный каталог к списку поиска компилированных файлов. По умолчанию используется только каталог стандратной библиотеки, но он может быть также изменен переменной среды OCAMLLIB.

-nolabels

Игнорировать неопциональные метки в типах. В этом случае метки не могут использоваться в приложениях, и порядок аргументов становится строгим.

-oldui

Старый многооконный интерфейс. По умолчанию используется более близкий к броузеру классов Smalltalk.

-rectypes

Разрешает во время проверки типа произвольные рекурсивные типы. По умолчанию поддерживаются только рекурсивные типы с рекурсией по типу объекта.

-w warning-list

Включает или выключает предупреждения согласно аргументу warning-list.

Большинство параметров также изменяется внутри приложения командами Modules - Path editor и Compiler - Preferences. Они наследуются при запускe интерактивной оболочки.

14.2 Просмотр

Это первое окно, выводимое при запуске OCamlBrowser. В нем находится поле поиска и список модулей из пути загрузки. В верхней части окна расположена строка меню:

14.3 Просмотр модулей

Модуль выбирается в крайнем слева списке либо щелчком на нем, либо нажатием клавиши Enter при выбранном модулей. В любом поле можно быстро получить доступ к любому элементу, набрав первые несколько букв нужного имени. Двойной щелчок или два нажатия на Enter приводит к выводу полной сигнатуры модуля.

Идентификаторы, определенные в модуле, отображаются слева от первого списка. Если щелкнуть на идентификатору, то, в случае субмодуля, его содержание будет отображено в следующем списке, а в противном случае в поле под списками появится его сигнатура.

Сигнатуры также можно выбирать. Двойной щелчок левой кнопкой мыши на идентификаторе внутри сигнатуры дает сигнатруру идентификатора. Щелчок правой кнопой мыши выводит меню, отображающее декларацию типа идентификатора. Ее заговолок, если он доступен для выбора, опять-таки позволяет перейти к сигнатуре.

В нижней части окна в зависимости от контекста находятся различные кнопки:

Комбинация Control-S позволяет искать строку в сигнатуре.

14.4 Редактор

Если вы не привыкли к Emacs, можно редактировать файлы в OCamlBrowser. Если же привыкли, используйте OCamlBrowser как броузер, от случая к случаю внося в тексты небольщие изменения.

Меню Edit включает команды для перехода (C-g), поиска (C-s) и передачи текущей фразы интрепретатору (M-x). Что касается последнего, то его можно выбрать в диалоговом окне.

Главные функции находятся в меню Compiler.

14.5 Интерпретатор

При вызове интерпретатора появляется диалог, позволяющий задать команду для запуска и заголовок интерпретатора (чтобы удобнее было выбирать сеанс в редакторе).

Интерпретор получает текущие пути библиотек.

Примечания

Примечание 1

Во избежание слишком большого количества вариантов необязательные аргументы типа игнорируются, во-первых, когда их слишком много, и, во-вторых, когда они явно не указаны в образце.