The planner can throw exceptions due to semantic mistakes in the model, and the
user should be able to see those errors. Because I start the JavaUI as an
Eclipse Application, I can see them by looking at the Console view in my
original Eclipse IDE. However, it would be easier if they were displayed in
the Console of the JavaUI, and that will be especially important if/when the
JavaUI is used stand-alone.
As a simple example, add the following to the initial state:
int counter = 0;
counter = 1;
The parser is fine, but the planner throws this exception, which is helpful to
see:
ConstraintEngine/base/ConstrainedVariable.cc:59: Error:
dom.intersects(baseDomain()) is false
int:CLOSED[1, 1] not intersecting int:CLOSED[0, 0]
(see issue 104 and issue 105 for related discussions)
Original issue reported on code.google.com by tristanb...@gmail.com on 4 Mar 2011 at 8:04
Original issue reported on code.google.com by
tristanb...@gmail.com
on 4 Mar 2011 at 8:04