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(MorphismOptions morphismOptions) 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(MorphismOptions morphismOptions)

Constructs an EmbeddingCheckerProvider with the given communication

Parameters:

morphismOptions - Options guiding how embeddings are computed.

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