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 _ 

S

SAFE - Static variable in enum fr.inria.tea.ssme.ProcessAttributeKind
The 'Safe' literal value
save(EObject, String) - Static method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.SSMEUtils
 
saveScenario(boolean) - Method in class fr.inria.tea.ssme.compilation.utils.views.CompilationView
 
Scenario - Interface in fr.inria.tea.ssme.compilation
A representation of the model object 'Scenario'
SCENARIO - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage.Literals
The meta object literal for the 'Scenario' class
SCENARIO - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage
The meta object id for the 'Scenario' class
SCENARIO__DESCRIPTION - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage.Literals
The meta object literal for the 'Description' attribute feature
SCENARIO__DESCRIPTION - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage
The feature id for the 'Description' attribute
SCENARIO__DISPLAY_WARNINGS - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage.Literals
The meta object literal for the 'Display Warnings' attribute feature
SCENARIO__DISPLAY_WARNINGS - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage
The feature id for the 'Display Warnings' attribute
SCENARIO__ELEMENTS - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage.Literals
The meta object literal for the 'Elements' containment reference list feature
SCENARIO__ELEMENTS - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage
The feature id for the 'Elements' containment reference list
SCENARIO_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage
The number of structural features of the 'Scenario' class
SCENARIO_ITEM - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage.Literals
The meta object literal for the 'Scenario Item' class
SCENARIO_ITEM - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage
The meta object id for the 'Scenario Item' class
SCENARIO_ITEM_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.compilation.SsmeCompPackage
The number of structural features of the 'Scenario Item' class
ScenarioImpl - Class in fr.inria.tea.ssme.compilation.impl
An implementation of the model object 'Scenario'
ScenarioItem - Interface in fr.inria.tea.ssme.compilation
A representation of the model object 'Scenario Item'
ScenarioItemImpl - Class in fr.inria.tea.ssme.compilation.impl
An implementation of the model object 'Scenario Item'
ScenarioItemItemProvider - Class in fr.inria.tea.ssme.compilation.provider
This is the item provider adapter for a ScenarioItem object
ScenarioItemItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.compilation.provider.ScenarioItemItemProvider
This constructs an instance from a factory and a notifier
ScenarioItemProvider - Class in fr.inria.tea.ssme.compilation.provider
This is the item provider adapter for a Scenario object
ScenarioItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.compilation.provider.ScenarioItemProvider
This constructs an instance from a factory and a notifier
Scheduling - Class in fr.inria.tea.aadl2ssme.scheduling.actions
Our sample action implements workbench action delegate.
Scheduling() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
The constructor.
Scheduling(L_Process) - Constructor for class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
Scheduling(SchedulingPolicy) - Constructor for class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
SchedulingPolicy - Enum in fr.inria.tea.aadl2ssme.scheduling.idstruct
 
selectionChanged(IAction, ISelection) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
Selection in the workbench has been changed.
selectionChanged(IAction, ISelection) - Method in class fr.inria.tea.aadl2ssme.scheduling.popup.actions.dependencySchedulingAction
 
selectionChanged(IAction, ISelection) - Method in class fr.inria.tea.aadl2ssme.scheduling.popup.actions.EDFSchedulingAction
 
selectionChanged(IAction, ISelection) - Method in class fr.inria.tea.aadl2ssme.scheduling.popup.actions.RMSchedulingAction
 
