ragel - Online în cloud

PROGRAM:

NUME

ragel - compilați limbaje obișnuite în mașini de stare executabile

REZUMAT

ragel [Opțiuni] fişier

DESCRIERE

Ragel compilează mașini executabile cu stări finite din limbaje obișnuite. Ragel poate
generați cod C, C++, Objective-C, D, Go sau Java. Mașinile de stat Ragel pot nu numai
recunoaște secvențele de octeți așa cum fac mașinile cu expresii regulate, dar pot executa și cod la
puncte arbitrare în recunoașterea unei limbi obișnuite. Codul utilizatorului este încorporat folosind
operatori inline care nu perturbă sintaxa limbajului obișnuit.

Limbajul de bază constă din operatori standard de expresie regulată, cum ar fi uniunea,
concatenare și stea kleene, însoțite de operatori de încorporare a acțiunii. De asemenea, Ragel
oferă operatori care vă permit să controlați orice non-determinism pe care îl creați, construiți
scanere care utilizează cea mai lungă paradigmă de potrivire și construiți mașini de stare folosind diagrama de stări
model. De asemenea, este posibil să influențezi execuția unei mașini de stări din interiorul unui
acțiune încorporată prin sărituri sau apeluri către alte părți ale mașinii și reprocesare
intrare.

Ragel oferă o interfață foarte flexibilă pentru limba gazdă care încearcă să o plaseze
restricții minime asupra modului în care codul generat este utilizat și integrat în
aplicarea. Codul generat nu are dependențe.

OPŢIUNI

-h, -H, -?, --Ajutor
Afișează ajutor și ieșire.

-v Tipăriți informațiile despre versiune și ieșiți.

-o fişier
Scrieți rezultatul în fișier. Dacă nu este dat -o, un nume de fișier implicit este ales de
înlocuind extensia fișierului de intrare. Pentru fișierele sursă care se termină în .rh the
se folosește sufixul .h. Pentru toate celelalte fișiere sursă un sufix bazat pe limba de ieșire
este folosit (.c, .cpp, .m etc.). Dacă -o nu este dat pentru ieșirea Graphviz, este generat
fișierul dot este scris la ieșirea standard.

-s Tipăriți câteva statistici despre eroarea standard.

--error-format=gnu
Imprimați mesajele de eroare folosind formatul „fișier:linie:coloană:” (implicit)

--error-format=msvc
Imprimați mesajele de eroare folosind formatul „fișier(linie,coloană):”

-d Nu eliminați acțiunile duplicate din listele de acțiuni.

-I dir
Adăugați director la lista de directoare pentru a căuta fișiere incluse și importate

-n Nu efectuați minimizarea stării.

-m Efectuați minimizarea o dată, la sfârșitul compilării mașinii de stări.

-l Minimizați după aproape fiecare operație. Liste de operațiuni similare, cum ar fi sindicatele sunt
minimizat o dată la sfârșit. Aceasta este opțiunea implicită de minimizare.

-e Minimizați după fiecare operație.

-x Compilați mașinile de stare și emiteți o reprezentare XML a datelor gazdă și a
Mașini.

-V Generați un fișier punct pentru Graphviz.

-p Afișați caractere imprimabile pe etichete.

-S
Specificația FSM la ieșire.

-M
Definirea mașinii/instanțarea la ieșire.

-C Limbajul gazdă este C, C++, Obj-C sau Obj-C++. Aceasta este limba gazdă implicită
opțiune.

-D Limba gazdă este D.

-J Limba gazdă este Java.

-Z Limba gazdă este Go.

-R Limba gazdă este Ruby.

-L Inhibați scrierea directivelor #line.

