de.rwth.i2.attestor.grammar

Class IndexMatcher

java.lang.Object

de.rwth.i2.attestor.grammar.IndexMatcher

public class IndexMatcher
extends Object

Constructor Summary

Constructors

Constructor and Description
IndexMatcher(IndexMaterializationStrategy indexGrammar)

Method Summary

Modifier and Type	Method and Description
boolean	canMatch(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) Determines whether there is a materialization and an instantiation such that the indices of the given nonterminals are equal.
Pair<AbstractIndexSymbol,List<IndexSymbol>>	getMaterializationRule(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal)
List<IndexSymbol>	getNecessaryInstantiation(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) The sequence of symbols with which to replace the index variable at the end of the index of the instantiableNonterminal in order to achieve equal indices
boolean	needsInstantiation(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) Determines whether the materializableNonterminal has to be instantiated to achieve equal indices (can be false for concrete indices)
boolean	needsMaterialization(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) Determines whether the materializableNonterminal has to be materialized to achieve equal indices

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexMatcher

public IndexMatcher(IndexMaterializationStrategy indexGrammar)

Method Detail

canMatch

public boolean canMatch(IndexedNonterminal materializableNonterminal,
                        IndexedNonterminal instantiableNonterminal)

Determines whether there is a materialization and an instantiation such that the indices of the given nonterminals are equal.

Parameters:

materializableNonterminal - a nonterminal with a (possibly) abstract index

instantiableNonterminal - a nonterminal with a (possibly) instantiable index

Returns:

true if there is a materialization and an instantiation such that the indices of the given nonterminals are equal.

needsMaterialization

public boolean needsMaterialization(IndexedNonterminal materializableNonterminal,
                                    IndexedNonterminal instantiableNonterminal)

Determines whether the materializableNonterminal has to be materialized to achieve equal indices

Parameters:

materializableNonterminal - the nonterminal in the graph which shall be replaced

instantiableNonterminal - the nonterminal representing the lhs of a rule

Returns:

true, if the materialization is non-empty

getMaterializationRule

public Pair<AbstractIndexSymbol,List<IndexSymbol>> getMaterializationRule(IndexedNonterminal materializableNonterminal,
                                                                          IndexedNonterminal instantiableNonterminal)

needsInstantiation

public boolean needsInstantiation(IndexedNonterminal materializableNonterminal,
                                  IndexedNonterminal instantiableNonterminal)

Determines whether the materializableNonterminal has to be instantiated to achieve equal indices (can be false for concrete indices)

Parameters:

materializableNonterminal - the nonterminal in the graph which shall be replaced

instantiableNonterminal - the nonterminal representing the lhs of a rule

Returns:

true, if the instantiationSequence is non-empty

getNecessaryInstantiation

public List<IndexSymbol> getNecessaryInstantiation(IndexedNonterminal materializableNonterminal,
                                                   IndexedNonterminal instantiableNonterminal)

The sequence of symbols with which to replace the index variable at the end of the index of the instantiableNonterminal in order to achieve equal indices

Parameters:

materializableNonterminal - the nonterminal in the graph that shall be replaced

instantiableNonterminal - the nonterminal representing the lhs in the grammar

Returns:

The list of index symbols