de.rwth.i2.attestor.grammar.materialization.strategies

Class OneStepMaterializationStrategy

java.lang.Object

de.rwth.i2.attestor.grammar.materialization.strategies.OneStepMaterializationStrategy

public class OneStepMaterializationStrategy
extends Object

Constructor Summary

Constructors

Constructor and Description
OneStepMaterializationStrategy(ApplicableRulesFinder ruleFinder, GrammarResponseApplier ruleApplier)

Method Summary

Modifier and Type	Method and Description
Collection<HeapConfiguration>	materialize(HeapConfiguration heapConfiguration) Attempts to apply all possible rules once to the heap, i.e.

Methods inherited from class java.lang.Object

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

Constructor Detail

OneStepMaterializationStrategy

public OneStepMaterializationStrategy(ApplicableRulesFinder ruleFinder,
                                      GrammarResponseApplier ruleApplier)

Method Detail

materialize

public Collection<HeapConfiguration> materialize(HeapConfiguration heapConfiguration)

Attempts to apply all possible rules once to the heap, i.e. for n possible rule applications (possibly the same rule at several nonterminals) n heapconfigurations are returend each corresponding to one of the possibilities.

Parameters:

heapConfiguration - The program state that should be materialized

Returns:

A list of materialized program states each materilized by exactly one step