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

Class EmbeddingIndexChecker

java.lang.Object

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

public class EmbeddingIndexChecker
extends Object

This class can be used to match the indices of already matched graphs. To this end it can instantiate the index variable with any sequence (such a variable may exist in the "pattern" graph) and by materialising any occurring abstract index symbols (which may exist in the "target" graph and if applicable in the instantiation sequence.

For determining the matches between single indices you must provide an IndexMatcher which is also responsible for managing the index grammar. You must also provide an indexMaterializer which is able to apply materialization rules to a heapConfiguration.

This class will then take care that a consistent materialization is found for all nonterminals and will fail if this is impossible.

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
EmbeddingIndexChecker(IndexMatcher matcher, IndexMaterializationStrategy materializer)

Method Summary

Modifier and Type	Method and Description
IndexEmbeddingResult	getIndexEmbeddingResult(HeapConfiguration toAbstract, Matching embedding, Nonterminal lhs) Computes the necessary materialization and instantiation to match the nonterminals of the embedding in toAbstract.

Methods inherited from class java.lang.Object

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

Constructor Detail

EmbeddingIndexChecker

public EmbeddingIndexChecker(IndexMatcher matcher,
                             IndexMaterializationStrategy materializer)

Method Detail

getIndexEmbeddingResult

public IndexEmbeddingResult getIndexEmbeddingResult(HeapConfiguration toAbstract,
                                                    Matching embedding,
                                                    Nonterminal lhs)
                                             throws CannotMatchException

Computes the necessary materialization and instantiation to match the nonterminals of the embedding in toAbstract. If this is possible it returns a appropriately materialised copy of toAbstract and and instantiated copy of lhs

Parameters:

toAbstract - The "outer" graph

embedding - the embedding of the pattern into the graph toAbstract

lhs - the nonterminal with which the embedded pattern will be replaced

Returns:

an IndexEmbeddingResult containing the materialised graph and the instantiated lhs

Throws:

CannotMatchException - if the indices of the matched endges cannot be matched.