Kenneth Lausdahl
-
2013-11-04
- Module: --> parser
Initial thoughts from discussion with Kenneth below; rule needs another go-round.
Error for op1() == x.a
Fix:
else { // This is from having something like 'x.a' as a statement on its own --- this cannot be a AReferenceAction as actions cannot be referenced with dots, and it cannot be a operation call as it is missing () at the end (the selectorOptList was empty) --- so this is a Parse Error -jwc/29Oct2013 throw new RecognitionException(input); }
Results in this error (which occurs a lot in the models we have). Zotel.cml line 147:87 null
ZOTEL = -- RWL TC: Operations pre/post definitions may not be called with the current TC [pre_checkAvailability(s, zotels)] & replaced by [true] & check?s -> [true] & (dcl a:bool @ a := checkAvailability(s, zotels); avail!a -> ZOTEL) [] [true] & error -> ZOTEL [] book?s -> ([/*pre_makeBooking(s)*/ true] & (dcl r:Reference @ r := makeBooking(s); reference!r -> ZOTEL)