public class ReconfigurationPlanCheckerException extends Exception
Constructor and Description |
---|
ReconfigurationPlanCheckerException(SatConstraint c,
Action a)
Declare a violation caused by an action.
|
ReconfigurationPlanCheckerException(SatConstraint c,
Model model,
boolean o)
Declare a violation caused by a model.
|
Modifier and Type | Method and Description |
---|---|
Action |
getAction()
Get the action that provoked the violation.
|
SatConstraint |
getConstraint()
Get the violated constraint.
|
Model |
getModel()
Get the model that provoked the violation.
|
boolean |
isOrigin()
Indicates if a violation was provoked by the origin or the resulting model.
|
String |
toString() |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
public ReconfigurationPlanCheckerException(SatConstraint c, Action a)
c
- the violated constrainta
- the action provoking the violationpublic ReconfigurationPlanCheckerException(SatConstraint c, Model model, boolean o)
c
- the violated constraintmodel
- the model provoking the violationo
- true
to indicate the model is the model at the origin of the plan. false
to indicate the model that is reached once all the actions have been appliedpublic SatConstraint getConstraint()
public Action getAction()
null
if the violation was provoked by a model.public Model getModel()
null
if the violation was provoked by an action.public boolean isOrigin()
true
iff the violation was provoked by the origin model.Copyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.