de.rwth.i2.attestor.grammar.concretization

Class ConcretizationStrategyBuilder

java.lang.Object

de.rwth.i2.attestor.grammar.concretization.ConcretizationStrategyBuilder

public class ConcretizationStrategyBuilder
extends Object

Constructor Summary

Constructors

Constructor and Description
ConcretizationStrategyBuilder()

Method Summary

Modifier and Type	Method and Description
FullConcretizationStrategy	buildFullConcretizationStrategy()
SingleStepConcretizationStrategy	buildSingleStepStrategy()
ConcretizationStrategyBuilder	setGrammar(Grammar grammar)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcretizationStrategyBuilder

public ConcretizationStrategyBuilder()

Method Detail

buildSingleStepStrategy

public SingleStepConcretizationStrategy buildSingleStepStrategy()

buildFullConcretizationStrategy

public FullConcretizationStrategy buildFullConcretizationStrategy()

setGrammar

public ConcretizationStrategyBuilder setGrammar(Grammar grammar)