Skip navigation links
A B C D E F G H I J L M N O P Q R S T U V W X _ 

D

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
The meta object id for the 'Declaration' class
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
The meta object id for the 'Dependences' class
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
The meta object id for the 'Described Type' class
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
The meta object id for the 'Description' class
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.
A B C D E F G H I J L M N O P Q R S T U V W X _ 
Skip navigation links