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

Packages that use State

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

Uses of State in fr.inria.aoste.trace

Subinterfaces of State in fr.inria.aoste.trace

Modifier and Type	Interface and Description
interface	AssertionState A representation of the model object 'Assertion State'
interface	ConstraintState A representation of the model object 'Constraint State'
interface	EventOccurrence A representation of the model object 'Event Occurrence'

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

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

Modifier and Type	Class and Description
class	AssertionStateImpl An implementation of the model object 'Assertion State'
class	ConstraintStateImpl An implementation of the model object 'Constraint State'
class	EventOccurrenceImpl An implementation of the model object 'Event Occurrence'
class	StateImpl An implementation of the model object 'State'

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

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

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