ragel - Online in de cloud

PROGRAMMA:

NAAM

ragel - compileer reguliere talen in uitvoerbare staatsmachines

KORTE INHOUD

ragel [opties] filet

PRODUCTBESCHRIJVING

Ragel compileert uitvoerbare eindige toestandsmachines uit reguliere talen. Ragel kan
genereer C-, C++-, Objective-C-, D-, Go- of Java-code. Ragel-staatsmachines kunnen dat niet alleen
herkennen bytereeksen zoals reguliere-expressiemachines dat doen, maar kunnen ook code uitvoeren op
willekeurige punten bij de herkenning van een reguliere taal. Gebruikerscode is ingebed met behulp van
inline-operators die de syntaxis van de reguliere taal niet verstoren.

De kerntaal bestaat uit standaard operatoren voor reguliere expressies, zoals union,
aaneenschakeling en kleene-ster, vergezeld van operatoren voor het insluiten van actie. Ragel ook
biedt operators waarmee u elk niet-determinisme dat u creëert en construeert, kunt controleren
scanners die het langste matchparadigma gebruiken, en toestandsmachines bouwen met behulp van de statechart
model. Het is ook mogelijk om de uitvoering van een toestandsmachine vanuit een
ingebedde actie door naar andere delen van de machine te springen of te bellen en opnieuw te verwerken
invoer.

Ragel biedt een zeer flexibele interface voor de hosttaal die probeert te plaatsen
minimale beperkingen op hoe de gegenereerde code wordt gebruikt en geïntegreerd in het
sollicitatie. De gegenereerde code heeft geen afhankelijkheden.

OPTIES

-h, -H, -?, --help
Help weergeven en afsluiten.

-v Versie-informatie afdrukken en afsluiten.

-o filet
Uitvoer naar bestand schrijven. Als -o niet wordt opgegeven, wordt een standaardbestandsnaam gekozen door
het vervangen van de bestandsextensie van het invoerbestand. Voor bronbestanden die eindigen op .rh wordt de
achtervoegsel .h wordt gebruikt. Voor alle andere bronbestanden een achtervoegsel gebaseerd op de uitvoertaal
wordt gebruikt (.c, .cpp, .m, etc.). Als -o niet wordt opgegeven voor Graphviz-uitvoer, wordt het gegenereerde
dot-bestand wordt naar standaarduitvoer geschreven.

-s Druk enkele statistieken over standaardfouten af.

--error-format=gnu
Foutmeldingen afdrukken met de indeling "bestand:regel:kolom:" (standaard)

--error-format=msvc
Foutmeldingen afdrukken met de indeling "file(line,columm):"

-d Verwijder geen dubbele acties uit actielijsten.

-I dir
Voeg dir toe aan de lijst met mappen om te zoeken naar opgenomen en geïmporteerde bestanden

-n Voer geen statusminimalisatie uit.

-m Voer de minimalisatie één keer uit, aan het einde van de compilatie van de statusmachine.

-l Minimaliseer na vrijwel elke operatie. Lijsten van soortgelijke operaties zoals vakbonden zijn dat wel
aan het einde één keer geminimaliseerd. Dit is de standaardminimalisatieoptie.

-e Minimaliseer na elke operatie.

-x Compileer de statusmachines en verzend een XML-representatie van de hostgegevens en de
machines.

-V Genereer een puntbestand voor Graphviz.

-p Geef afdrukbare tekens op labels weer.

-S
FSM-specificatie naar uitvoer.

-M
Machinedefinitie/-instantie voor uitvoer.

-C De hosttaal is C, C++, Obj-C of Obj-C++. Dit is de standaard hosttaal
optie.

-D De gasttaal is D.

-J De gasttaal is Java.

-Z De gasttaal is Go.

-R De gasttaal is Ruby.

-L Verhinder het schrijven van #line-richtlijnen.

