projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model and checks
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
MDL.cup
diff --git
a/Repair/RepairCompiler/MCC/MDL.cup
b/Repair/RepairCompiler/MCC/MDL.cup
index 44a64df09fbd37623cd46d93406299924ee4bbb8..7014831781db21cc2748038f01058459147d429d 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/MDL.cup
+++ b/
Repair/RepairCompiler/MCC/MDL.cup
@@
-142,6
+142,7
@@
parser code {:
terminal IMPLIES;
terminal TRUE;
terminal IMPLIES;
terminal TRUE;
+ terminal FALSE;
terminal ISVALID;
terminal FOR;
terminal TO;
terminal ISVALID;
terminal FOR;
terminal TO;
@@
-604,12
+605,19
@@
expr ::=
/** standard *********************************/
literal ::=
/** standard *********************************/
literal ::=
+
TRUE
{:
debugMessage(PRODSTRING);
RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("boolean").addChild("true").getRoot();
:}
TRUE
{:
debugMessage(PRODSTRING);
RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("boolean").addChild("true").getRoot();
:}
+ | FALSE
+ {:
+ debugMessage(PRODSTRING);
+ RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("boolean").addChild("false").getRoot();
+ :}
+
| DECIMAL:dec
{:
debugMessage(PRODSTRING);
| DECIMAL:dec
{:
debugMessage(PRODSTRING);