public static final class Contract.OriginalVariables
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Map<LocationVariable,ProgramVariable> |
atPres |
ProgramVariable |
exception |
ImmutableList<ProgramVariable> |
params |
ProgramVariable |
result |
ProgramVariable |
self |
Constructor and Description |
---|
OriginalVariables(ProgramVariable selfVar,
ProgramVariable resVar,
ProgramVariable excVar,
java.util.Map<? extends LocationVariable,? extends ProgramVariable> atPreVars,
ImmutableList<? extends ProgramVariable> paramVars)
Create new instance of original variables
|
Modifier and Type | Method and Description |
---|---|
Contract.OriginalVariables |
add(ImmutableList<ProgramVariable> newParams)
Adds a list of parameters and deletes the prior ones (if any).
|
public final ProgramVariable self
public final ProgramVariable result
public final ProgramVariable exception
public final java.util.Map<LocationVariable,ProgramVariable> atPres
public final ImmutableList<ProgramVariable> params
public OriginalVariables(ProgramVariable selfVar, ProgramVariable resVar, ProgramVariable excVar, java.util.Map<? extends LocationVariable,? extends ProgramVariable> atPreVars, ImmutableList<? extends ProgramVariable> paramVars)
selfVar
- the original self variableresVar
- the original result variableexcVar
- the original exception variableatPreVars
- the original atPreVarsparamVars
- the original parameter variablespublic Contract.OriginalVariables add(ImmutableList<ProgramVariable> newParams)
newParams
-