- Data_GetCompType(DataImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the corresponding data type of a DataImpl (dataimpl)
- Data_GetSubcomponentsData(DataImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of sub data components of a DataImplementation (dataimpl)
- DataAccess_GetKind(DataAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns data access kind: "provided" "required"
- DataAccess_GetName(DataAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the string name of a data access
- DATAFLOW_CONNECTION_IS_DEFAULT_VALUE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- DataPort_GetClassifier(DataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
returns the data classifier of a data port
- dataPortType - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Port
-
- Datasubcomponent_GetClassifier(DataSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the data classifier of a DataSubcomponent (Datasubcomponent)
- Datasubcomponent_GetComponentImpl(DataSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the component implementation (the classifier) of a DataSubcomponent (d)
If classifier of this d is type of DataImpl, return this classifier,
otherwise return null
- Datasubcomponent_GetComponentType(DataSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the DataType of a DataSubcomponent (d)
If classifier of this d is type of DataImpl, return its component type,
otherwise if this d is type of DataType, return this classifier
- DataSubcomponent_GetDataSubcomponentType(DataSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the reference classifier of data sub component d
- DCGBasic2DCGPoly(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- DCGBool2DCGFlat(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- DCGPoly2DCGBool(GraphValue) - Method in class fr.inria.tea.ssme.compilation.utils.jobs.CompilingMethods
-
- DCGPoly2DCGBool(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- DCOMPLEX - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Dcomplex' literal value
- DCOMPLEX - Static variable in enum fr.inria.tea.ssme.SignalIntrinsicType
-
The 'Dcomplex' literal value
- deadline - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- DEADLINE_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Name
-
- DEADLINE_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- deadlineEvent - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.EventAlloList
-
- deadlineMSTAIndex - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
-
- deadlineOnMSTA - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Thread
-
- deadlineTimeUnit - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- Declaration - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Declaration'
- DECLARATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- DECLARATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- DECLARATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- DECLARATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Declaration' class
- DeclarationTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Declaration'
- DeclarationTest(String) - Constructor for class fr.inria.tea.ssme.tests.DeclarationTest
-
Constructs a new Declaration test case with the given name
- DeclarationValue - Class in fr.inria.tea.ssme.polychrony
-
Class to indicate a pointer on an AST and potentially to indicate a son of the tree.
- DeclarationValue(long) - Constructor for class fr.inria.tea.ssme.polychrony.DeclarationValue
-
- DeclarationValue(long, int) - Constructor for class fr.inria.tea.ssme.polychrony.DeclarationValue
-
- DEF_VALUE_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
-
- Default - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Default'
- DEFAULT - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Default' literal value
- DEFAULT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
Default
' class
- DEFAULT__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- DEFAULT__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- DEFAULT__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- DEFAULT__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- DEFAULT_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Default' class
- defaultCase(EObject) - Method in class fr.inria.tea.ssme.compilation.util.SsmeCompSwitch
-
Returns the result of interpreting the object as an instance of 'EObject'
- defaultCase(EObject) - Method in class fr.inria.tea.ssme.util.SsmeSwitch
-
Returns the result of interpreting the object as an instance of 'EObject'
- DefaultImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Default'
- DefaultImpl() - Constructor for class fr.inria.tea.ssme.impl.DefaultImpl
-
- DefaultItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
Default
object
- DefaultItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.DefaultItemProvider
-
This constructs an instance from a factory and a notifier
- DefaultTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Default'
- DefaultTest(String) - Constructor for class fr.inria.tea.ssme.tests.DefaultTest
-
Constructs a new Default test case with the given name
- Delay - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Delay'
- DELAY - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Delay' literal value
- DELAY - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
Delay
' class
- DELAY__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- DELAY__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- DELAY__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- DELAY__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- DELAY__EXPR_SIGNAL3 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal3' containment reference
- DELAY_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Delay' class
- DELAY_INITIAL_VALUE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- DELAY_INSTANTS_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- DelayImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Delay'
- DelayImpl() - Constructor for class fr.inria.tea.ssme.impl.DelayImpl
-
- DelayItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
Delay
object
- DelayItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.DelayItemProvider
-
This constructs an instance from a factory and a notifier
- DelayTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Delay'
- DelayTest(String) - Constructor for class fr.inria.tea.ssme.tests.DelayTest
-
Constructs a new Delay test case with the given name
- delayTreeBuild(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- deleteParameters(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Removes the parameters tree of a model.
- DEPENDENCE_DESTINATION_SOURCE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- DEPENDENCE_TARGET - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- dependenceReinforcing(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- Dependences - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Dependences'
- DEPENDENCES - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- DEPENDENCES__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- DEPENDENCES__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- DEPENDENCES_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Dependences' class
- DependencesTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Dependences'
- DependencesTest(String) - Constructor for class fr.inria.tea.ssme.tests.DependencesTest
-
Constructs a new Dependences test case with the given name
- Dependency_Scheduling - Class in fr.inria.tea.aadl2ssme.scheduling.actions
-
- Dependency_Scheduling() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.actions.Dependency_Scheduling
-
- Dependency_Scheduling(I_Process, boolean) - Constructor for class fr.inria.tea.aadl2ssme.scheduling.actions.Dependency_Scheduling
-
- dependencySchedulingAction - Class in fr.inria.tea.aadl2ssme.scheduling.popup.actions
-
- dependencySchedulingAction() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.popup.actions.dependencySchedulingAction
-
Constructor for Action1.
- DEQUEUE_NUMBER_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
-
- DEQUEUE_PROTOCOL_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- DEQUEUE_PROTOCOL_PROPERTY_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- DEQUEUED_ITEMS_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- DEQUEUED_ITEMS_PROPERTY_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- DESCRIBED_TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- DESCRIBED_TYPE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- DESCRIBED_TYPE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- DESCRIBED_TYPE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Described Type' class
- DescribedType - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Described Type'
- DescribedTypeTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Described Type'
- DescribedTypeTest(String) - Constructor for class fr.inria.tea.ssme.tests.DescribedTypeTest
-
Constructs a new Described Type test case with the given name
- Description - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Description'
- DESCRIPTION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- DESCRIPTION__BODY - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Body' containment reference
- DESCRIPTION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- DESCRIPTION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- DESCRIPTION__LIST_PRAGMA - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'List Pragma' containment reference list
- DESCRIPTION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Description' class
- DescriptionImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Description'
- DescriptionImpl() - Constructor for class fr.inria.tea.ssme.impl.DescriptionImpl
-
- DescriptionItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
Description
object
- DescriptionItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.DescriptionItemProvider
-
This constructs an instance from a factory and a notifier
- DescriptionTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Description'
- DescriptionTest(String) - Constructor for class fr.inria.tea.ssme.tests.DescriptionTest
-
Constructs a new Description test case with the given name
- DESTINATION_FIELD - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- DESTINATION_FIELD - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- destroy(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Deletes the i
-th son of the tree listNode
.
- destroyAttr(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Removes, from the set of attributes assigned to node
, the num
-th attribute.
- DETERMINISTIC - Static variable in enum fr.inria.tea.ssme.ProcessAttributeKind
-
The 'Deterministic' literal value
- DEVICE_DISPATCH_PROTOCOL_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- Device_GetBusAccess(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns a list of bus access of a device type dt
- Device_GetInDataPort(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of in data ports of a DeviceType (devicetype)
- Device_GetInEventDataPort(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of in event data ports of a DeviceType (devicetype)
- Device_GetInEventPort(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of in event ports of a DeviceType (devicetype)
- Device_GetOutDataPort(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of out data ports of a DeviceType (devicetype)
- Device_GetOutEventDataPort(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of out event data ports of a DeviceType (devicetype)
- Device_GetOutEventPort(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of out event ports of a DeviceType (devicetype)
- Devicesubcomponent_GetClassifier(DeviceSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the DeviceClassifier of a DeviceSubcomponent (d)
- Devicesubcomponent_GetComponentImpl(DeviceSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the component implementation (the classifier) of a DeviceSubcomponent (p)
If classifier of this p is type of DeviceImpl, return this classifier,
otherwise return null
- Devicesubcomponent_GetComponentType(DeviceSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the DeviceType of a DeviceSubcomponent (p)
If classifier of this p is type of DeviceImpl, return its component type,
otherwise if this p is type of DeviceType, return this classifier
- DISPATCH_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Name
-
- DISPATCH_PROTOCOL_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- DISPATCH_PROTOCOL_PROPERTY_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- dispatchEvent - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.EventAlloList
-
- dispatchMSTAIndex - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
-
- displayWarnings(boolean) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
This method enables/disables the warning flag.
- dispose() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
We can use this method to dispose of any system resources we previously
allocated.
- dispose() - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
- dispose() - Method in class fr.inria.tea.ssme.compilation.provider.SsmeCompItemProviderAdapterFactory
-
This disposes all of the item providers created by this factory
- dispose() - Method in class fr.inria.tea.ssme.polychrony.utils.PolychronyConsole
-
- dispose() - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
- dispose() - Method in class fr.inria.tea.ssme.provider.SsmeItemProviderAdapterFactory
-
This disposes all of the item providers created by this factory
- disThreadList - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Port
-
- Div - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Div'
- DIV - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Div' literal value
- DIV - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
Div
' class
- DIV__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- DIV__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- DIV__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- DIV__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- DIV_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Div' class
- DivImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Div'
- DivImpl() - Constructor for class fr.inria.tea.ssme.impl.DivImpl
-
- DivItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
Div
object
- DivItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.DivItemProvider
-
This constructs an instance from a factory and a notifier
- DivTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Div'
- DivTest(String) - Constructor for class fr.inria.tea.ssme.tests.DivTest
-
Constructs a new Div test case with the given name
- doSave(IProgressMonitor) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
This is for implementing IEditorPart
and simply saves the model file
- doSave(IProgressMonitor) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
This is for implementing IEditorPart
and simply saves the model file
- doSaveAs() - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
This also changes the editor's input
- doSaveAs() - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
This also changes the editor's input
- DotUnparse(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- DREAL - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Dreal' literal value
- DREAL - Static variable in enum fr.inria.tea.ssme.SignalIntrinsicType
-
The 'Dreal' literal value
- duplicateInterfaceWithoutSpec(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Copy the interface of a model without the specification expressions.