camlp5r.opt - Online w chmurze

PROGRAM:

IMIĘ

camlp5 - Pre-Precessor-Pretty-Printer dla ocaml
mkcamlp5 - Utwórz niestandardowy camlp5
mkcamlp5.opt - Utwórz niestandardowy camlp5 (kod natywny)
ocpp5 - Uniwersalny preprocesor

STRESZCZENIE

obóz5 [ załaduj-opcje ] [--] [ inne-opcje ]
camlp5o [ załaduj-opcje ] [--] [ inne-opcje ]
camlp5r [ załaduj-opcje ] [--] [ inne-opcje ]
camlp5sch [ załaduj-opcje ] [--] [ inne-opcje ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [opcje ładowania] plik

camlp5o.opt [--] [ inne opcje ]
camlp5r.opt [--] [ inne opcje ]

OPIS

obóz5 jest Pre-Processor-Pretty-Printer dla OCamla, parsuje plik źródłowy i drukuje
niektóre wyniki na standardowym wyjściu.

camlp5o, camlp5r i camlp5sch są wersje obóz5 z niektórymi plikami już załadowanymi (zobacz
dalej).

camlp5o.cma, camlp5r.cma i camlp5sch.cma czy pliki mają być ładowane w ocaml toplevel do użycia?
maszyneria camplp5

mkcamlp5 i mkcamlp5.opt tworzy pliki wykonywalne camlp5 z prawie tymi samymi opcjami co
ocamlmktop. Zobacz dalej.

ocpp5 jest uniwersalnym preprocesorem, przetwarzającym każdy rodzaj pliku źródłowego, generującym to samo
tekst z rozwiniętymi możliwymi cytatami.

camlp5o.opt i camlp5r.opt to wersje camlp5o i camlp5r skompilowane przez natywną
kompilator kodu ocamlopt. Są szybsze, ale nie rozszerzalne. I nie są dostępne w
wszystkie instalacje camlp5.

ZAŁADOWAĆ OPCJE

Opcje ładowania wybierają operacje parsowania i drukowania zarejestrowane w plikach obiektów OCaml
(zakończone na .cmo lub .cma). Dozwolonych jest kilka zastosowań tych opcji. Oni muszą
poprzedzają inne opcje.

Opcjonalne -- może zakończyć opcje ładowania.

-I katalog
Dodaj katalog w ścieżce wyszukiwania załadowanych plików. Chyba że opcja -nolib to
używany, katalog biblioteki camlp5 jest dołączany do ścieżki. Ostrzeżenie: nie ma
automatyczne wyszukiwanie w bieżącym katalogu: dodaj "-I ." dla tego.

-gdzie Wydrukuj nazwę katalogu biblioteki Camlp5 i wyjdź.

-nolib Brak automatycznego wyszukiwania plików obiektów w katalogu biblioteki camlp5.

plik-obiektowy
Plik jest ładowany w rdzeniu camlp5.

INNE OPCJE

Pozostałe opcje to:

filet Leczyć filet jako plik interfejsu, jeśli kończy się na .mli i jako plik implementacji
jeśli kończy się na .ml.

-intf filet
Leczyć filet jako plik interfejsu, niezależnie od jego rozszerzenia.

-implik filet
Leczyć filet jako plik implementacyjny, bez względu na jego rozszerzenie.

-niebezpieczny
Generuj niebezpieczne dostępy do tablic i ciągów.

-brak potwierdzenia
Nie kompiluj kontroli asercji.

-gadatliwy
Więcej szczegółów w błędach analizowania.

-QD filet
Zrzuć w filet w przypadku błędu składni w wyniku rozwinięcia cytatu.

-o plik wyjściowy
Wydrukuj wynik na pliku wyjściowym zamiast na standardowym wyjściu. Plik jest otwierany za pomocą
open_out_bin (zobacz bibliotekę OCaml Pervasives).

-v Wydrukuj numer wersji i wyjdź.

-Pomoc Wydrukuj dostępne opcje i wyjdź. Ten wydruk zawiera ewentualnie opcje
dodane przez wczytane pliki obiektowe.

Pozostałe opcje można rozszerzyć o wczytane pliki obiektowe. Dostarczone pliki dodają
następujące opcje:

-l długość linii
Dodane przez pr_o.cmo i pr_r.cmo: ustaw długość linii (domyślnie 78).

-wrzesień ciąg
Dodane przez pr_o.cmo i pr_r.cmo: wyświetlaj ten ciąg między frazami zamiast
komentarzy.

-nie_ss Dodane przez pr_o.cmo: nie drukuj podwójnych średników

-D identyfikacyjny
Dodane przez pa_macro.cmo: zdefiniuj ident.

-U identyfikacyjny
Dodane przez pa_macro.cmo: undefiniuj ident.

OPATRZONY AKTA

Pliki te są instalowane w katalogu /usr/lib/ocaml/camlp5.

Parsowanie plików:
pa_r.cmo: poprawiona składnia
pa_rp.cmo: strumienie i parsery
pa_lexer.cmo: leksyki
pa_o.cmo: normalna składnia
pa_op.cmo: strumienie i parsery
pa_oop.cmo: strumienie i parsery (bez optymalizacji kodu)
pa_scheme.cmo: składnia schematu
pa_extend.cmo: rozszerzenie składni dla gramatyk
pa_extfold.cmo: rozszerzenie pa_extend o FOLD0 i FOLD1
pa_extfun.cmo: rozszerzenie składni dla rozszerzalnych funkcji
pa_extprint.cmo: rozszerzenia składni dla rozszerzalnych drukarek
pa_pprintf.cmo: rozszerzenie składni instrukcji pprintf
pa_fstream.cmo: rozszerzenie składni dla strumieni funkcjonalnych
pa_macro.cmo: dodaj makra (ifdef, zdefiniuj) jak w C
pa_lefteval.cmo: ocena parametrów od lewej do prawej
pa_pragma.cmo: dyrektywa #pragma

Drukowanie plików:
pr_r.cmo: poprawiona składnia bez obiektów i etykiet
pr_ro.cmo: poprawiona składnia dla obiektów i etykiet
pr_rp.cmo: spróbuj odbudować składnię strumieni i parserów
pr_o.cmo: normalna składnia
pr_op.cmo: spróbuj odbudować składnię strumieni i parserów
pr_scheme.cmo: składnia schematu
pr_schemep.cmo: spróbuj odbudować składnię strumieni i parserów
pr_extend.cmo: spróbuj odbudować instrukcje EXTEND
pr_extfun.cmo: spróbuj odbudować instrukcje extfun
pr_extprint.cmo: spróbuj odbudować instrukcje EXTEND_PRINTER
pr_dump.cmo: zrzut drzewa składni dla kompilatora ocaml
pr_depend.cmo: zależności plików
pr_null.cmo: brak wyjścia

Ekspandery ofert:
q_MLast.cmo: węzły drzewa składni (w poprawionej składni)
q_ast.cmo: węzły drzewa składni w pełnej składni użytkownika
q_phony.cmo: przechowywanie cytatów dla ładnego drukowania

Komenda camlp5o to skrót do:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

Komenda camlp5r to skrót do:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

Komenda camlp5sch to skrót do:
camlp5 pa_scheme.cmo pr_dump.cmo

Plik camlp5o.cma można załadować na najwyższym poziomie, aby uruchomić Camlp5 ze składnią OCaml.

Plik camlp5r.cma można załadować na najwyższym poziomie, aby uruchomić camlp5 ze zmienioną składnią.

Plik camlp5sch.cma można załadować na najwyższym poziomie, aby uruchomić Camlp5 ze składnią Scheme.

MKCAMLP5

mkcamlp5 i mkcamlp5.opt tworzy pliki wykonywalne camlp5 z prawie tymi samymi opcjami co
ocamlmktop. Wersja mkcamlp5.opt potrafi tworzyć natywne pliki wykonywalne kodu, szybciej, ale nie
rozciągliwy.

W przypadku mkcamlp5 interfejsy, które mają być widoczne, muszą być wyraźnie dodane w wierszu poleceń jako
pliki ".cmi". Na przykład, jak dodać moduł OCaml "str":
mkcamlp5 -niestandardowa str.cmi str.cma -cclib -lstr -o camlp5str

ŚRODOWISKO ZMIENNA

Sprawdzana jest również następująca zmienna środowiskowa:

CAMLP5PARAM
Ustaw parametry algorytmu analizowania gramatyki. Ta zmienna musi być sekwencją
specyfikacje parametrów. Specyfikacja parametru to litera opcjonalnie
po którym następuje = i wartość. Możliwe są cztery parametry:

b (wracać)
Ustaw algorytm cofania jako domyślny.

t (namierzać)
Śledź symbole (terminale i nieterminale) podczas parsowania ze śledzeniem wstecznym.

y (przeciąganie śledzenia)
W śledzeniu wstecznym śledź postęp w strumieniu wejściowym (liczba odmrożonych tokenów)
oraz możliwe przeciągnięcie (liczba testów żetonów).

l (maksymalne przeciągnięcie)
Ustaw maksymalną wartość przeciągnięcia.

Użyj camlp5r.opt online, korzystając z usług onworks.net