janhaag/PSE2011 — Issue #102: NPException in parser when translating programs with unbounded quantifiers
Author: ratefuchs
Created: 2012-03-06 20:29:12+00:00
State: open
Labels: Parser

When parsing the correct program

main(){}ensure forall x() true;

there is a NPException in the parser. It works if range is not left out, however.

Stacktrace:

java.lang.NullPointerException
at parser.WhileLanguageParser.quantified_expression(WhileLanguageParser.java:2317)
at parser.WhileLanguageParser.ensure_statement(WhileLanguageParser.java:1601)
at parser.WhileLanguageParser.main_body(WhileLanguageParser.java:795)
at parser.WhileLanguageParser.main(WhileLanguageParser.java:400)
at parser.WhileLanguageParser.program(WhileLanguageParser.java:192)
at parser.ParserInterface.parseProgram(ParserInterface.java:41)
at misc.ExecutionHandler.parse(ExecutionHandler.java:51)
at gui.controller.MainController.widgetSelected(MainController.java:326)
at org.eclipse.swt.widgets.TypedListener.handleEvent(Unknown Source)
at org.eclipse.swt.widgets.EventTable.sendEvent(Unknown Source)
at org.eclipse.swt.widgets.Widget.sendEvent(Unknown Source)
at org.eclipse.swt.widgets.Display.runDeferredEvents(Unknown Source)
at org.eclipse.swt.widgets.Display.readAndDispatch(Unknown Source)
at gui.MainFrame.openWindow(MainFrame.java:256)
at gui.controller.MainController.initMainFrame(MainController.java:102)
at gui.controller.MainController.(MainController.java:90)
at misc.MainClass.main(MainClass.java:18)