more grammar cleanup

1 files changed, 52 insertions, 81 deletions

diff --git a/chapter14/docs/14-grammar.md b/chapter14/docs/14-grammar.md
index d7b11d24..a6d4df42 100644
--- a/chapter14/docs/14-grammar.md
+++ b/chapter14/docs/14-grammar.md
@@ -3,21 +3,48 @@
 ```antlrv4
 grammar SimpleLanguage;
 
-program
-    : statement+ EOF
-    ;
+program : block EOF ;
+
+block : statement+ ;
+
 
 statement
-    : returnStatement
-    | structDeclaration
-    | declStatement
-    | blockStatment
-    | expressionStatement
+    : '{' block '}'
+    | returnStatement
     | ifStatement
     | whileStatement
     | breakStatement
-    | continueStatment
+    | continueStatement
     | metaStatement
+    | structDeclaration
+    | expressionStatement
+    ;
+
+
+returnStatement : 'return' expression ';' ;
+
+ifStatement : 'if' '(' expression ')' statement ('else' statement)? ;
+
+whileStatement : 'while' '(' expression ')' statement ;
+
+breakStatement : 'break' ';' ;
+
+continueStatement : 'continue' ';' ;
+
+metaStatement : '#showGraph' ';' ;
+
+structDeclaration : 'struct' IDENTIFIER '{' fields '}'  ;
+
+fields : field+ ;
+
+field : type IDENTIFIER ';'  ;
+
+
+expressionStatement
+    : type IDENTIFIER ';'
+    | type IDENTIFIER '=' expression ';'
+    |      IDENTIFIER '=' expression ';'
+    |                     expression
     ;
 
 PRIMTYPE
@@ -35,64 +62,15 @@ PRIMTYPE
     | 'bool'
     ;
 
-field
-    : PRIMTYPE IDENTIFIER ';'
-    | structName IDENTIFIER ('?')? ';'
-    ;
-
-fields
-    : field+
-    ;
-
-structDeclaration
-    : 'struct' IDENTIFIER '{' fields '}'
-    ;
-
-whileStatement
-    : 'while' '(' expression ')' statement
+type
+    : PRIMTYPE
+    | typeName ('?')?
     ;
 
-breakStatement
-    : 'break' ';'
-    ;
-
-continueStatement
-    : 'continue' ';'
-    ;
-
-ifStatement
-    : 'if' '(' expression ')' statement ('else' statement)?
-    ;
-
-metaStatement
-    : '#showGraph' ';'
-    ;
+typeName : IDENTIFIER ;
 
-expressionStatement
-    : IDENTIFIER '=' expression ';'
-    | fieldExpression '=' expression ';'
-    ;
-
-blockStatement
-    : '{' statement+ '}'
-    ;
 
-structName
-    : IDENTIFIER
-    ;
-
-declStatement
-    : PRIMTYPE IDENTIFIER '=' expression ';'
-    | structName IDENTIFIER ('?')? '=' expression ';'
-    ;
-
-returnStatement
-    : 'return' expression ';'
-    ;
-
-expression
-    : bitWiseExpression
-    ;
+expression : bitWiseExpression ;
 
 bitWiseExpression
     : comparisonExpression ( '&' | '|' | '^' ) comparisonExpression)*
@@ -117,37 +95,30 @@ multiplicativeExpression
 unaryExpression
     : ('-') unaryExpression
     | '!' unaryExpression
-    | primaryExpression
-    ;
-
-newExpression
-    : 'new' IDENTIFIER
-    ;
-
-fieldExpression
-    : primaryExpresson '.' IDENTIFIER
+    | primaryExpression postFix*
     ;
 
 primaryExpression
-    : IDENTIFIER
-    | INTEGER_LITERAL
+    : INTEGER_LITERAL
+    | '(' expression ')'
     | 'true'
     | 'false'
     | 'null'
     | newExpression
-    | '(' expression ')'
-    | fieldExpression
+    | IDENTIFIER
     ;
 
+newExpression : 'new' IDENTIFIER ;
+
+postFix : '.' IDENTIFIER [ '=' expression ] ;
+
 INTEGER_LITERAL
-    : [1-9][0-9]*
+    : [1-9]DIGIT*
     | [0]
     ;
 
-IDENTIFIER
-    : NON_DIGIT (NON_DIGIT | DIGIT)*
-    ;
+IDENTIFIER : NON_DIGIT (NON_DIGIT | DIGIT)*  ;
 
 NON_DIGIT: [a-zA-Z_];
-DEC_DIGIT: [0-9];
+DIGIT: [0-9];
 ```