\r
prog: (decl)+ EOF;\r
\r
-decl: varDecl\r
+decl: varDecl ';'\r
| funcDecl\r
| structDecl\r
+ | namespaceDecl\r
;\r
\r
+namespaceDecl: 'namespace' typeName '{' decl* '}';\r
+\r
varDecl: 'var' var;\r
var: varName (':' type) ('=' expr)?;\r
varInit: varName (':' type) ('=' expr);\r
\r
type: typeName (typeModifier)*;\r
-typeModifier: '*' | '[' NUMBER? ']';\r
+typeModifier: '*' | ('[' (INT_LIT)? ']');\r
\r
\r
funcDecl: 'func' func;\r
-func: funcName '(' parameter ')' (':' type) body;\r
+func: funcName genericDecl? '(' parameter ')' (':' type) body;\r
parameter: (var (',' var)*)?;\r
\r
body: '{' stmt* '}';\r
\r
\r
-structDecl: 'struct' structName '{' structMember* '}';\r
-structMember: structVar | structMethod;\r
-structVar: var;\r
+structDecl: 'struct' structName genericDecl? '{' structMember* '}';\r
+structMember: privateDecl? structVar | structMethod;\r
+structVar: var ';';\r
structMethod: func;\r
+privateDecl: 'private';\r
\r
+genericDecl: '<' typeName (',' typeName)* '>';\r
\r
-stmt: varDecl\r
+stmt: varDecl ';'\r
| ifStmt\r
| switchStmt\r
| forStmt\r
| whileStmt\r
- | assignStmt\r
- | returnStmt\r
- | expr;\r
+ | assignStmt ';'\r
+ | returnStmt ';'\r
+ | expr ';';\r
\r
ifStmt: 'if' expr body elseIfStmt* elseStmt?;\r
elseIfStmt: 'else' 'if' expr body;\r
NAME: ([a-z] | [A-Z] | [0-9])+;\r
WS: [ \t\r\n]+ -> skip;\r
NEWLINE: [\r\n]+;\r
-NUMBER: [0-9]+;\r