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

Class GeneralMaterializationStrategy

java.lang.Object

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

All Implemented Interfaces:

MaterializationStrategy

public class GeneralMaterializationStrategy
extends Object
implements MaterializationStrategy

Determines concrete violation points and resolves them.
The class itself is oblivious of the used grammars and materializationMechanisms, i.e. it doesn't know whether only nonterminal edges are replaced by graphs or if additional index materializations are applied (These mechanisms are provided by the MaterializationRuleManager and GrammarResponseApplier).

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
GeneralMaterializationStrategy(MaterializationRuleManager ruleManager, GrammarResponseApplier ruleApplier) Creates a new GeneralMaterializationStrategy using ruleManager to determine which rules to apply to resolve a violationPoint and ruleApplier to apply those rules to the graph.

Method Summary

Modifier and Type	Method and Description
Collection<HeapConfiguration>	materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints) Attempts to materialize a given program states such that the provided

Methods inherited from class java.lang.Object

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

Constructor Detail

GeneralMaterializationStrategy

public GeneralMaterializationStrategy(MaterializationRuleManager ruleManager,
                                      GrammarResponseApplier ruleApplier)

Creates a new GeneralMaterializationStrategy using ruleManager to determine which rules to apply to resolve a violationPoint and ruleApplier to apply those rules to the graph. Note that the ruleApplier needs to handle the GrammarResponse created by the ruleManager. Therefore, you have to ensure that the return type of the first is handled by the latter.

Parameters:

ruleManager - a MaterializationRuleManager providing the rules to apply to a given violationPoint

ruleApplier - the GrammarResponseApplier applying the rules to the graph (e.g. performing materialization of stacks, replacing the nonterminal by the rule graph)

Method Detail

materialize

public Collection<HeapConfiguration> materialize(HeapConfiguration heapConfiguration,
                                                 ViolationPoints potentialViolationPoints)

Description copied from interface: MaterializationStrategy

Attempts to materialize a given program states such that the provided

Specified by:

materialize in interface MaterializationStrategy

Parameters:

heapConfiguration - The program state that should be materialized.

potentialViolationPoints - A specification of points in the program state that prevent the concrete semantics from being executed.

Returns:

A list of materialized program states in which all provided violation points have been resolved.