This commit is contained in:
2024-03-05 20:06:13 +02:00
parent 0b190104c6
commit 389bb0cfc6

View File

@@ -1,11 +1,11 @@
grammar SoftwareRequirements;
// Lexer rules
// Loser rules
ID : [a-zA-Z]+ ;
STRING : '"' ~'"'* '"' ;
WS : [ \t\r\n]+ -> skip ;
// Parser rules
// Puturos rules
program : (requirement | functionSpec)+ ;
requirement : ID ':' predicate ';' ;
@@ -26,7 +26,7 @@ parameter_list : parameter (',' parameter)* ;
parameter : STRING ':' STRING ;
// Define symbols
// Symballs
LPAREN : '(' ;
RPAREN : ')' ;
COLON : ':' ;