de.rwth.i2.attestor.programState.indexedState.index

Interface IndexMaterializationStrategy

All Known Implementing Classes:

DefaultIndexMaterialization

public interface IndexMaterializationStrategy

Method Summary

Modifier and Type	Method and Description
boolean	canCreateSymbolFor(IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)
List<IndexSymbol>	getRuleCreatingSymbolFor(IndexSymbol s1, IndexSymbol s2)
IndexedNonterminal	materializeIndex(IndexedNonterminal nt, IndexSymbol s)
void	materializeIndices(HeapConfiguration heapConfiguration, IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)

Method Detail

materializeIndex

IndexedNonterminal materializeIndex(IndexedNonterminal nt,
                                    IndexSymbol s)

getRuleCreatingSymbolFor

List<IndexSymbol> getRuleCreatingSymbolFor(IndexSymbol s1,
                                           IndexSymbol s2)

materializeIndices

void materializeIndices(HeapConfiguration heapConfiguration,
                        IndexSymbol originalIndexSymbol,
                        IndexSymbol desiredIndexSymbol)

canCreateSymbolFor

boolean canCreateSymbolFor(IndexSymbol originalIndexSymbol,
                           IndexSymbol desiredIndexSymbol)