static void error(String message, GSS.Phase phase, Object token, Input.Region region) throws ParseFailed {
error(message,
token,
- phase,
+ /*phase*/null,
region,
phase.getGSS().getInput(),
phase.getGSS());
*/
}
HashMap<Element,Input.Location> hm = new HashMap<Element,Input.Location>();
- for(StateNode no : nodes)
- barf(hm, no, 0, false, region.getStart());
+ if (nodes!=null)
+ for(StateNode no : nodes)
+ barf(hm, no, 0, false, region.getStart());
ret.append("\n expected: ");
Set<Element> hs = hm.keySet();
if (hs.size() == 1) {