Variablen C Expression Validator

[DKing]

Hi,
ich bin auf der Suche nach etwas sehr speziellem und vieleicht gibt es hier jemand der Erfahrungen in dem Bereich hat bzw. eine gute lib kennt.

Ich suche einen C Expression Validator. Dieser soll erkennen, das z.B. der String: "((x / (2 + z))" bzw. ((1 / (2 + 1)) ein valider Ausdruck ist.

Gibt es da irgendetwas, was mir solche Arbeit abnimmt?

Danke schon mal im Vorraus.

Grüße
DKing

 

[Ariol]

Geht's dir um mathematische Ausdrücke oder um eine Art eval() unter Java?

Eventuell hilft das ja weiter:
"String ausführen" ? --> ähnliches wie eval() ?

 

[DKing]

Ja sowas in der Richtung , danke schon mal. Damit lässt sich auf jeden Fall erstmal etwas anfangen. Hat noch jemand Erfahrungen in dem Bereich?

 

[HoaX]

Kannst dir ja auch einen Parser mit einem der vielen Parsergeneratoren erzeugen lassen, oder wenn du was lernen willst selbst einen scheiben. Nur die Syntax prüfen ist nicht so schwer.

 

[DKing]

Ja, einen eigenen Parser schreiben wäre natürlich eine Lösung, jedoch ist das Ziel eher schnell etwas lauffähiges zuhaben, da der Zeitmangel enorm ist.
Du hast von Parsergeneratoren gesprochen, einen solchen habe ich noch nicht benutzt. Da ich ja z.B. die Anzahl der Klammern zählen muss, würde eine regulärer Ausdruck in diesem Fall nicht ausreichen, ich würde also wahrscheinlich mit einer kontextfreien Grammatik zum gewünschten Ziel kommen.

Kannst du da irgendeine Bibliothek empfehlen?

Im Grunde brauche ich nur eine lib mit der ich eine kontextfreie Grammatik definieren kann.

Hat sonst noch jemand weiter Vorschläge?

Gruß
DKing

 

[HoaX]

Gabs neulich erst einen Thread dazu. Schau dir einfach mal XText und Antlr an.

 

[DKing]

Dankeschön!
Habe mir nun den ganzen Morgen mal ANTLR angeschaut. Ich habe dort folgende Grammatik zusammengebaut:

expressionGrammar:   expr+;
               
expr
    :   multExpr
        (   '+' multExpr
        |   '-' multExpr
        )*
    ;

multExpr
    :   atom ('*' atom)*; 

atom
    :   INT | ID | '(' expr ')';

ID  :   ('a'..'z'|'A'..'Z')+ ;
INT :   '0'..'9'+;
WS  :   (' '|'\t')+;

Habe mir den Code generieren lassen, bin aber etwas ratlos wie ich genau nun dagegen validieren kann. Der String 12ab dürfte ja fehlschlagen im Gegensatz zu (1+2*3).

Habe schon im Internet nach einer Lösung gesucht, war jedoch nicht erfolgreich. Hat vieleicht jemand einen Codeschnipsel für mich, der funktioniert und an dem ich mich orientieren kann?

Grüße
DKing

 

[HoaX]

Schau dir doch mal den Code vom generierten Lexer an. Dem kannst du iirc im Kontruktor einen String übergeben welcher verarbeitet wird. Um die Verarbeitung zu starten musst du die zur Startregel gehörende Methode aufrufen. Bei also mExpressionGrammar() oder so.

Edit eben probiert: Starte mal den Debugger von Antlr, dann wird dir eine __Test__.java erzeugt, da siehst du dann wie man den erzeugten Code verwendet.