public static class SymbolicExecutionUtil.SiteProofVariableValueInput
extends java.lang.Object
ExecutionMethodReturn#createExtractReturnVariableValueSequent(TypeReference, ReferencePrefix, Node, IProgramVariable)
and
ExecutionMethodReturn#createExtractVariableValueSequent(IExecutionContext, Node, IProgramVariable)
.Modifier and Type | Field and Description |
---|---|
private Operator |
operator
The
Operator which is the predicate that contains the value interested in. |
private Sequent |
sequentToProve
The sequent to prove.
|
Constructor and Description |
---|
SiteProofVariableValueInput(Sequent sequentToProve,
Operator operator)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Operator |
getOperator()
Returns the
Operator which is the predicate that contains the value interested in. |
Sequent |
getSequentToProve()
Returns the sequent to prove.
|