From fcc77337ac8435dc3cb1bcfb9de38b40a7a31ea3 Mon Sep 17 00:00:00 2001
From: Christian Menard <christian.menard@tu-dresden.de>
Date: Tue, 8 Mar 2022 15:43:14 +0100
Subject: [PATCH] delete more unused rules

---
 org.lflang/src/org/lflang/LinguaFranca.xtext | 39 +-------------------
 1 file changed, 2 insertions(+), 37 deletions(-)

diff --git a/org.lflang/src/org/lflang/LinguaFranca.xtext b/org.lflang/src/org/lflang/LinguaFranca.xtext
index e91ff8605f..6e071503cd 100644
--- a/org.lflang/src/org/lflang/LinguaFranca.xtext
+++ b/org.lflang/src/org/lflang/LinguaFranca.xtext
@@ -275,11 +275,6 @@ TypedVariable:
 Variable:
     TypedVariable | Timer | Mode;
 
-Trigger:
-    Action | Input;
-
-Effect:
-    Action | Output;
 VarRef:
     variable=[Variable] | container=[Instantiation] '.' variable=[Variable]
     | interleaved?='interleaved' '(' (variable=[Variable] | container=[Instantiation] '.' variable=[Variable]) ')'
@@ -300,36 +295,15 @@ Assignment:
  * Parameter declaration with optional type and mandatory initialization.
  */
 Parameter:
-    name=ID (':' (type=Type))? 
-    // FIXME: rename Value to Expr
+    name=ID (':' (type=Type))?
     ((parens+='(' (init+=Value (','  init+=Value)*)? parens+=')')
         | (braces+='{' (init+=Value (','  init+=Value)*)? braces+='}')
     )?
 ;
 
-Sum :
-    terms+=Difference ('+' terms+=Difference)*;
-
-Difference:
-    terms+=Product ('-' terms +=Product)*;
-
-Product:
-    terms+=Quotient ('*' terms+=Quotient)*;
-
-Quotient:
-    terms+=Expr ('/' terms += Expr)*;
-
-Expr :
-  Value | '(' Sum ')';
-
-// Time is either a reference to a parameter or an integer value, 
-// a number followed by a unit specification (unless the value is zero). 
-// If it is a constant, the validator should check that if the value
-// is non-zero, it is accompanied by a unit.
 Value:
     (parameter=[Parameter] | time=Time | literal=Literal | code=Code);
 
-
 Time:
     (interval=INT unit=TimeUnit)
 ;
@@ -386,11 +360,6 @@ DottedName:
     (ID (('.'|'::') ID)*)
 ;
 
-
-Generic:
-    '<' (DottedName (',' DottedName)*) '>'
-;
-
 SignedInt:
     INT | NEGINT
 ;
@@ -473,10 +442,6 @@ Code:
     {Code} '{=' body=Body '=}'
 ;
 
-// The following cannot be terminal because it overlaps ID.
-//Path: 
-//    ID ('.' ID)*;
-    
 FSName: 
     (ID | '.' | '_')+
 ;
@@ -543,4 +508,4 @@ Token:
     '@' |
     // Single quotes
     "'"
-;
+;
\ No newline at end of file