public class UnsatisfiableConstraintException
extends polyglot.types.SemanticException
Modifier and Type | Field and Description |
---|---|
protected Equation |
failure |
protected FailedConstraintSnapshot |
snapshot |
protected AbstractSolver |
solver |
Constructor and Description |
---|
UnsatisfiableConstraintException(AbstractSolver solver,
Equation eqn,
FailedConstraintSnapshot snapshot)
Construct a new UnsatisfiableConstraintException.
|
Modifier and Type | Method and Description |
---|---|
protected void |
appendActualConstraint(java.lang.StringBuffer sb)
append the fully instantiated failed constraint, for example
"a;b;c <= b;c"
If the constraint does not have a named component, sb is unmodified.
|
protected void |
appendEquation(java.lang.StringBuffer sb)
append the failed equation, for example
"a <= b;c"
or
"a actsfor b"
|
protected void |
appendNamedConstraint(java.lang.StringBuffer sb)
Append the failed named constraint, for example
"caller_pc <= callee_pc"
If the constraint does not have a named component, sb is unmodified.
|
protected java.lang.Iterable<java.util.Map.Entry<java.lang.String,java.util.List<java.lang.String>>> |
definitions() |
protected boolean |
errorShowConstraint() |
protected boolean |
errorShowDefns() |
protected boolean |
errorShowDetailMsg() |
protected boolean |
errorShowTechnicalMsg() |
java.lang.String |
getMessage() |
FailedConstraintSnapshot |
getSnapshot()
Produce an error message for the constraint c, which cannot be satisfied.
|
protected void |
reportTraces(java.util.Collection<Variable> variables)
Report the traces for each variables in the collection
Variables |
protected final AbstractSolver solver
protected final Equation failure
protected final FailedConstraintSnapshot snapshot
public UnsatisfiableConstraintException(AbstractSolver solver, Equation eqn, FailedConstraintSnapshot snapshot)
solver
- The solver that was used to determine that eqn is unsatisfiableeqn
- The unsatisfiable equationprotected void reportTraces(java.util.Collection<Variable> variables)
Variables
public final FailedConstraintSnapshot getSnapshot()
public final java.lang.String getMessage()
getMessage
in class java.lang.Throwable
protected void appendNamedConstraint(java.lang.StringBuffer sb)
protected void appendActualConstraint(java.lang.StringBuffer sb)
protected void appendEquation(java.lang.StringBuffer sb)
protected java.lang.Iterable<java.util.Map.Entry<java.lang.String,java.util.List<java.lang.String>>> definitions()
protected boolean errorShowConstraint()
protected boolean errorShowTechnicalMsg()
protected boolean errorShowDetailMsg()
protected boolean errorShowDefns()