de.rwth.i2.attestor.markingGeneration.visited

Class VisitedMarkingGenerator

java.lang.Object

de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator

de.rwth.i2.attestor.markingGeneration.visited.VisitedMarkingGenerator

public class VisitedMarkingGenerator
extends AbstractMarkingGenerator

Field Summary

Fields inherited from class de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator

abortStrategy, aggressiveCanonicalizationStrategy, availableSelectorLabelNames, canonicalizationStrategy, materializationStrategy, stateRectificationStrategy

Constructor Summary

Constructors

Constructor and Description
VisitedMarkingGenerator(Collection<String> availableSelectorLabelNames, AbortStrategy abortStrategy, MaterializationStrategy materializationStrategy, CanonicalizationStrategy canonicalizationStrategy, CanonicalizationStrategy aggressiveCanonicalizationStrategy, StateRectificationStrategy stateRectificationStrategy)

Method Summary

Modifier and Type	Method and Description
protected Program	getProgram()
protected Collection<HeapConfiguration>	getResultingHeaps(StateSpace stateSpace)
protected List<ProgramState>	placeInitialMarkings(ProgramState initialState)

Methods inherited from class de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator

getAvailableSelectorLabelNames, marked

Methods inherited from class java.lang.Object

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

Constructor Detail

VisitedMarkingGenerator

public VisitedMarkingGenerator(Collection<String> availableSelectorLabelNames,
                               AbortStrategy abortStrategy,
                               MaterializationStrategy materializationStrategy,
                               CanonicalizationStrategy canonicalizationStrategy,
                               CanonicalizationStrategy aggressiveCanonicalizationStrategy,
                               StateRectificationStrategy stateRectificationStrategy)

Method Detail

placeInitialMarkings

protected List<ProgramState> placeInitialMarkings(ProgramState initialState)

Specified by:

placeInitialMarkings in class AbstractMarkingGenerator

getProgram

protected Program getProgram()

Specified by:

getProgram in class AbstractMarkingGenerator

getResultingHeaps

protected Collection<HeapConfiguration> getResultingHeaps(StateSpace stateSpace)

Specified by:

getResultingHeaps in class AbstractMarkingGenerator