de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Class CounterexampleGenerator.Builder

java.lang.Object

de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleGenerator.Builder

Enclosing class:

CounterexampleGenerator

public static class CounterexampleGenerator.Builder
extends Object

Constructor Summary

Constructors

Constructor and Description
Builder()

Method Summary

Modifier and Type	Method and Description
CounterexampleGenerator	build()
CounterexampleGenerator.Builder	setAvailableMethods(Collection<Method> availableMethods)
CounterexampleGenerator.Builder	setCanonicalizationStrategy(CanonicalizationStrategy canonicalizationStrategy)
CounterexampleGenerator.Builder	setMaterializationStrategy(MaterializationStrategy materializationStrategy)
CounterexampleGenerator.Builder	setProgram(Program program)
CounterexampleGenerator.Builder	setRectificationStrategy(StateRectificationStrategy rectificationStrategy)
CounterexampleGenerator.Builder	setScopeExtractorFactory(Function<Method,ScopeExtractor> scopeExtractorFactory)
CounterexampleGenerator.Builder	setStateRefinementStrategy(StateRefinementStrategy strategy)
CounterexampleGenerator.Builder	setTrace(CounterexampleTrace trace)

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder()

Method Detail

build

public CounterexampleGenerator build()

setTrace

public CounterexampleGenerator.Builder setTrace(CounterexampleTrace trace)

setAvailableMethods

public CounterexampleGenerator.Builder setAvailableMethods(Collection<Method> availableMethods)

setProgram

public CounterexampleGenerator.Builder setProgram(Program program)

setMaterializationStrategy

public CounterexampleGenerator.Builder setMaterializationStrategy(MaterializationStrategy materializationStrategy)

setCanonicalizationStrategy

public CounterexampleGenerator.Builder setCanonicalizationStrategy(CanonicalizationStrategy canonicalizationStrategy)

setStateRefinementStrategy

public CounterexampleGenerator.Builder setStateRefinementStrategy(StateRefinementStrategy strategy)

setScopeExtractorFactory

public CounterexampleGenerator.Builder setScopeExtractorFactory(Function<Method,ScopeExtractor> scopeExtractorFactory)

setRectificationStrategy

public CounterexampleGenerator.Builder setRectificationStrategy(StateRectificationStrategy rectificationStrategy)