public abstract class AbstractMarkingGenerator extends Object
| Modifier and Type | Field and Description |
|---|---|
protected AbortStrategy |
abortStrategy |
protected CanonicalizationStrategy |
aggressiveCanonicalizationStrategy |
protected Collection<String> |
availableSelectorLabelNames |
protected CanonicalizationStrategy |
canonicalizationStrategy |
protected MaterializationStrategy |
materializationStrategy |
protected StateRectificationStrategy |
stateRectificationStrategy |
| Constructor and Description |
|---|
AbstractMarkingGenerator(Collection<String> availableSelectorLabelNames,
AbortStrategy abortStrategy,
MaterializationStrategy materializationStrategy,
CanonicalizationStrategy canonicalizationStrategy,
CanonicalizationStrategy aggressiveCanonicalizationStrategy,
StateRectificationStrategy stateRectificationStrategy) |
| Modifier and Type | Method and Description |
|---|---|
protected Collection<String> |
getAvailableSelectorLabelNames() |
protected abstract Program |
getProgram() |
protected abstract Collection<HeapConfiguration> |
getResultingHeaps(StateSpace stateSpace) |
Collection<HeapConfiguration> |
marked(ProgramState initialState) |
protected abstract List<ProgramState> |
placeInitialMarkings(ProgramState initialState) |
protected final Collection<String> availableSelectorLabelNames
protected final AbortStrategy abortStrategy
protected final MaterializationStrategy materializationStrategy
protected final CanonicalizationStrategy canonicalizationStrategy
protected final CanonicalizationStrategy aggressiveCanonicalizationStrategy
protected final StateRectificationStrategy stateRectificationStrategy
public AbstractMarkingGenerator(Collection<String> availableSelectorLabelNames, AbortStrategy abortStrategy, MaterializationStrategy materializationStrategy, CanonicalizationStrategy canonicalizationStrategy, CanonicalizationStrategy aggressiveCanonicalizationStrategy, StateRectificationStrategy stateRectificationStrategy)
protected abstract List<ProgramState> placeInitialMarkings(ProgramState initialState)
protected abstract Program getProgram()
protected abstract Collection<HeapConfiguration> getResultingHeaps(StateSpace stateSpace)
protected Collection<String> getAvailableSelectorLabelNames()
public Collection<HeapConfiguration> marked(ProgramState initialState)
Copyright © 2018. All rights reserved.