de.rwth.i2.attestor.grammar.canonicalization

Class GeneralCanonicalizationStrategy

java.lang.Object

de.rwth.i2.attestor.grammar.canonicalization.GeneralCanonicalizationStrategy

All Implemented Interfaces:

CanonicalizationStrategy

public class GeneralCanonicalizationStrategy
extends Object
implements CanonicalizationStrategy

Constructor Summary

Constructors

Constructor and Description
GeneralCanonicalizationStrategy(Grammar grammar, CanonicalizationHelper canonicalizationHelper)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

GeneralCanonicalizationStrategy

public GeneralCanonicalizationStrategy(Grammar grammar,
                                       CanonicalizationHelper canonicalizationHelper)

Method Detail

canonicalize

public HeapConfiguration canonicalize(HeapConfiguration heapConfiguration)

Description copied from interface: CanonicalizationStrategy

Performs the canonicalization of a single heap configuration.

Specified by:

canonicalize in interface CanonicalizationStrategy

Parameters:

heapConfiguration - The heap configuration that should be fully abstracted

Returns:

An abstract heap configuration that covers the original one.