Package | Description |
---|---|
fr.inria.tea.ssme | |
fr.inria.tea.ssme.impl | |
fr.inria.tea.ssme.util |
Modifier and Type | Interface and Description |
---|---|
interface |
ArrayProcess
A representation of the model object 'Array Process'
|
interface |
AssertProcess
A representation of the model object 'Assert Process'
|
interface |
AssertSignal
A representation of the model object 'Assert Signal'
|
interface |
CaseProcess
A representation of the model object 'Case Process'
|
interface |
ClockEquality
A representation of the model object 'Clock Equality'
|
interface |
ClockExclusiveRelation
A representation of the model object 'Clock Exclusive Relation'
|
interface |
ClockInfRelation
A representation of the model object 'Clock Inf Relation'
|
interface |
ClockSupRelation
A representation of the model object 'Clock Sup Relation'
|
interface |
Composition
A representation of the model object 'Composition'
|
interface |
ConditionedDependence
A representation of the model object 'Conditioned Dependence'
|
interface |
ControlledProcess
A representation of the model object 'Controlled Process'
|
interface |
Dependences
A representation of the model object 'Dependences'
|
interface |
ExprProcess
A representation of the model object 'Expr Process'
|
interface |
ExternalAttribute
A representation of the model object 'External Attribute'
|
interface |
IdentityEquation
A representation of the model object 'Identity Equation'
|
interface |
IterationOfProcesses
A representation of the model object 'Iteration Of Processes'
|
interface |
IterationProcess
A representation of the model object 'Iteration Process'
|
interface |
LabelledProcess
A representation of the model object 'Labelled Process'
|
interface |
Masking
A representation of the model object 'Masking'
|
interface |
NullProc
A representation of the model object 'Null Proc'
|
interface |
PControl
A representation of the model object 'PControl'
|
interface |
ProcessCall
A representation of the model object 'Process Call'
|
interface |
ProcessCallOrAssert
A representation of the model object 'Process Call Or Assert'
|
interface |
ProcessExpansion
A representation of the model object 'Process Expansion'
|
interface |
ProcessInstance
A representation of the model object 'Process Instance'
|
interface |
RestrictionProcess
A representation of the model object 'Restriction Process'
|
interface |
SignalsDefinition
A representation of the model object 'Signals Definition'
|
interface |
SignalsPartialDefaultDefinition
A representation of the model object 'Signals Partial Default Definition'
|
interface |
SignalsPartialDefinition
A representation of the model object 'Signals Partial Definition'
|
interface |
UnconditionedDependences
A representation of the model object 'Unconditioned Dependences'
|
Modifier and Type | Method and Description |
---|---|
ProcessBody |
Description.getBody()
Returns the value of the 'Body' containment reference
|
Modifier and Type | Method and Description |
---|---|
void |
Description.setBody(ProcessBody value)
Sets the value of the '
Body ' containment reference |
Modifier and Type | Class and Description |
---|---|
class |
ArrayProcessImpl
An implementation of the model object 'Array Process'
|
class |
AssertProcessImpl
An implementation of the model object 'Assert Process'
|
class |
AssertSignalImpl
An implementation of the model object 'Assert Signal'
|
class |
CaseProcessImpl
An implementation of the model object 'Case Process'
|
class |
ClockEqualityImpl
An implementation of the model object 'Clock Equality'
|
class |
ClockExclusiveRelationImpl
An implementation of the model object 'Clock Exclusive Relation'
|
class |
ClockInfRelationImpl
An implementation of the model object 'Clock Inf Relation'
|
class |
ClockSupRelationImpl
An implementation of the model object 'Clock Sup Relation'
|
class |
CompositionImpl
An implementation of the model object 'Composition'
|
class |
ConditionedDependenceImpl
An implementation of the model object 'Conditioned Dependence'
|
class |
ControlledProcessImpl
An implementation of the model object 'Controlled Process'
|
class |
ExternalAttributeImpl
An implementation of the model object 'External Attribute'
|
class |
IdentityEquationImpl
An implementation of the model object 'Identity Equation'
|
class |
IterationProcessImpl
An implementation of the model object 'Iteration Process'
|
class |
LabelledProcessImpl
An implementation of the model object 'Labelled Process'
|
class |
MaskingImpl
An implementation of the model object 'Masking'
|
class |
NullProcImpl
An implementation of the model object 'Null Proc'
|
class |
ProcessCallImpl
An implementation of the model object 'Process Call'
|
class |
ProcessExpansionImpl
An implementation of the model object 'Process Expansion'
|
class |
RestrictionProcessImpl
An implementation of the model object 'Restriction Process'
|
class |
SignalsDefinitionImpl
An implementation of the model object 'Signals Definition'
|
class |
SignalsPartialDefaultDefinitionImpl
An implementation of the model object 'Signals Partial Default Definition'
|
class |
SignalsPartialDefinitionImpl
An implementation of the model object 'Signals Partial Definition'
|
class |
UnconditionedDependencesImpl
An implementation of the model object 'Unconditioned Dependences'
|
Modifier and Type | Method and Description |
---|---|
ProcessBody |
DescriptionImpl.getBody() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
DescriptionImpl.basicSetBody(ProcessBody newBody,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
DescriptionImpl.setBody(ProcessBody newBody) |
Modifier and Type | Method and Description |
---|---|
T |
SsmeSwitch.caseProcessBody(ProcessBody object)
Returns the result of interpreting the object as an instance of 'Process Body'
|