public static final class UseOperationContractRule.Instantiation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
ImmutableList<Term> |
actualParams |
Expression |
actualResult |
Term |
actualSelf |
Modality |
mod |
MethodOrConstructorReference |
mr |
IProgramMethod |
pm |
Term |
progPost |
KeYJavaType |
staticType |
boolean |
transaction |
Term |
u |
Constructor and Description |
---|
Instantiation(Term u,
Term progPost,
Modality mod,
Expression actualResult,
Term actualSelf,
KeYJavaType staticType,
MethodOrConstructorReference mr,
IProgramMethod pm,
ImmutableList<Term> actualParams,
boolean transaction) |
public final Term u
public final Term progPost
public final Modality mod
public final Expression actualResult
public final Term actualSelf
public final KeYJavaType staticType
public final MethodOrConstructorReference mr
public final IProgramMethod pm
public final ImmutableList<Term> actualParams
public final boolean transaction
public Instantiation(Term u, Term progPost, Modality mod, Expression actualResult, Term actualSelf, KeYJavaType staticType, MethodOrConstructorReference mr, IProgramMethod pm, ImmutableList<Term> actualParams, boolean transaction)