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

Class DefaultIndexMaterialization

java.lang.Object

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

All Implemented Interfaces:

IndexMaterializationStrategy

public class DefaultIndexMaterialization
extends Object
implements IndexMaterializationStrategy

A IndexMaterializationStrategy that uses a fixed right-regular string grammar given by the following rules:

• X → sX
• X → Z
• Y → sY
• Y → C

Author:

Hannah, Christoph

Field Summary

Fields

Modifier and Type	Field and Description
static IndexSymbol	SYMBOL_C
static IndexSymbol	SYMBOL_s
static AbstractIndexSymbol	SYMBOL_X
static AbstractIndexSymbol	SYMBOL_Y
static IndexSymbol	SYMBOL_Z

Constructor Summary

Constructors

Constructor and Description
DefaultIndexMaterialization()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

SYMBOL_X

public static final AbstractIndexSymbol SYMBOL_X

SYMBOL_Y

public static final AbstractIndexSymbol SYMBOL_Y

SYMBOL_s

public static final IndexSymbol SYMBOL_s

SYMBOL_Z

public static final IndexSymbol SYMBOL_Z

SYMBOL_C

public static final IndexSymbol SYMBOL_C

Constructor Detail

DefaultIndexMaterialization

public DefaultIndexMaterialization()

Method Detail

materializeIndices

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

Specified by:

materializeIndices in interface IndexMaterializationStrategy

materializeIndex

public IndexedNonterminal materializeIndex(IndexedNonterminal nt,
                                           IndexSymbol s)

Specified by:

materializeIndex in interface IndexMaterializationStrategy

getRuleCreatingSymbolFor

public List<IndexSymbol> getRuleCreatingSymbolFor(IndexSymbol originalIndexSymbol,
                                                  IndexSymbol desiredIndexSymbol)

Specified by:

getRuleCreatingSymbolFor in interface IndexMaterializationStrategy

canCreateSymbolFor

public boolean canCreateSymbolFor(IndexSymbol originalIndexSymbol,
                                  IndexSymbol desiredIndexSymbol)

Specified by:

canCreateSymbolFor in interface IndexMaterializationStrategy