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 |
---|---|
Identifier |
signalTreeAPI.Process_GetID(ProcessModel p)
Returns the identifier of a process p
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
signalTreeAPI.Identifier_GetStr(Identifier id)
Returns a string that represents an identifier
|
void |
signalTreeAPI.STree_addModuleIDToAModulesImport(ModulesImportImpl usemodule,
Identifier mid)
Adds a module ID (mid) to the end of a ModulesImportImpl (usemodule): use ..., mid;
|
void |
signalTreeAPI.STree_adduseModuleToAModule(ModuleImpl amodule,
Identifier mid)
Adds a module ID (mid) to a ModuleImpl (amodule)
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
|
void |
signalTreeAPI.STree_adduseModuleToAProcess(ProcessModelImpl aprocess,
Identifier mid,
boolean bpre)
Adds a use module ID (mid) to a ProcessModelImpl (aprocess) in position pre if bpre is true, else adds it to the last of the ModulesImport list
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
|
java.lang.String |
signalTreeAPI.STree_GetStringName(Identifier e)
Gets the string name of an identifier (e)
|
TypeDescriptionImpl |
signalTreeAPI.STree_mkDclType(Identifier name,
TypeDescriptionValue description,
ExprSignal vinit)
Makes a type declaration with name as \
|
ModuleImpl |
signalTreeAPI.STree_mkModule(Identifier name)
Makes an empty module with an identifier (name).
|
PragmaImpl |
signalTreeAPI.STree_mkPragmaIdent(Identifier id,
org.eclipse.emf.common.util.EList<Identifier> obj,
StringValue stmt)
Make a pragma with id as \
|
ProcessModelImpl |
signalTreeAPI.STree_mkProcess(Identifier p_nom,
ProcessModelInterfaceImpl p_inte,
Description p_desc)
Makes a model of a process with its name (p_nom), its interface (p_inte) and its description (expression + local declarations) (p_desc)
|
ProcessExpansionImpl |
signalTreeAPI.STree_mkProcessCallWithParameters(Identifier pname,
java.util.ArrayList<ExprParam> lparam)
Makes a process call of identifier (pname) with a list of effective parameters
|
ProcessCallImpl |
signalTreeAPI.STree_mkReferenceToModel(Identifier id)
Makes a process call of an identifier (id)
|
ProcessModelImpl |
signalTreeAPI.STree_mkSkeletonModel(Identifier id)
Returns a skeleton of a process
|
ProcessModelImpl |
signalTreeAPI.STree_mkSkeletonModel(Identifier id,
int op)
/**
Returns a skeleton of a process if op=opprocess, else null
|
TypesDeclarationImpl |
signalTreeAPI.STree_mkTypeDeclaration(Identifier type_id,
TypeDescriptionValue value)
returns a type declaration: type type_id = value;
|
void |
signalTreeAPI.STree_setNameModel(ProcessModelImpl vprocess,
Identifier id)
Set identifier of a process (vprocess)'s
|
Modifier and Type | Method and Description |
---|---|
void |
signalTreeAPI.STree_addLabelsInModel(java.util.ArrayList<Identifier> lids,
ProcessModelImpl p)
Declares, in process p, the list of identifiers (lids) as labels.
|
PragmaImpl |
signalTreeAPI.STree_mkPragma(java.lang.String kw,
org.eclipse.emf.common.util.EList<Identifier> obj,
StringValue stmt)
Make a pragma with kw as the name of \
|
PragmaImpl |
signalTreeAPI.STree_mkPragmaIdent(Identifier id,
org.eclipse.emf.common.util.EList<Identifier> obj,
StringValue stmt)
Make a pragma with id as \
|
Modifier and Type | Method and Description |
---|---|
Identifier |
SsmeFactory.createIdentifier()
Returns a new object of class 'Identifier'
|
Identifier |
ConstantEnum.getConstantEnumValue()
Returns the value of the 'Constant Enum Value' containment reference
|
Identifier |
ArrayIndex.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
FieldAccess.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
TypeDescription.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
CaseProcess.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
Module.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
StateVariableValue.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
ConstantDescription.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
ProcessType.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
ProcessModel.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
SignalNaming.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
Pragma.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
ProcessExpansion.getIdentifier()
Returns the value of the 'Identifier' containment reference
|
Identifier |
PartialIteration.getIndex()
Returns the value of the 'Index' containment reference
|
Identifier |
LabelledProcess.getLabel()
Returns the value of the 'Label' containment reference
|
Identifier |
FormalProcess.getModelName()
Returns the value of the 'Model Name' containment reference
|
Identifier |
FormalProcess.getModelType()
Returns the value of the 'Model Type' containment reference
|
Identifier |
ConstantEnum.getTypeIdentifier()
Returns the value of the 'Type Identifier' containment reference
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Identifier> |
ExternalReferences.getListIdentifier()
Returns the value of the 'List Identifier' containment reference list.
|
org.eclipse.emf.common.util.EList<Identifier> |
Masking.getListIdentifier()
Returns the value of the 'List Identifier' containment reference list.
|
org.eclipse.emf.common.util.EList<Identifier> |
EnumerationType.getListIdentifier()
Returns the value of the 'List Identifier' containment reference list.
|
org.eclipse.emf.common.util.EList<Identifier> |
Labels.getListIdentifier()
Returns the value of the 'List Identifier' containment reference list.
|
org.eclipse.emf.common.util.EList<Identifier> |
ModulesImport.getListModule()
Returns the value of the 'List Module' containment reference list.
|
org.eclipse.emf.common.util.EList<Identifier> |
Pragma.getListPragmaObject()
Returns the value of the 'List Pragma Object' containment reference list.
|
Modifier and Type | Method and Description |
---|---|
void |
ConstantEnum.setConstantEnumValue(Identifier value)
Sets the value of the '
Constant Enum Value ' containment reference |
void |
ArrayIndex.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
FieldAccess.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
TypeDescription.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
CaseProcess.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
Module.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
StateVariableValue.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
ConstantDescription.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
ProcessType.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
ProcessModel.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
SignalNaming.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
Pragma.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
ProcessExpansion.setIdentifier(Identifier value)
Sets the value of the '
Identifier ' containment reference |
void |
PartialIteration.setIndex(Identifier value)
Sets the value of the '
Index ' containment reference |
void |
LabelledProcess.setLabel(Identifier value)
Sets the value of the '
Label ' containment reference |
void |
FormalProcess.setModelName(Identifier value)
Sets the value of the '
Model Name ' containment reference |
void |
FormalProcess.setModelType(Identifier value)
Sets the value of the '
Model Type ' containment reference |
void |
ConstantEnum.setTypeIdentifier(Identifier value)
Sets the value of the '
Type Identifier ' containment reference |
Modifier and Type | Class and Description |
---|---|
class |
IdentifierImpl
An implementation of the model object 'Identifier'
|
Modifier and Type | Method and Description |
---|---|
Identifier |
SsmeFactoryImpl.createIdentifier() |
Identifier |
ConstantEnumImpl.getConstantEnumValue() |
Identifier |
PragmaImpl.getIdentifier() |
Identifier |
ProcessTypeImpl.getIdentifier() |
Identifier |
ProcessExpansionImpl.getIdentifier() |
Identifier |
ModuleImpl.getIdentifier() |
Identifier |
ArrayIndexImpl.getIdentifier() |
Identifier |
ProcessModelImpl.getIdentifier() |
Identifier |
SignalNamingImpl.getIdentifier() |
Identifier |
CaseProcessImpl.getIdentifier() |
Identifier |
TypeDescriptionImpl.getIdentifier() |
Identifier |
FieldAccessImpl.getIdentifier() |
Identifier |
StateVariableValueImpl.getIdentifier() |
Identifier |
ConstantDescriptionImpl.getIdentifier() |
Identifier |
PartialIterationImpl.getIndex() |
Identifier |
LabelledProcessImpl.getLabel() |
Identifier |
FormalProcessImpl.getModelName() |
Identifier |
FormalProcessImpl.getModelType() |
Identifier |
ConstantEnumImpl.getTypeIdentifier() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Identifier> |
ExternalReferencesImpl.getListIdentifier() |
org.eclipse.emf.common.util.EList<Identifier> |
MaskingImpl.getListIdentifier() |
org.eclipse.emf.common.util.EList<Identifier> |
LabelsImpl.getListIdentifier() |
org.eclipse.emf.common.util.EList<Identifier> |
EnumerationTypeImpl.getListIdentifier() |
org.eclipse.emf.common.util.EList<Identifier> |
ModulesImportImpl.getListModule() |
org.eclipse.emf.common.util.EList<Identifier> |
PragmaImpl.getListPragmaObject() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
ConstantEnumImpl.basicSetConstantEnumValue(Identifier newConstantEnumValue,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
PragmaImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ProcessTypeImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ProcessExpansionImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ModuleImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ArrayIndexImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ProcessModelImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
SignalNamingImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
CaseProcessImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
TypeDescriptionImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
FieldAccessImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
StateVariableValueImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ConstantDescriptionImpl.basicSetIdentifier(Identifier newIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
PartialIterationImpl.basicSetIndex(Identifier newIndex,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
LabelledProcessImpl.basicSetLabel(Identifier newLabel,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
FormalProcessImpl.basicSetModelName(Identifier newModelName,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
FormalProcessImpl.basicSetModelType(Identifier newModelType,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ConstantEnumImpl.basicSetTypeIdentifier(Identifier newTypeIdentifier,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
ConstantEnumImpl.setConstantEnumValue(Identifier newConstantEnumValue) |
void |
PragmaImpl.setIdentifier(Identifier newIdentifier) |
void |
ProcessTypeImpl.setIdentifier(Identifier newIdentifier) |
void |
ProcessExpansionImpl.setIdentifier(Identifier newIdentifier) |
void |
ModuleImpl.setIdentifier(Identifier newIdentifier) |
void |
ArrayIndexImpl.setIdentifier(Identifier newIdentifier) |
void |
ProcessModelImpl.setIdentifier(Identifier newIdentifier) |
void |
SignalNamingImpl.setIdentifier(Identifier newIdentifier) |
void |
CaseProcessImpl.setIdentifier(Identifier newIdentifier) |
void |
TypeDescriptionImpl.setIdentifier(Identifier newIdentifier) |
void |
FieldAccessImpl.setIdentifier(Identifier newIdentifier) |
void |
StateVariableValueImpl.setIdentifier(Identifier newIdentifier) |
void |
ConstantDescriptionImpl.setIdentifier(Identifier newIdentifier) |
void |
PartialIterationImpl.setIndex(Identifier newIndex) |
void |
LabelledProcessImpl.setLabel(Identifier newLabel) |
void |
FormalProcessImpl.setModelName(Identifier newModelName) |
void |
FormalProcessImpl.setModelType(Identifier newModelType) |
void |
ConstantEnumImpl.setTypeIdentifier(Identifier newTypeIdentifier) |
Modifier and Type | Method and Description |
---|---|
T |
SsmeSwitch.caseIdentifier(Identifier object)
Returns the result of interpreting the object as an instance of 'Identifier'
|