summaryrefslogtreecommitdiff
blob: 27f1bca8c2c7db9d6774b19ebfda47b620675907 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
lexer grammar PropertyLexer;

TAG_EXISTING_KW: '(tag_existing';
AND_OPERATOR_KW: '(and';
OR_OPERATOR_KW: '(or';
NOT_OPERATOR_KW: '(not';
EXISTS_OPERATOR_KW: '(exists';
FORALL_OPERATOR_KW: '(forall';
ID: [a-zA-Z0-9_]+;
L_PAREN : '(';
R_PAREN : ')';

WS: [ \t\r\n]+ -> skip;