-T0 (C/D/Java/Ruby/C#/Go) Genereer een tabelgestuurde FSM. Dit is de standaardcodestijl.
De tabelgestuurde FSM vertegenwoordigt de toestandsmachine als statische gegevens. Er zijn tafels
van toestanden, transities, indicaties en acties. De huidige status wordt opgeslagen in een
variabel. De uitvoering is een lus die er uitziet als gegeven de huidige status en
het huidige teken dat moet worden verwerkt, zoekt de te nemen overgang op met behulp van een binaire zoekopdracht,
voert alle acties uit en gaat naar de doelstatus. Over het algemeen wordt de tafel aangedreven
FSM produceert een kleiner binair bestand en vereist een goedkopere hosttaalcompilatie
maar resulteert in langzamer lopende code. De tafelaangedreven FSM is geschikt voor elke FSM.

-T1 (C/D/Ruby/C#/Go) Genereer een snellere tabelgestuurde FSM door actielijsten uit te breiden
de actie-execut-code.

-F0 (C/D/Ruby/C#/Go) Genereer een FSM op basis van een platte tabel. Overgangen worden weergegeven als
een array geïndexeerd door het huidige alfabetteken. Dit elimineert de noodzaak voor een
binair zoeken om overgangen te lokaliseren en snellere code te produceren, maar dat is het enige
geschikt voor kleine alfabetten.

-F1 (C/D/Ruby/C#/Go) Genereer een snellere FSM op basis van platte tabellen door actielijsten uit te breiden
in de actie-execut-code.

-G0 (C/D/C#/Go) Genereer een goto-gestuurde FSM. De door goto aangedreven FSM vertegenwoordigt de staat
machine als een reeks goto-instructies. In de machine is de huidige status
opgeslagen door de instructiewijzer van de processor. De uitvoering is een platte functie
waar de controle van staat naar staat wordt overgedragen met behulp van gotos. Over het algemeen ga je naar FSM
produceert snellere code, maar resulteert in een groter binair bestand en een duurdere host
taal compileren.

-G1 (C/D/C#/Go) Genereer een snellere goto-gestuurde FSM door actielijsten uit te breiden in het
actie voer code uit.

-G2 (C/D/Go) Genereer een zeer snelle, door goto aangedreven FSM door actielijsten in te sluiten in het
staat de machinebesturingscode.

-P (C/D) N-Way Split echt snelle goto-aangedreven FSM.

RAGEL INVOER

OPMERKING: dit is een zeer korte beschrijving van de Ragel-invoer. Ragel wordt in meer detail beschreven
in de gebruikershandleiding die beschikbaar is op de startpagina (zie hieronder).

Ragel geeft invoerbestanden normaal gesproken rechtstreeks door aan de uitvoer. Wanneer het een FSM ziet
specificatie die machine-instanties bevat en stopt om de statusmachine te genereren.
Als er write-instructies zijn (zoals "write exec"), zendt ragel de overeenkomstige uit
code. Er kan een willekeurig aantal FSM-specificaties in een invoerbestand voorkomen. Een meerlijnige FSM
specificatie begint met '%%{' en eindigt met '}%%'. Een FSM-specificatie met één regel
begint met %% en eindigt bij de eerste nieuwe regel.

FSM STATEN

Machine Naam:
Stel de naam van de machine in. Indien gegeven, moet dit de eerste verklaring zijn.

Alfabet Type:
Stel het gegevenstype van het alfabet in.

Sleutel ophalen:
Geef op hoe u het alfabetteken uit het elementtype wilt ophalen.

zijn onder andere:
Voeg een machine met dezelfde naam als de huidige of met een andere naam toe aan de
huidige bestand of een ander bestand.

Actie Definitie:
Definieer een actie die kan worden aangeroepen door de FSM.

FSM Definitie, Instantie en langste Match Instantiatie:
Wordt gebruikt om FSM's te bouwen. Syntaxisbeschrijving in de volgende paar secties.

Toegang:
Geef op hoe u toegang krijgt tot de persistente statusmachinevariabelen.

Schrijven: Schrijf een onderdeel van de machine.

variabele:
Overschrijf de standaardvariabelenamen (p, pe, cs, act, enz.).

BASIC MACHINES

De basismachines zijn de basisoperanden van de reguliere taaluitdrukkingen.

'Hallo'
Concat letterlijk. Produceert een aaneenschakeling van de tekens in de string. Ondersteunt
escape-reeksen met '\'. Het resultaat heeft een startstatus en een overgang naar
een nieuwe status voor elk teken in de string. De laatste toestand in de reeks zal dat doen
definitief worden gemaakt. Om de tekenreeks hoofdletterongevoelig te maken, voegt u een 'i' toe aan de tekenreeks, as
in 'cmd'i.

"Hallo"
Identiek aan de versie met enkele aanhalingstekens.

[Hallo]
Of letterlijk. Produceert een unie van karakters. Ondersteunt tekenreeksen met '-',
het ontkennen van de betekenis van de unie met een initiaal '^' en ontsnappingssequenties met '\'.
Het resultaat zal twee toestanden hebben met een overgang daartussen voor elk karakter
of bereik.

OPMERKING: '', "", en [] produceren nul-FSM's. Nulmachines hebben één status die zowel een begin is
staat en een eindtoestand en komen overeen met de tekenreeks met lengte nul. Er kan een nulmachine worden gemaakt
met de nul-ingebouwde machine.

geheel getal
Maakt een machine met twee toestanden met één overgang op het opgegeven gehele getal.

hex Maakt een machine met twee toestanden met één overgang op het opgegeven hexadecimale getal.

/eenvoudige_regex/
Een eenvoudige reguliere expressie. Ondersteunt de notatie '.', '*' en '[]', karakter
varieert met '-', waardoor de betekenis van een OR-expressie met en initiële '^' en wordt ontkend
escape-reeksen met '\'. Ondersteunt ook één volgvlag: i. Gebruik het om een
hoofdletterongevoelige reguliere expressie, zoals in /GET/i.

lit .. lit
Specificeert een bereik. De toegestane boven- en ondergrenzen zijn concat-letterlijke waarden van
lengte één en nummermachines. 0x10..0x20, 0..63 en 'a'..'z' zijn bijvoorbeeld
geldige bereiken.

variable_name
Verwijst naar de machinedefinitie die is toegewezen aan de opgegeven variabelenaam.

ingebouwde_machine
Er zijn diverse inbouwmachines verkrijgbaar. Het zijn allemaal twee staatsmachines voor
het doel van het matchen van gemeenschappelijke klassen van karakters. Zij zijn:

elke Elk teken in het alfabet.

ascii Ascii-tekens 0..127.

verlengen Ascii uitgebreide karakters. Dit is het bereik -128..127 voor ondertekende alfabetten
en het bereik 0..255 voor niet-ondertekende alfabetten.

alpha Alfabetische tekens /[A-Za-z]/.

cijfer Cijfers /[0-9]/.

oudjaar Alfanumerieke cijfers /[0-9A-Za-z]/.

te verlagen Kleine letters /[az]/.

bovenste Hoofdletters /[AZ]/.

xcijfer Hexidecimale cijfers /[0-9A-Fa-f]/.

controle Controletekens 0..31.

diagram Grafische karakters /[!-~]/.

print Afdrukbare tekens /[ -~]/.

punt Interpunctie. Grafische tekens die geen alfanumerieke tekens zijn
/[!-/:-@\[-`{-~]/.

ruimte Witruimte /[\t\v\f\n\r ]/.

nul Snaarlengte van nul. Gelijk aan '', "" en [].

leeg Leeg setje. Komt overeen met niets.

KORT ONDERNEMER REFERENTIE

Operators zijn gegroepeerd op prioriteit, waarbij groep 1 de laagste is en groep 6 de hoogste.

GROEP 1:

uitdrukken , uitdrukken
Voeg machines samen zonder overgangen te tekenen, een startstatus in te stellen of
eventuele eindtoestanden. De startstatus moet expliciet worden opgegeven met het label 'start'.
Eindtoestanden kunnen worden gespecificeerd met de epsilon-overgangen naar impliciet
gecreëerde "definitieve" staat.

GROEP 2:

uitdrukken | uitdrukken
Produceert een machine die overeenkomt met elke string in machine één of machine twee.

uitdrukken & uitdrukken
Produceert een machine die overeenkomt met elke string die zich zowel in machine één als in machine bevindt
twee.

uitdrukken - uitdrukken
Produceert een machine die overeenkomt met elke string die zich in machine één bevindt, maar er niet in zit
machine twee.

uitdrukken -- uitdrukken
Sterke aftrekking. Komt overeen met elke string in machine één die geen enkele string heeft
in machine twee als een substring.

GROEP 3:

uitdrukken . uitdrukken
Produceert een machine die overeenkomt met alle snaren in machine één, gevolgd door alle
snaren in machine twee.

uitdrukken :> uitdrukken
Toegangsbewaakte aaneenschakeling: beëindigt machine één bij binnenkomst in machine twee.

uitdrukken :>> uitdrukken
Finish-guarded concatenation: beëindigt machine één wanneer machine twee klaar is.

uitdrukken <: uitdrukken
Links bewaakte aaneenschakeling: geeft een hogere prioriteit aan machine één.

OPMERKING: Concatenatie is de standaardoperator. Twee machines naast elkaar met nr
operator tussen hen resulteert in de aaneenschakelingsbewerking.

GROEP 4:

label: uitdrukken
Voegt een label toe aan een expressie. Labels kunnen worden gebruikt door epsilon-overgangen en
fgoto- en fcall-instructies in acties. Merk ook op dat de verwijzing naar een machine
definitie veroorzaakt de impliciete creatie van een label met dezelfde naam.

GROEP 5:

uitdrukken -> label
Tekent een epsilon-overgang naar de staat gedefinieerd door het label. Label moet een naam bevatten
de huidige reikwijdte. Epsilon-overgangen worden opgelost als komma-operatoren dat wel zijn
geëvalueerd en aan de basis van de expressieboom van de machine
opdracht / instantiatie.

GROEP 6: Acties

Een actie kan een naam zijn die vooraf is gedefinieerd met een actie-instructie, of kan rechtstreeks worden gespecificeerd
met '{' en '}' in de expressie.

uitdrukken > actie
Integreert actie in het starten van transities.

uitdrukken @ actie
Integreert actie in transities die naar een eindtoestand gaan.

uitdrukken $ actie
Integreert actie in alle transities. Omvat niet de lopende transities.

uitdrukken % actie
Integreert actie in lopende transities van eindtoestanden.

GROEP 6: EOF Acties

Wanneer de finishroutine van een machine wordt aangeroepen, worden de EOF-acties van de huidige status uitgevoerd.

uitdrukken >/ actie
Sluit een EOF-actie in de startstatus in.

uitdrukken </ actie
Sluit een EOF-actie in alle staten in, behalve de startstatus.

uitdrukken $/ actie
Integreer een EOF-actie in alle staten.

uitdrukken %/ actie
Integreer een EOF-actie in de eindstatussen.

uitdrukken @/ actie
Integreer een EOF-actie in alle staten die niet definitief zijn.

uitdrukken <>/ actie
Integreer een EOF-actie in alle staten die niet de startstatus zijn en dat ook niet zijn
definitieve (middenstaten).

GROEP 6: Globaal Fout Acties

Globale foutacties worden in statussen opgeslagen totdat de eindstatusmachine volledig is
gebouwd. Ze worden vervolgens overgebracht naar foutovergangen, wat het effect geeft van a
standaard actie.

uitdrukken >! actie
Integreer een globale foutactie in de startstatus.

uitdrukken <! actie
Integreer een globale foutactie in alle staten behalve de startstatus.

uitdrukken $! actie
Integreer een globale foutactie in alle staten.

uitdrukken %! actie
Integreer een globale foutactie in de eindstatussen.

uitdrukken @! actie
Integreer een globale foutactie in alle toestanden die niet definitief zijn.

uitdrukken <>! actie
Integreer een globale foutactie in alle staten die niet de startstatus zijn en dat wel zijn
niet definitief (middenstaten).

GROEP 6: Lokale Fout Acties

Lokale foutacties worden in statussen opgeslagen totdat de genoemde machine volledig is opgebouwd.
Ze worden vervolgens overgebracht naar foutovergangen, waardoor het effect van een standaardactie ontstaat
een deel van de totale machine. Houd er rekening mee dat de naam kan worden weggelaten, in welk geval de
actie wordt bij de bouw van de huidige machine omgezet in foutacties.

uitdrukken >^ actie
Integreer een lokale foutactie in de startstatus.

uitdrukken <^ actie
Integreer een lokale foutactie in alle staten behalve de startstatus.

uitdrukken $^ actie
Integreer een lokale foutactie in alle statussen.

uitdrukken %^ actie
Integreer een lokale foutactie in de eindstatussen.

uitdrukken @^ actie
Integreer een lokale foutactie in alle staten die niet definitief zijn.

uitdrukken <>^ actie
Integreer een lokale foutactie in alle staten die niet de startstatus zijn en dat wel zijn
niet definitief (middenstaten).

GROEP 6: Te vermelden Acties

To-state-acties worden in statussen opgeslagen en uitgevoerd telkens wanneer de machine naar een
staat. Dit omvat reguliere overgangen en overdrachten van controle zoals fgoto. Opmerking
dat het instellen van de huidige status van buiten de machine (bijvoorbeeld tijdens
initialisatie) geldt niet als een overgang naar een toestand.

uitdrukken >~ actie
Sluit een to-state actieactie in de startstatus in.

uitdrukken <~ actie
Integreer een to-state-actie in alle staten behalve de startstatus.

uitdrukken $~ actie
Integreer een to-state actie in alle staten.

uitdrukken %~ actie
Integreer een to-state actie in de uiteindelijke staten.

uitdrukken @~ actie
Integreer een to-state actie in alle staten die nog niet definitief zijn.

uitdrukken <>~ actie
Integreer een to-state-actie in alle staten die niet de startstatus zijn en dat ook niet zijn
definitieve (middenstaten).

GROEP 6: Van-staat Acties

Van statusacties worden uitgevoerd wanneer een staat een overgang op een personage aanneemt. Dit
omvat de foutovergang en een overgang naar het zelf.

uitdrukken >* actie
Sluit een actie vanuit de status in de startstatus in.

uitdrukken <* actie
Integreer een actie vanuit de staat in elke staat behalve de startstatus.

uitdrukken $* actie
Integreer een actie vanuit de staat in alle staten.

uitdrukken %* actie
Integreer een actie vanuit de staat in de uiteindelijke staten.

uitdrukken @* actie
Integreer een actie vanuit de staat in alle staten die niet definitief zijn.

uitdrukken <>* actie
Integreer een actie vanuit de status in alle staten die niet de startstatus zijn en dat ook niet zijn
definitieve (middenstaten).

GROEP 6: Prioriteit Toewijzing

Binnen transities worden prioriteiten toegekend aan namen. Alleen prioriteiten met dezelfde naam zijn dat
toegestaan ​​om te interageren. In de eerste vorm van prioriteiten is de naam standaard de naam van de
machinedefinitie waaraan de prioriteit wordt toegewezen. Overgangen hebben geen standaardwaarde
prioriteiten.

uitdrukken > int
Wijst de prioriteit int toe aan alle overgangen die de startstatus verlaten.

uitdrukken @ int
Wijst de prioriteit int toe aan alle overgangen die naar een eindtoestand gaan.

uitdrukken $ int
Wijst de prioriteit int toe aan alle bestaande overgangen.

uitdrukken % int
Wijst de prioriteit int toe aan alle uitstaande overgangen.

Een tweede vorm van prioriteitstoewijzing stelt de programmeur in staat de naam op te geven waaraan
de prioriteit wordt toegewezen, waardoor interacties de grenzen van de machinedefinitie kunnen overschrijden.

uitdrukken > (naam,int)
Wijst de prioriteit toe aan naam bij alle overgangen die de startstatus verlaten.

uitdrukken @ (naam, int)
Wijst de prioriteit int toe aan naam in alle overgangen die naar een eindstatus gaan.

uitdrukken $ (naam, int)
Wijst de prioriteit int toe aan naam in alle bestaande overgangen.

uitdrukken % (naam, int)
Wijst de prioriteit int toe aan naam in alle uitstaande overgangen.

GROEP 7:

uitdrukken * Produceert de kleene-ster van een machine. Komt overeen met nul of meer herhalingen van de
machine.

uitdrukken **
Kleene Star met de langste wedstrijd. Deze versie van Kleene Star geeft een hogere prioriteit
in de machine blijven, zich omwikkelen en opnieuw beginnen. Deze exploitant is
gelijk aan ( ( expr ) $0 %1 )*.

uitdrukken ? Produceert een machine die de opgegeven machine of de nulreeks accepteert. Deze exploitant
is gelijk aan ( expr | '' ).

uitdrukken + Produceert de machine samengevoegd met de Kleen-ster van zichzelf. Komt overeen met een of
meer herhalingen van de machine. Deze operator is gelijk aan ( expr . expr* ).

uitdrukken {N}
Produceert een machine die exact overeenkomt met n herhalingen van expr.

uitdrukken {,N}
Produceert een machine die overal tussen nul en n herhalingen van expr overeenkomt.

uitdrukken {N,}
Produceert een machine die overeenkomt met n of meer herhalingen van expr.

uitdrukken {n,m}
Produceert een machine die n tot m herhalingen van expr combineert.

GROEP 8:

! uitdrukken Produceert een machine die overeenkomt met elke string die niet overeenkomt met de gegeven machine. Dit
operator is gelijk aan ( *extend - expr ).

^ uitdrukken Ontkenning op karakterniveau. Komt overeen met elk afzonderlijk teken dat niet overeenkomt met de single
karaktermachine expr.

GROEP 9:

( uitdrukken )
Forceert voorrang op operators.

WAARDEN BESCHIKBAAR IN CODE BLOKKEN

fc Het huidige karakter. Gelijk aan *p.

fpc Een verwijzing naar het huidige karakter. Gelijk aan p.

fcurs Een geheel getalwaarde die de huidige status vertegenwoordigt.

ftargs Een geheel getalwaarde die de doelstatus vertegenwoordigt.

fentry( )
Een geheel getal dat het ingangspunt vertegenwoordigt .

STATEN BESCHIKBAAR IN CODE BLOKKEN

vasthouden; Ga niet verder dan het huidige personage. Gelijk aan --p;.

fexec ;
Stelt het huidige teken in op iets anders. Gelijk aan p = ( )-1;

vergeet niet ;
Ga naar de machine gedefinieerd door .

vergeet niet * ;
Spring naar het beginpunt gegeven door . De expressie moet resulteren in een geheel getal
waarde die een staat vertegenwoordigt.

volgende ;
Stel de volgende status in als het ingangspunt gedefinieerd door . De volgende verklaring
springt niet onmiddellijk naar de opgegeven status. Elke actiecode die volgt op de
verklaring wordt uitgevoerd.

volgende * ;
Stel de volgende status in als het toegangspunt gegeven door . De uitdrukking moet
evalueer tot een geheel getal dat een toestand vertegenwoordigt.

bel ;
Roep de machine op die is gedefinieerd door . De volgende fret springt naar het doel van de
overgang waarop de actie wordt aangeroepen.

bel * ;
Bel het toegangspunt gegeven door . De volgende fret springt naar het doel van de
overgang waarop de actie wordt aangeroepen.

tobben; Keer terug naar de doelstatus van de transitie waarop de laatste fcall werd uitgevoerd.

breken;
Bewaar de huidige status en breek onmiddellijk uit de machine.

CREDITS

Ragel is geschreven door Adrian Thurston[e-mail beveiligd]>. Objective-C-uitvoer
bijgedragen door Erich Ocean. D-uitvoer bijgedragen door Alan West. Ruby-uitvoer bijgedragen door
Victor Hugo Borja. C Sharp-codegeneratie, bijgedragen door Daniel Tang. Bijdragen aan
Generatie van Java-code door Colin Fleming. Ga code genereren, bijgedragen door Justine Tunney.

Gebruik ragel online met behulp van onworks.net-services