Uses of Interface
fr.inria.aoste.trace.AssertionState

Packages that use AssertionState

Package	Description
fr.inria.aoste.trace
fr.inria.aoste.trace.impl
fr.inria.aoste.trace.util

Uses of AssertionState in fr.inria.aoste.trace

Methods in fr.inria.aoste.trace that return AssertionState

Modifier and Type	Method and Description
AssertionState	TraceFactory.createAssertionState() Returns a new object of class 'Assertion State'

Methods in fr.inria.aoste.trace that return types with arguments of type AssertionState

Modifier and Type	Method and Description
org.eclipse.emf.common.util.EList<AssertionState>	LogicalStep.getAssertionStates() Returns the value of the 'Assertion States' containment reference list.

Uses of AssertionState in fr.inria.aoste.trace.impl

Classes in fr.inria.aoste.trace.impl that implement AssertionState

Modifier and Type	Class and Description
class	AssertionStateImpl An implementation of the model object 'Assertion State'

Methods in fr.inria.aoste.trace.impl that return AssertionState

Modifier and Type	Method and Description
AssertionState	TraceFactoryImpl.createAssertionState()

Methods in fr.inria.aoste.trace.impl that return types with arguments of type AssertionState

Modifier and Type	Method and Description
org.eclipse.emf.common.util.EList<AssertionState>	LogicalStepImpl.getAssertionStates()

Uses of AssertionState in fr.inria.aoste.trace.util

Methods in fr.inria.aoste.trace.util with parameters of type AssertionState

Modifier and Type	Method and Description
T	TraceSwitch.caseAssertionState(AssertionState object) Returns the result of interpreting the object as an instance of 'Assertion State'