Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions | |
fr.inria.tea.ssme | |
fr.inria.tea.ssme.impl | |
fr.inria.tea.ssme.util |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_addDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to a list of declarations (ldecl).
|
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_addEndDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to the end of the list of declarations (ldecl).
|
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_mkLocalDeclaration(ProcessModelImpl p_proc)
Makes an empty tree local declarations of a model (p_proc).
|
java.util.ArrayList<Declaration> |
signalTreeAPI.STree_setLocalDeclarations(ProcessModelImpl p,
org.eclipse.emf.common.util.EList<Declaration> ndecls)
Sets (replaces?)
|
Modifier and Type | Method and Description |
---|---|
void |
signalTreeAPI.STree_addaDeclarationToProcess(ProcessModelImpl p,
Declaration decl)
Inserts a declaration (decl) to the local declarations of a model (p).
|
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_addDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to a list of declarations (ldecl).
|
void |
signalTreeAPI.STree_addDeclarationToProcess(ProcessModelImpl vtreeproc,
Declaration decl) |
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_addEndDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to the end of the list of declarations (ldecl).
|
Modifier and Type | Method and Description |
---|---|
void |
signalTreeAPI.STree_addDeclarations(ProcessModelImpl p,
java.util.ArrayList<Declaration> l_decl)
Inserts a list of declarations (l_decl) to the local declarations of a model (p).
|
void |
signalTreeAPI.STree_addDeclarationToConfinedExpr(RestrictionProcess p_conf,
java.util.ArrayList<Declaration> vdecl)
Adds a list of declarations(vdecl) to an assumed confined expression (p_conf).
|
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_addDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to a list of declarations (ldecl).
|
org.eclipse.emf.common.util.EList<Declaration> |
signalTreeAPI.STree_addEndDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to the end of the list of declarations (ldecl).
|
void |
signalTreeAPI.STree_addLocalDeclaration(SignalElementImpl aProcess,
java.util.ArrayList<Declaration> vdecl)
Adds the declaration (vdecl) as local to a model or a module (aProcess) or a confined process.
|
RestrictionProcessImpl |
signalTreeAPI.STree_mkConfinedExpression(ExprProcess expr,
org.eclipse.emf.common.util.EList<Declaration> decl)
Makes an abtract tree representing a Signal confined process
\bsg (| expr |) where
|
java.util.ArrayList<Declaration> |
signalTreeAPI.STree_setLocalDeclarations(ProcessModelImpl p,
org.eclipse.emf.common.util.EList<Declaration> ndecls)
Sets (replaces?)
|
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'
|