public class StateVars
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Term |
exception |
Term |
guard |
Term |
heap |
ImmutableList<Term> |
localVars |
Term |
mbyAtPre |
ImmutableList<Term> |
paddedTermList |
Term |
result |
Term |
self |
ImmutableList<Term> |
termList |
Constructor and Description |
---|
StateVars(StateVars orig,
java.lang.String postfix,
Services services) |
StateVars(Term self,
ImmutableList<Term> localVars,
Term heap) |
StateVars(Term self,
ImmutableList<Term> localVars,
Term result,
Term exception,
Term heap) |
StateVars(Term self,
ImmutableList<Term> localVars,
Term result,
Term exception,
Term heap,
Term mbyAtPre) |
StateVars(Term self,
Term guard,
ImmutableList<Term> localVars,
Term heap) |
StateVars(Term self,
Term guard,
ImmutableList<Term> localVars,
Term result,
Term exception,
Term heap) |
StateVars(Term self,
Term guard,
ImmutableList<Term> localVars,
Term result,
Term exception,
Term heap,
Term mbyAtPre) |
Modifier and Type | Method and Description |
---|---|
static StateVars |
buildInfFlowPostVars(StateVars origPreVars,
StateVars origPostVars,
StateVars preVars,
java.lang.String postfix,
Services services) |
static StateVars |
buildInfFlowPreVars(StateVars origPreVars,
java.lang.String postfix,
Services services) |
static StateVars |
buildMethodContractPostVars(StateVars preVars,
IProgramMethod pm,
KeYJavaType kjt,
Services services) |
static StateVars |
buildMethodContractPreVars(IProgramMethod pm,
KeYJavaType kjt,
Services services) |
java.lang.String |
toString() |
public final ImmutableList<Term> termList
public final ImmutableList<Term> paddedTermList
public final Term self
public final Term guard
public final ImmutableList<Term> localVars
public final Term result
public final Term exception
public final Term heap
public final Term mbyAtPre
public StateVars(Term self, Term guard, ImmutableList<Term> localVars, Term result, Term exception, Term heap, Term mbyAtPre)
public StateVars(Term self, ImmutableList<Term> localVars, Term result, Term exception, Term heap, Term mbyAtPre)
public StateVars(Term self, Term guard, ImmutableList<Term> localVars, Term heap)
public StateVars(Term self, Term guard, ImmutableList<Term> localVars, Term result, Term exception, Term heap)
public StateVars(Term self, ImmutableList<Term> localVars, Term result, Term exception, Term heap)
public StateVars(Term self, ImmutableList<Term> localVars, Term heap)
public static StateVars buildMethodContractPreVars(IProgramMethod pm, KeYJavaType kjt, Services services)
public static StateVars buildMethodContractPostVars(StateVars preVars, IProgramMethod pm, KeYJavaType kjt, Services services)
public static StateVars buildInfFlowPreVars(StateVars origPreVars, java.lang.String postfix, Services services)
public static StateVars buildInfFlowPostVars(StateVars origPreVars, StateVars origPostVars, StateVars preVars, java.lang.String postfix, Services services)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.