de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar

Class DefaultCanonicalizationHelper

java.lang.Object

de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar.DefaultCanonicalizationHelper

All Implemented Interfaces:

CanonicalizationHelper

public class DefaultCanonicalizationHelper
extends Object
implements CanonicalizationHelper

This class provides the methodExecution to canonicalisation which are specific for default (non-indexed) grammars.

Author:

Hannah

Field Summary

Fields

Modifier and Type	Field and Description
EmbeddingCheckerProvider	provider

Constructor Summary

Constructors

Constructor and Description
DefaultCanonicalizationHelper(EmbeddingCheckerProvider provider)

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	prepareHeapForCanonicalization(HeapConfiguration toAbstract) If the grammar type requires a modification of the graph before it can be abstracted, it is done with this method.
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 toAbstract, 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

provider

public final EmbeddingCheckerProvider provider

Constructor Detail

DefaultCanonicalizationHelper

public DefaultCanonicalizationHelper(EmbeddingCheckerProvider provider)

Parameters:

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

Method Detail

tryReplaceMatching

public HeapConfiguration tryReplaceMatching(HeapConfiguration toAbstract,
                                            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:

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.

prepareHeapForCanonicalization

public HeapConfiguration prepareHeapForCanonicalization(HeapConfiguration toAbstract)

Description copied from interface: CanonicalizationHelper

If the grammar type requires a modification of the graph before it can be abstracted, it is done with this method.

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.