Package | Description |
---|---|
fr.inria.tea.ssme | |
fr.inria.tea.ssme.impl | |
fr.inria.tea.ssme.util |
Modifier and Type | Interface and Description |
---|---|
interface |
ConstantsDeclaration
A representation of the model object 'Constants Declaration'
|
interface |
ExternalReferences
A representation of the model object 'External References'
|
interface |
FormalProcess
A representation of the model object 'Formal Process'
|
interface |
Labels
A representation of the model object 'Labels'
|
interface |
ModulesImport
A representation of the model object 'Modules Import'
|
interface |
OperatorModel
A representation of the model object 'Operator Model'
|
interface |
ProcessDeclaration
A representation of the model object 'Process Declaration'
|
interface |
ProcessModel
A representation of the model object 'Process Model'
|
interface |
SharedVariablesDeclaration
A representation of the model object 'Shared Variables Declaration'
|
interface |
SignalsDeclaration
A representation of the model object 'Signals Declaration'
|
interface |
StateVariablesDeclaration
A representation of the model object 'State Variables Declaration'
|
interface |
TypesDeclaration
A representation of the model object 'Types Declaration'
|
interface |
TypesOrSignalsDeclaration
A representation of the model object 'Types Or Signals Declaration'
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Declaration> |
ModuleDescription.getListDeclaration()
Returns the value of the 'List Declaration' containment reference list.
|
org.eclipse.emf.common.util.EList<Declaration> |
RestrictionProcess.getListDeclarations()
Returns the value of the 'List Declarations' containment reference list.
|
Modifier and Type | Class and Description |
---|---|
class |
ConstantsDeclarationImpl
An implementation of the model object 'Constants Declaration'
|
class |
ExternalReferencesImpl
An implementation of the model object 'External References'
|
class |
FormalProcessImpl
An implementation of the model object 'Formal Process'
|
class |
LabelsImpl
An implementation of the model object 'Labels'
|
class |
ModulesImportImpl
An implementation of the model object 'Modules Import'
|
class |
OperatorModelImpl
An implementation of the model object 'Operator Model'
|
class |
ProcessModelImpl
An implementation of the model object 'Process Model'
|
class |
SharedVariablesDeclarationImpl
An implementation of the model object 'Shared Variables Declaration'
|
class |
SignalsDeclarationImpl
An implementation of the model object 'Signals Declaration'
|
class |
StateVariablesDeclarationImpl
An implementation of the model object 'State Variables Declaration'
|
class |
TypesDeclarationImpl
An implementation of the model object 'Types Declaration'
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Declaration> |
ModuleDescriptionImpl.getListDeclaration() |
org.eclipse.emf.common.util.EList<Declaration> |
RestrictionProcessImpl.getListDeclarations() |
Modifier and Type | Method and Description |
---|---|
T |
SsmeSwitch.caseDeclaration(Declaration object)
Returns the result of interpreting the object as an instance of 'Declaration'
|