Uses of Interface
de.rwth.i2.attestor.io.jsonImport.HeapConfigurationRenaming

Packages that use HeapConfigurationRenaming

Package	Description
de.rwth.i2.attestor.io.jsonImport
de.rwth.i2.attestor.phases.communication
de.rwth.i2.attestor.seplog	The separation logic interface of Attestor.

Uses of HeapConfigurationRenaming in de.rwth.i2.attestor.io.jsonImport

Constructors in de.rwth.i2.attestor.io.jsonImport with parameters of type HeapConfigurationRenaming

Constructor and Description
JsonToGrammar(SceneObject otherObject, HeapConfigurationRenaming renaming)
JsonToHeapConfiguration(SceneObject sceneObject, HeapConfigurationRenaming renaming)

Uses of HeapConfigurationRenaming in de.rwth.i2.attestor.phases.communication

Classes in de.rwth.i2.attestor.phases.communication that implement HeapConfigurationRenaming

Modifier and Type	Class and Description
class	InputSettings All global communication regarding input files.

Uses of HeapConfigurationRenaming in de.rwth.i2.attestor.seplog

Methods in de.rwth.i2.attestor.seplog with parameters of type HeapConfigurationRenaming

Modifier and Type	Method and Description
HeapConfiguration	SymbolicHeapParser.parseFromFile(String filename, HeapConfigurationRenaming renaming)

Constructors in de.rwth.i2.attestor.seplog with parameters of type HeapConfigurationRenaming

Constructor and Description
HeapConfigurationExtractor(Scene scene, VariableUnification variableUnification, HeapConfigurationRenaming renaming)