Package de.rwth.i2.attestor.graph.heap

All abstractions needed to work with HeapConfigurations.

See: Description

Interface Summary

Interface	Description
HeapConfiguration	A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.
HeapConfigurationBuilder	A HeapConfigurationBuilder allows to mutate a given HeapConfiguration.
HeapConfigurationExporter	A general method to export HeapConfigurations in a format that has to be specified by implementations.
Matching	A Matching models a mapping from one HeapConfiguration, called the pattern HeapConfiguration, to another HeapConfiguration, called the target HeapConfiguration.
NonterminalEdgeBuilder

Class Summary

Class	Description
Variable	Wrapper for a String such that Strings can be used as NodeLabel in LabeledDigraph.

Package de.rwth.i2.attestor.graph.heap Description

All abstractions needed to work with HeapConfigurations.

Author:

Christoph