de.rwth.i2.attestor.grammar.materialization.indexedGrammar

Class IndexedRuleAdapter

java.lang.Object

de.rwth.i2.attestor.grammar.materialization.indexedGrammar.IndexedRuleAdapter

public class IndexedRuleAdapter
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
IndexMatcher	indexMatcher

Constructor Summary

Constructors

Constructor and Description
IndexedRuleAdapter(IndexMatcher indexMatcher)

Method Summary

Modifier and Type	Method and Description
GrammarResponse	computeMaterializationsAndRules(IndexedNonterminal toReplace, Map<Nonterminal,Collection<HeapConfiguration>> rulesResolvingViolationPoint) For each lhs in the suggested rules, determines whether it can match the nonterminal and adds the necessary materialization and instantiated rules in this case.

Methods inherited from class java.lang.Object

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

Field Detail

indexMatcher

public IndexMatcher indexMatcher

Constructor Detail

IndexedRuleAdapter

public IndexedRuleAdapter(IndexMatcher indexMatcher)

Method Detail

computeMaterializationsAndRules

public GrammarResponse computeMaterializationsAndRules(IndexedNonterminal toReplace,
                                                       Map<Nonterminal,Collection<HeapConfiguration>> rulesResolvingViolationPoint)

For each lhs in the suggested rules, determines whether it can match the nonterminal and adds the necessary materialization and instantiated rules in this case.

Parameters:

toReplace -

rulesResolvingViolationPoint -

Returns: