public static class SymbolicExecutionUtil.ContractPostOrExcPostExceptionVariableResult
extends java.lang.Object
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 . |
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()
Copyright © 2003-2019 The KeY-Project.