Methods
Modifier and Type |
Method and Description |
private ImmutableList<Term> |
appendIfNotNull(ImmutableList<Term> list,
ImmutableList<Term> list2) |
private ImmutableList<Term> |
appendIfNotNull(ImmutableList<Term> list,
Term t) |
private static Term |
buildExceptionVar(Services services,
String postfix,
IProgramMethod pm) |
private static Term |
buildHeapFunc(String postfix,
ImmutableArray<TermLabel> labels,
Services services) |
static StateVars |
buildInfFlowPostVars(StateVars origPreVars,
StateVars origPostVars,
StateVars preVars,
String postfix,
Services services) |
static StateVars |
buildInfFlowPreVars(StateVars origPreVars,
String postfix,
Services services) |
private static Term |
buildMbyVar(String postfix,
Services services) |
static StateVars |
buildMethodContractPostVars(StateVars preVars,
IProgramMethod pm,
KeYJavaType kjt,
Services services) |
static StateVars |
buildMethodContractPreVars(IProgramMethod pm,
KeYJavaType kjt,
Services services) |
private static ImmutableList<Term> |
buildParamVars(Services services,
String postfix,
IProgramMethod pm) |
private static Term |
buildResultVar(IProgramMethod pm,
Services services,
String postfix) |
private static Term |
buildSelfVar(Services services,
IProgramMethod pm,
KeYJavaType kjt,
String postfix) |
private static Term |
copyFunction(Term t,
String postfix,
Services services) |
private static Term |
copyHeapSymbol(Term t,
String postfix,
Services services) |
private static Term |
copyVariable(Term t,
String postfix,
Services services) |
private static ImmutableList<Term> |
copyVariables(ImmutableList<Term> ts,
String postfix,
Services services) |
private static Term |
newFunction(Term t,
String name,
Services services) |
private static Term |
newHeapSymbol(Term t,
String name,
Services services) |
private static Term |
newVariable(Term t,
String name,
Services services) |
(package private) static <T> ImmutableList<T> |
ops(ImmutableList<Term> terms,
Class<T> opClass) |
(package private) static void |
register(Function f,
Services services) |
(package private) static void |
register(ImmutableList<ProgramVariable> pvs,
Services services) |
(package private) static void |
register(ProgramVariable pv,
Services services) |
String |
toString() |