Package | Description |
---|---|
fr.inria.aoste.trace | |
fr.inria.aoste.trace.impl | |
fr.inria.aoste.trace.util |
Modifier and Type | Method and Description |
---|---|
AssertionState |
TraceFactory.createAssertionState()
Returns a new object of class 'Assertion State'
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
AssertionStateImpl
An implementation of the model object 'Assertion State'
|
Modifier and Type | Method and Description |
---|---|
AssertionState |
TraceFactoryImpl.createAssertionState() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<AssertionState> |
LogicalStepImpl.getAssertionStates() |
Modifier and Type | Method and Description |
---|---|
T |
TraceSwitch.caseAssertionState(AssertionState object)
Returns the result of interpreting the object as an instance of 'Assertion State'
|