de.rwth.i2.attestor.grammar.canonicalization

Interface CanonicalizationStrategy

All Known Implementing Classes:

GeneralCanonicalizationStrategy, NoCanonicalizationStrategy

public interface CanonicalizationStrategy

The strategy performed to canonicalize (abstract) heap configurations which results in one or more abstract heap configurations.

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	canonicalize(HeapConfiguration heapConfiguration) Performs the canonicalization of a single heap configuration.

Method Detail

canonicalize

HeapConfiguration canonicalize(HeapConfiguration heapConfiguration)

Performs the canonicalization of a single heap configuration.

Parameters:

heapConfiguration - The heap configuration that should be fully abstracted

Returns:

An abstract heap configuration that covers the original one.