- AADLCoLAPI - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- AADLCoLAPI() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Class constructor
- AadlPackage_GetBusImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all BusImplementation objects of a AadlPackage (aspec)
- AadlPackage_GetBusType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all BusType objects of AadlPackage (ap)
- AadlPackage_GetdataImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all DataImplementation objects of AadlPackage (ap)
- AadlPackage_GetdataType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all DataType objects of AadlPackage (ap)
- AadlPackage_GetDeviceImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all DeviceImplementation objects of a AadlPackage (aspec)
- AadlPackage_GetDeviceType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all DeviceType objects of AadlPackage (ap)
- AadlPackage_GetFeatureGroupType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all FeatureGroupType objects of a AadlPackage (aspec)
- AadlPackage_GetMainSystem(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the main system (implementation) of a AadlPackage (ap)
Assume that a main system is a system implementation which is not a subsystem of any other systems
- AadlPackage_GetMemoryImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all MemoryImplementation objects of a AadlPackage (aspec)
- AadlPackage_GetMemoryType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all MemoryType objects of AadlPackage (ap)
- AadlPackage_GetName(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the string name of a aadl package (ap)
- AadlPackage_GetPrivatePkg(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the private package section of aadl a package (ap)
- AadlPackage_GetProcessImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all ProcessImplementation objects of a AadlPackage (aspec)
- AadlPackage_GetProcessorImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all ProcessorImplementation objects of a AadlPackage (aspec)
- AadlPackage_GetProcessorType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all ProcessorType objects of AadlPackage (ap)
- AadlPackage_GetProcessType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all ProcessType objects of AadlPackage (ap)
- AadlPackage_GetPublicPkg(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the public package section of a aadl package (ap)
- AadlPackage_GetSubprogramImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all SubprogramImplementation objects of a AadlPackage (aspec)
- AadlPackage_GetSubprogramType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all SubprogramType objects of AadlPackage (ap)
- AadlPackage_GetsystemImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
get list of all SystemImplementation objects of a AadlPackage (ap)
- AadlPackage_GetsystemType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all SystemType objects of AadlPackage (ap)
- AadlPackage_GetThreadImpl(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get list of all ThreadImplementation objects of a AadlPackage (aspec)
- AadlPackage_GetThreadType(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a list of all ThreadType objects of AadlPackage (ap)
- ABSTRACTION - Static variable in enum fr.inria.tea.ssme.compilation.FunctionalityKind
-
The 'Abstraction' literal value
- abstraction(GraphValue) - Method in class fr.inria.tea.ssme.compilation.utils.jobs.CompilingMethods
-
- ABSTRACTION_ERROR - Static variable in enum fr.inria.tea.ssme.polychrony.ExitStatus
-
- abstractTree - Variable in class fr.inria.tea.ssme.polychrony.TypeValue
-
The type represented as an abstract tree
- AbstractType_GetName(AbstractType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the name of a abstractType object
- AccessConnection_GetCategory(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the access category: bus, data, ...
- AccessConnection_GetDst(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the destination of a access connection
- AccessConnection_GetDstContext(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the destination context of a access connection
- AccessConnection_GetSrc(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the source of a access connection
- AccessConnection_GetSrcContext(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the source context of a access connection
- ACTION - Static variable in enum fr.inria.tea.ssme.ModelKind
-
The 'Action' literal value
- ACTION - Static variable in enum fr.inria.tea.ssme.polychrony.ModelKind
-
- ACTION_P - Static variable in enum fr.inria.tea.ssme.polychrony.ExclusiveClockLevelKind
-
- ACTION_P - Static variable in enum fr.inria.tea.ssme.polychrony.ModelKind
-
- Activator - Class in fr.inria.tea.aadl2ssme.scheduling
-
The activator class controls the plug-in life cycle
- Activator() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.Activator
-
The constructor
- Activator - Class in fr.inria.tea.aadl2ssme.transformation
-
The activator class controls the plug-in life cycle
- Activator() - Constructor for class fr.inria.tea.aadl2ssme.transformation.Activator
-
The constructor
- ACTUAL_CONNECTION_BINDING_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ACTUAL_LATENCY_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ACTUAL_MEMORY_BINDING_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ACTUAL_PROCESSOR_BINDING_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- adapt(Notifier, Object) - Method in class fr.inria.tea.ssme.compilation.provider.SsmeCompItemProviderAdapterFactory
-
This implementation substitutes the factory itself as the key for the adapter
- adapt(Object, Object) - Method in class fr.inria.tea.ssme.compilation.provider.SsmeCompItemProviderAdapterFactory
-
- adapt(Notifier, Object) - Method in class fr.inria.tea.ssme.provider.SsmeItemProviderAdapterFactory
-
This implementation substitutes the factory itself as the key for the adapter
- adapt(Object, Object) - Method in class fr.inria.tea.ssme.provider.SsmeItemProviderAdapterFactory
-
- ADD - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Add' literal value
- add(int, String, EObject) - Static method in class fr.inria.tea.ssme.polychrony.utils.PolychronyDiagnostic
-
- addComment(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeComment
-
Add a commentTree to a node of the AST
- addDeclarationToInterface(long, long, IdentifierKind) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a declaration to a model.
- addDeclarationToList(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a declaration to a list of declarations.
- addEmptyInterface(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds an empty interface to a process.
- addEndDeclarationToList(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a declaration to the end of the list of declarations.
- addExceptionsForConstraints(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- addExpressionOfProcessToaModel(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a process expression to a process model.
- addExprToComposition_Post(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds an element to a composition list.
- addExprToComposition_Pre(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds an element at the head of a composition list.
- addFlowDeclaration(long, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Inserts in a list of declarations the declaration of a signal/constant.
- addLabelsInModel(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Declares a list of identifiers as labels in a model process.
- addListener(INotifyChangedListener) - Method in class fr.inria.tea.ssme.compilation.provider.SsmeCompItemProviderAdapterFactory
-
This adds a listener
- addListener(INotifyChangedListener) - Method in class fr.inria.tea.ssme.provider.SsmeItemProviderAdapterFactory
-
This adds a listener
- addLocalBlock(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a "where" area in second child of a model process.
- addLocalDeclaration(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a declaration as local to a model or a module.
- addPages() - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompModelWizard
-
The framework calls this to create the contents of the wizard
- addPages() - Method in class fr.inria.tea.ssme.presentation.SsmeModelWizard
-
The framework calls this to create the contents of the wizard
- addPathSignalLibraryPath(IPath) - Method in class fr.inria.tea.ssme.compilation.utils.popup.actions.CompilationUtils
-
This method adds the given path to the Signal Library Path
- addPragma(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a pragma to a model process.
- addProcessDeclaration(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a process declaration to a model/module.
- addSelectionChangedListener(ISelectionChangedListener) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
This implements ISelectionProvider
- addSelectionChangedListener(ISelectionChangedListener) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
This implements ISelectionProvider
- addSpecification(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a specification object to a process model.
- addStrComment(long, String, boolean) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeComment
-
Add a comment to a node of the AST
- addSynchroTree(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
- addTypeToTypes(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds a type declaration to a list of type declarations.
- AFFECTATION_TARGET - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- After - Interface in fr.inria.tea.ssme
-
A representation of the model object 'After'
- AFTER - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'After' literal value
- AFTER - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
After
' class
- AFTER__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- AFTER__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- AFTER__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- AFTER__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- AFTER_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'After' class
- AfterImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'After'
- AfterImpl() - Constructor for class fr.inria.tea.ssme.impl.AfterImpl
-
- AfterItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
After
object
- AfterItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.AfterItemProvider
-
This constructs an instance from a factory and a notifier
- AfterTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'After'
- AfterTest(String) - Constructor for class fr.inria.tea.ssme.tests.AfterTest
-
Constructs a new After test case with the given name
- AL_ComputationList - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- AL_ComputationList() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.AL_ComputationList
-
- AL_EventList - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- AL_EventList() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.AL_EventList
-
- AL_Int - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- AL_Int() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.AL_Int
-
- AL_ThreadInstance - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- AL_ThreadInstance() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.AL_ThreadInstance
-
- ALARM_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Name
-
- alInt - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.AL_Int
-
- ALL_CLOCKS - Static variable in enum fr.inria.tea.ssme.polychrony.ExclusiveClockLevelKind
-
- allocatedThreadList - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_MSTA
-
- allocCompleteEvent(int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
-
- allocDeadlineEvent(int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
-
- allocDispatchEvent(I_Thread, int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
-
- allocDispatchEventInEventList(int, int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
-
- allocFrozenEvent(I_Thread, int, boolean) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
-
- allocOutputTimeEvent(int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
-
- allocStartEvent(int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
-
- analyzeResourceProblems(Resource, Exception) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
Returns a diagnostic describing the errors and warnings listed in the resource
and the specified exception (if any)
- analyzeResourceProblems(Resource, Exception) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
Returns a diagnostic describing the errors and warnings listed in the resource
and the specified exception (if any)
- And - Interface in fr.inria.tea.ssme
-
A representation of the model object 'And'
- AND - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'And' literal value
- AND - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
And
' class
- AND__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- AND__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- AND__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- AND__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- AND_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'And' class
- AND_STATE_SUB_STATES_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- AndImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'And'
- AndImpl() - Constructor for class fr.inria.tea.ssme.impl.AndImpl
-
- AndItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
And
object
- AndItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.AndItemProvider
-
This constructs an instance from a factory and a notifier
- AndTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'And'
- AndTest(String) - Constructor for class fr.inria.tea.ssme.tests.AndTest
-
Constructs a new And test case with the given name
- applyTabularMorphism(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- ARRAY_DIMENSION_VALUE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- ARRAY_ELEM - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_ELEM__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_ELEM__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_ELEM__EXPR_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal' containment reference
- ARRAY_ELEM__LIST_EXPR_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'List Expr Signal' containment reference
- ARRAY_ELEM_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Elem' class
- ARRAY_ELEMENTS_ENUMERATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_ELEMENTS_ENUMERATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_ELEMENTS_ENUMERATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_ELEMENTS_ENUMERATION__LIST_PARTIAL_ARRAY_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'List Partial Array Definition' containment reference list
- ARRAY_ELEMENTS_ENUMERATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Elements Enumeration' class
- ARRAY_ENUMERATION_INPUT_PORTS_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- ARRAY_INDEX - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_INDEX__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_INDEX__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_INDEX__IDENTIFIER - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Identifier' containment reference
- ARRAY_INDEX__UPPER_BOUND - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Upper Bound' containment reference
- ARRAY_INDEX_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Index' class
- ARRAY_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_PROCESS__ARRAY_INDEX - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Array Index' containment reference
- ARRAY_PROCESS__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_PROCESS__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_PROCESS__EXPR_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Process' containment reference
- ARRAY_PROCESS__ITERATION_INIT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Iteration Init' containment reference
- ARRAY_PROCESS_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Process' class
- ARRAY_PRODUCT - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Array Product' literal value
- ARRAY_PRODUCT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_PRODUCT__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_PRODUCT__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_PRODUCT__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- ARRAY_PRODUCT__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- ARRAY_PRODUCT_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Product' class
- ARRAY_RESTRUCTURATION - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Array Restructuration' literal value
- ARRAY_RESTRUCTURATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_RESTRUCTURATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_RESTRUCTURATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_RESTRUCTURATION__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- ARRAY_RESTRUCTURATION__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- ARRAY_RESTRUCTURATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Restructuration' class
- ARRAY_TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_TYPE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_TYPE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_TYPE__EXPR_DIMENSION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Dimension' containment reference
- ARRAY_TYPE__TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Type' containment reference
- ARRAY_TYPE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Type' class
- ArrayElem - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Elem'
- ArrayElementsEnumeration - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Elements Enumeration'
- ArrayElementsEnumerationImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Elements Enumeration'
- ArrayElementsEnumerationImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayElementsEnumerationImpl
-
- ArrayElementsEnumerationItemProvider - Class in fr.inria.tea.ssme.provider
-
- ArrayElementsEnumerationItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ArrayElementsEnumerationItemProvider
-
This constructs an instance from a factory and a notifier
- ArrayElementsEnumerationTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Array Elements Enumeration'
- ArrayElementsEnumerationTest(String) - Constructor for class fr.inria.tea.ssme.tests.ArrayElementsEnumerationTest
-
Constructs a new Array Elements Enumeration test case with the given name
- ArrayElemImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Elem'
- ArrayElemImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayElemImpl
-
- ArrayElemItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
ArrayElem
object
- ArrayElemItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ArrayElemItemProvider
-
This constructs an instance from a factory and a notifier
- ArrayElemTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Array Elem'
- ArrayElemTest(String) - Constructor for class fr.inria.tea.ssme.tests.ArrayElemTest
-
Constructs a new Array Elem test case with the given name
- ArrayIndex - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Index'
- ArrayIndexImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Index'
- ArrayIndexImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayIndexImpl
-
- ArrayIndexItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
ArrayIndex
object
- ArrayIndexItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ArrayIndexItemProvider
-
This constructs an instance from a factory and a notifier
- ArrayIndexTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Array Index'
- ArrayIndexTest(String) - Constructor for class fr.inria.tea.ssme.tests.ArrayIndexTest
-
Constructs a new Array Index test case with the given name
- ArrayProcess - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Process'
- ArrayProcessImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Process'
- ArrayProcessImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayProcessImpl
-
- ArrayProcessItemProvider - Class in fr.inria.tea.ssme.provider
-
- ArrayProcessItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ArrayProcessItemProvider
-
This constructs an instance from a factory and a notifier
- ArrayProcessTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Array Process'
- ArrayProcessTest(String) - Constructor for class fr.inria.tea.ssme.tests.ArrayProcessTest
-
Constructs a new Array Process test case with the given name
- ArrayProduct - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Product'
- ArrayProductImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Product'
- ArrayProductImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayProductImpl
-
- ArrayProductItemProvider - Class in fr.inria.tea.ssme.provider
-
- ArrayProductItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ArrayProductItemProvider
-
This constructs an instance from a factory and a notifier
- ArrayProductTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Array Product'
- ArrayProductTest(String) - Constructor for class fr.inria.tea.ssme.tests.ArrayProductTest
-
Constructs a new Array Product test case with the given name
- ArrayRestructuration - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Restructuration'
- ArrayRestructurationImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Restructuration'
- ArrayRestructurationImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayRestructurationImpl
-
- ArrayRestructurationItemProvider - Class in fr.inria.tea.ssme.provider
-
- ArrayRestructurationItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ArrayRestructurationItemProvider
-
This constructs an instance from a factory and a notifier
- ArrayRestructurationTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Array Restructuration'
- ArrayRestructurationTest(String) - Constructor for class fr.inria.tea.ssme.tests.ArrayRestructurationTest
-
Constructs a new Array Restructuration test case with the given name
- ArrayType - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Type'
- ArrayTypeImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Type'
- ArrayTypeImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayTypeImpl
-
- ArrayTypeItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
ArrayType
object
- ArrayTypeItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ArrayTypeItemProvider
-
This constructs an instance from a factory and a notifier
- ArrayTypeTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Array Type'
- ArrayTypeTest(String) - Constructor for class fr.inria.tea.ssme.tests.ArrayTypeTest
-
Constructs a new Array Type test case with the given name
- ASME2SSME - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME
-
Class constructor
- ASME2SSME_AADLPackage(AadlPackage, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Package
-
an AADL package is translated as a Signal module, the public and private
section are translated separately.
- ASME2SSME_AadlSpec_package(AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Spec
-
Returns a ListModuleImpl object (a module) that contains all the components specified in an AADL specification
- ASME2SSME_AadlSpec_PropertySet(PropertySet) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Spec
-
Returns a ListModuleImpl object (a module) that contains all the components specified in an AADL specification
- ASME2SSME_Actual_Connection_Binding_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_Actual_Memory_Binding_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_Actual_Processor_Binding_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_ActualLatency_Property_Call(String, PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call of flow's Actual Latency property.
- ASME2SSME_add_Declaration_to_ProcessType_Interface(String, String, ProcessModelImpl, SignalElementImpl, int) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Adds a signal declaration to a ProcessType (which represents an AADL process type component) interface.
- ASME2SSME_add_IDInterface_to_Process(ProcessModelImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Adds an interface to a process (vprocess),
where the interface is an identifier with a name (id_name)
- ASME2SSME_add_input_to_process_interface(String, String, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Adds an input signal to an interface of a Singal process.
- ASME2SSME_add_output_to_process_interface(String, String, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Adds an output signal to an interface of a Singal process.
- ASME2SSME_AnnexLibrary(AnnexLibrary) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AnnexLibrary
-
- ASME2SSME_BehavioredImpl_SubprogramSubcomponent1(SubprogramSubcomponent, BehavioredImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates a subprogram subcomponent (x: subprogram sp) of a thread (or subprogram) t
as an input event: event x,
- ASME2SSME_Bus_behavior(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Bus
-
Returns a Signal process "xx_behavior" that represents the behavior of a bus implementation component
This Signal process is named as "xx_behavior", where "xx" is the name of the Signal process that represents this bus implementation.
- ASME2SSME_Bus_Features(BusType, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Bus
-
Translate bus features (bus access)
- ASME2SSME_Bus_property(BusImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Bus
-
Returns a Signal process "xx_property" that represents the properties of a bus implementation component
This Signal process is named as "xx_property", where "xx" is the name of the Signal process that represents this bus implementation.
- ASME2SSME_BusAccess(BusAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a bus access
- ASME2SSME_BusAccessConnection(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Connection
-
Translate bus access connection
- ASME2SSME_BusImpl(BusImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Bus
-
Returns a Signal process that represents a bus implementation component
This Signal process is named by a method Name_of_Bus().
- ASME2SSME_BusImpl_Modes(BusImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Bus
-
Translate modes of a bus implementation component
- ASME2SSME_BusType(BusType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Bus
-
A bus type is represented as a Signal process
- ASME2SSME_Call_Affine(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Makes a process call of affine_sample: dx := affine_sample{1, px}(top)
- ASME2SSME_Call_SimDispatch_Aperiodic(ArrayList<ExprParam>, ArrayList<ExprSignal>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Makes a process call of Sim_Dispatch_Aperiodic process: Sim_Dispatch_Aperiodic{}
- ASME2SSME_Call_SimDispatch_Background(ArrayList<ExprParam>, ArrayList<ExprSignal>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Makes a process call of Sim_Dispatch_Background process: Sim_Dispatch_Background{}
- ASME2SSME_Call_SimDispatch_Hybrid(ArrayList<ExprParam>, ArrayList<ExprSignal>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Makes a process call of Sim_Dispatch_Hybrid process: Sim_Dispatch_Hybrid{}
- ASME2SSME_Call_SimDispatch_Periodic(ArrayList<IntegerLiteral>, ArrayList<ExprSignal>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Makes a process call equation that calls the Sim_Dispatch process
- ASME2SSME_Call_SimDispatch_Sporadic(ArrayList<ExprParam>, ArrayList<ExprSignal>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Makes a process call of Sim_Dispatch_Sporadic process: Sim_Dispatch_Sporadic{}
- ASME2SSME_Call_SimDispatch_Timed(ArrayList<ExprParam>, ArrayList<ExprSignal>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Makes a process call of Sim_Dispatch_Timed process: Sim_Dispatch_Timed{}
- ASME2SSME_Clock_Period_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Clock_Period" property
- ASME2SSME_component_instance(ProcessModelImpl, ProcessModelImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Makes a process call of a component Signal process, and adds it to the upper level's Signal process's body.
- ASME2SSME_Component_Properties_Call(ComponentImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process xx_property that represents the properties of a
component implementation.
- ASME2SSME_ComponentImpl_Flows(ComponentImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates flow implementations.
- ASME2SSME_ComponentImpl_Modes(ComponentImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates modes
- ASME2SSME_ComponentInterface(ProcessModelImpl, ComponentType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Creates a Signal process interface from a component type,
and add the interface to the Signal process.
- ASME2SSME_ComponentInterface_CallSubprograms(ProcessModelImpl, BehavioredImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates call subprogram sp as outputs of vprocess's interface (is sp is not a subcomponent of itself).
- ASME2SSME_ComponentInterface_DataAccess(ProcessModelImpl, ComponentType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates requires data access feature as outputs of vprocess's interface:
FIFO_TIME xx;
- ASME2SSME_ComponentInterface_Sub_Subprograms(ProcessModelImpl, BehavioredImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
For the sub subprograms of a thread (t):
For each sub subprogram x: subprogram sp,
add into the interface: ?
- ASME2SSME_ComponentInterface_SubprogramAccesses(ProcessModelImpl, ComponentType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates requires subprogram access feature as outputs of vprocess's interface:
event xx;
- ASME2SSME_ComponentType_FlowSpecs(ComponentType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates flow specifications.
- ASME2SSME_ComponentType_Modes(ComponentType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Translates modes and mode transitions.
- ASME2SSME_Create_SharedSubprogram(String, String, ProcessModelImpl, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
Translates a shared subprogram as a shared Signal process.
- ASME2SSME_CreateSharedData(DataSubcomponent, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Translates a shared data:
a data subcomponent is considered as shared data.
- ASME2SSME_Data_Features(DataType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Translates data features
- ASME2SSME_Data_Properties(DataType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Translates data properties
- ASME2SSME_DataAccess(DataAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a data access
- ASME2SSME_DataAccess_local(ProcessModelImpl, ComponentType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Creates two local signals for each requires data access xx in vprocess (a thread):
shared integer xx_w, xx_r;
- ASME2SSME_DataAccessConnection(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Connection
-
Translate data access connection
- ASME2SSME_DataImpl(DataImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Returns a Signal type declaration that represents an AADL data implementation
(this data implementation is not a subcomponent of any other component.
- ASME2SSME_DataImpl_Connections(DataImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Translates connections in a data implementation
- ASME2SSME_DataImpl_Init(DataImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Returns a constant Signal that represents an initial value of AADL data implementation xx
constant xx xx_INIT = external;
:: = "constant"
::=
::= "="
::=
- ASME2SSME_DataImpl_Properties(DataImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Transaltes properties of a data implementation
- ASME2SSME_DataImpl_SubData(DataImplementation, TypesDeclarationImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Translates data subcomponents of a data implementation
- ASME2SSME_DataPort(DataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Returns a Signal signal declaration that represents an AADL data port (data port of a process or system component, but not a thread)
The signal name is the same as the data port name,
and its type name is same with the data type
- ASME2SSME_DataPortConnection(ComponentImplementation, ProcessModelImpl, PortConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a Signal signal definition (an equation) that represents a (data) port connection.
- ASME2SSME_DataPortConnection_S_SubDevice(ComponentImplementation, Context, Context, DataPort, DataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a Signal signal definition (an equation) that represents a (data) port connection,
the source of which is a device subcomponent
- ASME2SSME_DataPortConnection_S_SubSystem(ComponentImplementation, Context, Context, DataPort, DataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a Signal signal definition (an equation) that represents a (data) port connection,
the source of which is a system subcomponent
- ASME2SSME_DataPortConnection_S_System(ComponentImplementation, Context, Context, DataPort, DataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a Signal signal definition (an equation) that represents a (data) port connection,
the source of which is a system component
- ASME2SSME_DataType(DataType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Returns a Signal type declaration that represents an AADL data type.
- ASME2SSME_DataType_Init(DataType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Returns a constant Signal that represents an initial value of AADL data type xx
constant xx xx_INIT = external;
:: = "constant"
::=
::= "="
::=
- ASME2SSME_Deadline_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Deadline" property of a
thread implementation
Gets the Deadline unit (Thread_Get_Deadline_Unit()) and value
(Thread_Get_Deadline_Value()) as process call parameters
- ASME2SSME_Def_FrozenTimeEvent(String, String, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_TimeEvent
-
Makes a equation that defines the frozen_time_event of a port p by default value:
xp_xt_time1.p_Frozen_time_event := xp_xt_ctl1.Dispatch
- ASME2SSME_Def_OutputTimeEvent(String, String, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_TimeEvent
-
Makes a equation that defines the output_time_event of a port p by default value:
xp_xt_time1.zz_Output_time_event := xp_xt_ctl2.Complete
- ASME2SSME_Dequeue_Protocol(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_Dequeue_Protocol_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Dequeue_Protocol"
property of a thread implementation
Gets the Dequeue_Protocol (Property_Get_Dequeue_Protocol()) as process
call parameters
- ASME2SSME_Dequeued_Items(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_Dequeued_Items_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Dequeued_Items" property
of a thread implementation
Gets the Dequeued_Items (Property_Get_Dequeued_Items()) as process call
parameters
- ASME2SSME_Device_behavior(DeviceImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Returns a Signal process "xx_Device_behavior" that represents the behavior of a device component
This process name is "xxx_behavior", where xxx is this device's corresponding Signal process name.
- ASME2SSME_Device_Dispatch_Protocol_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Device_Dispatch"
property of a device
Gets the Device_Dispatch value using
Property_Get_Device_Dispatch_Protocol() method, and passes it as a
process call parameter
- ASME2SSME_Device_Features(DeviceType, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Translates device features
- ASME2SSME_Device_FlowSpecs(ProcessModelImpl, DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Translates flow specifications of a device type
- ASME2SSME_Device_property(DeviceImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Returns a Signal process xx_device_property that represents the properties of a device component.
- ASME2SSME_Device_property_call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a property of a device
(type or implementation)
if "Period" property, use ASME2SSME_Period_Property(), if
"Device_Dispatch_Protocol" property, use
ASME2SSME_Device_Dispatch_Protocol_property(), else use
ASME2SSME_Property_Call() for other properties
- ASME2SSME_DeviceImpl(DeviceImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Returns a Signal process that represents a device implementation.
- ASME2SSME_DeviceImpl_Flows(ProcessModelImpl, DeviceImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Translates flows of a device implementation
- ASME2SSME_DeviceImpl_Modes(DeviceImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Translate modes of a device implementation component
- ASME2SSME_DeviceType(DeviceType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Returns a Signal process that represents a device type component
Gets the in/out port of this device type, and translates them as the input/output of the interface (use ASME2SSME_ComponentInterface())
- ASME2SSME_Dispatch_Constraint(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AperiodicThread
-
Aperiodic thread dispatch constraint: Not yet implemented.
- ASME2SSME_Dispatch_Constraint(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_BackgroundThread
-
Not Yet Implemented.
- ASME2SSME_Dispatch_Constraint(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_HybridThread
-
- ASME2SSME_Dispatch_Constraint(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PeriodicThread
-
- ASME2SSME_Dispatch_Constraint(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_SporadicThread
-
- ASME2SSME_Dispatch_Constraint(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_TimedThread
-
- ASME2SSME_Dispatch_Protocol_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Dispatch_Protocol"
property of a thread implementation
Gets the Dispatch_Protocol value using Thread_Get_Dispatch_Protocol()
method
- ASME2SSME_EndToEndFlow(ProcessModelImpl, EndToEndFlow) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Flow
-
Translates end to end flow
Only the property part is translated: each property is translated as a property process call.
- ASME2SSME_EventDataPort(EventDataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Returns a Signal signal declaration that represents an AADL event data port
The signal name is the same as the event data port name,
and its type name is same with the Signal name of its data type
- ASME2SSME_EventDataPortConnection(ComponentImplementation, ProcessModelImpl, PortConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a Signal signal definition (an equation) that represents a (event data) port connection.
- ASME2SSME_EventDataPortConnection_S_Process(ComponentImplementation, Context, Context, EventDataPort, EventDataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a Signal signal definition (an equation) that represents a (event data) port connection,
the source of which is a process component
- ASME2SSME_EventPort(EventPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Returns a signal declaration that represents an AADL event port
The signal name is the same as the event port name,
and its type name is "event"
- ASME2SSME_EventPortConnection(ComponentImplementation, ProcessModelImpl, PortConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a Signal signal definition (an equation) that represents a (event) port connection.
- ASME2SSME_Fan_Out_Policy_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Fan_Out_Policy" property
of a port
Gets the Fan_Out_Policy value using Property_Get_Fan_Out_Policy() method,
and passes it as a process call parameter
- ASME2SSME_FeatureConnection() - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Connection
-
Translate feature connection
- ASME2SSME_FeatureGroup_bw(FeatureGroup) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroup
-
Translates feature group.
- ASME2SSME_FeatureGroup_wb(FeatureGroup) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroup
-
Translates feature group.
- ASME2SSME_FeatureGroupConnection() - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Connection
-
Translate feature group connection
- ASME2SSME_FeatureGroupConnection1(FeatureGroupConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroupConnection
-
Returns a Signal signal definition (an equation) that represents a feature group connection.
- ASME2SSME_FeatureGroupConnection2(FeatureGroupConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroupConnection
-
Returns a Signal signal definition (an equation) that represents a feature group connection.
- ASME2SSME_FeatureGroupType_BW(FeatureGroupType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroup
-
Translates feature group (only the port features are considered).
- ASME2SSME_FeatureGroupType_WB(FeatureGroupType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroup
-
Translates port group.
- ASME2SSME_FixProperties(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AperiodicThread
-
It generates the fix properties of periodic thread (Dispatch protocol)
- ASME2SSME_FixProperties(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_BackgroundThread
-
Translates fix number properties of a background thread (Dispatch protocol)
- ASME2SSME_FixProperties(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_HybridThread
-
It generates the fix properties of periodic thread (Dispatch protocol, period)
- ASME2SSME_FixProperties(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PeriodicThread
-
It generates the fix properties of periodic thread (Dispatch protocol, period)
- ASME2SSME_FixProperties(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_SporadicThread
-
Translates fix number properties of a sporadic thread (Dispatch protocol, period)
- ASME2SSME_FixProperties(ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_TimedThread
-
It generates the fix properties of periodic thread (Dispatch protocol, period)
- ASME2SSME_FlowLatency_Property_Call(String, PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call of flow's Latency property.
- ASME2SSME_FlowPathImpl(ProcessModelImpl, FlowImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Flow
-
Translates flow path implementation
- ASME2SSME_FlowSinkImpl(ProcessModelImpl, FlowImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Flow
-
Translates flow sink implementation
- ASME2SSME_FlowSourceImpl(ProcessModelImpl, FlowImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Flow
-
Translates flow source implementation
Only the property part is translated: each property is translated as a property process call.
- ASME2SSME_FlowSpec(ProcessModelImpl, FlowSpecification) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Flow
-
Translates flow specification.
- ASME2SSME_Input_Time_Reference_Time_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a
"Input_Time_Reference_Time" property of a thread implementation
Gets the Input_Time_Reference_Time
(Property_Get_Input_Time_Reference_Time()) as process call parameters
- ASME2SSME_InputTime(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call of a port's Input_Time property.
- ASME2SSME_Latency_Property_Call(ComponentImplementation, Connection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call of connection's Latency property.
- ASME2SSME_Memory_behavior(MemoryImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Memory
-
Returns a "xx_Memory_behavior" process
- ASME2SSME_Memory_property(MemoryImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Memory
-
Returns a Signal process "xx_property" that represents the properties of a memory implementation component
This Signal process is named as "xx_property", where "xx" is the name of the Signal process that represents this memory implementation.
- ASME2SSME_MemoryImpl(MemoryImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Memory
-
Translates AADL memory implementation
- ASME2SSME_MemoryType(MemoryType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Memory
-
Translates AADL memory type as a Signal process
- ASME2SSME_MemoryType_property(MemoryType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Memory
-
Returns a Signal process "xx_property" that represents the properties of a memory type component
This Signal process is named as "xx_property", where "xx" is the name of the Signal process that represents this memory type.
- ASME2SSME_mkSimDeadline(ProcessorSubcomponent, ArrayList<ProcessSubcomponent>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Deadline
-
Make a Signal process that simulates the generation of Deadline signals
- ASME2SSME_mkSimDispatch_Aperiodic(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal process that simulates the generation of Dispatch signals of aperiodic threads
- ASME2SSME_mkSimDispatch_Aperiodic_definition(ProcessSubcomponent, ThreadSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
- ASME2SSME_mkSimDispatch_Background(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal process that simulates the generation of Dispatch signals of Background threads
- ASME2SSME_mkSimDispatch_Background_definition(ProcessSubcomponent, ThreadSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
- ASME2SSME_mkSimDispatch_Hybrid(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal process that simulates the generation of Dispatch signals of Hybrid threads
- ASME2SSME_mkSimDispatch_Hybrid_definition(ProcessSubcomponent, ThreadSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
- ASME2SSME_mkSimDispatch_Periodic(Integer) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal process that simulates the generation of Dispatch signals.
- ASME2SSME_mkSimDispatch_Sporadic(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal process that simulates the generation of Dispatch signals of sporadic threads
- ASME2SSME_mkSimDispatch_Sporadic_definition(ProcessSubcomponent, ThreadSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
- ASME2SSME_mkSimDispatch_Timed(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal process that simulates the generation of Dispatch signals of Timed threads
- ASME2SSME_mkSimDispatch_Timed_definition(ProcessSubcomponent, ThreadSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
- ASME2SSME_mkSimInitialize(ProcessorSubcomponent, ArrayList<ProcessSubcomponent>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Initialize
-
Make a Signal process that simulates the generation of Initialize signals
- ASME2SSME_mkSimResume(ProcessorSubcomponent, ArrayList<ProcessSubcomponent>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Resume
-
Make a Signal process that simulates the generation of Resume signals
- ASME2SSME_mkSimTimeEvent(ProcessorSubcomponent, ArrayList<ProcessSubcomponent>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_TimeEvent
-
Make a Signal process that simulates the generation of time_event signals
- ASME2SSME_mkSimTimeEvent_Body(ProcessorSubcomponent, ArrayList<ProcessSubcomponent>, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_TimeEvent
-
Make a Signal process that simulates the body of Sim_time_event process
- ASME2SSME_mkSimTimeEvent_Interface(ProcessorSubcomponent, ArrayList<ProcessSubcomponent>, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_TimeEvent
-
Make a Signal process that simulates the interface of Sim_time_event process
- ASME2SSME_Mode(Mode) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Mode
-
Translates AADL mode
- ASME2SSME_ModeTransition(ModeTransition) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Mode
-
Translates AADL mode transition
- ASME2SSME_Output_Time_Reference_Time_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a
"Output_Time_Reference_Time" property of a thread implementation
Gets the Output_Time_Reference_Time
(Property_Get_Output_Time_Reference_Time()) as process call parameters
- ASME2SSME_OutputTime(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call of an output port's Output_Time property.
- ASME2SSME_Overflow_Handling_Protocol(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Return a Signal process call of a port´s Overflow_Handling_Protocol
property
- ASME2SSME_Overflow_Handling_Protocol_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_Parameter(Parameter) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Returns a Signal signal declaration that represents an AADL paramter (feature)
The signal name is the same as the paramter,
and its type name is same with the data type
- ASME2SSME_ParameterConnection(ComponentImplementation, ProcessModelImpl, ParameterConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ParameterConnection
-
Returns a Signal signal definition (an equation) that represents a parameter connection.
- ASME2SSME_ParameterConnection_Definition(ComponentImplementation, ParameterConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ParameterConnection
-
Returns a Signal process that represents a data port connection between two processes that bound to different processors.
- ASME2SSME_ParameterConnection_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ParameterConnection
-
Returns a Signal process xx_Parameter_Connection_property that represents the properties of a parameter connection.
- ASME2SSME_ParameterConnections_CalledSubprogram_to_Thread(ProcessModelImpl, ThreadImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ParameterConnection
-
for each parameter connnection (from a called subprogram to thread (case 1 or case2, sp is not t's subcomponent)):
c1: parameter sp1.a -> a;
creates an equation: a := L_y.a when sp1,
and adds it to the body of thread behavior (vprocess),
where L is short for sp name, and sp1 is called name.
- ASME2SSME_ParameterConnections_Thread_to_CalledSubprogram(ProcessModelImpl, ThreadImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ParameterConnection
-
for each parameter connnection (from thread to a called/required subprogram (case 1 or case2)):
c1: parameter a -> sp1.a;
creates an equation: L_x.a ::= a when sp1,
and adds it to the body of thread behavior (vprocess),
where L is short for sp name, and sp1 is called name
- ASME2SSME_Period_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a Period property of a
thread implementation
Gets the period unit (Thread_Get_Period_Unit()) and value
(Thread_Get_Period_Value()) as parameters of this process call.
- ASME2SSME_Port(Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
A port is represented as a signal
- ASME2SSME_Port_Common_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
-
Translates a property which is common for the port
- ASME2SSME_Port_properties(ThreadImplementation, Port, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
-
Translate the properties of a thread port
- ASME2SSME_PortConnection(ComponentImplementation, ProcessModelImpl, PortConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Returns a signal definition (an equation) that represents a port connection
Depending on the port type of this connection, call the method:
ASME2SSME_DataPortConnection(), ...
- ASME2SSME_PortGroup_bw(FeatureGroup) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortGroup
-
Translates port group (feature group in OSATE2).
- ASME2SSME_PortGroup_wb(FeatureGroup) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortGroup
-
Translates port group (feature group in OSATE2).
- ASME2SSME_Priority_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Priority" property of a
thread implementation
Gets the Priority (Property_Get_Priority()) as process call parameters
- ASME2SSME_Process_Interface_Contain_Signal(ProcessModelImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Returns a boolean value that indicates whether a signal (named sig_name) exists in the I/O interface of a process (vprocess)
- ASME2SSME_ProcessImpl(ProcessImplementation, SignalElementImpl, ModuleImpl, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Process
-
Returns a Signal process that represents an AADL process implementaton component
The interface is an identifier whose name is "TT_xx" (xx is the name of this Signal process).
- ASME2SSME_ProcessImpl_Thread(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Process
-
A thread t is represented as a Singla process depending on its type
- ASME2SSME_Processor_Behavior(ProcessModelImpl, ProcessorSubcomponent, SystemImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Returns a Signal process "xx_processor_behavior" that represents the behavior of a processor subcomponenet
This Signal process is named as xx_processor_behavior, where xx is this processor subcomponent's name.
- ASME2SSME_Processor_Behavior_Instance(ProcessModelImpl, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Adds an instance of a processor behavior Signal process (behavior_process) into a processor process (vprocess).
- ASME2SSME_Processor_Behavior_Interface(ProcessModelImpl, ProcessorSubcomponent, SystemImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Adds inputs/outputs to the interface of a Signal process that represents a processor behavior
Gets the processes that bound to this processor subcomponent (Processor_Get_Binding_Process()),
and gets the connections between these processes.
- ASME2SSME_Processor_InOut_Info(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a link between the input/output signals to the local signals.
- ASME2SSME_Processor_Interface(ProcessModelImpl, ProcessorSubcomponent, SystemImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Adds inputs/outputs to the interface of a processor.
- ASME2SSME_Processor_Interface_Refine(ProcessModelImpl, ProcessorSubcomponent, SystemImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Refines the processor interface, and removes some internal signals from the interface.
- ASME2SSME_Processor_ProcessType_instances(ProcessModelImpl, ProcessModelImpl, ProcessorSubcomponent, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Adds process calls of the process types (which represents AADL process components) to the body of a Signal process that represents a processor component.
- ASME2SSME_Processor_property(ProcessorSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Returns a Signal process "xx_property" that represents the properties of a processor component.
- ASME2SSME_Processor_Scheduling(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Scheduling
-
Scheduling the threads of a processor
- ASME2SSME_Processor_SimDeadline(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Deadline Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_Deadline
(xp_xt_ctl1.Deadline, ... ) := Sim_Deadline(top, xp_xt_ctl1.Dispatch, ...)
- ASME2SSME_Processor_SimDispatch(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Simulate dispatch: make process calls to simulate dispatch signals,
and add it to the body of processor behavior
- ASME2SSME_Processor_SimDispatch_Aperiodic(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Dispatch_Aeriodic Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Aeriodic{}(top, ...)
- ASME2SSME_Processor_SimDispatch_Background(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Dispatch_Background Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Background{}(top, ...)
- ASME2SSME_Processor_SimDispatch_Hybrid(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Dispatch_Hybrid Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Hybrid{}(top, ...)
- ASME2SSME_Processor_SimDispatch_Periodic(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_PeriodicDispatch Signal process, and adds it to the declaration part of processor behavior process,
and make an instance
(xp_xt_ctl1.Dispatch, ... ) := SimDispatch_Periodic{p1, ... }(top)
where: p1, ... are the period values coming from the original thread periods (value, unit),
xp is a sub process name, xt is a sub thread name of xp
- ASME2SSME_Processor_SimDispatch_Sporadic(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Dispatch_Sporadic Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Sporadic{}(top, ...)
- ASME2SSME_Processor_SimDispatch_Timed(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Dispatch_Timed Signal process, and adds it to the declaration part of processor behavior process,
and make an instance: (xp_xt_ctl1.Dispatch, ... ) := Sim_Dispatch_Timed{}(top, ...)
- ASME2SSME_Processor_SimInitialize(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Initialize Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_Deadline
(xp_xt_ctl1.Initialize, ... ) := Sim_Initialize(top, xp_xt_ctl1.Dispatch, ...)
- ASME2SSME_Processor_SimResume(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_Resume Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_Resume
(xp_xt_ctl1.Resume, ... ) := Sim_Resume(top, xp_xt_ctl1.Dispatch, ...)
- ASME2SSME_Processor_SimTimeEvent(ProcessorSubcomponent, ProcessModelImpl, SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Makes a Sim_TimeEvent Signal process, and adds it to the declaration part of processor behavior process,
and make an instance of Sim_TimeEvent: Sim_TimeEvent{},
suppose that the formal parameters and the effective parameters have the same name (to simplifier the code)
- ASME2SSME_ProcessorImpl(ProcessorImplementation, ProcessorSubcomponent, SystemImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Returns a Signal process that represents a processor implementation component.
- ASME2SSME_ProcessorImpl_Flows(ProcessModelImpl, ProcessorImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Translates flows of a processor implementation
- ASME2SSME_ProcessorImpl_Modes(ProcessorImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Translate modes of a processor implementation component
- ASME2SSME_ProcessorImpl_SubBuses(ProcessorImplementation, ProcessModelImpl, ArrayList<BusSubcomponent>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Translates the sub buses of a processor implementation.
- ASME2SSME_ProcessorImpl_SubMemorys(ProcessorImplementation, ProcessModelImpl, ArrayList<MemorySubcomponent>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Translates the sub memorys of a processor implementation.
- ASME2SSME_ProcessorImpl_Subs(ProcessorImplementation, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Translates subcomponents of a processor implementation
- ASME2SSME_ProcessorType(ProcessorType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Translates AADL processor type
- ASME2SSME_ProcessType(ProcessType, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Process
-
Returns a Signal process type declaration
This declaration is in the form of "type process TT_xx_process = (?
- ASME2SSME_ProcessType_Instance(FormalProcessImpl, ProcessModelImpl, ProcessSubcomponent, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Process
-
Adds an instance of Signal process that represents an AADL process
into the body of a Signal process that represents a processor.
- ASME2SSME_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a property of a device
(type or implementation)
- ASME2SSME_Property_Call_withName(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a property
This process call is named as xx_property, where xx is the name of this
property.
- ASME2SSME_PropertySet(PropertySet) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Translates AADL property set
- ASME2SSME_PropertySet(PropertySet, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PropertySet
-
Translates AADL property set
- ASME2SSME_Queue_Processing_Protocol(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_Queue_Processing_Protocol_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a
"Queue_Processing_Protocol" property of a thread implementation
Gets the Queue_Processing_Protocol
(Property_Get_Queue_Processing_Protocol()) as process call parameters
- ASME2SSME_Queue_Size(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- ASME2SSME_Queue_Size_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Queue_Size" property of
a thread implementation
Gets the Queue_Size (Property_Get_Queue_Size()) as process call
parameters
- ASME2SSME_Read_Time_Property(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Read_Time" property.
- ASME2SSME_RequiresDataAccess_Bundle(DataAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a requires data access feature x as an output bundle: bundle x;
- ASME2SSME_RequiresDataAccess_ReadTime(DataAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a requires data access feature x as an output event: event x_ReadTime;
- ASME2SSME_RequiresDataAccess_reset(DataAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a requires data access feature x as an output event: event x_reset;
- ASME2SSME_RequiresDataAccess_WriteTime(DataAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a requires data access feature x as an output event: event x_WriteTime;
- ASME2SSME_RequiresSubprogramAccess_call(SubprogramAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a requires subprogram access feature x as an output event: event x;
- ASME2SSME_Scheduling - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Scheduling() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Scheduling
-
- ASME2SSME_SharedData_Cnt_Sync(DataSubcomponent, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
For a shared data:
give the clock of cnt:
xx_cnt ^= xx_w ^+ xx_r ^+ xx_reset
- ASME2SSME_SharedData_Read_Sync(DataSubcomponent, ProcessModelImpl, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
For a shared data xx:
give the clock of xx_r:
xx_r ^= l_1.TRead ^+ l_2.TRead ^+ ...
- ASME2SSME_SharedData_Reset_Sync(DataSubcomponent, ProcessModelImpl, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
For a shared data xx:
give the reset clock of xx_reset:
xx_reset ^= l.TReset ^+ l.TReset ^+ ...
- ASME2SSME_SharedData_Write_Sync(DataSubcomponent, ProcessModelImpl, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
For a shared data xx:
give the write clock of xx_w:
xx_w ^= l.TWrite ^+ l.TWrite ^+ ...
- ASME2SSME_SharedSubprogram_Call_Sync_x(String, ProcessModelImpl, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
For a shared subprogram xx, give the clock of in puts: l_x ^= t1 ^+ t2 ^+
... where "l" is a local short name for the subprogram xx, l_x is a local
signal that represents in struct x, each ti is a local signal that
represents a thread's call subprogram or requires subprogram access
- ASME2SSME_SharedSubprogram_Sync_y(String, ProcessModelImpl, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
For a shared subprogram xx, give the clock of out puts: l_y ^= l_id ^=
l_x where "l" is a local short name for the subprogram xx,
- ASME2SSME_Simulate_Common - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Simulate_Common() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Common
-
Class constructor
- ASME2SSME_Simulate_Deadline - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Simulate_Deadline() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Deadline
-
Class constructor
- ASME2SSME_Simulate_Dispatch - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Simulate_Dispatch() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Dispatch
-
Class constructor
- ASME2SSME_Simulate_Initialize - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Simulate_Initialize() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Initialize
-
Class constructor
- ASME2SSME_Simulate_Resume - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Simulate_Resume() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_Resume
-
Class constructor
- ASME2SSME_Simulate_TimeEvent - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Simulate_TimeEvent() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Simulate_TimeEvent
-
Class constructor
- ASME2SSME_Source_Name(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Return a Signal process call of Source_Name property
- ASME2SSME_SubprogramCall1(SubprogramCall, BehavioredImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Translates a subprogram call x as an event: event x,
if the called subprogram sp is not a subcomponent of the thread t
- ASME2SSME_SubprogramImpl(SubprogramImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
Returns a Signal process that represents a device implementation
component.
- ASME2SSME_SubprogramType(SubprogramType, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
Returns a Signal process that represents a subprogram type component
An in event "call" is added to give the clock when the subprogram is
called.
- ASME2SSME_SubThread_SubSubprogram_Call_Sync_x(String, ProcessModelImpl, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
For a subprogram (type or implementatin) named xx (xx is a sub subprogram
of a sub thread t in process pimpl): give the clock of in puts: l_x ^= t1
^+ t2 ^+ ... where "l_x" is a local shared signal that represents sp_x
each ti is a local signal that represents a thread's call subprogram or
requires subprogram access
- ASME2SSME_SubThread_SubSubprogram_Sync_y(String, ProcessModelImpl, ProcessImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
For a subprogram (type or implementatin) named xx (xx is a sub subprogram
of a sub thread t in process pimpl): give the clock of out puts: l_y ^=
l_id ^= l_x where "l" is a local short name for the subprogram xx,
- ASME2SSME_SystemImpl(SystemImplementation, ModuleImpl, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_System
-
translates a system implementation (s) to a Signal process.
- ASME2SSME_thread_behavior(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AperiodicThread
-
- ASME2SSME_thread_behavior(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_BackgroundThread
-
- ASME2SSME_thread_behavior(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_HybridThread
-
- ASME2SSME_thread_behavior(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PeriodicThread
-
- ASME2SSME_thread_behavior(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_SporadicThread
-
- ASME2SSME_thread_behavior(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Thread
-
Returns a Signal process "xx_behavior", which is a subprocess of thread
The interface is created by a called method ASME2SSME_ComponentInterface().
- ASME2SSME_thread_behavior(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_TimedThread
-
- ASME2SSME_Thread_DataPort_FixProperties(ThreadImplementation, DataPort, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_DataPort
-
Translates some properties which are fixed for data port
- ASME2SSME_Thread_EventPort_FixProperties(ThreadImplementation, EventPort, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventPort
-
Translates some properties which are fixed for event port
- ASME2SSME_Thread_InDataPort(ThreadImplementation, DataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_DataPort
-
Returns a Signal process that represents an AADL in data port of a thread
This Signal process is xx_InDataPort, where xx is the name of the data port.
- ASME2SSME_Thread_InDataPort_behavior(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_DataPort
-
Returns a Signal process "xx_InDataPort_behavior", which is a subprocess of thread in data port
This Signal process is named as xx_InDataPort_behavior, where xx is the data port name.
- ASME2SSME_Thread_InEventDataPort(ThreadImplementation, EventDataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventDataPort
-
Returns a Signal process that represents an AADL in data port of a thread
This Signal process is xx_InDataPort, where xx is the name of the data port.
- ASME2SSME_Thread_InEventDataPort_behavior(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventDataPort
-
Returns a Signal process "xx_InEventDataPort_behavior", which is a subprocess of thread in event data port
This Signal process is named as xx_InEventDataPort_behavior, where xx is the event data port name.
- ASME2SSME_Thread_InEventPort(ThreadImplementation, EventPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventPort
-
Returns a Signal process that represents an AADL in event port of a thread
This Signal process is xx_InEventPort, where xx is the name of the event port.
- ASME2SSME_Thread_InEventPort_behavior(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventPort
-
Returns a Signal process "xx_InEventPort_behavior", which is a subprocess of thread in event port
This Signal process is named as xx_InEventPort_behavior, where xx is the event port name.
- ASME2SSME_Thread_OutDataPort(ThreadImplementation, DataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_DataPort
-
Returns a Signal process xx_OutDataPort() that represents an out data port of a thread
This process is named as "xx_OutDataPort", where xx is the name of this data port.
- ASME2SSME_Thread_OutDataPort_behavior(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_DataPort
-
Returns a Signal process xx_OutDataPort_behavior() that represents the behavior of an out data port of a thread
This process is named as "xx_OutDataPort_behavior", where xx is the name of this data port.
- ASME2SSME_Thread_OutEventDataPort(ThreadImplementation, EventDataPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventDataPort
-
Translates out event data port of a thread
- ASME2SSME_Thread_OutEventDataPort_behavior(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventDataPort
-
Returns a Signal process "xx_OutEventDataPort_behavior", which is a subprocess of thread out event data port
This Signal process is named as xx_OutEventDataPort_behavior, where xx is the event data port name.
- ASME2SSME_Thread_OutEventPort(ThreadImplementation, EventPort) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventPort
-
Translates out event port of a thread
- ASME2SSME_Thread_OutEventPort_behavior(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventPort
-
Returns a Signal process "xx_OutEventPort_behavior", which is a subprocess of thread out event port
This Signal process is named as xx_OutEventPort_behavior, where xx is the event port name.
- ASME2SSME_Thread_Port_property(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
-
Returns a Signal process "xx_yyPort_property()" that represents the properties of a thread port.
- ASME2SSME_thread_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AperiodicThread
-
- ASME2SSME_thread_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_BackgroundThread
-
- ASME2SSME_thread_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_HybridThread
-
- ASME2SSME_thread_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PeriodicThread
-
- ASME2SSME_thread_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_SporadicThread
-
- ASME2SSME_thread_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Thread
-
Returns a Signal process "xx_thread_property" that represents the properties of a thread
process xx_Thread_property =(?
- ASME2SSME_thread_property(ThreadImplementation, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_TimedThread
-
- ASME2SSME_ThreadGroupImpl(ThreadGroupImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ThreadGroup
-
Translates thread group implementation
- ASME2SSME_ThreadGroupType(ThreadGroupType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ThreadGroup
-
Translates thread troup type
- ASME2SSME_ThreadImpl(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AperiodicThread
-
- ASME2SSME_ThreadImpl(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_BackgroundThread
-
- ASME2SSME_ThreadImpl(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_HybridThread
-
- ASME2SSME_ThreadImpl(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PeriodicThread
-
- ASME2SSME_ThreadImpl(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_SporadicThread
-
- ASME2SSME_ThreadImpl(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Thread
-
Returns a Signal process that represents an AADL thread implementation component
The interface is generated by a method ASME2SSME_ComponentInterface(), where its type component is passed as a parameter.
- ASME2SSME_ThreadImpl(ThreadImplementation, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_TimedThread
-
- ASME2SSME_Time_Offset_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call of a port's Input_Time property.
- ASME2SSME_Time_Unit_ConstantEnum(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a constant enumeration value whose type is Time_Units
- ASME2SSME_Timing(ThreadImplementation, Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Return a Signal process call of a port´s Timing property
- ASME2SSME_Timing_Property_Call(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Returns a Signal process call that represents a "Timing" property of a
port
Gets the Timing value using Property_Get_Timing() method, and passes it
as a process call parameter
- ASME2SSME_Translate_AnnexLibrary - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_AnnexLibrary() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AnnexLibrary
-
Class constructor
- ASME2SSME_Translate_AperiodicThread - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_AperiodicThread() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_AperiodicThread
-
Class constructor
- ASME2SSME_Translate_BackgroundThread - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_BackgroundThread() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_BackgroundThread
-
Class constructor
- ASME2SSME_Translate_Bus - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Bus() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Bus
-
Class constructor
- ASME2SSME_Translate_Common - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Common() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Common
-
Class constructor
- ASME2SSME_Translate_Connection - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Connection() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Connection
-
Class constructor
- ASME2SSME_Translate_Data - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Data() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Data
-
Class constructor
- ASME2SSME_Translate_DataPort - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_DataPort() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_DataPort
-
Class constructor
- ASME2SSME_Translate_Device - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Device() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Device
-
Class constructor
- ASME2SSME_Translate_EventDataPort - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_EventDataPort() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventDataPort
-
Class constructor
- ASME2SSME_Translate_EventPort - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_EventPort() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_EventPort
-
Class constructor
- ASME2SSME_Translate_Feature - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Feature() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Feature
-
Class constructor
- ASME2SSME_Translate_FeatureGroup - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_FeatureGroup() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroup
-
Class constructor
- ASME2SSME_Translate_FeatureGroupConnection - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_FeatureGroupConnection() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_FeatureGroupConnection
-
Class constructor
- ASME2SSME_Translate_Flow - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Flow() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Flow
-
Class constructor
- ASME2SSME_Translate_HybridThread - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_HybridThread() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_HybridThread
-
Class constructor
- ASME2SSME_Translate_Memory - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Memory() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Memory
-
Class constructor
- ASME2SSME_Translate_Mode - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Mode() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Mode
-
Class constructor
- ASME2SSME_Translate_Name - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Name() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Name
-
Class constructor
- ASME2SSME_Translate_Package - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Package() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Package
-
Class constructor
- ASME2SSME_Translate_ParameterConnection - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_ParameterConnection() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ParameterConnection
-
Class constructor
- ASME2SSME_Translate_PeriodicThread - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_PeriodicThread() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PeriodicThread
-
Class constructor
- ASME2SSME_Translate_Port - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Port() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
-
Class constructor
- ASME2SSME_Translate_PortConnection - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_PortConnection() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortConnection
-
Class constructor
- ASME2SSME_Translate_PortGroup - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_PortGroup() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortGroup
-
Class constructor
- ASME2SSME_Translate_PortGroupConnection - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_PortGroupConnection() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PortGroupConnection
-
Class constructor
- ASME2SSME_Translate_Process - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Process() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Process
-
Class constructor
- ASME2SSME_Translate_Processor - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Processor() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Processor
-
Class constructor
- ASME2SSME_Translate_Property - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Property() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
Class constructor
- ASME2SSME_Translate_PropertySet - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_PropertySet() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_PropertySet
-
Class constructor
- ASME2SSME_Translate_Spec - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Spec() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Spec
-
- ASME2SSME_Translate_SporadicThread - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_SporadicThread() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_SporadicThread
-
Class constructor
- ASME2SSME_Translate_Subprogram - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Subprogram() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Subprogram
-
- ASME2SSME_Translate_System - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_System() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_System
-
Class constructor
- ASME2SSME_Translate_Thread - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_Thread() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Thread
-
Class constructor
- ASME2SSME_Translate_ThreadGroup - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_ThreadGroup() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_ThreadGroup
-
Class constructor
- ASME2SSME_Translate_TimedThread - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
-
- ASME2SSME_Translate_TimedThread() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_TimedThread
-
Class constructor
- ASME2SSME_Version - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME
-
- ASSERT_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ASSERT_PROCESS__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ASSERT_PROCESS__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ASSERT_PROCESS__PROCESS_EXPRESSION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Process Expression' containment reference
- ASSERT_PROCESS_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Assert Process' class
- ASSERT_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ASSERT_SIGNAL__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ASSERT_SIGNAL__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ASSERT_SIGNAL__EXPR_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal' containment reference
- ASSERT_SIGNAL_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Assert Signal' class
- ASSERTION_CLOCK_CONSTRAINTS_SOURCE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- ASSERTION_CLOCK_CONSTRAINTS_TARGET - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- ASSERTION_INCORRECT_TXT_EXPR_ATTR - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- ASSERTION_NO_BOOLEAN_EXPRESSION - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- ASSERTION_NO_INPUT - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- ASSERTION_TOO_MANY_INPUTS - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- AssertProcess - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Assert Process'
- AssertProcessImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Assert Process'
- AssertProcessImpl() - Constructor for class fr.inria.tea.ssme.impl.AssertProcessImpl
-
- AssertProcessItemProvider - Class in fr.inria.tea.ssme.provider
-
- AssertProcessItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.AssertProcessItemProvider
-
This constructs an instance from a factory and a notifier
- AssertProcessTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Assert Process'
- AssertProcessTest(String) - Constructor for class fr.inria.tea.ssme.tests.AssertProcessTest
-
Constructs a new Assert Process test case with the given name
- AssertSignal - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Assert Signal'
- AssertSignalImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Assert Signal'
- AssertSignalImpl() - Constructor for class fr.inria.tea.ssme.impl.AssertSignalImpl
-
- AssertSignalItemProvider - Class in fr.inria.tea.ssme.provider
-
- AssertSignalItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.AssertSignalItemProvider
-
This constructs an instance from a factory and a notifier
- AssertSignalTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Assert Signal'
- AssertSignalTest(String) - Constructor for class fr.inria.tea.ssme.tests.AssertSignalTest
-
Constructs a new Assert Signal test case with the given name
- atomChar(int, char) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Builting char atomic tree
- atomInt(int, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Builting int atomic tree
- atomString(int, String) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Builting string atomic tree
- attrCarrier(long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Get the link from a tree-attribute to tree.
- attrExist(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Test if an attribute is assigned to a tree.
- attrInt(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Get the attribute value.
- attrNtrees(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Get the attribute value.
- attrNumber(long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Get the number of attributes.
- attrPtr(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Get the attribute value.
- attrStr(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Get the attribute value.
- AUTOMATON - Static variable in enum fr.inria.tea.ssme.ModelKind
-
The 'Automaton' literal value
- AUTOMATON_INIT_STATE_NOT_SET - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- AUTOMATON_NO_SUB_STATE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- AUTOMATON_REINIT_CONDITION - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- AUTOMATON_STATES_NAMES - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-