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

Class IndexMaterializationStrategy

java.lang.Object

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

public class IndexMaterializationStrategy
extends Object

Responsible for applying the materialization rules to the indices of the nonterminals in the graph.

Example: For input rule X → ssZ it replaces the index symbol X in all nonterminals where it occurs by ssZ.

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
IndexMaterializationStrategy()

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	getMaterializedCloneWith(HeapConfiguration inputGraph, AbstractIndexSymbol symbolToMaterialize, List<IndexSymbol> inputMaterializationPostfix) Applies the given materialization ( e.g.

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexMaterializationStrategy

public IndexMaterializationStrategy()

Method Detail

getMaterializedCloneWith

public HeapConfiguration getMaterializedCloneWith(HeapConfiguration inputGraph,
                                                  AbstractIndexSymbol symbolToMaterialize,
                                                  List<IndexSymbol> inputMaterializationPostfix)
                                           throws CannotMaterializeException

Applies the given materialization ( e.g. X → ssX ) to all indexed nonterminals to a copy of the graph.

Parameters:

inputGraph - the graph to materialize

symbolToMaterialize - The abstract index symbol which shall be materialized

inputMaterializationPostfix - the sequence of index symbols for materialization

Returns:

a materialized copy of the graph if the mateterialization is non empty. The graph itself otherwise.

Throws:

CannotMaterializeException - if a nonterminal unexpectedly has a concrete index