de.rwth.i2.attestor.phases.modelChecking.modelChecker

Class FailureTrace

java.lang.Object

de.rwth.i2.attestor.phases.modelChecking.modelChecker.FailureTrace

All Implemented Interfaces:

CounterexampleTrace, ModelCheckingTrace, Iterator<ProgramState>

public class FailureTrace
extends Object
implements ModelCheckingTrace

Method Summary

Modifier and Type	Method and Description
ProgramState	getFinalState()
ProgramState	getInitialState()
List<Integer>	getStateIdTrace()
StateSpace	getStateSpace()
boolean	hasNext()
boolean	isEmpty()
ProgramState	next()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Method Detail

getStateIdTrace

public List<Integer> getStateIdTrace()

Specified by:

getStateIdTrace in interface ModelCheckingTrace

getInitialState

public ProgramState getInitialState()

Specified by:

getInitialState in interface CounterexampleTrace

getFinalState

public ProgramState getFinalState()

Specified by:

getFinalState in interface CounterexampleTrace

isEmpty

public boolean isEmpty()

toString

public String toString()

Overrides:

toString in class Object

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<ProgramState>

next

public ProgramState next()

Specified by:

next in interface Iterator<ProgramState>

getStateSpace

public StateSpace getStateSpace()

Specified by:

getStateSpace in interface ModelCheckingTrace