2 import MCC.IR.ParseNode;
3 import MCC.IR.ParseNodeVector;
8 public static boolean errors;
9 public static boolean debug;
11 // debugMessage: writes debug production message only if debug = true
13 void debugMessage (String production) {
15 System.out.println("Applying production: " + production);
19 String unescape (String str) {
20 StringBuffer sb = new StringBuffer();
22 // Note that we skip the first and last characters (they're "'s)
23 for (i = 1; i < str.length() - 1; i++) {
24 if (str.charAt(i) == '\\') {
26 switch (str.charAt(i)) {
43 System.err.print("Error in string literal: ");
44 System.err.println(str.charAt(i));
45 System.err.println("Aborting...");
49 sb.append(str.charAt(i));
60 public void syntax_error (java_cup.runtime.Symbol current) {
62 CUP$CDLParser$actions.errors = true;
63 Symbol symbol = (Symbol) current;
64 report_error("CDL: Syntax error at line " + (symbol.line + 1)
65 + ", column " + LineCount.getColumn(symbol.left) + ": " + current.value, current);
68 public void report_fatal_error (String message, Object info) {
71 report_error(message, info);
72 CUP$CDLParser$actions.errors = true;
75 public int curPos () {
76 return cur_token.left;
79 public int curLine (int back) {
80 Stack st = new Stack();
83 for (i = 0; i < back; i++) {
87 java_cup.runtime.Symbol s;
88 s = (java_cup.runtime.Symbol) st.peek();
90 for (i = 0; i < back; i++) {
94 return LineCount.getLine(s.left);
99 // TERMINALS /////////////////////////////////////////////////////////////
104 terminal String DECIMAL;
105 terminal String CHAR;
106 terminal String STRING;
112 terminal OPENBRACKET;
113 terminal CLOSEBRACKET;
179 // NON-TERMINALS /////////////////////////////////////////////////////////
183 ------------------------------------------------------------------------*/
184 nonterminal ParseNode constraints;
185 nonterminal ParseNode constraint;
186 nonterminal ParseNode optcrash;
187 nonterminal ParseNode quantifiers;
188 nonterminal ParseNode quantifier;
189 nonterminal ParseNode set;
190 nonterminal ParseNode listofliterals;
191 nonterminal ParseNode literal;
192 nonterminal ParseNode body;
193 nonterminal ParseNode predicate;
194 nonterminal ParseNode setexpr;
196 nonterminal ParseNode compare;
197 nonterminal ParseNode expr;
198 nonterminal ParseNode operator;
204 precedence right EQ, NE;
205 precedence right LT, LE, GE, GT;
206 precedence left ADD, SUB;
207 precedence left MULT, DIV;
209 precedence left DOT, DOTINV;
211 // PRODUCTION RULES /////////////////////////////////////////////////////
215 constraints:constraints constraint:constraint
217 debugMessage(PRODSTRING);
218 constraints.addChild(constraint);
219 RESULT = constraints;
222 | constraint:constraint
224 debugMessage(PRODSTRING);
225 ParseNode constraints = new ParseNode("constraints", parser.curLine(1));
226 constraints.addChild(constraint);
227 RESULT = constraints;
233 optcrash:crash OPENBRACKET quantifiers:quantifiers CLOSEBRACKET COMMA body:body SEMICOLON
235 debugMessage(PRODSTRING);
236 ParseNode constraint = new ParseNode("constraint", parser.curLine(7));
238 constraint.addChild(crash);
240 if (quantifiers != null) {
241 constraint.addChild(quantifiers);
243 constraint.addChild(body);
252 debugMessage(PRODSTRING);
253 RESULT = new ParseNode("crash", parser.curLine(1));
258 debugMessage(PRODSTRING);
265 quantifiers:quantifiers COMMA quantifier:quantifier
267 debugMessage(PRODSTRING);
268 quantifiers.addChild(quantifier);
269 RESULT = quantifiers;
272 | quantifier:quantifier
274 debugMessage(PRODSTRING);
275 ParseNode quantifiers = new ParseNode("quantifiers", parser.curLine(1));
276 quantifiers.addChild(quantifier);
277 RESULT = quantifiers;
282 debugMessage(PRODSTRING);
289 FORALL ID:var IN set:set
291 debugMessage(PRODSTRING);
292 ParseNode q = new ParseNode("quantifier", parser.curLine(4));
293 q.addChild("forall", parser.curLine(4));
294 q.addChild("var", parser.curLine(3)).addChild(var);
304 debugMessage(PRODSTRING);
305 ParseNode set = new ParseNode("set", parser.curLine(1));
306 set.addChild("name").addChild(setname);
310 | OPENBRACE listofliterals:list CLOSEBRACE
312 debugMessage(PRODSTRING);
313 ParseNode set = new ParseNode("set", parser.curLine(3));
321 listofliterals:list COMMA literal:literal
323 debugMessage(PRODSTRING);
324 list.addChild(literal);
330 debugMessage(PRODSTRING);
331 ParseNode list = new ParseNode("listofliterals", parser.curLine(1));
332 list.addChild(literal);
339 body:body1 AND body:body2
341 debugMessage(PRODSTRING);
342 ParseNode body = new ParseNode("body", parser.curLine(3));
343 body.addChild("and").addChild("left", parser.curLine(3)).addChild(body1);
344 body.getChild("and").addChild("right", parser.curLine(1)).addChild(body2);
348 | body:body1 OR body:body2
350 debugMessage(PRODSTRING);
351 ParseNode body = new ParseNode("body", parser.curLine(3));
352 body.addChild("or").addChild("left", parser.curLine(3)).addChild(body1);
353 body.getChild("or").addChild("right", parser.curLine(1)).addChild(body2);
359 debugMessage(PRODSTRING);
360 ParseNode body = new ParseNode("body", parser.curLine(2));
361 body.addChild("not").addChild(body1);
365 | OPENPAREN body:body CLOSEPAREN
367 debugMessage(PRODSTRING);
371 | predicate:predicate
373 debugMessage(PRODSTRING);
374 ParseNode body = new ParseNode("body", parser.curLine(1));
375 body.addChild(predicate);
382 ID:var IN setexpr:setexpr
384 debugMessage(PRODSTRING);
385 ParseNode inclusion = (new ParseNode("predicate", parser.curLine(3))).addChild("inclusion");
386 inclusion.addChild("quantifiervar", parser.curLine(3)).addChild(var);
387 inclusion.addChild(setexpr);
388 RESULT = inclusion.getRoot();
391 | SIZEOF OPENPAREN setexpr:setexpr CLOSEPAREN compare:compare DECIMAL:dec
393 ParseNode sizeof = (new ParseNode("predicate", parser.curLine(4))).addChild("sizeof");
394 sizeof.addChild(setexpr);
395 sizeof.addChild("compare", parser.curLine(2)).addChild(compare);
396 sizeof.addChild("decimal", parser.curLine(1)).addChild(dec);
397 RESULT = sizeof.getRoot();
400 | ID:var DOT ID:relation compare:compare expr:expr
402 debugMessage(PRODSTRING);
403 ParseNode comparison = (new ParseNode("predicate", parser.curLine(3))).addChild("comparison");
404 comparison.addChild("compare", parser.curLine(2)).addChild(compare);
405 comparison.addChild("relation", parser.curLine(3)).addChild(relation);
406 comparison.addChild("quantifier", parser.curLine(5)).addChild(var);
407 comparison.addChild(expr);
408 RESULT = comparison.getRoot();
416 debugMessage(PRODSTRING);
417 ParseNode set = new ParseNode("setexpr", parser.curLine(1));
418 set.addChild("set").addChild(setname);
422 | ID:var DOT ID:relation
424 debugMessage(PRODSTRING);
425 ParseNode set = new ParseNode("setexpr", parser.curLine(3));
426 set.addChild("dot").addChild("quantifiervar", parser.curLine(3)).addChild(var);
427 set.getChild("dot").addChild("relation", parser.curLine(1)).addChild(relation);
431 | ID:var DOTINV ID:relation
433 debugMessage(PRODSTRING);
434 ParseNode set = new ParseNode("setexpr", parser.curLine(3));
435 set.addChild("dotinv").addChild("quantifiervar", parser.curLine(3)).addChild(var);
436 set.getChild("dotinv").addChild("relation", parser.curLine(1)).addChild(relation);
445 debugMessage(PRODSTRING);
446 ParseNode expr = new ParseNode("expr", parser.curLine(1));
447 expr.addChild("var").addChild(var);
451 | OPENPAREN expr:expr CLOSEPAREN
453 debugMessage(PRODSTRING);
457 | LITERAL OPENPAREN literal:literal CLOSEPAREN
459 debugMessage(PRODSTRING);
460 ParseNode expr = new ParseNode("expr", parser.curLine(4));
461 expr.addChild(literal);
465 | expr:expr DOT ID:relname
467 debugMessage(PRODSTRING);
468 ParseNode relation = (new ParseNode("expr", parser.curLine(3))).addChild("relation");
469 relation.addChild(expr);
470 relation.addChild("name").addChild(relname);
471 RESULT = relation.getRoot();
474 | expr:expr DOTINV ID:relname
476 debugMessage(PRODSTRING);
477 ParseNode relation = (new ParseNode("expr", parser.curLine(3))).addChild("relation");
478 relation.addChild(expr);
479 relation.addChild("name").addChild(relname);
480 relation.addChild("inv");
481 RESULT = relation.getRoot();
484 | expr:expr1 operator:operator expr:expr2
486 debugMessage(PRODSTRING);
487 ParseNode op = (new ParseNode("expr", parser.curLine(3))).addChild("operator");
488 op.addChild("op").addChild(operator);
489 op.addChild("left", parser.curLine(3)).addChild(expr1);
490 op.addChild("right", parser.curLine(1)).addChild(expr2);
491 RESULT = op.getRoot();
494 | SIZEOF OPENPAREN setexpr:setexpr CLOSEPAREN
496 ParseNode sizeof = (new ParseNode("expr", parser.curLine(4))).addChild("sizeof");
497 sizeof.addChild(setexpr);
498 RESULT = sizeof.getRoot();
506 debugMessage(PRODSTRING);
507 RESULT = new ParseNode("add", parser.curLine(1));
512 debugMessage(PRODSTRING);
513 RESULT = new ParseNode("sub", parser.curLine(1));
518 debugMessage(PRODSTRING);
519 RESULT = new ParseNode("mult", parser.curLine(1));
524 debugMessage(PRODSTRING);
525 RESULT = new ParseNode("div", parser.curLine(1));
533 debugMessage(PRODSTRING);
534 RESULT = new ParseNode("lt", parser.curLine(1));
539 debugMessage(PRODSTRING);
540 RESULT = new ParseNode("gt", parser.curLine(1));
545 debugMessage(PRODSTRING);
546 RESULT = new ParseNode("le", parser.curLine(1));
551 debugMessage(PRODSTRING);
552 RESULT = new ParseNode("ge", parser.curLine(1));
557 debugMessage(PRODSTRING);
558 RESULT = new ParseNode("eq", parser.curLine(1));
563 debugMessage(PRODSTRING);
564 RESULT = new ParseNode("ne", parser.curLine(1));
572 debugMessage(PRODSTRING);
573 RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("boolean").addChild("true").getRoot();
578 debugMessage(PRODSTRING);
579 RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("decimal").addChild(dec).getRoot();
584 debugMessage(PRODSTRING);
585 RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("string").addChild(str).getRoot();
590 debugMessage(PRODSTRING);
591 RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("char").addChild(chr).getRoot();
596 debugMessage(PRODSTRING);
597 RESULT = (new ParseNode("literal", parser.curLine(1))).addChild("token").addChild(literal).getRoot();