Package | Description |
---|---|
fr.inria.aoste.trace | |
fr.inria.aoste.trace.impl | |
fr.inria.aoste.trace.util |
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'
|
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'
|
Modifier and Type | Method and Description |
---|---|
T |
TraceSwitch.caseState(State object)
Returns the result of interpreting the object as an instance of 'State'
|