Jest to polecenie atdcat, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
atdcat - sprawdzanie składni i transformacje plików ATD
STRESZCZENIE
atdcat [opcje...] filet
OPIS
atdcat sprawdza składnię i ładnie drukuje pliki ATD. Może również występować
transformacje, takie jak monomorfizacja lub spłaszczenie hierarchii dziedziczenia.
OPCJE
-x uczynić wyrażenia typu monomorficznymi
-xk zachowaj sparametryzowane definicje typów i sugerowaj -x. Wartość domyślna to tylko powrót
definicje typów monomorficznych
-xd tryb debugowania, co oznacza -x
-i rozwiń wszystkie instrukcje „inherit”.
-Jeśli rozwiń instrukcje „dziedzicz” w rekordach
-iv rozwiń instrukcje „inherit” w typach sum
-ml
wyprowadź kod ocaml abstrakcyjnego drzewa składni ATD
-html-doc
wymienić bezpośrednio <dok html="..."> by (*html ... *) lub wymień <dok tekst="..."> by
(*html ... *) gdzie zawartość jest sformatowana jako HTML przy użyciu , i .
To jest odpowiednie wejście dla caml2html -wewnętrzny HTML:kot, który konwertuje pliki ATD do formatu
HTML.
-rozebrać się NAZWA1[,NAZWA2,...]
usuń wszystkie adnotacje z formularza <NAZWA1 ...>, <NAZWA2 ...>, itp.
-rozebrać wszystko
usuń wszystkie adnotacje
-wersja
wydrukuj wersję i wyjdź
-Pomoc | --help
opcje drukowania i wyjdź
Korzystaj z atdcat online, korzystając z usług onworks.net