de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Class IndexedCanonicalizationHelper

java.lang.Object

de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.IndexedCanonicalizationHelper

All Implemented Interfaces:

CanonicalizationHelper

public class IndexedCanonicalizationHelper
extends Object
implements CanonicalizationHelper

This class provides the methodExecution to canonicalisation which are specific for indexed grammars.

Author:

Hannah

Field Summary

Fields

Modifier and Type	Field and Description
EmbeddingCheckerProvider	checkerProvider
IndexCanonizationStrategy	indexCanonizationStrategy
EmbeddingIndexChecker	indexChecker

Constructor Summary

Constructors

Constructor and Description
IndexedCanonicalizationHelper(IndexCanonizationStrategy indexCanonicalizer, EmbeddingCheckerProvider checkerProvider, EmbeddingIndexChecker indexChecker)

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	prepareHeapForCanonicalization(HeapConfiguration toAbstract) For indexed HeapConfigurations this performs index canonicalization.
HeapConfiguration	tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs) If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.
HeapConfiguration	tryReplaceMatching(HeapConfiguration heapConfiguration, HeapConfiguration rhs, Nonterminal lhs) If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Methods inherited from class java.lang.Object

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

Field Detail

indexCanonizationStrategy

public final IndexCanonizationStrategy indexCanonizationStrategy

checkerProvider

public final EmbeddingCheckerProvider checkerProvider

indexChecker

public final EmbeddingIndexChecker indexChecker

Constructor Detail

IndexedCanonicalizationHelper

public IndexedCanonicalizationHelper(IndexCanonizationStrategy indexCanonicalizer,
                                     EmbeddingCheckerProvider checkerProvider,
                                     EmbeddingIndexChecker indexChecker)

Parameters:

indexCanonicalizer - canonicalises the indices before the graph is canonicalised. Also responsible to canonicalise them only when admissible

checkerProvider - generates a EmbeddingChecker for given graph and pattern. Responsible to generate the correct one for given communication and semantics.

indexChecker - responsible to match the indices of embeddings provided my the embeddingChecker

Method Detail

tryReplaceMatching

public HeapConfiguration tryReplaceMatching(HeapConfiguration heapConfiguration,
                                            HeapConfiguration rhs,
                                            Nonterminal lhs)

Description copied from interface: CanonicalizationHelper

If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Specified by:

tryReplaceMatching in interface CanonicalizationHelper

Parameters:

heapConfiguration - the target graph

rhs - the pattern graph

lhs - the label of the replacing nonterminal edge

Returns:

the abstracted graph if an embedding of rhs can be found, null otherwise.

prepareHeapForCanonicalization

public HeapConfiguration prepareHeapForCanonicalization(HeapConfiguration toAbstract)

For indexed HeapConfigurations this performs index canonicalization.

Specified by:

prepareHeapForCanonicalization in interface CanonicalizationHelper

Parameters:

toAbstract - the graph which shall be abstracted

Returns:

the modified graph (or the graph itself if no modification is necessary)

tryReplaceMatching

public HeapConfiguration tryReplaceMatching(HeapConfiguration toAbstract,
                                            CollapsedHeapConfiguration rhs,
                                            Nonterminal lhs)

Description copied from interface: CanonicalizationHelper

If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Specified by:

tryReplaceMatching in interface CanonicalizationHelper

Parameters:

toAbstract - the target graph

rhs - the pattern graph

lhs - the label of the replacing nonterminal edge

Returns:

the abstracted graph if an embedding of rhs can be found, null otherwise.