-T0 (C/D/Java/Ruby/C#/Go) Generați un FSM bazat pe tabel. Acesta este stilul de cod implicit.
FSM condus de tabel reprezintă mașina de stări ca date statice. Sunt mese
de stări, tranziții, indici și acțiuni. Starea curentă este stocată într-un
variabil. Execuția este o buclă care arată că având în vedere starea curentă și
caracterul curent de procesat caută tranziția de efectuat folosind o căutare binară,
execută orice acțiune și trece la starea țintă. În general, tabelul condus
FSM produce un binar mai mic și necesită o compilare mai puțin costisitoare a limbajului gazdă
dar are ca rezultat rularea mai lentă a codului. FSM condus de masă este potrivit pentru orice FSM.

-T1 (C/D/Ruby/C#/Go) Generați un FSM mai rapid bazat pe tabel prin extinderea listelor de acțiuni în
acțiunea execută cod.

-F0 (C/D/Ruby/C#/Go) Generați un FSM bazat pe masă plată. Tranzițiile sunt reprezentate ca
o matrice indexată după caracterul alfabetic curent. Acest lucru elimină necesitatea unui
căutare binară pentru a localiza tranzițiile și produce cod mai rapid, totuși este doar
potrivit pentru alfabete mici.

-F1 (C/D/Ruby/C#/Go) Generați un FSM mai rapid bazat pe masă plată prin extinderea listelor de acțiuni
în acțiune executați cod.

-G0 (C/D/C#/Go) Generați un FSM condus de goto. FSM condus de goto reprezintă statul
mașină ca o serie de declarații goto. În timp ce se află în mașină, starea curentă este
stocate de indicatorul de instrucțiuni al procesorului. Execuția este o funcție plată
unde controlul este transmis de la stat la stat folosind gotos. În general, goto FSM
produce cod mai rapid, dar are ca rezultat un binar mai mare și o gazdă mai scumpă
compilarea limbajului.

-G1 (C/D/C#/Go) Generați un FSM mai rapid condus de goto prin extinderea listelor de acțiuni în
acţiune executa cod.

-G2 (C/D/Go) Generați un FSM foarte rapid condus de goto prin încorporarea listelor de acțiuni în
codul de control al mașinii de stat.

-P (C/D) N-Way Split foarte rapid FSM condus de goto.

RAGEL INTRARE

NOTĂ: Aceasta este o descriere foarte scurtă a intrării Ragel. Ragel este descris mai detaliat
în ghidul utilizatorului disponibil de pe pagina principală (vezi mai jos).

În mod normal, Ragel trece fișierele de intrare direct la ieșire. Când vede un FSM
specificația care conține instanțieri de mașină se oprește pentru a genera mașina de stări.
Dacă există instrucțiuni write (cum ar fi „write exec”), atunci ragel emite instrucțiunile corespunzătoare
cod. Într-un fișier de intrare poate exista orice număr de specificații FSM. Un FSM cu mai multe linii
specificația începe cu „%%{” și se termină cu „}%%”. O specificație FSM cu o singură linie
începe cu %% și se termină la prima linie nouă.

FSM DECLARAȚII

Mașină Nume:
Setați numele mașinii. Dacă este dat, trebuie să fie prima declarație.

Alfabet Tip:
Setați tipul de date al alfabetului.

GetKey:
Specificați cum să preluați caracterul alfabetic din tipul de element.

Includ:
Includeți o mașină cu același nume ca cea actuală sau cu un alt nume în oricare dintre ele
fișierul curent sau alt fișier.

Acțiune Definiție:
Definiți o acțiune care poate fi invocată de FSM.

Fsm Definiție, Instanciarea și Cea mai lungă Meci Instanciare:
Folosit pentru a construi FSM-uri. Descrierea sintaxei în următoarele câteva secțiuni.

Acces:
Specificați cum să accesați variabilele mașinii de stări persistente.

Scrie: Scrieți o componentă a mașinii.

Variabil:
Suprascrieți numele de variabile implicite (p, pe, cs, act etc.).

BASIC MASINI

Mașinile de bază sunt operanzii de bază ai expresiilor limbajului regulat.

'Buna ziua'
Concat literal. Produce o concatenare a caracterelor din șir. Sprijină
secvențe de evacuare cu „\”. Rezultatul va avea o stare de pornire și o tranziție la
o nouă stare pentru fiecare caracter din șir. Ultima stare din secvență va
să fie definitivă. Pentru a face ca șirul să nu țină seama de majuscule și minuscule, adăugați un „i” la șir, ca
în 'cmd'i.

"buna"
Identic cu versiunea cu ghilimele simple.

[Buna ziua]
Sau literal. Produce o uniune de personaje. Acceptă intervale de caractere cu „-”,
negând sensul unirii cu un '^' iniţial şi secvenţele de evadare cu '\'.
Rezultatul va avea două stări cu o tranziție între ele pentru fiecare personaj
sau interval.

NOTĂ: '', "" și [] produc FSM-uri nule. Mașinile nule au o stare care este atât un început
stare și o stare finală și potriviți șirul de lungime zero. Poate fi creată o mașină nulă
cu mașina încorporată nulă.

întreg
Realizează o mașină cu două stări cu o tranziție pe numărul întreg dat.

hex Realizează o mașină cu două stări cu o tranziție pe numărul hexizecimal dat.

/simple_regex/
O expresie regulată simplă. Acceptă notația „.”, „*” și „[]”, caracterul
variază cu „-”, negați sensul unei expresii SAU cu și inițial „^” și
secvențe de evacuare cu „\”. Acceptă, de asemenea, un steag final: i. Folosiți-l pentru a produce a
expresie regulată care nu ține seama de majuscule, ca în /GET/i.

pat .. pat
Specifică un interval. Limitele superioare și inferioare permise sunt literale concat ale
mașini de lungime unu și număr. De exemplu, 0x10..0x20, 0..63 și 'a'..'z' sunt
intervale valide.

VARIABLE_NAME
Face referire la definiția mașinii atribuită numelui variabilei dat.

mașină_încorporată
Există mai multe mașini încorporate disponibile. Toate sunt două mașini de stat pentru
scopul potrivirii claselor comune de caractere. Sunt:

Orice Orice caracter din alfabet.

ascii Caractere Ascii 0..127.

extinde Caractere extinse Ascii. Acesta este intervalul -128..127 pentru alfabetele semnate
iar intervalul 0..255 pentru alfabetele nesemnate.

alfa Caractere alfabetice /[A-Za-z]/.

cifră Cifre /[0-9]/.

alnum Alfanumerice /[0-9A-Za-z]/.

LOWER Litere mici /[az]/.

UPPER Litere mari /[AZ]/.

xdigit Cifre hexizecimale /[0-9A-Fa-f]/.

cntrl Caractere de control 0..31.

grafic Caractere grafice /[!-~]/.

imprima Caractere imprimabile /[ -~]/.

punct Punctuaţie. Caractere grafice care nu sunt alfanumerice
/[!-/:-@\[-`{-~]/.

spaţiu Spațiu alb /[\t\v\f\n\r ]/.

zero Șir de lungime zero. Echivalent cu „”, „” și [].

gol Set gol. Nu se potrivește cu nimic.

SCURT OPERATOR REFERINȚE

Operatorii sunt grupați după prioritate, grupa 1 fiind cea mai mică și grupa 6 cea mai mare.

GRUP 1:

expres , expres
Îmbinați mașinile împreună fără a face tranziții, a configura o stare de pornire sau
orice stări finale. Starea de pornire trebuie specificată în mod explicit cu eticheta „start”.
Starile finale pot fi specificate cu trecerile an epsilon la implicit
a creat starea „finală”.

GRUP 2:

expres | expres
Produce o mașină care se potrivește cu orice șir din mașina unu sau mașina doi.

expres & expres
Produce o mașină care se potrivește cu orice șir care se află atât în ​​mașină cât și în mașină
Două.

expres - expres
Produce o mașină care se potrivește cu orice șir care se află în mașina unu, dar nu în
mașina doi.

expres -- expres
Scădere puternică. Se potrivește cu orice șir din mașină unul care nu are niciun șir
în mașina doi ca subșir.

GRUP 3:

expres . expres
Produce o mașină care se potrivește cu toate șirurile din mașină unul urmat de toate
șiruri în mașina doi.

expres :> expres
Concatenare protejată de intrare: termină mașina unu la intrarea în mașina doi.

expres :>> expres
Concatenare protejată de finisare: termină mașina unu când mașina doi termină.

expres <: expres
Concatenare cu gardă stânga: acordă o prioritate mai mare mașinii.

NOTĂ: Concatenarea este operatorul implicit. Două mașini una lângă alta cu nr
operator între ele are ca rezultat operația de concatenare.

GRUP 4:

eticheta: expres
Atașează o etichetă unei expresii. Etichetele pot fi folosite prin tranziții epsilon și
declarațiile fgoto și fcall în acțiuni. De asemenea, rețineți că referirea unei mașini
Definiția determină crearea implicită a etichetei cu același nume.

GRUP 5:

expres -> etichetă
Desenează o tranziție epsilon către starea definită de etichetă. Eticheta trebuie să conțină un nume
domeniul de aplicare actual. Tranzițiile Epsilon sunt rezolvate atunci când sunt operatorii virgulă
evaluat și la rădăcina arborelui expresiei de mașină
atribuire/instanciare.

GRUP 6: Acţiuni

O acțiune poate fi un nume predefinit cu o instrucțiune de acțiune sau poate fi specificat direct
cu „{” și „}” în expresie.

expres > acțiune
Încorporează acțiunea în tranzițiile de pornire.

expres @ acțiune
Încorporează acțiunea în tranzițiile care intră într-o stare finală.

expres $ acțiune
Încorporează acțiunea în toate tranzițiile. Nu include tranzițiile în așteptare.

expres % acțiune
Încorporează acțiunea în tranzițiile în așteptare de la stările finale.

GRUP 6: EOF Acţiuni

Când rutina de finisare a unei mașini este numită, acțiunile EOF ale stării curente sunt executate.

expres >/ acțiune
Încorporați o acțiune EOF în starea de pornire.

expres </ acțiune
Încorporați o acțiune EOF în toate stările, cu excepția stării de pornire.

expres $/ acțiune
Încorporați o acțiune EOF în toate statele.

expres %/ acțiune
Încorporați o acțiune EOF în stările finale.

expres @/ acțiune
Încorporați o acțiune EOF în toate statele care nu sunt definitive.

expres <>/ acțiune
Încorporați o acțiune EOF în toate stările care nu sunt starea de pornire și care nu sunt
final (stări de mijloc).

GRUP 6: Caritate Eroare Acţiuni

Acțiunile de eroare globale sunt stocate în stări până când mașina de stare finală este completă
construit. Ele sunt apoi transferate la tranziții de eroare, dând efectul a
acțiune implicită.

expres >! acțiune
Încorporați o acțiune de eroare globală în starea de pornire.

expres <! acțiune
Încorporați o acțiune de eroare globală în toate stările, cu excepția stării de pornire.

expres $! acțiune
Încorporați o acțiune de eroare globală în toate stările.

expres %! acțiune
Încorporați o acțiune de eroare globală în stările finale.

expres @! acțiune
Încorporați o acțiune de eroare globală în toate stările care nu sunt finale.

expres <>! acțiune
Încorporați o acțiune de eroare globală în toate stările care nu sunt starea de pornire și sunt
nu final (stări de mijloc).

GRUP 6: Local Eroare Acţiuni

Acțiunile de eroare locale sunt stocate în stări până când mașina numită este complet construită.
Acestea sunt apoi transferate la tranziții de eroare, dând efectul unei acțiuni implicite pentru
o secțiune a mașinii totale. Rețineți că numele poate fi omis, caz în care
acțiunea va fi transferată la acțiuni de eroare la construirea mașinii curente.

expres >^ acțiune
Încorporați o acțiune de eroare locală în starea de pornire.

expres <^ acțiune
Încorporați o acțiune de eroare locală în toate stările, cu excepția stării de pornire.

expres $^ acțiune
Încorporați o acțiune locală de eroare în toate stările.

expres %^ acțiune
Încorporați o acțiune de eroare locală în stările finale.

expres @^ acțiune
Încorporați o acțiune de eroare locală în toate stările care nu sunt finale.

expres <>^ acțiune
Încorporați o acțiune de eroare locală în toate stările care nu sunt starea de pornire și sunt
nu final (stări de mijloc).

GRUP 6: A afirma Acţiuni

Acțiunile la stare sunt stocate în stări și executate oricând mașina trece în a
stat. Aceasta include tranziții regulate și transferuri de control, cum ar fi fgoto. Notă
care setarea stării curente din exteriorul mașinii (de exemplu, în timpul
inițializare) nu contează ca o tranziție într-o stare.

expres >~ acțiune
Încorporați o acțiune de acțiune către stare în starea de pornire.

expres <~ acțiune
Încorporați o acțiune către stare în toate stările, cu excepția stării de început.

expres $~ acțiune
Încorporați o acțiune către stat în toate statele.

expres %~ acțiune
Încorporați o acțiune către stat în stările finale.

expres @~ acțiune
Încorporați o acțiune către stat în toate statele care nu sunt definitive.

expres <>~ acțiune
Încorporați o acțiune către stare în toate stările care nu sunt starea de început și nu sunt
final (stări de mijloc).

GRUP 6: Din-Stat Acţiuni

Acțiunile de la stat sunt executate ori de câte ori o stare face o tranziție asupra unui personaj. Acest
include tranziția de eroare și o tranziție la sine.

expres >* acțiune
Încorporați o acțiune de la starea în starea de pornire.

expres <* acțiune
Încorporați o acțiune de la starea în fiecare stare, cu excepția stării de început.

expres $* acțiune
Încorporați o acțiune de la stat în toate statele.

expres %* acțiune
Încorporați o acțiune de la stat în stările finale.

expres @* acțiune
Încorporați o acțiune de la stat în toate statele care nu sunt definitive.

expres <>* acțiune
Încorporați o acțiune de la stat în toate stările care nu sunt starea de început și nu sunt
final (stări de mijloc).

GRUP 6: Prioritate Cesiune

Prioritățile sunt atribuite numelor în cadrul tranzițiilor. Doar prioritățile pe același nume sunt
permis să interacționeze. În prima formă de priorități, numele este implicit denumirea
definiția mașinii în care este atribuită prioritatea. Tranzițiile nu au implicit
priorități.

expres > int
Atribuie prioritatea int în toate tranzițiile care părăsesc starea de pornire.

expres @ int
Atribuie prioritatea int în toate tranzițiile care intră într-o stare finală.

expres $ int
Atribuie prioritatea int în toate tranzițiile existente.

expres % int
Atribuie prioritatea int în toate tranzițiile în așteptare.

O a doua formă de atribuire a priorităților permite programatorului să specifice numele căreia
prioritatea este atribuită, permițând interacțiunilor să depășească limitele definiției mașinii.

expres > (nume, int)
Atribuie prioritatea int numelui în toate tranzițiile care părăsesc starea de pornire.

expres @ (Nume, int)
Atribuie prioritatea int la nume în toate tranzițiile care intră într-o stare finală.

expres $ (Nume, int)
Atribuie prioritatea int la nume în toate tranzițiile existente.

expres % (Nume, int)
Atribuie prioritatea int numelui în toate tranzițiile în așteptare.

GRUP 7:

expres * Produce steaua kleene a unei mașini. Se potrivește cu zero sau mai multe repetări ale
mașină.

expres **
Steaua Kleene cu cel mai lung meci. Această versiune de kleene star acordă o prioritate mai mare
stând în mașină peste înfășurare și pornind de la capăt. Acest operator este
echivalent cu ( ( expr ) $0 %1 )*.

expres ? Produce o mașină care acceptă mașina dată sau șirul nul. Acest operator
este echivalent cu ( expr | '' ).

expres + Produce mașina concatenată cu steaua kleen în sine. Se potrivește cu una sau
mai multe repetări ale mașinii. Acest operator este echivalent cu ( expr . expr* ).

expres {nu}
Produce o mașină care se potrivește exact n repetări ale expr.

expres {,n}
Produce o mașină care se potrivește oriunde de la zero la n repetări ale expr.

expres {n,}
Produce o mașină care se potrivește cu n sau mai multe repetări ale expr.

expres {n,m}
Produce o mașină care potrivește de la n la m repetări ale expr.

GRUP 8:

! expres Produce o mașină care se potrivește cu orice șir nepotrivit de mașina dată. Acest
operator este echivalent cu ( *extend - expr ).

^ expres Negație la nivel de caracter. Se potrivește cu orice caracter unic care nu este potrivit de un singur caracter
mașină de caractere expr.

GRUP 9:

( expres )
Forțează prioritatea operatorilor.

VALORI DISPONIBIL IN COD BLOCURI

fc Personajul actual. Echivalent cu *p.

fpc Un indicator către caracterul curent. Echivalent cu p.

fcurs O valoare întreagă care reprezintă starea curentă.

ftargs O valoare întreagă care reprezintă starea țintă.

fantry ( )
O valoare întreagă care reprezintă punctul de intrare .

DECLARAȚII DISPONIBIL IN COD BLOCURI

fhold; Nu avansa peste personajul curent. Echivalent cu --p;.

fexec ;
Setează caracterul curent la altceva. Echivalent cu p = ( )-1;

fgoto ;
Salt la mașina definită de .

fgoto * ;
Sari la punctul de intrare dat de . Expresia trebuie să fie evaluată la un număr întreg
valoare reprezentând o stare.

fnext ;
Setați următoarea stare să fie punctul de intrare definit de . Declarația următoare
nu sare imediat la starea specificată. Orice cod de acțiune care urmează
instrucțiunea este executată.

fnext * ;
Setați următoarea stare să fie punctul de intrare dat de . Expresia trebuie
evaluați la o valoare întreagă reprezentând o stare.

fcall ;
Apelați mașina definită de . Următorul fret va sări la ținta
tranziție asupra căreia se invocă acțiunea.

fcall * ;
Apelați punctul de intrare oferit de . Următorul fret va sări la ținta
tranziție asupra căreia se invocă acțiunea.

toci; Reveniți la starea țintă a tranziției pe care a fost efectuat ultimul fcall.

fbreak;
Salvați starea curentă și ieșiți imediat din mașină.

CREDITE

Ragel a fost scris de Adrian Thurston[e-mail protejat]>. Ieșire Obiectiv-C
contribuit de Erich Ocean. D output contribuit de Alan West. Ieșire Ruby a contribuit de
Victor Hugo Borja. Generarea codului C Sharp a contribuit de Daniel Tang. Contributii la
Generarea codului Java de către Colin Fleming. Go generarea codului contribuit de Justine Tunney.

Utilizați ragel online folosind serviciile onworks.net