de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class NoCanonicalizationStrategy

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoCanonicalizationStrategy

All Implemented Interfaces:

CanonicalizationStrategy

public class NoCanonicalizationStrategy
extends Object
implements CanonicalizationStrategy

Constructor Summary

Constructors

Constructor and Description
NoCanonicalizationStrategy()

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

NoCanonicalizationStrategy

public NoCanonicalizationStrategy()

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.