pre change

[toc] / Toc.g4

diff --git a/Toc.g4 b/Toc.g4
index 95c9a0dd95a4f35f1fdf9456a7c483b3fbb0712e..336b7b03a0a0e8b15bf5745e0099d529b0a3e3a4 100644 (file)
--- a/Toc.g4
+++ b/Toc.g4
@@ -2,83 +2,77 @@ grammar Toc;
 \r
 prog: (decl)+ EOF;\r
 \r
 \r
 prog: (decl)+ EOF;\r
 \r

-decl: varDecl\r
+decl: varDecl ';'\r

     | funcDecl\r
     | structDecl\r
     | funcDecl\r
     | structDecl\r

+    | namespaceDecl\r

     ;\r
 \r
     ;\r
 \r

+namespaceDecl: 'namespace' typeName '{' decl* '}';\r
+\r

 varDecl:  'var' var;\r
 var:  varName (':' type) ('=' expr)?;\r
 varDecl:  'var' var;\r
 var:  varName (':' type) ('=' expr)?;\r

+varInit:  varName (':' type) ('=' expr);\r

 \r
 \r

-type: typeName;\r
+type: namespaceSpecifier* typeName (typeModifier)*;\r
+typeModifier: '*' | ('[' (INT_LIT)? ']');\r

 \r
 \r

+namespaceSpecifier: typeName '::';\r

 \r
 funcDecl: 'func' func;\r
 \r
 funcDecl: 'func' func;\r

-func: funcName '(' parameter ')' (':' type) body;\r
-parameter: (firstParameter (additionalParameter)*)?;\r
-firstParameter: var;\r
-additionalParameter: ',' var;\r
+func: funcName genericDecl? '(' parameter ')' (':' type) body;\r
+parameter: (var (',' var)*)?;\r

 \r
 body: '{' stmt* '}';\r
 \r
 \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
 structMethod: func;\r

+privateDecl: 'private';\r

 \r
 \r

+genericDecl: '<' typeName (',' typeName)* '>';\r

 \r
 \r

-stmt: (varDecl\r
-     | conditional\r
-     | loop\r
-     | assignment\r
-     | returnStmt\r
-     | expr) ;\r
-\r
-conditional: ifCond;\r
-ifCond: 'if' expr body;\r
-\r
-loop: whileLoop;\r
-whileLoop: 'while' expr body;\r
-\r
-assignment: identifier '=' expr;\r
-\r
-returnStmt: 'return' expr;\r
-\r
-expr: funcCall\r
-    | literal\r
-    | identifier\r
-    | subscript\r
-    | memberAccess\r
-    | parenExpr\r
-    | operatorExpr;\r
-\r
-nonOpExpr: funcCall\r
-         | literal\r
-         | identifier\r
-         | subscript\r
-         | memberAccess\r
-         | parenExpr;\r
+stmt: varDecl ';'\r
+    | ifStmt\r
+    | switchStmt\r
+    | forStmt\r
+    | whileStmt\r
+    | assignStmt ';'\r
+    | returnStmt ';'\r
+    | expr ';';\r

 \r
 \r

-nonSubscriptExpr: funcCall\r
-                | identifier\r
-                | memberAccess\r
-                | parenExpr;\r
+ifStmt: 'if' expr body elseIfStmt* elseStmt?;\r
+elseIfStmt: 'else' 'if' expr body;\r
+elseStmt: 'else' body;\r

 \r
 \r

-funcCall: funcName '(' (expr (',' expr)*)? ')';\r
+switchStmt: 'switch' expr switchBody;\r
+switchBody: '{' switchCase* '}';\r
+switchCase: 'case' expr body;\r

 \r
 \r

-operatorExpr: binaryOperator;\r
-binaryOperator: nonOpExpr BINARY_OPERATOR nonOpExpr (BINARY_OPERATOR nonOpExpr)*;\r
+forStmt: 'for' varInit ',' expr ',' expr body;\r

 \r
 \r

-identifier: varName;\r
+whileStmt: 'while' expr body;\r

 \r
 \r

-literal: INTLIT;\r
+assignStmt: expr '=' expr;\r

 \r
 \r

-subscript: nonSubscriptExpr '[' expr ']';\r
+returnStmt: 'return' expr;\r

 \r
 \r

-memberAccess: identifier '.' identifier;\r
+expr: namespaceSpecifier* funcName '(' (expr (',' expr)*)? ')' #funcExpr\r
+    | expr '.' funcName '(' (expr (',' expr)*)? ')'            #methodExpr\r
+    | literal                                                  #litExpr\r
+    | '(' expr ')'                                             #parenExpr\r
+    | expr '.' varName                                         #dotExpr\r
+    | prefix_op expr                                           #prefixOpExpr\r
+    | expr postfix_op                                          #postfixOpExpr\r
+    | expr binary_op expr                                      #binaryOpExpr\r
+    | expr '?' expr ':' expr                                   #ternaryOpExpr\r
+    | expr '[' expr ']'                                        #bracketExpr\r
+    | namespaceSpecifier* varName                              #identifierExpr\r
+    ;\r

 \r
 \r

-parenExpr: '(' expr ')';\r
+literal: INT_LIT | DECIMAL_LIT | STRING_LIT | BOOL_LIT;\r

 \r
 funcName: NAME;\r
 varName: NAME;\r
 \r
 funcName: NAME;\r
 varName: NAME;\r


@@ -86,11 +80,21 @@ typeName: NAME;
 structName: NAME;\r
 \r
 \r
 structName: NAME;\r
 \r
 \r

-BINARY_OPERATOR:\r
-    '+'  | '-'  | '*' | '/'\r
-  | '==' | '!='\r
-  | '<'  | '>';\r
-INTLIT: ('+' | '-')? [0-9]+;\r
+postfix_op:\r
+    '++' | '--';\r
+prefix_op:\r
+    '+' | '-' | '!' | '~' | '&' | '*' | postfix_op;\r
+binary_op:\r
+    '+' | '-' | '*' | '/' | '%' | '&' | '<' | '|' | '^' | '>' |\r
+    '==' | '!=' | '<=' | '>=' | '<'  | '>' |\r
+    '<<' | '>>' | '||' | '&&' | '&=' | '|=' | '^=' |\r
+    '<<=' | '>>=' | '+=' | '-=' | '*=' | '/=' | '%=';\r
+\r
+INT_LIT: ('+' | '-')? [0-9]+;\r
+DECIMAL_LIT: ('+' | '-')* [0-9]+ '.' [0-9]+;\r
+STRING_LIT: '"' [^"]* '"';\r
+BOOL_LIT: 'true' | 'false';\r
+\r

 NAME: ([a-z] | [A-Z] | [0-9])+;\r
 WS: [ \t\r\n]+ -> skip;\r
 NEWLINE: [\r\n]+;\r
 NAME: ([a-z] | [A-Z] | [0-9])+;\r
 WS: [ \t\r\n]+ -> skip;\r
 NEWLINE: [\r\n]+;\r