camlp5r.opt - Інтернет у хмарі

ПРОГРАМА:

ІМ'Я

camlp5 - Pre-Precessor-Pretty-Printer для ocaml
mkcamlp5 - Створення власного camlp5
mkcamlp5.opt - Створення власного camlp5 (власний код)
ocpp5 - Універсальний препроцесор

СИНТАКСИС

camplp5 [ параметри завантаження ] [--] [ інші параметри ]
camplp5o [ параметри завантаження ] [--] [ інші параметри ]
camplp5r [ параметри завантаження ] [--] [ інші параметри ]
camplp5sch [ параметри завантаження ] [--] [ інші параметри ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 файл [ параметри завантаження ].

camplp5o.opt [--] [ інші параметри ]
camlp5r.opt [--] [ інші параметри ]

ОПИС

camplp5 є Pre-Processor-Pretty-Printer для OCaml, аналізує вихідний файл і друкує
деякий результат на стандартному виводі.

camplp5o, camplp5r та camplp5sch є версіями camplp5 з деякими файлами, які вже завантажені (див
далі).

camplp5o.cma, camlp5r.cma та camlp5sch.cma це файли, які потрібно завантажити на верхній рівень ocaml для використання
машину camplp5

mkcamlp5 та mkcamlp5.opt створює виконувані файли camlp5 з майже такими ж параметрами, як
ocamlmktop. Дивіться далі.

ocpp5 є універсальним препроцесором, який обробляє будь-які вихідні файли, генеруючи те саме
текст з можливими цитатами розгорнутий.

camplp5o.opt та camlp5r.opt це версії camlp5o та camlp5r, зібрані рідною
компілятор коду ocamlopt. Вони швидші, але не розширювані. І вони недоступні в
всі інсталяції camlp5.

НАДАННЯ ВАРІАНТИ

Параметри завантаження вибирають дії аналізу та друку, записані в об’єктних файлах OCaml
(закінчується на .cmo або .cma). Дозволено кілька використання цих параметрів. Вони повинні
передувати іншим варіантам.

Необов’язковий -- може завершити параметри завантаження.

-I каталог
додавати каталог у шляху пошуку завантажених файлів. Якщо не є параметр -nolib
використовується, каталог бібліотеки camlp5 додається до шляху. Попередження: немає
автоматичний пошук у поточному каталозі: додайте "-I ." для цього.

-де Надрукуйте ім'я каталогу бібліотеки camlp5 і вийдіть.

-ноліб Немає автоматичного пошуку файлів об’єктів у каталозі бібліотеки camlp5.

об'єктний файл
Файл завантажується в ядро ​​camlp5.

ІНШІ ВАРІАНТИ

Інші варіанти:

файл Лікувати файл як файл інтерфейсу, якщо він закінчується на .mli, і як файл реалізації
якщо закінчується на .ml.

-intf файл
Лікувати файл як файл інтерфейсу, незалежно від його розширення.

-імппл файл
Лікувати файл як файл реалізації, незалежно від його розширення.

- небезпечно
Створення небезпечного доступу до масивів і рядків.

-но стверджувати
Не компілюйте перевірки підтверджень.

-вербозний
Більш докладні помилки аналізу.

-QD файл
Вкидайте файл у разі синтаксичної помилки в результаті розширення цитати.

-o поза файлом
Роздрукуйте результат у вихідному файлі замість стандартного виводу. Файл відкривається за допомогою
open_out_bin (див. бібліотеку OCaml Pervasives).

-v Надрукуйте номер версії та вийдіть.

-допомога Роздрукуйте доступні параметри та вийдіть. Цей друк містить можливі варіанти
додано завантаженими об’єктними файлами.

Інші параметри можна розширити за допомогою завантажених об’єктних файлів. Надані файли додають
наступні варіанти:

-l довжина лінії
Додано pr_o.cmo та pr_r.cmo: встановити довжину рядка (за замовчуванням 78).

- вер рядок
Додано pr_o.cmo та pr_r.cmo: друкуйте цей рядок між фразами замість
коментарів.

-ні_сс Додано pr_o.cmo: не друкуйте подвійні крапки з комою

-D ідент
Додано pa_macro.cmo: визначте ідентифікатор.

-U ідент
Додано pa_macro.cmo: скасувати визначення ідентифікатора.

НАДАННЯ ФАЙЛИ

Ці файли встановлені в каталозі /usr/lib/ocaml/camlp5.

Розбір файлів:
pa_r.cmo: переглянутий синтаксис
pa_rp.cmo: потоки та парсери
pa_lexer.cmo: лексери
pa_o.cmo: нормальний синтаксис
pa_op.cmo: потоки та парсери
pa_oop.cmo: потоки та парсери (без оптимізації коду)
pa_scheme.cmo: синтаксис схеми
pa_extend.cmo: розширення синтаксису для граматик
pa_extfold.cmo: розширення pa_extend з FOLD0 і FOLD1
pa_extfun.cmo: розширення синтаксису для розширюваних функцій
pa_extprint.cmo: розширення синтаксису для розширюваних принтерів
pa_pprintf.cmo: розширення синтаксису для оператора pprintf
pa_fstream.cmo: розширення синтаксису для функціональних потоків
pa_macro.cmo: додати макроси (ifdef, define), як у C
pa_lefteval.cmo: оцінка параметрів зліва направо
pa_pragma.cmo: директива #pragma

Друк файлів:
pr_r.cmo: переглянутий синтаксис без об'єктів і міток
pr_ro.cmo: переглянутий синтаксис для об'єктів і міток
pr_rp.cmo: спробуйте перебудувати потоки та синтаксис синтаксису
pr_o.cmo: нормальний синтаксис
pr_op.cmo: спробуйте перебудувати потоки та синтаксис синтаксису
pr_scheme.cmo: Синтаксис схеми
pr_schemep.cmo: спробуйте перебудувати потоки та синтаксис синтаксису
pr_extend.cmo: спробуйте перебудувати оператори EXTEND
pr_extfun.cmo: спробуйте перебудувати оператори extfun
pr_extprint.cmo: спробуйте перебудувати оператори EXTEND_PRINTER
pr_dump.cmo: синтаксичне дерево дампу для компілятора ocaml
pr_depend.cmo: залежності файлів
pr_null.cmo: немає виводу

Розширювачі пропозицій:
q_MLast.cmo: вузли дерева синтаксису (у переглянутому синтаксисі)
q_ast.cmo: вузли дерева синтаксису в повному синтаксисі користувача
q_phony.cmo: збереження пропозицій для гарного друку

Команда camplp5o є ярликом для:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

Команда camplp5r є ярликом для:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

Команда camplp5sch є ярликом для:
camlp5 pa_scheme.cmo pr_dump.cmo

Файл camlp5o.cma можна завантажити на верхній рівень, щоб запустити camlp5 із синтаксисом OCaml.

Файл camlp5r.cma можна завантажити на верхній рівень, щоб запустити camlp5 з переглянутим синтаксисом.

Файл camlp5sch.cma можна завантажити на верхній рівень, щоб запустити camlp5 із синтаксисом схеми.

MKCAMLP5

mkcamlp5 та mkcamlp5.opt створює виконувані файли camlp5 з майже такими ж параметрами, як
ocamlmktop. Версія mkcamlp5.opt може створювати власний виконуваний код, швидше, але ні
розширюваний.

Для mkcamlp5 інтерфейси, які мають бути видимими, мають бути явно додані в командний рядок як
файли ".cmi". Наприклад, як додати модуль OCaml "str":
mkcamlp5 -користувацький str.cmi str.cma -cclib -lstr -o camlp5str

НАВКОЛИШНЄ СЕРЕДОВИЩЕ ЗМІННИЙ

Також звертаються до наступної змінної середовища:

CAMLP5PARAM
Встановіть параметри алгоритму розбору граматики. Ця змінна має бути послідовністю
специфікації параметрів. Специфікація параметра - це необов'язкова літера
потім знак = і значення. Є чотири можливі параметри:

b (повернення)
Встановіть алгоритм повернення за замовчуванням.

t (слід)
Символи трасування (термінали та нетермінали) під час аналізу з поверненням назад.

y (затримка відстеження)
Під час зворотного відстеження відстежте просування у вхідному потоці (кількість незаморожених маркерів)
і можливий зупинка (кількість тестів маркерів).

l (максимальна затримка)
Встановіть максимальне значення зупинки.

Використовуйте camlp5r.opt онлайн за допомогою сервісів onworks.net