X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FCDL.cup;h=f491a6e556567f337e575b0b0f162a057acb4c5c;hb=8599e7b56823377d9757eb7e5319a53c7073314a;hp=12021e6d0fdfc587145de676907d87b336413a46;hpb=bfa6572a30b82fb1a430cb78e79a55ed93e4640a;p=repair.git

diff --git a/Repair/RepairCompiler/MCC/CDL.cup b/Repair/RepairCompiler/MCC/CDL.cup
index 12021e6..f491a6e 100755
--- a/Repair/RepairCompiler/MCC/CDL.cup
+++ b/Repair/RepairCompiler/MCC/CDL.cup
@@ -132,6 +132,7 @@ parser code {:
     terminal SUB; 
     terminal MULT; 
     terminal DIV;
+    terminal SUM;
 
     terminal NOT;
     terminal LT;
@@ -141,7 +142,6 @@ parser code {:
     terminal EQ;
     terminal NE;
 
-
     terminal FORALL;
     terminal IN;
     terminal INTEST;
@@ -478,8 +478,17 @@ setexpr ::=
 	;
 	
 expr ::=
-	
-	ID:var
+
+	SUM OPENPAREN ID:set DOT ID:relation CLOSEPAREN
+	{:
+	debugMessage(PRODSTRING);
+	ParseNode expr = new ParseNode("sumexpr", parser.curLine(3));
+	expr.addChild("dot").addChild("set", parser.curLine(3)).addChild(set);
+	expr.getChild("dot").addChild("relation", parser.curLine(1)).addChild(relation);
+	RESULT = expr;
+	:}
+
+	| ID:var
 	{:
 	debugMessage(PRODSTRING);
      	ParseNode expr = new ParseNode("expr", parser.curLine(1));