de.uka.ilkd.key.speclang

Class HeapContext

java.lang.Object

de.uka.ilkd.key.speclang.HeapContext

public class HeapContext
extends java.lang.Object

Heap contexts are various scenarios of what happens to heap variables during PO generation and built-in rule applications, like saving atPre heaps, anonymisation, etc.

Constructor Summary

Constructors

Constructor and Description
HeapContext()

Method Summary

Modifier and Type	Method and Description
static java.util.Map<LocationVariable,Term>	getAtPres(java.util.Map<LocationVariable,LocationVariable> atPreVars, Services services)
static java.util.Map<LocationVariable,LocationVariable>	getBeforeAtPreVars(java.util.List<LocationVariable> heaps, TermServices services, java.lang.String contextName)
static java.util.List<LocationVariable>	getModHeaps(Services services, boolean transaction)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HeapContext

public HeapContext()

Method Detail

getModHeaps

public static java.util.List<LocationVariable> getModHeaps(Services services,
                                                           boolean transaction)

getBeforeAtPreVars

public static java.util.Map<LocationVariable,LocationVariable> getBeforeAtPreVars(java.util.List<LocationVariable> heaps,
                                                                                  TermServices services,
                                                                                  java.lang.String contextName)

getAtPres

public static java.util.Map<LocationVariable,Term> getAtPres(java.util.Map<LocationVariable,LocationVariable> atPreVars,
                                                             Services services)