public static final class Contract.OriginalVariables extends Object
Modifier and Type | Field and Description |
---|---|
Map<LocationVariable,ProgramVariable> |
atPres |
ProgramVariable |
exception |
ImmutableList<ProgramVariable> |
params |
ProgramVariable |
result |
ProgramVariable |
self |
Constructor and Description |
---|
Contract.OriginalVariables(ProgramVariable selfVar,
ProgramVariable resVar,
ProgramVariable excVar,
Map<LocationVariable,ProgramVariable> atPreVars,
ImmutableList<ProgramVariable> paramVars) |
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 Map<LocationVariable,ProgramVariable> atPres
public final ImmutableList<ProgramVariable> params
public Contract.OriginalVariables(ProgramVariable selfVar, ProgramVariable resVar, ProgramVariable excVar, Map<LocationVariable,ProgramVariable> atPreVars, ImmutableList<ProgramVariable> paramVars)
public Contract.OriginalVariables add(ImmutableList<ProgramVariable> newParams)
newParams
-