| Package | Description |
|---|---|
| de.rwth.i2.attestor.grammar |
This package containsSubsumingState the classes storing the actual grammar-data.
|
| de.rwth.i2.attestor.grammar.materialization.indexedGrammar | |
| de.rwth.i2.attestor.programState.indexedState | |
| de.rwth.i2.attestor.programState.indexedState.index |
| Modifier and Type | Method and Description |
|---|---|
boolean |
IndexMatcher.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>> |
IndexMatcher.getMaterializationRule(IndexedNonterminal materializableNonterminal,
IndexedNonterminal instantiableNonterminal) |
List<IndexSymbol> |
IndexMatcher.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 |
IndexMatcher.needsInstantiation(IndexedNonterminal materializableNonterminal,
IndexedNonterminal instantiableNonterminal)
Determines whether the materializableNonterminal has to be instantiated to achieve equal indices
(can be false for concrete indices)
|
boolean |
IndexMatcher.needsMaterialization(IndexedNonterminal materializableNonterminal,
IndexedNonterminal instantiableNonterminal)
Determines whether the materializableNonterminal has to be materialized to achieve equal indices
|
| Modifier and Type | Method and Description |
|---|---|
GrammarResponse |
IndexedRuleAdapter.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.
|
| Modifier and Type | Class and Description |
|---|---|
class |
IndexedNonterminalImpl |
| Modifier and Type | Method and Description |
|---|---|
IndexedNonterminal |
IndexedNonterminal.getWithIndex(List<IndexSymbol> index) |
IndexedNonterminal |
IndexedNonterminalImpl.getWithIndex(List<IndexSymbol> index) |
IndexedNonterminal |
IndexedNonterminal.getWithProlongedIndex(IndexSymbol s) |
IndexedNonterminal |
IndexedNonterminalImpl.getWithProlongedIndex(IndexSymbol s) |
IndexedNonterminal |
IndexedNonterminal.getWithProlongedIndex(List<IndexSymbol> postfix)
removes the last symbol (indexVariable () or abstractIndexSymbol) and
adds all elements in postfix
|
IndexedNonterminal |
IndexedNonterminalImpl.getWithProlongedIndex(List<IndexSymbol> postfix) |
IndexedNonterminal |
IndexedNonterminal.getWithShortenedIndex() |
IndexedNonterminal |
IndexedNonterminalImpl.getWithShortenedIndex() |
| Modifier and Type | Method and Description |
|---|---|
IndexedNonterminal |
IndexMaterializationStrategy.materializeIndex(IndexedNonterminal nt,
IndexSymbol s) |
IndexedNonterminal |
DefaultIndexMaterialization.materializeIndex(IndexedNonterminal nt,
IndexSymbol s) |
| Modifier and Type | Method and Description |
|---|---|
IndexedNonterminal |
IndexMaterializationStrategy.materializeIndex(IndexedNonterminal nt,
IndexSymbol s) |
IndexedNonterminal |
DefaultIndexMaterialization.materializeIndex(IndexedNonterminal nt,
IndexSymbol s) |
Copyright © 2019. All rights reserved.