ragel - Online w chmurze

PROGRAM:

IMIĘ

ragel - kompiluje języki regularne do wykonywalnych maszyn stanowych

STRESZCZENIE

ragel [Opcje] filet

OPIS

Ragel kompiluje wykonywalne maszyny o skończonych stanach z języków regularnych. Ragel może
generować kod C, C++, Objective-C, D, Go lub Java. Maszyny stanowe Ragla mogą nie tylko
rozpoznają sekwencje bajtów tak, jak robią to maszyny wyrażeń regularnych, ale mogą także wykonywać kod w
arbitralne punkty w rozpoznawaniu języka regularnego. Kod użytkownika jest osadzony przy użyciu
operatory wbudowane, które nie zakłócają składni języka regularnego.

Rdzeń języka składa się ze standardowych operatorów wyrażeń regularnych, takich jak union,
konkatenacja i gwiazda kleene, którym towarzyszą operatory osadzające akcję. Ragel także
zapewnia operatory, które pozwalają kontrolować dowolny niedeterminizm, który tworzysz, konstruujesz
skanery przy użyciu paradygmatu najdłuższego dopasowania i buduj maszyny stanowe przy użyciu wykresu stanu
Model. Można także wpływać na wykonanie maszyny stanowej z wnętrza pliku
osadzona akcja polegająca na przeskakiwaniu lub wywoływaniu innych części maszyny i ponownym przetwarzaniu
wkład.

Ragel zapewnia bardzo elastyczny interfejs do języka hosta, który próbuje umieścić
minimalne ograniczenia dotyczące sposobu wykorzystania wygenerowanego kodu i integracji z nim
aplikacja. Wygenerowany kod nie ma żadnych zależności.

OPCJE

-h, -H, -?, --help
Wyświetl pomoc i wyjdź.

-v Wydrukuj informacje o wersji i zakończ.

-o filet
Zapisz dane wyjściowe do pliku. Jeśli nie podano opcji -o, domyślna nazwa pliku jest wybierana przez
zastępując rozszerzenie pliku wejściowego. W przypadku plików źródłowych kończących się na .rh plik
używany jest przyrostek .h. Dla wszystkich innych plików źródłowych przyrostek oparty na języku wyjściowym
jest używany (.c, .cpp, .m itp.). Jeśli -o nie zostanie podane dla Graphviz, wygenerowany zostanie wynik
dot jest zapisywany na standardowe wyjście.

-s Wydrukuj statystyki dotyczące błędu standardowego.

--format-błędu=gnu
Drukuj komunikaty o błędach w formacie „plik:linia:kolumna:” (domyślny)

--format-błędu=msvc
Drukuj komunikaty o błędach w formacie „plik (wiersz, kolumna):”

-d Nie usuwaj zduplikowanych akcji z list akcji.

-I reż
Dodaj katalog do listy katalogów, aby wyszukać dołączone i zaimportowane pliki

-n Nie wykonuj minimalizacji stanu.

-m Wykonaj minimalizację raz, na końcu kompilacji maszyny stanów.

-l Minimalizuj po prawie każdej operacji. Listy podobnych operacji, takich jak związki są
zminimalizowane raz na końcu. Jest to domyślna opcja minimalizacji.

-e Minimalizuj po każdej operacji.

-x Skompiluj maszyny stanów i wyemituj reprezentację XML danych hosta i pliku
maszyn.

-V Wygeneruj plik kropkowy dla Graphviz.

-p Wyświetlaj znaki nadające się do wydruku na etykietach.

-S
Specyfikacja FSM do wyjścia.

-M
Definicja maszyny/instancja na wyjściu.

-C Językiem hosta jest C, C++, Obj-C lub Obj-C++. Jest to domyślny język hosta
opcja.

-D Językiem gospodarza jest D.

-J Językiem hosta jest Java.

-Z Językiem hosta jest Go.

-R Językiem hosta jest Ruby.

-L Zablokuj pisanie dyrektyw #line.

-T0 (C/D/Java/Ruby/C#/Go) Wygeneruj FSM oparty na tabeli. Jest to domyślny styl kodu.
Sterowany tabelą FSM reprezentuje maszynę stanu jako dane statyczne. Są stoły
stanów, przejść, wskaźników i działań. Bieżący stan jest przechowywany w pliku a
zmienny. Wykonanie jest pętlą, która wygląda tak, biorąc pod uwagę bieżący stan i
bieżący znak do przetworzenia wyszukuje przejście do wykonania za pomocą wyszukiwania binarnego,
wykonuje dowolne akcje i przechodzi do stanu docelowego. Ogólnie rzecz biorąc, stół napędzany
FSM tworzy mniejszy plik binarny i wymaga tańszej kompilacji w języku hosta
ale powoduje wolniejsze działanie kodu. Napędzany stołem FSM jest odpowiedni dla każdego FSM.

-T1 (C/D/Ruby/C#/Go) Generuj szybszy FSM oparty na tabelach, rozszerzając listy akcji w
akcja wykonuje kod.

-F0 (C/D/Ruby/C#/Go) Wygeneruj FSM sterowany płaskim stołem. Przejścia są reprezentowane jako
tablica indeksowana przez bieżący znak alfabetu. Eliminuje to potrzebę stosowania
wyszukiwanie binarne w celu zlokalizowania przejść i tworzenia szybszego kodu, jednak jest to tylko
nadaje się do małych alfabetów.

-F1 (C/D/Ruby/C#/Go) Wygeneruj szybszy FSM oparty na płaskiej tabeli, rozwijając listy akcji
w akcji wykonaj kod.

-G0 (C/D/C#/Go) Wygeneruj FSM sterowany goto. Goto sterowany FSM reprezentuje stan
machine jako serię instrukcji goto. Będąc w maszynie, aktualny stan to
przechowywane przez wskaźnik instrukcji procesora. Wykonanie jest funkcją płaską
gdzie kontrola jest przekazywana ze stanu do stanu za pomocą gotos. Ogólnie rzecz biorąc, goto FSM
tworzy szybszy kod, ale skutkuje większym plikiem binarnym i droższym hostem
kompilacja języka.

-G1 (C/D/C#/Go) Wygeneruj szybszy FSM oparty na goto, rozwijając listy akcji w pliku
akcja wykonaj kod.

-G2 (C/D/Go) Wygeneruj naprawdę szybki FSM oparty na goto, osadzając listy akcji w pliku
kod sterujący maszyny stanowej.

-P (C/D) N-Way Split naprawdę szybki FSM napędzany goto.

RAGEL WEJŚCIE

UWAGA: To jest bardzo krótki opis danych wejściowych Ragel. Ragel opisano bardziej szczegółowo
w podręczniku użytkownika dostępnym na stronie głównej (patrz poniżej).

Ragel zwykle przekazuje pliki wejściowe bezpośrednio do wyjścia. Kiedy zobaczy FSM
specyfikacji, która zawiera instancje maszyny, przestaje generować maszynę stanów.
Jeśli istnieją instrukcje zapisu (takie jak „write exec”), ragel emituje odpowiednią instrukcję
kod. W pliku wejściowym może znajdować się dowolna liczba specyfikacji FSM. Wieloliniowy FSM
specyfikacja zaczyna się od „%%{” i kończy na „}%%”. Jednowierszowa specyfikacja FSM
zaczyna się od %% i kończy na pierwszym znaku nowej linii.

FSM SPRAWOZDANIA

Maszyna Nazwa:
Ustaw nazwę maszyny. Jeżeli zostało podane, musi to być pierwsze stwierdzenie.

Alfabet Typ:
Ustaw typ danych alfabetu.

Weź klucz:
Określ sposób pobrania znaku alfabetu z typu elementu.

Zawierać:
Uwzględnij maszynę o tej samej nazwie co bieżąca lub o innej nazwie w pliku
bieżący plik lub inny plik.

Działania Definicja:
Zdefiniuj akcję, która może zostać wywołana przez FSM.

fsm Definicja, Instancja i najdłuższy Mecz Instancja:
Używany do budowy FSM. Opis składni w kilku następnych sekcjach.

Dostęp:
Określ sposób uzyskiwania dostępu do trwałych zmiennych maszyny stanów.

Pisać: Napisz jakiś element maszyny.

Zmienna:
Zastąp domyślne nazwy zmiennych (p, pe, cs, act itp.).

BASIC MASZYNY

Podstawowymi maszynami są podstawowe operandy wyrażeń języka regularnego.

'dzień dobry'
Dosłowne połączenie. Tworzy konkatenację znaków w ciągu. Podpory
sekwencje ucieczki z „\”. Rezultatem będzie stan początkowy i przejście do
nowy stan dla każdego znaku w ciągu. Ostatni stan w sekwencji będzie
być ostatecznym. Aby w łańcuchu nie była rozróżniana wielkość liter, dołącz „i” do ciągu, as
w „cmd”i.

"Cześć"
Identyczne z wersją z pojedynczym cudzysłowem.

[Witam]
Lub dosłownie. Tworzy połączenie znaków. Obsługuje zakresy znaków z „-”,
negowanie sensu unii za pomocą początkowego „^” i sekwencji ucieczki za pomocą „\”.
Wynik będzie miał dwa stany z przejściem między nimi dla każdego znaku
lub zakres.

UWAGA: „”, „” i [] powodują zerowe FSM. Maszyny zerowe mają jeden stan, który jest jednocześnie początkiem
stan i stan końcowy i dopasuj ciąg o zerowej długości. Można utworzyć maszynę zerową
z wbudowaną maszyną zerową.

liczba całkowita
Tworzy maszynę dwustanową z jednym przejściem na podaną liczbę całkowitą.

hex Tworzy dwustanową maszynę z jednym przejściem na podanej liczbie szesnastkowej.

/proste_regex/
Proste wyrażenie regularne. Obsługuje notację „.”, „*” i „[]”, znak
zakresy za pomocą „-”, negując sens wyrażenia OR z początkowym „^” i
sekwencje ucieczki z „\”. Obsługuje również jedną flagę końcową: tj. Użyj go, aby wyprodukować
wyrażenie regularne niewrażliwe na wielkość liter, jak w /GET/i.

oświetlony .. oświetlony
Określa zakres. Dopuszczalne górne i dolne granice to literały konkatowe
długość jeden i maszyny liczbowe. Na przykład 0x10..0x20, 0..63 i „a”… „z” to
ważne zakresy.

variable_name
Odwołuje się do definicji maszyny przypisanej do podanej nazwy zmiennej.

wbudowana_maszyna
Dostępnych jest kilka wbudowanych maszyn. Wszystkie są maszynami z dwoma stanami
w celu dopasowania wspólnych klas znaków. Oni są:

każdy Dowolny znak alfabetu.

Ascii Znaki Ascii 0..127.

rozciągać się Rozszerzone znaki Ascii. Jest to zakres -128..127 dla alfabetów ze znakiem
oraz zakres 0..255 dla alfabetów bez znaku.

alfa Znaki alfabetyczne /[A-Za-z]/.

cyfra Cyfry /[0-9]/.

album Alfanumeryczne /[0-9A-Za-z]/.

niższy Małe litery /[az]/.

górny Wielkie litery /[AZ]/.

xcyfra Cyfry szesnastkowe /[0-9A-Fa-f]/.

ctrl Znaki sterujące 0..31.

wykres Znaki graficzne /[!-~]/.

Znaki drukowane /[ -~]/.

punkt Interpunkcja. Znaki graficzne inne niż alfanumeryczne
/[!-/:-@\[-`{-~]/.

przestrzeń Białe znaki /[\t\v\f\n\r ]/.

zero Ciąg o zerowej długości. Odpowiednik „”, „” i [].

pusty Pusty zestaw. Nic nie pasuje.

KRÓTKI OPERATOR REFERENCE

Operatory są pogrupowane według pierwszeństwa, grupa 1 to najniższy, a grupa 6 najwyższy.

GROUP 1:

expr , expr
Łącz maszyny razem bez rysowania przejść, ustawiania stanu początkowego lub
jakieś stany końcowe. Stan początkowy musi być jawnie określony za pomocą etykiety „start”.
Stany końcowe można określić za pomocą przejść an epsilon do ukrytych
stworzył stan „końcowy”.

GROUP 2:

expr | expr
Tworzy maszynę pasującą do dowolnego ciągu na maszynie pierwszej lub maszynie drugiej.

expr & expr
Tworzy maszynę pasującą do dowolnego ciągu znaków znajdującego się zarówno w maszynie pierwszej, jak i maszynie
dwa.

expr - expr
Tworzy maszynę pasującą do dowolnego ciągu znaków znajdującego się na maszynie pierwszej, ale nie znajdującej się na niej
maszyna numer dwa.

expr -- expr
Silne odejmowanie. Pasuje do dowolnego ciągu w maszynie, który nie zawiera żadnego ciągu
w maszynie drugiej jako podciąg.

GROUP 3:

expr . expr
Tworzy maszynę, która pasuje do wszystkich ciągów w maszynie pierwszej, po których następują wszystkie
struny w maszynie numer dwa.

expr :> expr
Konkatenacja strzeżona wejścia: kończy maszynę pierwszą po wejściu na maszynę drugą.

expr :>> expr
Łączenie zabezpieczone przed zakończeniem: kończy pracę maszyny pierwszej, gdy kończy pracę maszyny drugiej.

expr <: expr
Konkatenacja strzeżona z lewej strony: daje wyższy priorytet maszynowej.

UWAGA: Konkatenacja jest operatorem domyślnym. Dwie maszyny obok siebie z nr
operator między nimi skutkuje operacją łączenia.

GROUP 4:

etykieta: expr
Dołącza etykietę do wyrażenia. Etykiety mogą być używane przez przejścia epsilon i
Instrukcje fgoto i fcall w akcjach. Należy również pamiętać, że odniesienie do machine
definicja powoduje niejawne utworzenie etykiety o tej samej nazwie.

GROUP 5:

expr -> etykieta
Rysuje przejście epsilon do stanu określonego przez etykietę. Etykieta musi zawierać nazwę
aktualny zakres. Przejścia epsilon są rozwiązywane, gdy działają operatory przecinków
oceniane i w katalogu głównym drzewa wyrażeń maszyny
przypisanie/instancja.

GROUP 6: Akcje

Akcja może być nazwą predefiniowaną za pomocą instrukcji akcji lub może być określona bezpośrednio
z „{” i „}” w wyrażeniu.

expr > akcja
Osadza akcję w początkowych przejściach.

expr @ akcja
Osadza akcję w przejściach, które przechodzą w stan końcowy.

expr $ akcja
Osadza akcję we wszystkich przejściach. Nie obejmuje oczekujących przejść.

expr % akcja
Osadza działanie w oczekujących przejściach ze stanów końcowych.

GROUP 6: EOF Akcje

Gdy wywoływana jest procedura końcowa maszyny, wykonywane są akcje EOF bieżącego stanu.

expr >/ akcja
Osadź akcję EOF w stanie początkowym.

expr </ akcja
Osadź akcję EOF we wszystkich stanach z wyjątkiem stanu początkowego.

expr $/ akcja
Osadź akcję EOF we wszystkich stanach.

expr %/ akcja
Osadź akcję EOF w stanach końcowych.

expr @/ akcja
Osadź akcję EOF we wszystkich stanach, które nie są ostateczne.

expr <>/ akcja
Osadź akcję EOF we wszystkich stanach, które nie są stanem początkowym i które nim nie są
końcowy (stany środkowe).

GROUP 6: Globalne Błąd Akcje

Globalne akcje błędów są przechowywane w stanach do momentu, aż maszyna stanu końcowego zostanie w pełni zapełniona
zbudowana. Następnie przenoszone są one na przejścia błędów, dając efekt a
akcja domyślna.

expr >! akcja
Osadź globalną akcję błędu w stanie początkowym.

expr <! akcja
Osadź globalną akcję błędu we wszystkich stanach z wyjątkiem stanu początkowego.

expr $! akcja
Osadź globalną akcję błędu we wszystkich stanach.

expr %! akcja
Osadź globalną akcję błędu w stanach końcowych.

expr @! akcja
Osadź globalną akcję błędu we wszystkich stanach, które nie są ostateczne.

expr <>! akcja
Osadź globalną akcję błędu we wszystkich stanach, które nie są stanem początkowym i nim są
nie ostateczne (stany pośrednie).

GROUP 6: miejscowy Błąd Akcje

Lokalne akcje błędów są przechowywane w stanach do momentu pełnego skonstruowania nazwanej maszyny.
Są one następnie przenoszone do przejść błędnych, dając efekt domyślnej akcji dla
część całej maszyny. Należy pamiętać, że nazwę można pominąć, w takim przypadku
akcja zostanie przeniesiona do akcji błędów po zbudowaniu bieżącej maszyny.

expr >^ akcja
Osadź lokalną akcję błędu w stanie początkowym.

expr <^ akcja
Osadź lokalną akcję błędu we wszystkich stanach z wyjątkiem stanu początkowego.

expr $^ akcja
Osadź lokalną akcję błędu we wszystkich stanach.

expr %^ akcja
Osadź lokalną akcję błędu w stanach końcowych.

expr @^ akcja
Osadź lokalną akcję błędu we wszystkich stanach, które nie są ostateczne.

expr <>^ akcja
Osadź lokalną akcję błędu we wszystkich stanach, które nie są stanem początkowym i są
nie ostateczne (stany pośrednie).

GROUP 6: Określić Akcje

Akcje stanu są przechowywane w stanach i wykonywane za każdym razem, gdy maszyna przechodzi do stanu
państwo. Obejmuje to regularne przejścia i przeniesienia kontroli, takie jak fgoto. Notatka
że ustawienie bieżącego stanu z zewnątrz maszyny (na przykład podczas
inicjalizacja) nie liczy się jako przejście do stanu.

expr >~ akcja
Osadź akcję akcji do stanu w stanie początkowym.

expr <~ akcja
Osadź akcję przejścia do stanu we wszystkich stanach z wyjątkiem stanu początkowego.

expr $~ akcja
Osadź akcję skierowaną do stanu we wszystkich stanach.

expr %~ akcja
Osadź akcję do stanu w stanach końcowych.

expr @~ akcja
Osadź akcję skierowaną do stanu we wszystkich stanach, które nie są ostateczne.

expr <>~ akcja
Osadź akcję do stanu we wszystkich stanach, które nie są stanem początkowym i nie są
końcowy (stany środkowe).

GROUP 6: Ze stanu Akcje

Ze stanu akcje są wykonywane za każdym razem, gdy stan dokonuje przejścia znaku. Ten
obejmuje przejście błędu i przejście do siebie.

expr >* akcja
Osadź akcję ze stanu w stanie początkowym.

expr <* akcja
Osadź akcję ze stanu w każdym stanie z wyjątkiem stanu początkowego.

expr $* akcja
Osadź akcję ze stanu we wszystkich stanach.

expr %* akcja
Osadź akcję ze stanu w stanach końcowych.

expr @* akcja
Osadź akcję ze stanu we wszystkich stanach, które nie są ostateczne.

expr <>* akcja
Osadź akcję ze stanu we wszystkich stanach, które nie są stanem początkowym i nie są
końcowy (stany środkowe).

GROUP 6: Priorytet Cesja

Priorytety są przypisane do nazw w przejściach. Są tylko priorytety o tej samej nazwie
pozwolić na interakcję. W pierwszej formie priorytetów nazwa domyślnie jest nazwą
definicja maszyny, w której jest przypisany priorytet. Przejścia nie mają wartości domyślnych
priorytety

expr > int
Przypisuje priorytet int we wszystkich przejściach wychodzących ze stanu początkowego.

expr @ int
Przypisuje priorytet int we wszystkich przejściach, które przechodzą do stanu końcowego.

expr $ int
Przypisuje priorytet int we wszystkich istniejących przejściach.

expr % int
Przypisuje priorytet int we wszystkich oczekujących przejściach.

Druga forma przydzielania priorytetów pozwala programiście określić nazwę, do której
przypisywany jest priorytet, co pozwala interakcjom przekraczać granice definicji maszyny.

expr > (imię,int)
Przypisuje priorytet int do name we wszystkich przejściach opuszczających stan początkowy.

expr @ (nazwa, int)
Przypisuje priorytet int do name we wszystkich przejściach, które przechodzą do stanu końcowego.

expr $ (nazwa, int)
Przypisuje priorytet int do nazwy we wszystkich istniejących przejściach.

expr % (nazwa, int)
Przypisuje priorytet int do name we wszystkich oczekujących przejściach.

GROUP 7:

expr * Produkuje gwiazdę kleene maszyny. Dopasowuje zero lub więcej powtórzeń
maszyna.

expr **
Gwiazda Kleene z najdłuższym meczem. Ta wersja kleene star kładzie większy nacisk na
pozostawanie w maszynie przez owijanie i zaczynanie od nowa. Ten operator jest
odpowiednik ( ( wyrażenie ) $0 %1 )*.

expr ? Tworzy maszynę, która akceptuje podaną maszynę lub ciąg zerowy. Tego operatora
jest równoważne ( wyrażenie | '' ).

expr + Produkuje maszynę połączoną z samą gwiazdą Kleen. Pasuje do jednego lub
więcej powtórzeń maszyny. Ten operator jest odpowiednikiem ( wyrażenie . wyrażenie* ).

expr {nie}
Tworzy maszynę, która pasuje dokładnie n powtórzeń wyrażenia.

expr {,N}
Tworzy maszynę, która pasuje w dowolnym miejscu od zera do n powtórzeń expr.

expr {N,}
Tworzy maszynę, która dopasowuje n lub więcej powtórzeń wyrażenia.

expr {n, m}
Tworzy maszynę, która dopasowuje n do m powtórzeń wyrażenia.

GROUP 8:

! expr Tworzy maszynę pasującą do dowolnego ciągu znaków niepasującego do danej maszyny. Ten
operator jest odpowiednikiem ( *extend - expr ).

^ expr Negacja na poziomie postaci. Dopasowuje dowolny pojedynczy znak, który nie jest dopasowany do pojedynczego znaku
znak maszynowy wyraż.

GROUP 9:

( expr )
Wymusza pierwszeństwo na operatorach.

WARTOŚCI DOSTĘPNY IN KOD BLOKI

fc Obecna postać. Odpowiednik *str.

Fpc Wskaźnik do bieżącego znaku. Odpowiednik str.

fkurs Wartość całkowita reprezentująca bieżący stan.

ftargs Wartość całkowita reprezentująca stan docelowy.

fentry( )
Wartość całkowita reprezentująca punkt wejścia .

SPRAWOZDANIA DOSTĘPNY IN KOD BLOKI

przytrzymaj; Nie wyprzedzaj aktualnej postaci. Odpowiednik --p;.

Fexec ;
Ustawia bieżący znak na inny. Odpowiednik p = ( )-1;

fgoto ;
Skocz do maszyny zdefiniowanej przez .

fgoto * ;
Przejdź do punktu wejścia podanego przez . Wyrażenie musi mieć wartość całkowitą
wartość reprezentująca stan.

fnastępna ;
Ustaw następny stan jako punkt wejścia zdefiniowany przez . Następne stwierdzenie
nie przechodzi natychmiast do określonego stanu. Dowolny kod akcji następujący po
instrukcja jest wykonywana.

fnastępna * ;
Ustaw następny stan jako punkt wejścia podany przez . Wyrażenie musi
oceniamy na wartość całkowitą reprezentującą stan.

fzadzwoń ;
Wywołaj maszynę zdefiniowaną przez . Następny próg przeskoczy do celu
przejście, na którym wywoływana jest akcja.

fzadzwoń * ;
Zadzwoń do punktu wejścia podanego przez . Następny próg przeskoczy do celu
przejście, na którym wywoływana jest akcja.

denerwować; Powrót do stanu docelowego przejścia, na którym wykonano ostatnie wywołanie.

przerwa;
Zapisz aktualny stan i natychmiast wyjdź z maszyny.

KREDYTY

Ragel został napisany przez Adriana Thurstona[email chroniony]>. Wyjście celu-C
wniesiony przez Ericha Oceana. Wyjście D wniesione przez Alana Westa. Wyjście Rubinu wniesione przez
Wiktor Hugo Borja. Generowanie kodu C Sharp, którego autorem jest Daniel Tang. Składki na
Generowanie kodu Java przez Colina Fleminga. Generowanie kodu Go, którego autorką jest Justine Tunney.

Korzystaj z ragel online, korzystając z usług onworks.net