selectionChanged(IAction, ISelection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.NewAction
 
selectionChanged(SelectionChangedEvent) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompActionBarContributor
This implements ISelectionChangedListener, handling SelectionChangedEvents by querying for the children and siblings that can be added to the selected object and updating the menus accordingly
selectionChanged(IAction, ISelection) - Method in class fr.inria.tea.ssme.compilation.utils.popup.actions.GenerateAction
 
selectionChanged(IAction, ISelection) - Method in class fr.inria.tea.ssme.compilation.utils.popup.actions.miscOptions
 
selectionChanged(IWorkbenchPart, ISelection) - Method in class fr.inria.tea.ssme.compilation.utils.views.CompilationView
 
selectionChanged(SelectionChangedEvent) - Method in class fr.inria.tea.ssme.presentation.SsmeActionBarContributor
This implements ISelectionChangedListener, handling SelectionChangedEvents by querying for the children and siblings that can be added to the selected object and updating the menus accordingly
SENT_FLOW_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
 
separateBooleansOthers(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
separatedCompilingPoly(long, boolean) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
separateStatesOthers(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
SEQUENTIAL_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Sequential Definition' class
SEQUENTIAL_DEFINITION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SEQUENTIAL_DEFINITION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SEQUENTIAL_DEFINITION__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal1' containment reference
SEQUENTIAL_DEFINITION__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal2' containment reference
SEQUENTIAL_DEFINITION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Sequential Definition' class
SequentialDefinition - Interface in fr.inria.tea.ssme
A representation of the model object 'Sequential Definition'
SequentialDefinitionImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Sequential Definition'
SequentialDefinitionImpl() - Constructor for class fr.inria.tea.ssme.impl.SequentialDefinitionImpl
 
SequentialDefinitionItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SequentialDefinition object
SequentialDefinitionItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SequentialDefinitionItemProvider
This constructs an instance from a factory and a notifier
SequentialDefinitionTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Sequential Definition'
SequentialDefinitionTest(String) - Constructor for class fr.inria.tea.ssme.tests.SequentialDefinitionTest
Constructs a new Sequential Definition test case with the given name
SEQUENTIALIZING - Static variable in enum fr.inria.tea.ssme.compilation.FunctionalityKind
The 'Sequentializing' literal value
sequentializing(GraphValue, long, boolean) - Method in class fr.inria.tea.ssme.compilation.utils.jobs.CompilingMethods
 
Serializing(long, boolean, boolean, boolean, boolean) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
setActiveEditor(IEditorPart) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompActionBarContributor
When the active editor changes, this remembers the change and registers with it as a selection provider
setActiveEditor(IEditorPart) - Method in class fr.inria.tea.ssme.presentation.SsmeActionBarContributor
When the active editor changes, this remembers the change and registers with it as a selection provider
setActivePart(IAction, IWorkbenchPart) - Method in class fr.inria.tea.aadl2ssme.scheduling.popup.actions.dependencySchedulingAction
 
setActivePart(IAction, IWorkbenchPart) - Method in class fr.inria.tea.aadl2ssme.scheduling.popup.actions.EDFSchedulingAction
 
setActivePart(IAction, IWorkbenchPart) - Method in class fr.inria.tea.aadl2ssme.scheduling.popup.actions.RMSchedulingAction
 
setActivePart(IAction, IWorkbenchPart) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.NewAction
 
setActivePart(IAction, IWorkbenchPart) - Method in class fr.inria.tea.ssme.compilation.utils.popup.actions.GenerateAction
 
setActivePart(IAction, IWorkbenchPart) - Method in class fr.inria.tea.ssme.compilation.utils.popup.actions.miscOptions
 
setArrayIndex(ArrayIndex) - Method in interface fr.inria.tea.ssme.ArrayProcess
Sets the value of the 'Array Index' containment reference
setArrayIndex(ArrayIndex) - Method in class fr.inria.tea.ssme.impl.ArrayProcessImpl
 
setASTAttribute(EObject, long) - Method in class fr.inria.tea.ssme.impl.SignalElementImpl
 
setASTAttribute(EObject, long) - Method in interface fr.inria.tea.ssme.SignalElement
 
setAtomString(String) - Method in interface fr.inria.tea.ssme.Comment
Sets the value of the 'Atom String' attribute
setAtomString(String) - Method in interface fr.inria.tea.ssme.ConstantCharacter
Sets the value of the 'Atom String' attribute
setAtomString(String) - Method in interface fr.inria.tea.ssme.ConstantDoubleReal
Sets the value of the 'Atom String' attribute
setAtomString(String) - Method in interface fr.inria.tea.ssme.ConstantInteger
Sets the value of the 'Atom String' attribute
setAtomString(String) - Method in interface fr.inria.tea.ssme.ConstantReal
Sets the value of the 'Atom String' attribute
setAtomString(String) - Method in interface fr.inria.tea.ssme.ConstantString
Sets the value of the 'Atom String' attribute
setAtomString(String) - Method in interface fr.inria.tea.ssme.Identifier
Sets the value of the 'Atom String' attribute
setAtomString(String) - Method in class fr.inria.tea.ssme.impl.CommentImpl
 
setAtomString(String) - Method in class fr.inria.tea.ssme.impl.ConstantCharacterImpl
 
setAtomString(String) - Method in class fr.inria.tea.ssme.impl.ConstantDoubleRealImpl
 
setAtomString(String) - Method in class fr.inria.tea.ssme.impl.ConstantIntegerImpl
 
setAtomString(String) - Method in class fr.inria.tea.ssme.impl.ConstantRealImpl
 
setAtomString(String) - Method in class fr.inria.tea.ssme.impl.ConstantStringImpl
 
setAtomString(String) - Method in class fr.inria.tea.ssme.impl.IdentifierImpl
 
setBody(ProcessBody) - Method in interface fr.inria.tea.ssme.Description
Sets the value of the 'Body' containment reference
setBody(ProcessBody) - Method in class fr.inria.tea.ssme.impl.DescriptionImpl
 
setBody(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Assigns the body of a model.
setBounds(Bounds) - Method in class fr.inria.tea.ssme.impl.PartialIterationImpl
 
setBounds(Bounds) - Method in interface fr.inria.tea.ssme.PartialIteration
Sets the value of the 'Bounds' containment reference
setClockDependences(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
setConditionExpr(ExprSignal) - Method in interface fr.inria.tea.ssme.ConditionedDependence
Sets the value of the 'Condition Expr' containment reference
setConditionExpr(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ConditionedDependenceImpl
 
setConstantDescriptionValue(ConstantDescriptionValue) - Method in interface fr.inria.tea.ssme.ConstantDescription
Sets the value of the 'Constant Description Value' containment reference
setConstantDescriptionValue(ConstantDescriptionValue) - Method in class fr.inria.tea.ssme.impl.ConstantDescriptionImpl
 
setConstantEnumValue(Identifier) - Method in interface fr.inria.tea.ssme.ConstantEnum
Sets the value of the 'Constant Enum Value' containment reference
setConstantEnumValue(Identifier) - Method in class fr.inria.tea.ssme.impl.ConstantEnumImpl
 
setConstantLogicalKind(ConstantLogicalKind) - Method in interface fr.inria.tea.ssme.ConstantLogical
Sets the value of the 'Constant Logical Kind' attribute
setConstantLogicalKind(ConstantLogicalKind) - Method in class fr.inria.tea.ssme.impl.ConstantLogicalImpl
 
setCurrentViewer(Viewer) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
This makes sure that one content viewer, either for the current page or the outline view, if it has focus, is the current one
setCurrentViewer(Viewer) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
This makes sure that one content viewer, either for the current page or the outline view, if it has focus, is the current one
setCurrentViewerPane(ViewerPane) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
 
setCurrentViewerPane(ViewerPane) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
 
setDelayMemoryOverloading(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
setDescribedType(DescribedType) - Method in class fr.inria.tea.ssme.impl.TypeMorphismImpl
 
setDescribedType(DescribedType) - Method in interface fr.inria.tea.ssme.TypeMorphism
Sets the value of the 'Described Type' containment reference
setDescription(String) - Method in class fr.inria.tea.ssme.compilation.impl.ScenarioImpl
 
setDescription(String) - Method in interface fr.inria.tea.ssme.compilation.Scenario
Sets the value of the 'Description' attribute
setDescription(Description) - Method in class fr.inria.tea.ssme.impl.OperatorModelImpl
 
setDescription(Description) - Method in class fr.inria.tea.ssme.impl.ProcessModelImpl
 
setDescription(Description) - Method in interface fr.inria.tea.ssme.OperatorModel
Sets the value of the 'Description' containment reference
setDescription(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Assigns a description to a model.
setDescription(Description) - Method in interface fr.inria.tea.ssme.ProcessModel
Sets the value of the 'Description' containment reference
setDisplayWarnings(boolean) - Method in class fr.inria.tea.ssme.compilation.impl.ScenarioImpl
 
setDisplayWarnings(boolean) - Method in interface fr.inria.tea.ssme.compilation.Scenario
Sets the value of the 'Display Warnings' attribute
setElemDefinition(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IterationImpl
 
setElemDefinition(ExprSignal) - Method in interface fr.inria.tea.ssme.Iteration
Sets the value of the 'Elem Definition' containment reference
setElseCase(ExprProcess) - Method in interface fr.inria.tea.ssme.CaseProcess
Sets the value of the 'Else Case' containment reference
setElseCase(ExprProcess) - Method in class fr.inria.tea.ssme.impl.CaseProcessImpl
 
setEnumerationValues(CaseExprEnumeration) - Method in interface fr.inria.tea.ssme.CaseBranch
Sets the value of the 'Enumeration Values' containment reference
setEnumerationValues(CaseExprEnumeration) - Method in class fr.inria.tea.ssme.impl.CaseBranchImpl
 
setEnv(String, String) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
setError(boolean) - Method in class fr.inria.tea.ssme.polychrony.traceability.SSMENode
Error boolean setter
setErrorMessage(String) - Method in class fr.inria.tea.ssme.polychrony.traceability.SSMENode
Error message setter
setExprDimension(ListExprSignal) - Method in interface fr.inria.tea.ssme.ArrayType
Sets the value of the 'Expr Dimension' containment reference
setExprDimension(ListExprSignal) - Method in interface fr.inria.tea.ssme.ElemDefinition
Sets the value of the 'Expr Dimension' containment reference
setExprDimension(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayTypeImpl
 
setExprDimension(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.ElemDefinitionImpl
 
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.ArrayProcess
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.CaseBranch
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.ControlledProcess
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.GraphSpecification
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.ArrayProcessImpl
 
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.CaseBranchImpl
 
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.ControlledProcessImpl
 
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.GraphSpecificationImpl
 
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.IterationProcessImpl
 
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.LabelledProcessImpl
 
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.MaskingImpl
 
setExprProcess(ExprProcess) - Method in class fr.inria.tea.ssme.impl.RestrictionProcessImpl
 
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.IterationProcess
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.LabelledProcess
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.Masking
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.PControl
Sets the value of the 'Expr Process' containment reference
setExprProcess(ExprProcess) - Method in interface fr.inria.tea.ssme.RestrictionProcess
Sets the value of the 'Expr Process' containment reference
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.ArrayElem
Sets the value of the 'Expr Signal' containment reference
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.AssertSignal
Sets the value of the 'Expr Signal' containment reference
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.ControlledProcess
Sets the value of the 'Expr Signal' containment reference
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.Conversion
Sets the value of the 'Expr Signal' containment reference
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.ElemDefinition
Sets the value of the 'Expr Signal' containment reference
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.FieldAccess
Sets the value of the 'Expr Signal' containment reference
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayElemImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.AssertSignalImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ClockImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ControlledProcessImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ConversionImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ElemDefinitionImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.FieldAccessImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.NotImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.PreviousIterationRefImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.TranspositionImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.UnaryMinusImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.UnaryPlusImpl
 
setExprSignal(ExprSignal) - Method in class fr.inria.tea.ssme.impl.UnaryWhenImpl
 
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.PControl
Sets the value of the 'Expr Signal' containment reference
setExprSignal(ExprSignal) - Method in interface fr.inria.tea.ssme.UnaryOperators
Sets the value of the 'Expr Signal' containment reference
setExprSignal1(ExprSignal) - Method in interface fr.inria.tea.ssme.BinaryOperators
Sets the value of the 'Expr Signal1' containment reference
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.AfterImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.AndImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayProductImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayRestructurationImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.CellImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ClockDifferenceImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ClockProductImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ClockUnionImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ComplexConstructorImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ConcatenationImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.CountImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.DefaultImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.DelayImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.DivImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.EqualEqualImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.EqualImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.FromImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.GreaterImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.GreaterOrEqualImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IfThenElseImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IndexImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.LessImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.LessLessEqualImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.LessOrEqualImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.MinusImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ModuloImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.NotEqualImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.OrImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.PlusImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.PowerImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ProductImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.RecoverImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.RepetitionImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SequentialDefinitionImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.VarImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.WhenImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.WindowImpl
 
setExprSignal1(ExprSignal) - Method in class fr.inria.tea.ssme.impl.XorImpl
 
setExprSignal1(ExprSignal) - Method in interface fr.inria.tea.ssme.TernaryOperators
Sets the value of the 'Expr Signal1' containment reference
setExprSignal2(ExprSignal) - Method in interface fr.inria.tea.ssme.BinaryOperators
Sets the value of the 'Expr Signal2' containment reference
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.AfterImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.AndImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayProductImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayRestructurationImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.CellImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ClockDifferenceImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ClockProductImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ClockUnionImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ComplexConstructorImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ConcatenationImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.CountImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.DefaultImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.DelayImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.DivImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.EqualEqualImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.EqualImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.FromImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.GreaterImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.GreaterOrEqualImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IfThenElseImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IndexImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.LessImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.LessLessEqualImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.LessOrEqualImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.MinusImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ModuloImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.NotEqualImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.OrImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.PlusImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.PowerImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ProductImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.RecoverImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.RepetitionImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SequentialDefinitionImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.VarImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.WhenImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.WindowImpl
 
setExprSignal2(ExprSignal) - Method in class fr.inria.tea.ssme.impl.XorImpl
 
setExprSignal2(ExprSignal) - Method in interface fr.inria.tea.ssme.TernaryOperators
Sets the value of the 'Expr Signal2' containment reference
setExprSignal3(ExprSignal) - Method in class fr.inria.tea.ssme.impl.CellImpl
 
setExprSignal3(ExprSignal) - Method in class fr.inria.tea.ssme.impl.DelayImpl
 
setExprSignal3(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IfThenElseImpl
 
setExprSignal3(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IndexImpl
 
setExprSignal3(ExprSignal) - Method in class fr.inria.tea.ssme.impl.WindowImpl
 
setExprSignal3(ExprSignal) - Method in interface fr.inria.tea.ssme.TernaryOperators
Sets the value of the 'Expr Signal3' containment reference
setExprSignalLeft(ExprSignal) - Method in interface fr.inria.tea.ssme.IdentityEquation
Sets the value of the 'Expr Signal Left' containment reference
setExprSignalLeft(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IdentityEquationImpl
 
setExprSignalLeft(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalsDefinitionImpl
 
setExprSignalLeft(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalsPartialDefaultDefinitionImpl
 
setExprSignalLeft(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalsPartialDefinitionImpl
 
setExprSignalLeft(ExprSignal) - Method in interface fr.inria.tea.ssme.SignalsDefinition
Sets the value of the 'Expr Signal Left' containment reference
setExprSignalLeft(ExprSignal) - Method in interface fr.inria.tea.ssme.SignalsPartialDefaultDefinition
Sets the value of the 'Expr Signal Left' containment reference
setExprSignalLeft(ExprSignal) - Method in interface fr.inria.tea.ssme.SignalsPartialDefinition
Sets the value of the 'Expr Signal Left' containment reference
setExprSignalRight(ExprSignal) - Method in interface fr.inria.tea.ssme.IdentityEquation
Sets the value of the 'Expr Signal Right' containment reference
setExprSignalRight(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IdentityEquationImpl
 
setExprSignalRight(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalsDefinitionImpl
 
setExprSignalRight(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalsPartialDefaultDefinitionImpl
 
setExprSignalRight(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalsPartialDefinitionImpl
 
setExprSignalRight(ExprSignal) - Method in interface fr.inria.tea.ssme.SignalsDefinition
Sets the value of the 'Expr Signal Right' containment reference
setExprSignalRight(ExprSignal) - Method in interface fr.inria.tea.ssme.SignalsPartialDefaultDefinition
Sets the value of the 'Expr Signal Right' containment reference
setExprSignalRight(ExprSignal) - Method in interface fr.inria.tea.ssme.SignalsPartialDefinition
Sets the value of the 'Expr Signal Right' containment reference
setExternalGraph(ExternalGraph) - Method in class fr.inria.tea.ssme.impl.ProcessModelInterfaceImpl
 
setExternalGraph(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Assigns the "external graph" of a model.
setExternalGraph(ExternalGraph) - Method in interface fr.inria.tea.ssme.ProcessModelInterface
Sets the value of the 'External Graph' containment reference
setFocus() - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
 
setFocus() - Method in class fr.inria.tea.ssme.compilation.utils.views.CompilationView
Passing the focus request to the viewer's control.
setFocus() - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
 
setGraph(long) - Method in class fr.inria.tea.ssme.polychrony.GraphValue
 
setGraphSpecification(GraphSpecification) - Method in interface fr.inria.tea.ssme.ExternalGraph
Sets the value of the 'Graph Specification' containment reference
setGraphSpecification(GraphSpecification) - Method in class fr.inria.tea.ssme.impl.ExternalGraphImpl
 
setGraphSpecification(GraphSpecification) - Method in class fr.inria.tea.ssme.impl.TupleTypeImpl
 
setGraphSpecification(GraphSpecification) - Method in interface fr.inria.tea.ssme.TupleType
Sets the value of the 'Graph Specification' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.ArrayIndex
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.CaseProcess
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.ConstantDescription
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.FieldAccess
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.ArrayIndexImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.CaseProcessImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.ConstantDescriptionImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.FieldAccessImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.ModuleImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.PragmaImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.ProcessExpansionImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.ProcessModelImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.ProcessTypeImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.SignalNamingImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.StateVariableValueImpl
 
setIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.TypeDescriptionImpl
 
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.Module
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.Pragma
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.ProcessExpansion
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.ProcessModel
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.ProcessType
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.SignalNaming
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.StateVariableValue
Sets the value of the 'Identifier' containment reference
setIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.TypeDescription
Sets the value of the 'Identifier' containment reference
setIndex(Identifier) - Method in class fr.inria.tea.ssme.impl.PartialIterationImpl
 
setIndex(Identifier) - Method in interface fr.inria.tea.ssme.PartialIteration
Sets the value of the 'Index' containment reference
setInitValue(ExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalNamingImpl
 
setInitValue(ExprSignal) - Method in class fr.inria.tea.ssme.impl.TypeDescriptionImpl
 
setInitValue(ExprSignal) - Method in interface fr.inria.tea.ssme.SignalNaming
Sets the value of the 'Init Value' containment reference
setInitValue(ExprSignal) - Method in interface fr.inria.tea.ssme.TypeDescription
Sets the value of the 'Init Value' containment reference
setInterfaceDefinition(InterfaceDefinition) - Method in class fr.inria.tea.ssme.impl.OperatorModelImpl
 
setInterfaceDefinition(InterfaceDefinition) - Method in class fr.inria.tea.ssme.impl.ProcessModelImpl
 
setInterfaceDefinition(InterfaceDefinition) - Method in class fr.inria.tea.ssme.impl.ProcessTypeImpl
 
setInterfaceDefinition(InterfaceDefinition) - Method in interface fr.inria.tea.ssme.OperatorModel
Sets the value of the 'Interface Definition' containment reference
setInterfaceDefinition(InterfaceDefinition) - Method in interface fr.inria.tea.ssme.ProcessModel
Sets the value of the 'Interface Definition' containment reference
setInterfaceDefinition(InterfaceDefinition) - Method in interface fr.inria.tea.ssme.ProcessType
Sets the value of the 'Interface Definition' containment reference
setIntervalOccupied(int, int) - Method in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_MSTA
 
setIntervalsKind(IntervalsKind) - Method in interface fr.inria.tea.ssme.CaseInterval
Sets the value of the 'Intervals Kind' attribute
setIntervalsKind(IntervalsKind) - Method in class fr.inria.tea.ssme.impl.CaseIntervalImpl
 
setIntrinsicClocks(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
setIoProfile(IOProfile) - Method in class fr.inria.tea.ssme.impl.ProcessModelInterfaceImpl
 
setIoProfile(IOProfile) - Method in interface fr.inria.tea.ssme.ProcessModelInterface
Sets the value of the 'Io Profile' containment reference
setIterationIndex(ExprSignal) - Method in class fr.inria.tea.ssme.impl.IterationProcessImpl
 
setIterationIndex(ExprSignal) - Method in interface fr.inria.tea.ssme.IterationProcess
Sets the value of the 'Iteration Index' containment reference
setIterationInit(ExprProcess) - Method in interface fr.inria.tea.ssme.ArrayProcess
Sets the value of the 'Iteration Init' containment reference
setIterationInit(ExprProcess) - Method in class fr.inria.tea.ssme.impl.ArrayProcessImpl
 
setIterationInit(ExprProcess) - Method in class fr.inria.tea.ssme.impl.IterationProcessImpl
 
setIterationInit(ExprProcess) - Method in interface fr.inria.tea.ssme.IterationProcess
Sets the value of the 'Iteration Init' containment reference
setKind(FunctionalityKind) - Method in interface fr.inria.tea.ssme.compilation.Functionality
Sets the value of the 'Kind' attribute
setKind(GeneratorKind) - Method in interface fr.inria.tea.ssme.compilation.Generator
Sets the value of the 'Kind' attribute
setKind(FunctionalityKind) - Method in class fr.inria.tea.ssme.compilation.impl.FunctionalityImpl
 
setKind(GeneratorKind) - Method in class fr.inria.tea.ssme.compilation.impl.GeneratorImpl
 
setLabel(Identifier) - Method in class fr.inria.tea.ssme.impl.LabelledProcessImpl
 
setLabel(Identifier) - Method in interface fr.inria.tea.ssme.LabelledProcess
Sets the value of the 'Label' containment reference
setListExprSignal(ListExprSignal) - Method in interface fr.inria.tea.ssme.ArrayElem
Sets the value of the 'List Expr Signal' containment reference
setListExprSignal(ListExprSignal) - Method in interface fr.inria.tea.ssme.CartesianProduct
Sets the value of the 'List Expr Signal' containment reference
setListExprSignal(ListExprSignal) - Method in interface fr.inria.tea.ssme.CaseEnumeration
Sets the value of the 'List Expr Signal' containment reference
setListExprSignal(ListExprSignal) - Method in interface fr.inria.tea.ssme.ElemDefinitionEnumeration
Sets the value of the 'List Expr Signal' containment reference
setListExprSignal(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayElemImpl
 
setListExprSignal(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.CartesianProductImpl
 
setListExprSignal(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.CaseEnumerationImpl
 
setListExprSignal(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.ElemDefinitionEnumerationImpl
 
setListExprSignal(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.ProcessCallImpl
 
setListExprSignal(ListExprSignal) - Method in class fr.inria.tea.ssme.impl.SignalsImpl
 
setListExprSignal(ListExprSignal) - Method in interface fr.inria.tea.ssme.ProcessCall
Sets the value of the 'List Expr Signal' containment reference
setListExprSignal(ListExprSignal) - Method in interface fr.inria.tea.ssme.Signals
Sets the value of the 'List Expr Signal' containment reference
setLocalDeclarations(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Assigns local declarations to a model.
setLowerBound(ExprSignal) - Method in interface fr.inria.tea.ssme.Bounds
Sets the value of the 'Lower Bound' containment reference
setLowerBound(ExprSignal) - Method in interface fr.inria.tea.ssme.CaseInterval
Sets the value of the 'Lower Bound' containment reference
setLowerBound(ExprSignal) - Method in class fr.inria.tea.ssme.impl.BoundsImpl
 
setLowerBound(ExprSignal) - Method in class fr.inria.tea.ssme.impl.CaseIntervalImpl
 
setModelKind(ModelKind) - Method in interface fr.inria.tea.ssme.FormalProcess
Sets the value of the 'Model Kind' attribute
setModelKind(ModelKind) - Method in class fr.inria.tea.ssme.impl.FormalProcessImpl
 
setModelKind(ModelKind) - Method in class fr.inria.tea.ssme.impl.ProcessModelImpl
 
setModelKind(ModelKind) - Method in class fr.inria.tea.ssme.impl.ProcessTypeImpl
 
setModelKind(ModelKind) - Method in interface fr.inria.tea.ssme.ProcessModel
Sets the value of the 'Model Kind' attribute
setModelKind(ModelKind) - Method in interface fr.inria.tea.ssme.ProcessType
Sets the value of the 'Model Kind' attribute
setModelName(Identifier) - Method in interface fr.inria.tea.ssme.FormalProcess
Sets the value of the 'Model Name' containment reference
setModelName(Identifier) - Method in class fr.inria.tea.ssme.impl.FormalProcessImpl
 
setModelType(Identifier) - Method in interface fr.inria.tea.ssme.FormalProcess
Sets the value of the 'Model Type' containment reference
setModelType(Identifier) - Method in class fr.inria.tea.ssme.impl.FormalProcessImpl
 
setModuleDescription(ModuleDescription) - Method in class fr.inria.tea.ssme.impl.ModuleImpl
 
setModuleDescription(ModuleDescription) - Method in interface fr.inria.tea.ssme.Module
Sets the value of the 'Module Description' containment reference
setNameModel(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Assigns a name to a model.
setNode(EObject) - Method in class fr.inria.tea.ssme.polychrony.traceability.SSMENode
the EMF node setter
setOp(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Set the tree operator.
setOperatorIdentifier(OperatorIdentifier) - Method in class fr.inria.tea.ssme.impl.OperatorModelImpl
 
setOperatorIdentifier(OperatorIdentifier) - Method in interface fr.inria.tea.ssme.OperatorModel
Sets the value of the 'Operator Identifier' containment reference
setOperatorKind(OperatorKind) - Method in class fr.inria.tea.ssme.impl.OperatorImpl
 
setOperatorKind(OperatorKind) - Method in interface fr.inria.tea.ssme.Operator
Sets the value of the 'Operator Kind' attribute
setOptAbstraction(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptAlwaysCode(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptCheck(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptClustering(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptCrew(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptDebug(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptDelayMultiplexing(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptDelayOptimizing(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptExclusiveClock(boolean, int) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenBF(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCBody(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCIO(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCMain(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCModules(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCPPBody(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCPPIO(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCPPMain(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenCPPModules(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenDistrib(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenDot(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenFBF(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenFlatTrace(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenJava(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenJavaBody(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenJavaIO(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenJavaMain(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenJavaModules(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenList(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenLustre(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenSBF(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenSyndex(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenThreads(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenTrace(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptGenz3z(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptHeader(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptKernel(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptProfiling(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptRetiming(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptSeparateBooleansOthers(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptSeparateStatesOthers(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptSolvingDepth(int) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptStat(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptSubstitute(int) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptSynoptic(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptTestFunctionality(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptTraceabilityMode(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptUnification(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptUserPartitioning(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptVerbose(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptWarn(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOptXMI(boolean) - Method in class fr.inria.tea.ssme.polychrony.PKOptionManager
 
setOutputDirectory(String) - Method in class fr.inria.tea.ssme.polychrony.SignalTreePrinter
Set the Output directory in which the generated file will be stored.
setParameters(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Assigns the parameters of a model.
setParentAdapterFactory(ComposedAdapterFactory) - Method in class fr.inria.tea.ssme.compilation.provider.SsmeCompItemProviderAdapterFactory
This sets the composed adapter factory that contains this factory
setParentAdapterFactory(ComposedAdapterFactory) - Method in class fr.inria.tea.ssme.provider.SsmeItemProviderAdapterFactory
This sets the composed adapter factory that contains this factory
setPragmas(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Assigns the pragmas of a model.
setPragmaStatement(StringValue) - Method in class fr.inria.tea.ssme.impl.PragmaImpl
 
setPragmaStatement(StringValue) - Method in interface fr.inria.tea.ssme.Pragma
Sets the value of the 'Pragma Statement' containment reference
setPredefinedType(PredefinedType) - Method in interface fr.inria.tea.ssme.Conversion
Sets the value of the 'Predefined Type' containment reference
setPredefinedType(PredefinedType) - Method in class fr.inria.tea.ssme.impl.ConversionImpl
 
setProcessAttributeKind(ProcessAttributeKind) - Method in class fr.inria.tea.ssme.impl.ProcessAttributeImpl
 
setProcessAttributeKind(ProcessAttributeKind) - Method in interface fr.inria.tea.ssme.ProcessAttribute
Sets the value of the 'Process Attribute Kind' attribute
setProcessExpression(ExprProcess) - Method in interface fr.inria.tea.ssme.AssertProcess
Sets the value of the 'Process Expression' containment reference
setProcessExpression(ExprProcess) - Method in class fr.inria.tea.ssme.impl.AssertProcessImpl
 
setPropertySpecified() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
 
setReferenceProcess(ReferenceProcess) - Method in class fr.inria.tea.ssme.impl.ProcessCallImpl
 
setReferenceProcess(ReferenceProcess) - Method in interface fr.inria.tea.ssme.ProcessCall
Sets the value of the 'Reference Process' containment reference
setResources(List<IResource>) - Method in class fr.inria.tea.ssme.compilation.utils.popup.actions.CompilationUtils
 
setReturnCode(int) - Method in class fr.inria.tea.ssme.polychrony.GraphValue
 
setSaveLibraryPath(String) - Method in class fr.inria.tea.ssme.compilation.utils.popup.actions.CompilationUtils
 
SetSchedulingPolicy() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
setSelection(ISelection) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
This implements ISelectionProvider to set this editor's overall selection.
setSelection(ISelection) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
This implements ISelectionProvider to set this editor's overall selection.
setSelectionToViewer(Collection<?>) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
This sets the selection into whichever viewer is active
setSelectionToViewer(Collection<?>) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
This sets the selection into whichever viewer is active
setSignalLibraryPath(String) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
setSignals(Signals) - Method in class fr.inria.tea.ssme.impl.UnconditionedDependencesImpl
 
setSignals(Signals) - Method in interface fr.inria.tea.ssme.UnconditionedDependences
Sets the value of the 'Signals' containment reference
setSignalsFrom(Signals) - Method in interface fr.inria.tea.ssme.ConditionedDependence
Sets the value of the 'Signals From' containment reference
setSignalsFrom(Signals) - Method in class fr.inria.tea.ssme.impl.ConditionedDependenceImpl
 
setSignalsTo(Signals) - Method in interface fr.inria.tea.ssme.ConditionedDependence
Sets the value of the 'Signals To' containment reference
setSignalsTo(Signals) - Method in class fr.inria.tea.ssme.impl.ConditionedDependenceImpl
 
setStatusLineManager(ISelection) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
 
setStatusLineManager(ISelection) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
 
setStep(ExprSignal) - Method in interface fr.inria.tea.ssme.Bounds
Sets the value of the 'Step' containment reference
setStep(ExprSignal) - Method in class fr.inria.tea.ssme.impl.BoundsImpl
 
setString(StringValue) - Method in interface fr.inria.tea.ssme.ExternalAttribute
Sets the value of the 'String' containment reference
setString(StringValue) - Method in class fr.inria.tea.ssme.impl.ExternalAttributeImpl
 
setTreeAttribute(long) - Method in class fr.inria.tea.ssme.impl.SignalElementImpl
 
setType(Type) - Method in interface fr.inria.tea.ssme.ArrayType
Sets the value of the 'Type' containment reference
setType(Type) - Method in interface fr.inria.tea.ssme.ConstantsDeclaration
Sets the value of the 'Type' containment reference
setType(Type) - Method in class fr.inria.tea.ssme.impl.ArrayTypeImpl
 
setType(Type) - Method in class fr.inria.tea.ssme.impl.ConstantsDeclarationImpl
 
setType(SignalIntrinsicType) - Method in class fr.inria.tea.ssme.impl.PredefinedTypeImpl
 
setType(Type) - Method in class fr.inria.tea.ssme.impl.SharedVariablesDeclarationImpl
 
setType(Type) - Method in class fr.inria.tea.ssme.impl.SignalsDeclarationImpl
 
setType(Type) - Method in class fr.inria.tea.ssme.impl.StateVariablesDeclarationImpl
 
setType(SignalIntrinsicType) - Method in interface fr.inria.tea.ssme.PredefinedType
Sets the value of the 'Type' attribute
setType(Type) - Method in interface fr.inria.tea.ssme.SharedVariablesDeclaration
Sets the value of the 'Type' containment reference
setType(Type) - Method in interface fr.inria.tea.ssme.SignalsDeclaration
Sets the value of the 'Type' containment reference
setType(Type) - Method in interface fr.inria.tea.ssme.StateVariablesDeclaration
Sets the value of the 'Type' containment reference
setTypeDescriptionValue(TypeDescriptionValue) - Method in class fr.inria.tea.ssme.impl.TypeDescriptionImpl
 
setTypeDescriptionValue(TypeDescriptionValue) - Method in class fr.inria.tea.ssme.impl.TypeMorphismImpl
 
setTypeDescriptionValue(TypeDescriptionValue) - Method in interface fr.inria.tea.ssme.TypeDescription
Sets the value of the 'Type Description Value' containment reference
setTypeDescriptionValue(TypeDescriptionValue) - Method in interface fr.inria.tea.ssme.TypeMorphism
Sets the value of the 'Type Description Value' containment reference
setTypeIdentifier(Identifier) - Method in interface fr.inria.tea.ssme.ConstantEnum
Sets the value of the 'Type Identifier' containment reference
setTypeIdentifier(Identifier) - Method in class fr.inria.tea.ssme.impl.ConstantEnumImpl
 
setTypeKind(TypeKind) - Method in class fr.inria.tea.ssme.impl.TupleTypeImpl
 
setTypeKind(TypeKind) - Method in interface fr.inria.tea.ssme.TupleType
Sets the value of the 'Type Kind' attribute
setUpperBound(ExprSignal) - Method in interface fr.inria.tea.ssme.ArrayIndex
Sets the value of the 'Upper Bound' containment reference
setUpperBound(ExprSignal) - Method in interface fr.inria.tea.ssme.Bounds
Sets the value of the 'Upper Bound' containment reference
setUpperBound(ExprSignal) - Method in interface fr.inria.tea.ssme.CaseInterval
Sets the value of the 'Upper Bound' containment reference
setUpperBound(ExprSignal) - Method in class fr.inria.tea.ssme.impl.ArrayIndexImpl
 
setUpperBound(ExprSignal) - Method in class fr.inria.tea.ssme.impl.BoundsImpl
 
setUpperBound(ExprSignal) - Method in class fr.inria.tea.ssme.impl.CaseIntervalImpl
 
setVCDVariableIntervalValue(VcdVariable, int, int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.ExportVCD
 
setVisibility(VisibilityKind) - Method in interface fr.inria.tea.ssme.ConstantsDeclaration
Sets the value of the 'Visibility' attribute
setVisibility(VisibilityKind) - Method in class fr.inria.tea.ssme.impl.ConstantsDeclarationImpl
 
setVisibility(VisibilityKind) - Method in class fr.inria.tea.ssme.impl.TypesDeclarationImpl
 
setVisibility(VisibilityKind) - Method in interface fr.inria.tea.ssme.TypesDeclaration
Sets the value of the 'Visibility' attribute
setVisibilityKind(VisibilityKind) - Method in class fr.inria.tea.ssme.impl.ProcessModelImpl
 
setVisibilityKind(VisibilityKind) - Method in interface fr.inria.tea.ssme.ProcessModel
Sets the value of the 'Visibility Kind' attribute
setVisible(boolean) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompModelWizard.SsmeCompModelWizardInitialObjectCreationPage
 
setVisible(boolean) - Method in class fr.inria.tea.ssme.presentation.SsmeModelWizard.SsmeModelWizardInitialObjectCreationPage
 
SHARED_VARIABLES_DECLARATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Shared Variables Declaration' class
SHARED_VARIABLES_DECLARATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SHARED_VARIABLES_DECLARATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SHARED_VARIABLES_DECLARATION__LIST_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Signal' containment reference list
SHARED_VARIABLES_DECLARATION__TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Type' containment reference
SHARED_VARIABLES_DECLARATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Shared Variables Declaration' class
SharedVariablesDeclaration - Interface in fr.inria.tea.ssme
A representation of the model object 'Shared Variables Declaration'
SharedVariablesDeclarationImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Shared Variables Declaration'
SharedVariablesDeclarationImpl() - Constructor for class fr.inria.tea.ssme.impl.SharedVariablesDeclarationImpl
 
SharedVariablesDeclarationItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SharedVariablesDeclaration object
SharedVariablesDeclarationItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SharedVariablesDeclarationItemProvider
This constructs an instance from a factory and a notifier
SharedVariablesDeclarationTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Shared Variables Declaration'
SharedVariablesDeclarationTest(String) - Constructor for class fr.inria.tea.ssme.tests.SharedVariablesDeclarationTest
Constructs a new Shared Variables Declaration test case with the given name
shiftedDispatch - Variable in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
shiftedDispatch - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Thread
 
shiftedStart - Variable in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
shiftedStart - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Thread
 
SHORT - Static variable in enum fr.inria.tea.ssme.OperatorKind
The 'Short' literal value
SHORT - Static variable in enum fr.inria.tea.ssme.SignalIntrinsicType
The 'Short' literal value
showDebugInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Dependency_Scheduling
 
showDebugInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.EDF_Scheduling
 
showDebugInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.RM_Scheduling
 
showDebugInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
showDebugInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
 
ShowIndexedSchedulingResultInConsole() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
showProgressInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Dependency_Scheduling
 
showProgressInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.EDF_Scheduling
 
showProgressInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.RM_Scheduling
 
showProgressInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
showProgressInfo(boolean, String) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
 
showSchedulingInfo(boolean, String, int) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.TimeAllocation
 
ShowSchedulingResultInConsole() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
SIG_NB_OPERATORS - Static variable in class fr.inria.tea.ssme.polychrony.SignalOperators
 
SIGALI - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
The 'Sigali' literal value
SigaliPrintExtraction(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
SIGNAL - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
The 'Signal' literal value
signal2SME(String, String) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
Deprecated.
signal2SME(long, String) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
signal2SSME(long, String) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
This method translates an abstract syntax tree corresponding to a Signal program into its SSME representation, according to the SSME meta-model.
signal2SSME(String, String) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
SIGNAL_ABSTRACTION - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
The 'Signal Abstraction' literal value
SIGNAL_BOOLEAN_TYPE - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Thread
 
SIGNAL_ELEMENT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signal Element' class
SIGNAL_ELEMENT__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SIGNAL_ELEMENT__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SIGNAL_ELEMENT_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Signal Element' class
SIGNAL_EVENT_TYPE - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Thread
 
SIGNAL_INITIAL_VALUE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
SIGNAL_INTRINSIC_TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signal Intrinsic Type' enum
SIGNAL_LIBRARY_PATH - Static variable in class fr.inria.tea.ssme.polychrony.preferences.SsmePreferenceConstants
 
SIGNAL_LIS - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
The 'Signal LIS' literal value
SIGNAL_NAMING - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signal Naming' class
SIGNAL_NAMING__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SIGNAL_NAMING__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SIGNAL_NAMING__IDENTIFIER - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Identifier' containment reference
SIGNAL_NAMING__INIT_VALUE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Init Value' containment reference
SIGNAL_NAMING_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Signal Naming' class
SIGNAL_REF_INCORRECT_REFERENCE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
SIGNAL_REF_NOT_NEEDED - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
 
SIGNAL_TRA - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
The 'Signal TRA' literal value
SIGNAL_UNIFICATIONS - Static variable in enum fr.inria.tea.ssme.compilation.FunctionalityKind
The 'Signal Unifications' literal value
SignalEditorConfiguration - Class in fr.inria.tea.ssme.texteditor
This class defines the configuration for the Signal textual editor
SignalEditorConfiguration() - Constructor for class fr.inria.tea.ssme.texteditor.SignalEditorConfiguration
 
SignalEditorScanner - Class in fr.inria.tea.ssme.texteditor
This class defines the Signal language Scanner for the Signal textual editor
SignalEditorScanner() - Constructor for class fr.inria.tea.ssme.texteditor.SignalEditorScanner
Constructor of Signal editor Scanner
SignalElement - Interface in fr.inria.tea.ssme
A representation of the model object 'Signal Element'
SignalElementImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Signal Element'
SignalElementImpl() - Constructor for class fr.inria.tea.ssme.impl.SignalElementImpl
 
SignalElementItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SignalElement object
SignalElementItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SignalElementItemProvider
This constructs an instance from a factory and a notifier
SignalElementTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Signal Element'
SignalElementTest(String) - Constructor for class fr.inria.tea.ssme.tests.SignalElementTest
Constructs a new Signal Element test case with the given name
SignalIntrinsicType - Enum in fr.inria.tea.ssme
A representation of the literals of the enumeration 'Signal Intrinsic Type', and utility methods for working with them
SignalNaming - Interface in fr.inria.tea.ssme
A representation of the model object 'Signal Naming'
SignalNamingImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Signal Naming'
SignalNamingImpl() - Constructor for class fr.inria.tea.ssme.impl.SignalNamingImpl
 
SignalNamingItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SignalNaming object
SignalNamingItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SignalNamingItemProvider
This constructs an instance from a factory and a notifier
SignalNamingTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Signal Naming'
SignalNamingTest(String) - Constructor for class fr.inria.tea.ssme.tests.SignalNamingTest
Constructs a new Signal Naming test case with the given name
SignalOperators - Class in fr.inria.tea.ssme.polychrony
 
SignalOperators() - Constructor for class fr.inria.tea.ssme.polychrony.SignalOperators
 
SignalParser - Class in fr.inria.tea.ssme.polychrony
This class contains methods to parse signal textual form to create an abstract syntax tree.
SignalParser() - Constructor for class fr.inria.tea.ssme.polychrony.SignalParser
 
Signals - Interface in fr.inria.tea.ssme
A representation of the model object 'Signals'
SIGNALS - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signals' class
SIGNALS__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SIGNALS__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SIGNALS__LIST_EXPR_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Expr Signal' containment reference
SIGNALS_DECLARATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signals Declaration' class
SIGNALS_DECLARATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SIGNALS_DECLARATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SIGNALS_DECLARATION__LIST_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Signal' containment reference list
SIGNALS_DECLARATION__TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Type' containment reference
SIGNALS_DECLARATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Signals Declaration' class
SIGNALS_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signals Definition' class
SIGNALS_DEFINITION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SIGNALS_DEFINITION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SIGNALS_DEFINITION__EXPR_SIGNAL_LEFT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal Left' containment reference
SIGNALS_DEFINITION__EXPR_SIGNAL_RIGHT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal Right' containment reference
SIGNALS_DEFINITION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Signals Definition' class
SIGNALS_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Signals' class
SIGNALS_PARTIAL_DEFAULT_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signals Partial Default Definition' class
SIGNALS_PARTIAL_DEFAULT_DEFINITION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SIGNALS_PARTIAL_DEFAULT_DEFINITION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SIGNALS_PARTIAL_DEFAULT_DEFINITION__EXPR_SIGNAL_LEFT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal Left' containment reference
SIGNALS_PARTIAL_DEFAULT_DEFINITION__EXPR_SIGNAL_RIGHT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal Right' containment reference
SIGNALS_PARTIAL_DEFAULT_DEFINITION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Signals Partial Default Definition' class
SIGNALS_PARTIAL_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signals Partial Definition' class
SIGNALS_PARTIAL_DEFINITION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
SIGNALS_PARTIAL_DEFINITION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
SIGNALS_PARTIAL_DEFINITION__EXPR_SIGNAL_LEFT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal Left' containment reference
SIGNALS_PARTIAL_DEFINITION__EXPR_SIGNAL_RIGHT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal Right' containment reference
SIGNALS_PARTIAL_DEFINITION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Signals Partial Definition' class
SignalsDeclaration - Interface in fr.inria.tea.ssme
A representation of the model object 'Signals Declaration'
SignalsDeclarationImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Signals Declaration'
SignalsDeclarationImpl() - Constructor for class fr.inria.tea.ssme.impl.SignalsDeclarationImpl
 
SignalsDeclarationItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SignalsDeclaration object
SignalsDeclarationItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SignalsDeclarationItemProvider
This constructs an instance from a factory and a notifier
SignalsDeclarationTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Signals Declaration'
SignalsDeclarationTest(String) - Constructor for class fr.inria.tea.ssme.tests.SignalsDeclarationTest
Constructs a new Signals Declaration test case with the given name
SignalsDefinition - Interface in fr.inria.tea.ssme
A representation of the model object 'Signals Definition'
SignalsDefinitionImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Signals Definition'
SignalsDefinitionImpl() - Constructor for class fr.inria.tea.ssme.impl.SignalsDefinitionImpl
 
SignalsDefinitionItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SignalsDefinition object
SignalsDefinitionItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SignalsDefinitionItemProvider
This constructs an instance from a factory and a notifier
SignalsDefinitionTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Signals Definition'
SignalsDefinitionTest(String) - Constructor for class fr.inria.tea.ssme.tests.SignalsDefinitionTest
Constructs a new Signals Definition test case with the given name
SignalsImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Signals'
SignalsImpl() - Constructor for class fr.inria.tea.ssme.impl.SignalsImpl
 
SignalsItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a Signals object
SignalsItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SignalsItemProvider
This constructs an instance from a factory and a notifier
SignalsPartialDefaultDefinition - Interface in fr.inria.tea.ssme
A representation of the model object 'Signals Partial Default Definition'
SignalsPartialDefaultDefinitionImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Signals Partial Default Definition'
SignalsPartialDefaultDefinitionImpl() - Constructor for class fr.inria.tea.ssme.impl.SignalsPartialDefaultDefinitionImpl
 
SignalsPartialDefaultDefinitionItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SignalsPartialDefaultDefinition object
SignalsPartialDefaultDefinitionItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SignalsPartialDefaultDefinitionItemProvider
This constructs an instance from a factory and a notifier
SignalsPartialDefaultDefinitionTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Signals Partial Default Definition'
SignalsPartialDefaultDefinitionTest(String) - Constructor for class fr.inria.tea.ssme.tests.SignalsPartialDefaultDefinitionTest
Constructs a new Signals Partial Default Definition test case with the given name
SignalsPartialDefinition - Interface in fr.inria.tea.ssme
A representation of the model object 'Signals Partial Definition'
SignalsPartialDefinitionImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Signals Partial Definition'
SignalsPartialDefinitionImpl() - Constructor for class fr.inria.tea.ssme.impl.SignalsPartialDefinitionImpl
 
SignalsPartialDefinitionItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a SignalsPartialDefinition object
SignalsPartialDefinitionItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.SignalsPartialDefinitionItemProvider
This constructs an instance from a factory and a notifier
SignalsPartialDefinitionTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Signals Partial Definition'
SignalsPartialDefinitionTest(String) - Constructor for class fr.inria.tea.ssme.tests.SignalsPartialDefinitionTest
Constructs a new Signals Partial Definition test case with the given name
SignalsTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Signals'
SignalsTest(String) - Constructor for class fr.inria.tea.ssme.tests.SignalsTest
Constructs a new Signals test case with the given name
SignalTextEditor - Class in fr.inria.tea.ssme.texteditor.editor
This class defines the Signal textual editor
SignalTextEditor() - Constructor for class fr.inria.tea.ssme.texteditor.editor.SignalTextEditor
 
SIGNALTOOLBOX_ROOT - Static variable in class fr.inria.tea.ssme.polychrony.preferences.SsmePreferenceConstants
 
signalTreeAPI - Class in fr.inria.tea.aadl2ssme.transformation.popup.actions
API to access/build SSME elements.
signalTreeAPI() - Constructor for class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Class constructor
SignalTreeBuilting - Class in fr.inria.tea.ssme.polychrony
This file contains all SignalTreeManager functions concerning the build of a Signal Tree.
SignalTreeBuilting() - Constructor for class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
SignalTreeComment - Class in fr.inria.tea.ssme.polychrony
This file contains all SignalTreeManager functions concerning the management of comments.
SignalTreeComment() - Constructor for class fr.inria.tea.ssme.polychrony.SignalTreeComment
 
SignalTreeExploring - Class in fr.inria.tea.ssme.polychrony
This file contains all SignalTreeManager functions concerning the exploration of a Signal Tree.
SignalTreeExploring() - Constructor for class fr.inria.tea.ssme.polychrony.SignalTreeExploring
 
SignalTreePrinter - Class in fr.inria.tea.ssme.polychrony
 
SignalTreePrinter() - Constructor for class fr.inria.tea.ssme.polychrony.SignalTreePrinter
 
SignalTreeTesting - Class in fr.inria.tea.ssme.polychrony
This file contains all SignalTreeManager functions for testing any node of the AST.
SignalTreeTesting() - Constructor for class fr.inria.tea.ssme.polychrony.SignalTreeTesting
 
SIZE_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
 
SME - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
 
SOLVING_REF_ERROR - Static variable in enum fr.inria.tea.ssme.polychrony.ExitStatus
 
SOURCE_FIELD - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
SOURCE_FIELD - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
 
splitDataStructure(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
splitDefaultDefinitions(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
srcThread - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Port
 
SSME - Static variable in enum fr.inria.tea.ssme.compilation.GeneratorKind
The 'Ssme' literal value
SSME_VERSION - Static variable in class fr.inria.tea.ssme.polychrony.EnvironmentConstants
 
SsmeActionBarContributor - Class in fr.inria.tea.ssme.presentation
This is the action bar contributor for the Ssme model editor
SsmeActionBarContributor() - Constructor for class fr.inria.tea.ssme.presentation.SsmeActionBarContributor
This creates an instance of the contributor
SsmeAdapterFactory - Class in fr.inria.tea.ssme.util
The Adapter Factory for the model.
SsmeAdapterFactory() - Constructor for class fr.inria.tea.ssme.util.SsmeAdapterFactory
Creates an instance of the adapter factory
SsmeAllTests - Class in fr.inria.tea.ssme.tests
A test suite for the 'Ssme' model
SsmeAllTests(String) - Constructor for class fr.inria.tea.ssme.tests.SsmeAllTests
 
SsmeCompActionBarContributor - Class in fr.inria.tea.ssme.compilation.presentation
This is the action bar contributor for the SsmeComp model editor
SsmeCompActionBarContributor() - Constructor for class fr.inria.tea.ssme.compilation.presentation.SsmeCompActionBarContributor
This creates an instance of the contributor
SsmeCompAdapterFactory - Class in fr.inria.tea.ssme.compilation.util
The Adapter Factory for the model.
SsmeCompAdapterFactory() - Constructor for class fr.inria.tea.ssme.compilation.util.SsmeCompAdapterFactory
Creates an instance of the adapter factory
SsmeCompEditor - Class in fr.inria.tea.ssme.compilation.presentation
This is an example of a SsmeComp model editor
SsmeCompEditor() - Constructor for class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
This creates a model editor
SsmeCompEditor.ReverseAdapterFactoryContentProvider - Class in fr.inria.tea.ssme.compilation.presentation
 
SsmeCompFactory - Interface in fr.inria.tea.ssme.compilation
The Factory for the model.
SsmeCompFactoryImpl - Class in fr.inria.tea.ssme.compilation.impl
An implementation of the model Factory
SsmeCompFactoryImpl() - Constructor for class fr.inria.tea.ssme.compilation.impl.SsmeCompFactoryImpl
Creates an instance of the factory
SsmeCompilationEditorPlugin - Class in fr.inria.tea.ssme.compilation.presentation
This is the central singleton for the SsmeCompilation editor plugin
SsmeCompilationEditorPlugin() - Constructor for class fr.inria.tea.ssme.compilation.presentation.SsmeCompilationEditorPlugin
Create the instance
SsmeCompilationEditorPlugin.Implementation - Class in fr.inria.tea.ssme.compilation.presentation
The actual implementation of the Eclipse Plugin
SsmeCompilationEditPlugin - Class in fr.inria.tea.ssme.compilation.provider
This is the central singleton for the SsmeCompilation edit plugin
SsmeCompilationEditPlugin() - Constructor for class fr.inria.tea.ssme.compilation.provider.SsmeCompilationEditPlugin
Create the instance
SsmeCompilationEditPlugin.Implementation - Class in fr.inria.tea.ssme.compilation.provider
The actual implementation of the Eclipse Plugin
SsmeCompItemProviderAdapterFactory - Class in fr.inria.tea.ssme.compilation.provider
This is the factory that is used to provide the interfaces needed to support Viewers.
SsmeCompItemProviderAdapterFactory() - Constructor for class fr.inria.tea.ssme.compilation.provider.SsmeCompItemProviderAdapterFactory
This constructs an instance
SsmeCompModelWizard - Class in fr.inria.tea.ssme.compilation.presentation
This is a simple wizard for creating a new model file
SsmeCompModelWizard() - Constructor for class fr.inria.tea.ssme.compilation.presentation.SsmeCompModelWizard
 
SsmeCompModelWizard.SsmeCompModelWizardInitialObjectCreationPage - Class in fr.inria.tea.ssme.compilation.presentation
This is the page where the type of object to create is selected
SsmeCompModelWizard.SsmeCompModelWizardNewFileCreationPage - Class in fr.inria.tea.ssme.compilation.presentation
This is the one page of the wizard
SsmeCompModelWizardInitialObjectCreationPage(String) - Constructor for class fr.inria.tea.ssme.compilation.presentation.SsmeCompModelWizard.SsmeCompModelWizardInitialObjectCreationPage
Pass in the selection
SsmeCompModelWizardNewFileCreationPage(String, IStructuredSelection) - Constructor for class fr.inria.tea.ssme.compilation.presentation.SsmeCompModelWizard.SsmeCompModelWizardNewFileCreationPage
Pass in the selection
SsmeCompPackage - Interface in fr.inria.tea.ssme.compilation
The Package for the model.
SsmeCompPackage.Literals - Interface in fr.inria.tea.ssme.compilation
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
The meta object id for the 'State Variable Value' class
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
The meta object id for the 'State Variables Declaration' class
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
This is the item provider adapter for a StateVariablesDeclaration object
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
This is the item provider adapter for a StateVariableValue object
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
The meta object id for the 'String Value' class
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 _ 
Skip navigation links