Defines literals for the meta objects that represent
each class,
each feature of each class,
each enum,
and each data type
SsmeCompPackageImpl - Class in fr.inria.tea.ssme.compilation.impl
An implementation of the model Package
SsmeCompResourceFactoryImpl - Class in fr.inria.tea.ssme.compilation.util
The Resource Factory associated with the package
SsmeCompResourceFactoryImpl() - Constructor for class fr.inria.tea.ssme.compilation.util.SsmeCompResourceFactoryImpl
Creates an instance of the resource factory
SsmeCompResourceImpl - Class in fr.inria.tea.ssme.compilation.util
The Resource associated with the package
SsmeCompResourceImpl(URI) - Constructor for class fr.inria.tea.ssme.compilation.util.SsmeCompResourceImpl
Creates an instance of the resource
SsmeCompSwitch<T> - Class in fr.inria.tea.ssme.compilation.util
The Switch for the model's inheritance hierarchy.
SsmeCompSwitch() - Constructor for class fr.inria.tea.ssme.compilation.util.SsmeCompSwitch
Creates an instance of the switch
SsmeEditor - Class in fr.inria.tea.ssme.presentation
This is an example of a Ssme model editor
SsmeEditor() - Constructor for class fr.inria.tea.ssme.presentation.SsmeEditor
This creates a model editor
SsmeEditor.ReverseAdapterFactoryContentProvider - Class in fr.inria.tea.ssme.presentation
SsmeEditorPlugin - Class in fr.inria.tea.ssme.presentation
This is the central singleton for the Ssme editor plugin
SsmeEditorPlugin() - Constructor for class fr.inria.tea.ssme.presentation.SsmeEditorPlugin
Create the instance
SsmeEditorPlugin.Implementation - Class in fr.inria.tea.ssme.presentation
The actual implementation of the Eclipse Plugin
SsmeEditPlugin - Class in fr.inria.tea.ssme.provider
This is the central singleton for the Ssme edit plugin
SsmeEditPlugin() - Constructor for class fr.inria.tea.ssme.provider.SsmeEditPlugin
Create the instance
SsmeEditPlugin.Implementation - Class in fr.inria.tea.ssme.provider
The actual implementation of the Eclipse Plugin
SsmeExample - Class in fr.inria.tea.ssme.tests
A sample utility for the 'ssme' package
SsmeExample() - Constructor for class fr.inria.tea.ssme.tests.SsmeExample
SsmeFactory - Interface in fr.inria.tea.ssme
The Factory for the model.
SsmeFactoryImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model Factory
SsmeFactoryImpl() - Constructor for class fr.inria.tea.ssme.impl.SsmeFactoryImpl
Creates an instance of the factory
SsmeItemProviderAdapterFactory - Class in fr.inria.tea.ssme.provider
This is the factory that is used to provide the interfaces needed to support Viewers.
SsmeItemProviderAdapterFactory() - Constructor for class fr.inria.tea.ssme.provider.SsmeItemProviderAdapterFactory
This constructs an instance
SsmeModelWizard - Class in fr.inria.tea.ssme.presentation
This is a simple wizard for creating a new model file
SsmeModelWizard() - Constructor for class fr.inria.tea.ssme.presentation.SsmeModelWizard
SsmeModelWizard.SsmeModelWizardInitialObjectCreationPage - Class in fr.inria.tea.ssme.presentation
This is the page where the type of object to create is selected
SsmeModelWizard.SsmeModelWizardNewFileCreationPage - Class in fr.inria.tea.ssme.presentation
This is the one page of the wizard
SsmeModelWizardInitialObjectCreationPage(String) - Constructor for class fr.inria.tea.ssme.presentation.SsmeModelWizard.SsmeModelWizardInitialObjectCreationPage
Pass in the selection
SsmeModelWizardNewFileCreationPage(String, IStructuredSelection) - Constructor for class fr.inria.tea.ssme.presentation.SsmeModelWizard.SsmeModelWizardNewFileCreationPage
Pass in the selection
SSMENode - Class in fr.inria.tea.ssme.polychrony.traceability
Class used in the Traceability API to represent a SSME Node, with the EMF node, a boolean indicating if there is an
error and the error message, if there is any.
SSMENode() - Constructor for class fr.inria.tea.ssme.polychrony.traceability.SSMENode
Constructor
SsmePackage - Interface in fr.inria.tea.ssme
The Package for the model.
SsmePackageImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model Package
SsmePreferenceConstants - Class in fr.inria.tea.ssme.polychrony.preferences
SsmePreferenceConstants() - Constructor for class fr.inria.tea.ssme.polychrony.preferences.SsmePreferenceConstants
SsmePreferencePage - Class in fr.inria.tea.ssme.polychrony.preferences
A preference page to configure all preferences of the SSME editor.
SsmePreferencePage() - Constructor for class fr.inria.tea.ssme.polychrony.preferences.SsmePreferencePage
SsmeSwitch<T> - Class in fr.inria.tea.ssme.util
The Switch for the model's inheritance hierarchy.
SsmeSwitch() - Constructor for class fr.inria.tea.ssme.util.SsmeSwitch
Creates an instance of the switch
SsmeTests - Class in fr.inria.tea.ssme.tests
A test suite for the 'ssme' package
SsmeTests(String) - Constructor for class fr.inria.tea.ssme.tests.SsmeTests
SSMEUtils - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
Some utility for saving files.
start(BundleContext) - Method in class fr.inria.tea.aadl2ssme.scheduling.Activator
start - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.IntervalAlloList
start(BundleContext) - Method in class fr.inria.tea.aadl2ssme.transformation.Activator
start(BundleContext) - Method in class fr.inria.tea.ssme.compilation.utils.CompilationUtilsPlugin
start(BundleContext) - Method in class fr.inria.tea.ssme.polychrony.PkPlugin
start(BundleContext) - Method in class fr.inria.tea.ssme.texteditor.TextPlugin
START_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Name
startEvent - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.EventAlloList
startMSTAIndex - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
startTransformation(IFile) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME
(non-Javadoc)
STATE_NOT_IMPLEMENTED - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
STATE_VARIABLE_VALUE - Static variable in interface fr.inria.tea.ssme.SsmePackage
STATE_VARIABLE_VALUE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
STATE_VARIABLE_VALUE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
STATE_VARIABLE_VALUE__IDENTIFIER - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Identifier' containment reference
STATE_VARIABLE_VALUE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'State Variable Value' class
STATE_VARIABLES_DECLARATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
STATE_VARIABLES_DECLARATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
STATE_VARIABLES_DECLARATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
STATE_VARIABLES_DECLARATION__LIST_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Signal' containment reference list
STATE_VARIABLES_DECLARATION__TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Type' containment reference
STATE_VARIABLES_DECLARATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'State Variables Declaration' class
StateVariablesDeclaration - Interface in fr.inria.tea.ssme
A representation of the model object 'State Variables Declaration'
StateVariablesDeclarationImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'State Variables Declaration'
StateVariablesDeclarationImpl() - Constructor for class fr.inria.tea.ssme.impl.StateVariablesDeclarationImpl
StateVariablesDeclarationItemProvider - Class in fr.inria.tea.ssme.provider
StateVariablesDeclarationItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.StateVariablesDeclarationItemProvider
This constructs an instance from a factory and a notifier
StateVariablesDeclarationTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'State Variables Declaration'
StateVariablesDeclarationTest(String) - Constructor for class fr.inria.tea.ssme.tests.StateVariablesDeclarationTest
Constructs a new State Variables Declaration test case with the given name
StateVariableValue - Interface in fr.inria.tea.ssme
A representation of the model object 'State Variable Value'
StateVariableValueImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'State Variable Value'
StateVariableValueImpl() - Constructor for class fr.inria.tea.ssme.impl.StateVariableValueImpl
StateVariableValueItemProvider - Class in fr.inria.tea.ssme.provider
StateVariableValueItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.StateVariableValueItemProvider
This constructs an instance from a factory and a notifier
StateVariableValueTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'State Variable Value'
StateVariableValueTest(String) - Constructor for class fr.inria.tea.ssme.tests.StateVariableValueTest
Constructs a new State Variable Value test case with the given name
stop(BundleContext) - Method in class fr.inria.tea.aadl2ssme.scheduling.Activator
stop(BundleContext) - Method in class fr.inria.tea.aadl2ssme.transformation.Activator
stop(BundleContext) - Method in class fr.inria.tea.ssme.compilation.utils.CompilationUtilsPlugin
stop(BundleContext) - Method in class fr.inria.tea.ssme.polychrony.PkPlugin
stop(BundleContext) - Method in class fr.inria.tea.ssme.texteditor.TextPlugin
STree_addaConstantToModule(ModuleImpl, ConstantsDeclarationImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Inserts a type declaration (adecl) to a module (m).
STree_addaDeclarationToProcess(ProcessModelImpl, Declaration) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Inserts a declaration (decl) to the local declarations of a model (p).
STree_addaTypeDeclarationToModule(ModuleImpl, TypesDeclarationImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Inserts a type declaration (adecl) to a module (m).
STree_addComment(SignalElementImpl, ArrayList<String>, boolean) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds comments (str_list) to a Signal element (sig_element) in prefix position if bpre, postfix position otherwise
STree_addComment(SignalElementImpl, String, boolean) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Add a comment (vcomment) to a Signal tree (vt), in prefix position if b, else in postfix position.
STree_addDeclarations(ProcessModelImpl, ArrayList<Declaration>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Inserts a list of declarations (l_decl) to the local declarations of a model (p).
STree_addDeclarationToaInterface(ProcessModelInterfaceImpl, TypesOrSignalsDeclaration, int) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a signal (vdecsig) to an interface (inter)
i= 1 for parameters, 2 for inputs, 3 for outputs
STree_addDeclarationToConfinedExpr(RestrictionProcess, ArrayList<Declaration>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a list of declarations(vdecl) to an assumed confined expression (p_conf).
STree_addDeclarationToInterface(ProcessModelImpl, TypesOrSignalsDeclaration, int) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Add a signal to a process (vprocess)'s interface
i= 1 for parameters, 2 for inputs, 3 for outputs
STree_addDeclarationToList(EList<Declaration>, Declaration) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a declaration (vdecl) to a list of declarations (ldecl).
STree_addDeclarationToProcess(ProcessModelImpl, Declaration) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
STree_addDeclarationToProcessType(ProcessTypeImpl, TypesOrSignalsDeclaration, int) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Add a declaration (vdecsig) to the interface of a ProcessType (process_type)
STree_addDefinition(ProcessModelImpl, SignalsDefinitionImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Add a signal definition to a process (vprocess)
STree_addEmptyInterface(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a an empty interface for a process (p_proc)
STree_addEndDeclarationToList(EList<Declaration>, Declaration) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a declaration (vdecl) to the end of the list of declarations (ldecl).
STree_addExpressionOfProcessToaModel(ProcessModelImpl, ExprProcess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds (tail) a process expression (vexprpro) to a process model (vtreeproc).
STree_addExprToComposition_Post(CompositionImpl, ExprProcess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds an element (vexpapp) at the tail of a composition list (vlfeed).
STree_addExprToComposition_Pre(CompositionImpl, ExprProcess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds an element (vexpapp) at the head of a composition list (vlfeed).
STree_addLabelsInModel(ArrayList<Identifier>, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Declares, in process p, the list of identifiers (lids) as labels.
STree_addLocalBlock(DescriptionImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds an empty "local declaration (where)" area in second child of the p_dec tree (Description).
STree_addLocalDeclaration(SignalElementImpl, ArrayList<Declaration>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds the declaration (vdecl) as local to a model or a module (aProcess) or a confined process.
STree_addModuleIDToAModulesImport(ModulesImportImpl, Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a module ID (mid) to the end of a ModulesImportImpl (usemodule): use ..., mid;
STree_addModuleToRootModule(ListModuleImpl, ModuleImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Add a module (amodule) to the root ListModule (lmodule)
STree_addNullProc(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a null proc to a process model (p).
STree_addPragma(ProcessModelImpl, PragmaImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a pragma (apragma) to a process (aProcess).
STree_addPreExpressionOfProcessToaModel(ProcessModelImpl, ExprProcess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds (head) a process expression (vexprpro) to a process model (vtreeproc).
STree_addProcessDeclaration(SignalElementImpl, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a process declaration (vtreeproapp) to a process or module (vtreeproc)
STree_addProcessDeclarationToModule(ModuleImpl, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a process declaration (vtreeproapp) to a module (vtreeproc)
STree_addProcessDeclarationToProcess(ProcessModelImpl, ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a process declaration (vtreeproapp) to a model (vtreeproc) as a local declaration
STree_addSpecification(ProcessModelImpl, ExprProcess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a specification object (vtreeSpecif) to a process model (process).
STree_addSynchro(EList<ExprSignal>, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds an expression (e) to a list of synchronizations (l).
STree_addTypeDeclarationToProcess(ProcessModelImpl, TypesDeclaration) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a type declaration (type_decl) to a process model (vtreeproc) as a local declaration
STree_addTypeToTypes(EList<TypeDefinition>, TypeDefinition) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a type declaration to a list of type definitions
STree_adduseModuleToAModule(ModuleImpl, Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a module ID (mid) to a ModuleImpl (amodule)
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
STree_adduseModuleToAProcess(ProcessModelImpl, Identifier, boolean) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds a use module ID (mid) to a ProcessModelImpl (aprocess) in position pre if bpre is true, else adds it to the last of the ModulesImport list
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
STree_deleteParameters(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Removes the parameters tree of a model (p_proc).
STree_GetProcessDeclarationFromProcess(ProcessModelImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Gets a process declaration whose name is aname, that is defined in the vprocess
STree_GetProcessTypeDeclaration(SignalElementImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
STree_GetProcessTypeDeclarationFromAModule(ModuleImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
STree_GetProcessTypeDeclarationFromAProcess(ProcessModelImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Gets a ProcessTypeImpl (process_type) whose name is aname, defined in the ProcessModel (vprocess).
STree_GetStringName(Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Gets the string name of an identifier (e)
STree_GetTypeDescriptionFromAModule(ModuleImpl, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
STree_IsProcessHasOutput(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns whether a process contains output signals
STree_IsProcessNull(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns whether a process body is null or not
STree_mkClock(ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting a ClockImpl (the clock of the expression): ^ exp
STree_mkClockEquality(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an ClockEqualityImpl: exp1 ^= exp2
STree_mkClockEqualitys(ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an ClockEqualityImpl: exp1 ^= exp2 ^= ...
STree_mkClockUnion(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an ClockUnionImpl: exp1 ^+ exp2
STree_mkCompleteModelCall(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a complete process call of a process model (process)
The names of the formal declaration (parameters, intputs, outputs) are taken as effective names for the call.
STree_mkCompleteProcessCall(IdentifierImpl, ArrayList<ExprParam>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a complete process call of an identifier (pname) with the effective parameters and inputs
STree_mkCompleteProcessCallEquation(IdentifierImpl, ArrayList<ExprParam>, ArrayList<ExprSignal>, ArrayList<ExprSignal>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an equation of a complete process call
A process instance of identifier (pname).
STree_mkConfinedExpression(ExprProcess, EList<Declaration>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abtract tree representing a Signal confined process
\bsg (| expr |) where end; \esg
STree_mkConstantDeclaration(EList<ConstantDefinition>, Type) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a constant declaration with p_typ as type and p_def a list of definitions of constants.
STree_mkDclType(Identifier, TypeDescriptionValue, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a type declaration with name as \, description as \ and vinit as \.
STree_mkDefault(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an default expression: exp1 default exp2.
STree_mkDependency(Signals, ArrayList<Signals>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
sigs --> list
STree_mkDoubleRealConstant(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makess a constant double real (cr) with (string) value of constantvalue
STree_mkEmptyBody() - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an empty body tree (empty list of pragma, empty body)
\bsg ::= .
STree_mkEmptyConfinedExpr() - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns an empty confined process.
STree_mkEnumConstant(String, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makess a constant enumeration (constant_enum): EnumType_name#constantvalue
STree_mkEqual(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an EqualImpl: exp1 = exp2
STree_mkFieldAccess(String, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a field access (field_access): expr_name.id_name
STree_mkFrom(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an FromImpl: exp1 from exp2
STree_mkIDInterface(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an interface, which is an identifier, whose name is id_name
STree_mkIntegerConstant(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makess a constant Integer (ci) with (string) value of constantvalue
STree_mkInterface(ArrayList<TypesOrSignalsDeclaration>, ArrayList<TypesOrSignalsDeclaration>, ArrayList<TypesOrSignalsDeclaration>, ExternalGraphImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an interface with the list of parameters (param), inputs (ins), outputs (outs) and external graph (spec)
\bsg ::= .
STree_mkLabelledModelCall(String, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a labeled process call of a process (pname)
STree_mkLabelledProcessCall(String, ExprProcess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a labeled process call of a process
STree_mkLocalDeclaration(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an empty tree local declarations of a model (p_proc).
STree_mkModelCall(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a process call of a string name
The calling process expression to name without parameters.
STree_mkModule(Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an empty module with an identifier (name).
STree_mkPragma(String, EList<Identifier>, StringValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Make a pragma with kw as the name of \, obj as \ and stmt as \.
STree_mkPragmaIdent(Identifier, EList<Identifier>, StringValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Make a pragma with id as \
, obj as \ and stmt as \
\bsg ::= \esg
STree_mkPragmasList(ProcessModelImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Adds an empty pragmas area for a model (process).
STree_mkPredefinedType(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns a Signal predefined type is str is a key word of predefined type in Signal
STree_mkProcess(Identifier, ProcessModelInterfaceImpl, Description) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a model of a process with its name (p_nom), its interface (p_inte) and its description (expression + local declarations) (p_desc)
STree_mkProcessCallWithParameters(Identifier, ArrayList<ExprParam>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a process call of identifier (pname) with a list of effective parameters
STree_mkRealConstant(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makess a constant real (cr) with (string) value of constantvalue
STree_mkReferenceToModel(Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a process call of an identifier (id)
STree_mkSamePredefinedType(SignalsDeclarationImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Creates a predefined type that is the same as the signal s's type
STree_mkSharedVariableDeclaration(IdentifierImpl, Type, Object) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns a signal declaration (in the form of: vtype id init vinit)
STree_mkSignalDeclaration(IdentifierImpl, Type, Object) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns a signal declaration (in the form of: vtype id init vinit)
STree_mkSkeletonInterface() - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a skeleton empty interface
The skeleton of an interface with: empty lists for parameters, inputs, outputs,
and empty tree for the specification.
STree_mkSkeletonModel(Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns a skeleton of a process
STree_mkSkeletonModel(Identifier, int) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
/**
Returns a skeleton of a process if op=opprocess, else null
STree_mkSkeletonModule() - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns a skeleton of listmodule
STree_mkStringConstant(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a constant string (constant_str) with string value of constantvalue
STree_mkStringValue(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a StringValue with string value of constantvalue
STree_mkSynchroIni(ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a list of synchronizations initialized with e (i.e. e ^= ).
STree_mkTypeDeclaration(Identifier, TypeDescriptionValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
returns a type declaration: type type_id = value;
STree_mkUnaryWhen(ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an UnaryWhenImpl: when exp
STree_mkWhen(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes a when expression: exp1 when exp2
STree_rmNamedDeclarationFromInterface(ProcessModelImpl, String, int) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Remove a signal (named dec_name) from the interface of a process (vprocess)
i= 1 for parameters, 2 for inputs, 3 for outputs
STree_setDescription(ProcessModelImpl, DescriptionImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Sets a description (desc) to an assumed model (process).
STree_setExternalGraph(ProcessModelImpl, ExternalGraphImpl) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Sets the "external graph" of a model (proc) by eg.
STree_setLocalDeclarations(ProcessModelImpl, EList<Declaration>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Sets (replaces?)
STree_setNameModel(ProcessModelImpl, Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Set identifier of a process (vprocess)'s
STree_setParameters(ProcessModelImpl, EList<TypesOrSignalsDeclaration>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Replaces the parameters of a model (proc) by param.
STree_setPragmas(ProcessModelImpl, EList<Pragma>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Assigns (replaces) the pragmas (pragmas) to a model (proc).
STRING - Static variable in enum fr.inria.tea.ssme.OperatorKind
The 'String' literal value
STRING - Static variable in enum fr.inria.tea.ssme.SignalIntrinsicType
The 'String' literal value
string2ident(String) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
STRING_MEMORY_SIZE - Static variable in class fr.inria.tea.ssme.polychrony.EnvironmentConstants
STRING_MEMORY_SIZE_DEFAULT_VALUE - Static variable in class fr.inria.tea.ssme.polychrony.EnvironmentConstants
STRING_VALUE - Static variable in interface fr.inria.tea.ssme.SsmePackage
STRING_VALUE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
STRING_VALUE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
STRING_VALUE__LIST_CONSTANT_STRING - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Constant String' containment reference list
STRING_VALUE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'String Value' class
StringLiteral_Name(StringLiteral) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the string name of a StringLiteral x
stringOf(long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Get the atomic tree string value.
StringValue - Interface in fr.inria.tea.ssme
A representation of the model object 'String Value'
StringValueImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'String Value'
StringValueImpl() - Constructor for class fr.inria.tea.ssme.impl.StringValueImpl
StringValueItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a
StringValue
object
StringValueItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.StringValueItemProvider
This constructs an instance from a factory and a notifier
StringValueTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'String Value'
StringValueTest(String) - Constructor for class fr.inria.tea.ssme.tests.StringValueTest
Constructs a new String Value test case with the given name
STRUCT - Static variable in enum fr.inria.tea.ssme.TypeKind
The 'Struct' literal value
strVariableName - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.VcdVariable
strVCDVariableName - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.VcdVariable
Subcomponent_GetName(Subcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the name of a sub component (sub)
Subprogram_Get_InParameter(SubprogramType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of in paramters of a subprogram type (subp_type)
Subprogram_Get_OutParameter(SubprogramType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of out paramters of a subprogram type (subp_type)
Subprogram_GetOutEventDataPort(SubprogramType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of out event data ports of a SubprogramType (subp_type)
Subprogram_GetOutEventPort(SubprogramType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of out event ports of a SubprogramType (subp_type)
SubprogramAccess_GetClassifier(SubprogramAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Returns subprogram classfier of a subprogram access (spa)
SubprogramAccess_GetKind(SubprogramAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Returns subprogram access kind: "provided" "required"
SubprogramAccess_GetName(SubprogramAccess) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Returns the string name of a subprogram access
SubprogramCall_Get_CalledSubprogram(SubprogramCall) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Returns the called subprogram of a subprogram call
SubprogramCall_GetName(SubprogramCall) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Returns the string name of a subprogram call
SubprogramCallSequence_Get_SubprogramCalls(SubprogramCallSequence) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Returns a list of subprogram calls of a subprogram call sequence
Subprogramsubcomponent_GetClassifier(SubprogramSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the component classifier of a SubprogramSubcomponent (subp)
Subprogramsubcomponent_GetComponentImpl(SubprogramSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the component implementation (the classifier) of a SubprogramSubcomponent (s)
If classifier of this s is type of SubprogramImpl, return this classifier,
otherwise return null
Subprogramsubcomponent_GetComponentType(SubprogramSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the SubprogramType of a SubprogramSubcomponent (s)
If classifier of this s is type of SubprogramImpl, return its component type,
otherwise if this s is type of SubprogramType, return this classifier
substituteExpr2Var(long, int) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
suite() - Static method in class fr.inria.tea.ssme.tests.SsmeAllTests
suite() - Static method in class fr.inria.tea.ssme.tests.SsmeTests
SUPPORTED_DISPATCH_PROTOCOLS - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
SWITCH_NOT_IMPLEMENTED - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
SWITCH_SEVERAL_ELSE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
SYNDEX - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
The 'Syndex' literal value
SynDExUnparse(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
SYNTAX_ERROR_PARAM - Static variable in enum fr.inria.tea.ssme.polychrony.ExitStatus
SYNTAX_ERROR_PROG - Static variable in enum fr.inria.tea.ssme.polychrony.ExitStatus
System_GetCompType(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the system type of a system implementation component (sysimpl)
System_GetConnectionBindingBus(SystemImplementation, Connection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a BusSubcomponent object that the Connection c is "actual bound"
Get the value from "Actual_Connection_Binding" property
System_GetDataConnection(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of data port connections from a SystemImpl (sysimpl)
System_GetEventConnection(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of event port connections from a SystemImpl (sysimpl)
System_GetEventDataConnection(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of event data port connections from a SystemImpl (sysimpl)
System_GetInDataPort(SystemType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get list of in Data Ports of a SystemType (systype)
Get the data ports of a system type, and selects the ones whose direction is "in".
System_GetInEventDataPort(SystemType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get list of in event data Ports of a SystemType (systype)
Get the event data ports of a system type, and selects the ones whose direction is "in".
System_GetInEventPort(SystemType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get list of in event Ports of a SystemType (systype)
Get the event ports of a system type, and selects the ones whose direction is "in".
System_GetOutDataPort(SystemType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get list of out Data Ports of a SystemType (systype)
Get the data ports of a system type, and selects the ones whose direction is "out".
System_GetOutEventDataPort(SystemType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get list of out event data Ports of a SystemType (systype)
Get the event data ports of a system type, and selects the ones whose direction is "out".
System_GetOutEventPort(SystemType) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get list of out event Ports of a SystemType (systype)
Get the event ports of a system type, and selects the ones whose direction is "out".
System_GetProcessBindingProcessor(SystemImplementation, ProcessSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a ProcessorSubcomponent object that the ProcessSubcomponent p is "actual bound to"
Get the value from "Actual_Processor_Binding" property
System_GetSubcomponentsBus(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of sub bus components of a SystemImpl (sysimpl)
System_GetSubcomponentsData(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of sub data components a SystemImpl (sysimpl)
System_GetSubcomponentsDevice(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of sub devices of a SystemImpl (sysimpl)
System_GetSubcomponentsMemory(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of sub memory components of a SystemImpl (sysimpl)
System_GetSubcomponentsProcess(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of sub processes of a SystemImpl (sysimpl)
System_GetSubcomponentsProcessor(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of sub processors of a SystemImpl (sysimpl)
System_GetSubcomponentsSystem(SystemImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get a list of sub systems of a SystemImplementation object(sysimpl)
Systemsubcomponent_GetClassifier(SystemSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
get the SystemClassifier of a SystemSubcomponent (s)
Systemsubcomponent_GetComponentImpl(SystemSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the component implementation (the classifier) of a SystemSubcomponent (syssubcomponent)
If classifier of this syssubcomponent is type of systemImpl, return it,
otherwise return null
Systemsubcomponent_GetComponentType(SystemSubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the component type (the classifier) of a SystemSubcomponent (syssubcomponent)
If classifier of this syssubcomponent is type of systemImpl, return its component type,
otherwise if this syssubcomponent is type of systemType, return this classifier
A B C D E F G H I J L M N O P Q R S T U V W X _