de.rwth.i2.attestor.grammar.canonicalization

Class EmbeddingCheckerProvider

java.lang.Object

de.rwth.i2.attestor.grammar.canonicalization.EmbeddingCheckerProvider

public class EmbeddingCheckerProvider
extends Object

This class is responsible to select the correct embeddingChecker for given communication and semantics

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
EmbeddingCheckerProvider(int minDereferenceDepth, boolean aggressiveNullAbstractionEnabled, boolean aggressiveCompositeMarkingAbstraction) Constructs an EmbeddingCheckerProvider with the given communication

Method Summary

Modifier and Type	Method and Description
AbstractMatchingChecker	getEmbeddingChecker(HeapConfiguration graph, HeapConfiguration pattern) For the given target and pattern, gets the correct EmbeddingCheckerType for the stored communication and the given semantics

Methods inherited from class java.lang.Object

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

Constructor Detail

EmbeddingCheckerProvider

public EmbeddingCheckerProvider(int minDereferenceDepth,
                                boolean aggressiveNullAbstractionEnabled,
                                boolean aggressiveCompositeMarkingAbstraction)

Constructs an EmbeddingCheckerProvider with the given communication

Parameters:

minDereferenceDepth - the distance which has to be ensured between an embedding and the next node referenced by a variable

Method Detail

getEmbeddingChecker

public AbstractMatchingChecker getEmbeddingChecker(HeapConfiguration graph,
                                                   HeapConfiguration pattern)

For the given target and pattern, gets the correct EmbeddingCheckerType for the stored communication and the given semantics

Parameters:

graph - the target graph

pattern - the graph which will be embedded

Returns:

the correct EmbeddingChecker