blob: 36e96e48050b4a179a44843f98c318a1eda46518 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
grammar Toc;
prog: (decl)+ EOF;
decl: varDecl ';'
| funcDecl
| structDecl
| namespaceDecl
;
namespaceDecl: 'namespace' typeName '{' decl* '}';
varDecl: 'var' var;
var: varName (':' type) ('=' expr)?;
varInit: varName (':' type) ('=' expr);
type: namespaceSpecifier* typeName genericInstantiation? (typeModifier)*;
typeModifier: '*' | ('[' (INT_LIT)? ']');
namespaceSpecifier: typeName '::';
funcDecl: 'func' func;
func: funcName genericDecl? '(' parameter ')' (':' type) (body | ';');
parameter: (var (',' var)*)?;
body: '{' stmt* '}';
structDecl: 'struct' structName genericDecl? '{' structMember* '}';
structMember: privateDecl? structVar | structMethod;
structVar: var ';';
structMethod: func;
privateDecl: 'private';
genericDecl: '<' typeName (',' typeName)* '>';
genericInstantiation: '<' type (',' type)* '>';
stmt: varDecl ';'
| ifStmt
| switchStmt
| forStmt
| whileStmt
| assignStmt ';'
| returnStmt ';'
| expr ';';
ifStmt: 'if' expr body elseIfStmt* elseStmt?;
elseIfStmt: 'else' 'if' expr body;
elseStmt: 'else' body;
switchStmt: 'switch' expr switchBody;
switchBody: '{' switchCase* '}';
switchCase: 'case' expr body;
forStmt: 'for' varInit ',' expr ',' expr body;
whileStmt: 'while' expr body;
assignStmt: expr '=' expr;
returnStmt: 'return' expr;
expr: namespaceSpecifier* funcName genericInstantiation? '(' (expr (',' expr)*)? ')' #funcExpr
| expr '.' funcName genericInstantiation? '(' (expr (',' expr)*)? ')' #methodExpr
| literal #litExpr
| '(' expr ')' #parenExpr
| expr (dot | arrow) varName #dotExpr
| prefix_op expr #prefixOpExpr
| expr postfix_op #postfixOpExpr
| expr binary_op expr #binaryOpExpr
| expr '?' expr ':' expr #ternaryOpExpr
| expr '[' expr ']' #bracketExpr
| namespaceSpecifier* varName #identifierExpr
;
dot: '.';
arrow: '->';
literal: INT_LIT | DECIMAL_LIT | StringLit | BOOL_LIT;
funcName: NAME;
varName: NAME;
typeName: NAME;
structName: NAME;
postfix_op:
'++' | '--';
prefix_op:
'+' | '-' | '!' | '~' | '&' | '*' | postfix_op;
binary_op:
'+' | '-' | '*' | '/' | '%' | '&' | '<' | '|' | '^' | '>' |
'==' | '!=' | '<=' | '>=' | '<' | '>' |
'<<' | '>>' | '||' | '&&' | '&=' | '|=' | '^=' |
'<<=' | '>>=' | '+=' | '-=' | '*=' | '/=' | '%=';
INT_LIT: ('+' | '-')? [0-9]+;
DECIMAL_LIT: ('+' | '-')* [0-9]+ '.' [0-9]+;
BOOL_LIT: 'true' | 'false';
StringLit: '"' CharSeq '"';
fragment CharSeq: Char+;
fragment Char: ~["\\\r\n]
| '\\' ['"?abfnrtv\\]
| '\\\n'
| '\\\r\n'
;
NAME: ([a-z] | [A-Z] | [0-9])+;
WS: [ \t\r\n]+ -> skip;
NEWLINE: [\r\n]+;
|
