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

A

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
The meta object id for the 'Array Elem' class
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
The meta object id for the 'Array Elements Enumeration' class
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
The meta object id for the 'Array Index' class
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
The meta object id for the 'Array Process' class
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
The meta object id for the 'Array Product' class
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
The meta object id for the 'Array Restructuration' class
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
The meta object id for the 'Array Type' class
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
This is the item provider adapter for a ArrayElementsEnumeration object
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
This is the item provider adapter for a ArrayProcess object
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
This is the item provider adapter for a ArrayProduct object
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
This is the item provider adapter for a ArrayRestructuration object
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
The meta object id for the 'Assert Process' class
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
The meta object id for the 'Assert Signal' class
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
This is the item provider adapter for a AssertProcess object
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
This is the item provider adapter for a AssertSignal object
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
 
A B C D E F G H I J L M N O P Q R S T U V W X _ 
Skip navigation links