Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
grammar Arithmetic;
prog : expr EOF ;
expr
: expr op=('*'|'/') expr # MulDiv
| expr op=('+'|'-') expr # AddSub
| INT # Int
| '(' expr ')' # Parens
;
INT: [0-9]+;
WS: [ \t\r\n]+ -> skip;
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
grammar CSVFlexible;
file : row+ EOF ;
row : field (',' field)* NEWLINE ;
field : TEXT | STRING ;
TEXT : ~[\r\n,"]+ ;
STRING : '"' ('""'|~'"')* '"' ;
NEWLINE : ('\r'? '\n')+ ;
WS : [ \t]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
grammar JSONMini;
json : value EOF ;
value
: STRING
| NUMBER
| object
| array
| 'true'
| 'false'
| 'null'
;
object : '{' pair (',' pair)* '}' | '{' '}' ;
pair : STRING ':' value ;
array : '[' value (',' value)* ']' | '[' ']' ;
STRING : '"' (~['"'\\] | '\\' .)* '"' ;
NUMBER : '-'? INT ('.' [0-9]+)? EXP? ;
fragment INT : '0' | [1-9] [0-9]* ;
fragment EXP : [Ee] [+-]? [0-9]+ ;
WS : [ \t\r\n]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
grammar MiniConfig;
config : (pair | section)* EOF ;
section : '[' NAME ']' (pair)* ;
pair : NAME '=' VALUE NEWLINE? ;
NAME : [a-zA-Z_][a-zA-Z0-9_]* ;
VALUE : ~[\r\n]+ ;
NEWLINE : ('\r'? '\n')+ ;
WS : [ \t]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
grammar MiniMarkdown;
doc : element+ EOF ;
element
: heading
| bold
| text
;
heading : '#' WS? TEXT NEWLINE ;
bold : '**' TEXT '**' ;
text : TEXT ;
TEXT : ~[\r\n#*]+ ;
NEWLINE : ('\r'? '\n')+ ;
WS : [ \t]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
grammar MiniQuery;
query : 'SELECT' columns 'FROM' table ('WHERE' condition)? EOF ;
columns : '*' | ID (',' ID)* ;
table : ID ;
condition : expr ;
expr
: ID OP value
| expr AND expr
| expr OR expr
| '(' expr ')'
;
value : STRING | NUMBER ;
ID : [a-zA-Z_][a-zA-Z0-9_]* ;
STRING : '\'' (~['\\\r\n])* '\'' ;
NUMBER : [0-9]+ ;
AND : 'AND' ;
OR : 'OR' ;
OP : '=' | '<>' | '<' | '>' | '<=' | '>=' ;
WS : [ \t\r\n]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
grammar Arithmetic;
expr: expr op=('*'|'/') expr # MulDiv
| expr op=('+'|'-') expr # AddSub
| INT # Int
| '(' expr ')' # Parens ;
INT: [0-9]+;
WS: [ \t\r\n]+ -> skip;
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
grammar BooleanExpr;
expr: expr AND expr
| expr OR expr
| NOT expr
| '(' expr ')'
| BOOL ;
AND: 'AND';
OR: 'OR';
NOT: 'NOT';
BOOL: 'TRUE' | 'FALSE';
WS: [ \t\r\n]+ -> skip;
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
grammar CSVFlexible;
file: row+ ;
row: value (',' value)* NEWLINE ;
value: QUOTED | TEXT? ;
TEXT: ~[,"\r\n]+ ;
QUOTED: '"' (~["\r\n] | '""')* '"' ;
NEWLINE: '\r'? '\n' ;
WS: [ \t]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
grammar JSONMini;
json: value ;
value: STRING | NUMBER | obj | array | 'true' | 'false' | 'null' ;
obj: '{' pair (',' pair)* '}' ;
pair: STRING ':' value ;
array: '[' value (',' value)* ']' ;
STRING: '"' (~["\\] | '\\' .)* '"' ;
NUMBER: '-'? INT ('.' [0-9]+)? ;
fragment INT: '0' | [1-9][0-9]* ;
WS: [ \t\r\n]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
grammar MiniConfig;
config: (section | pair)* EOF;
section: '[' NAME ']' ;
pair: NAME '=' VALUE ;
NAME: [a-zA-Z_][a-zA-Z0-9_]* ;
VALUE: ~[\r\n#;]+ ;
WS: [ \t\r\n]+ -> skip ;
COMMENT: ('#'|';').*? -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
grammar MiniMarkdown;
doc: (heading | bold | text)+ ;
heading: '#' WS? TEXT NL ;
bold: '**' TEXT '**' ;
text: TEXT NL? ;
TEXT: ~[\r\n#*]+ ;
WS: [ \t]+ -> skip ;
NL: '\r'? '\n' ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
grammar MiniQuery;
query: 'SELECT' columns 'FROM' table ('WHERE' condition)? EOF ;
columns: '*' | column (',' column)* ;
column: ID ;
table: ID ;
condition: column op value ;
op: '=' | '<' | '>' ;
value: STRING | NUMBER ;
ID: [a-zA-Z_][a-zA-Z0-9_]* ;
STRING: '\'' (~['\r\n])* '\'' ;
NUMBER: [0-9]+ ;
WS: [ \t\r\n]+ -> skip ;
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
grammar UnitExpr;
expr: NUMBER UNIT ;
NUMBER: [0-9]+ ('.' [0-9]+)? ;
UNIT: [a-zA-Z/_]+ ;
WS: [ \t\r\n]+ -> skip ;
Original file line number Diff line number Diff line change
Expand Up @@ -272,13 +272,13 @@ void <r.factory.grammar.name>::<r.name>Action(<r.ctxType> *context, size_t actio
>>

RuleSempredFunctionHeader(r, actions) ::= <<
bool <r.name>Sempred(<r.ctxType> *_localctx, size_t predicateIndex);
bool <r.name>Sempred([[maybe_unused]] <r.ctxType> *_localctx, size_t predicateIndex);
>>

RuleSempredFunction(r, actions) ::= <<
<! Called for both lexer and parser. But only one of them is actually available. Testing for the parser directly
generates a warning, however. So do the check via the factory instead. !>
bool <if (r.factory.g.lexer)><lexer.name><else><parser.name><endif>::<r.name>Sempred(<r.ctxType> *_localctx, size_t predicateIndex) {
bool <if (r.factory.g.lexer)><lexer.name><else><parser.name><endif>::<r.name>Sempred([[maybe_unused]] <r.ctxType> *_localctx, size_t predicateIndex) {
switch (predicateIndex) {
<actions: {index | case <index>: return <actions.(index)>}; separator=";\n">;

Expand Down
Loading