de.rwth.i2.attestor.grammar.canonicalization

Class CanonicalizationStrategyBuilder

java.lang.Object

de.rwth.i2.attestor.grammar.canonicalization.CanonicalizationStrategyBuilder

public class CanonicalizationStrategyBuilder
extends Object

Constructor Summary

Constructors

Constructor and Description
CanonicalizationStrategyBuilder()

Method Summary

Modifier and Type	Method and Description
CanonicalizationStrategy	build()
CanonicalizationStrategyBuilder	setAggressiveCompositeMarkingAbstraction(boolean aggressiveCompositeMarkingAbstraction)
CanonicalizationStrategyBuilder	setAggressiveNullAbstraction(boolean enabled)
CanonicalizationStrategyBuilder	setGrammar(Grammar grammar)
CanonicalizationStrategyBuilder	setIndexedMode(boolean enabled)
CanonicalizationStrategyBuilder	setMinAbstractionDistance(int minAbstractionDistance)

Methods inherited from class java.lang.Object

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

Constructor Detail

CanonicalizationStrategyBuilder

public CanonicalizationStrategyBuilder()

Method Detail

build

public CanonicalizationStrategy build()

setAggressiveNullAbstraction

public CanonicalizationStrategyBuilder setAggressiveNullAbstraction(boolean enabled)

setMinAbstractionDistance

public CanonicalizationStrategyBuilder setMinAbstractionDistance(int minAbstractionDistance)

setAggressiveCompositeMarkingAbstraction

public CanonicalizationStrategyBuilder setAggressiveCompositeMarkingAbstraction(boolean aggressiveCompositeMarkingAbstraction)

setIndexedMode

public CanonicalizationStrategyBuilder setIndexedMode(boolean enabled)

setGrammar

public CanonicalizationStrategyBuilder setGrammar(Grammar grammar)