public static class SymbolicExecutionUtil.ContractPostOrExcPostExceptionVariableResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Term |
exceptionDefinition
The exception definition.
|
private Term |
exceptionEquality
The equality which contains the equality.
|
private Pair<ImmutableList<Term>,Term> |
updatesAndTerm
The updates.
|
private Term |
workingTerm
The working
Term . |
Constructor and Description |
---|
ContractPostOrExcPostExceptionVariableResult(Term workingTerm,
Pair<ImmutableList<Term>,Term> updatesAndTerm,
Term exceptionDefinition,
Term exceptionEquality)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Term |
getExceptionDefinition()
Returns the exception definition.
|
Term |
getExceptionEquality()
Returns the equality which contains the equality.
|
Pair<ImmutableList<Term>,Term> |
getUpdatesAndTerm()
Returns the updates.
|
Term |
getWorkingTerm()
Returns the working
Term . |
private Pair<ImmutableList<Term>,Term> updatesAndTerm
private Term exceptionDefinition
private Term exceptionEquality
public ContractPostOrExcPostExceptionVariableResult(Term workingTerm, Pair<ImmutableList<Term>,Term> updatesAndTerm, Term exceptionDefinition, Term exceptionEquality)
workingTerm
- The working Term
.updatesAndTerm
- The updates.exceptionDefinition
- The exception definition.exceptionEquality
- The equality which contains the equality.public Pair<ImmutableList<Term>,Term> getUpdatesAndTerm()
public Term getExceptionDefinition()
public Term getExceptionEquality()