de.uka.ilkd.key.speclang

Class HeapContext

java.lang.Object

de.uka.ilkd.key.speclang.HeapContext

public class HeapContext
extends 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 Map<LocationVariable,Term>	getAtPres(Map<LocationVariable,LocationVariable> atPreVars, Services services)
static Map<LocationVariable,LocationVariable>	getBeforeAtPreVars(List<LocationVariable> heaps, TermServices services, String contextName)
static 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 List<LocationVariable> getModHeaps(Services services,
                                                 boolean transaction)

getBeforeAtPreVars

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

getAtPres

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