- I_Event - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- I_Event() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Event
-
- I_Process - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- I_Process() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Process
-
- I_Thread - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- I_Thread() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Thread
-
- I_ThreadInstance - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- I_ThreadInstance() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
-
- ID_MARKER - Static variable in class fr.inria.tea.ssme.polychrony.utils.PolychronyMarkerHelper
-
- Identifier - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Identifier'
- IDENTIFIER - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- IDENTIFIER__ATOM_STRING - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Atom String' attribute
- IDENTIFIER__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- IDENTIFIER__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- IDENTIFIER_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Identifier' class
- Identifier_GetStr(Identifier) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
-
Returns a string that represents an identifier
- IdentifierImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Identifier'
- IdentifierImpl() - Constructor for class fr.inria.tea.ssme.impl.IdentifierImpl
-
- IdentifierItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
Identifier
object
- IdentifierItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.IdentifierItemProvider
-
This constructs an instance from a factory and a notifier
- IdentifierKind - Enum in fr.inria.tea.ssme.polychrony
-
- IdentifierTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Identifier'
- IdentifierTest(String) - Constructor for class fr.inria.tea.ssme.tests.IdentifierTest
-
Constructs a new Identifier test case with the given name
- IDENTITY_EQUATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- IDENTITY_EQUATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- IDENTITY_EQUATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- IDENTITY_EQUATION__EXPR_SIGNAL_LEFT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal Left' containment reference
- IDENTITY_EQUATION__EXPR_SIGNAL_RIGHT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal Right' containment reference
- IDENTITY_EQUATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Identity Equation' class
- IdentityEquation - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Identity Equation'
- IdentityEquationImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Identity Equation'
- IdentityEquationImpl() - Constructor for class fr.inria.tea.ssme.impl.IdentityEquationImpl
-
- IdentityEquationItemProvider - Class in fr.inria.tea.ssme.provider
-
- IdentityEquationItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.IdentityEquationItemProvider
-
This constructs an instance from a factory and a notifier
- IdentityEquationTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Identity Equation'
- IdentityEquationTest(String) - Constructor for class fr.inria.tea.ssme.tests.IdentityEquationTest
-
Constructs a new Identity Equation test case with the given name
- IF - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'If' literal value
- IF_THEN_ELSE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- IF_THEN_ELSE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- IF_THEN_ELSE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- IF_THEN_ELSE__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- IF_THEN_ELSE__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- IF_THEN_ELSE__EXPR_SIGNAL3 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal3' containment reference
- IF_THEN_ELSE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'If Then Else' class
- IfThenElse - Interface in fr.inria.tea.ssme
-
A representation of the model object 'If Then Else'
- IFTHENELSE_CLOCK_RELATION - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- IFTHENELSE_TARGET - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- IfThenElseImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'If Then Else'
- IfThenElseImpl() - Constructor for class fr.inria.tea.ssme.impl.IfThenElseImpl
-
- IfThenElseItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
IfThenElse
object
- IfThenElseItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.IfThenElseItemProvider
-
This constructs an instance from a factory and a notifier
- IfThenElseTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'If Then Else'
- IfThenElseTest(String) - Constructor for class fr.inria.tea.ssme.tests.IfThenElseTest
-
Constructs a new If Then Else test case with the given name
- IGraph2Vhdl(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
-
- Implementation() - Constructor for class fr.inria.tea.ssme.compilation.presentation.SsmeCompilationEditorPlugin.Implementation
-
Creates an instance
- Implementation() - Constructor for class fr.inria.tea.ssme.compilation.provider.SsmeCompilationEditPlugin.Implementation
-
Creates an instance
- Implementation() - Constructor for class fr.inria.tea.ssme.presentation.SsmeEditorPlugin.Implementation
-
Creates an instance
- Implementation() - Constructor for class fr.inria.tea.ssme.provider.SsmeEditPlugin.Implementation
-
Creates an instance
- importDeclarations(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Inserts in a destination model a copy of all the local declarations of a source model.
- importDeclsFromTo(long, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
-
Adds the declaration of identifiers of a process to another process.
- INCORRECT_NAME - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- Index - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Index'
- index - Variable in class fr.inria.tea.ssme.polychrony.DeclarationValue
-
An index to indicate a son of the tree
- INDEX - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
Index
' class
- INDEX__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- INDEX__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- INDEX__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- INDEX__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- INDEX__EXPR_SIGNAL3 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal3' containment reference
- INDEX_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Index' class
- INDEX_FROM - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- INDEX_FROM_TO - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- INDEX_STEP - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- INDEX_TO - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- indexArray - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.VcdVariable
-
- IndexImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Index'
- IndexImpl() - Constructor for class fr.inria.tea.ssme.impl.IndexImpl
-
- IndexItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
Index
object
- IndexItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.IndexItemProvider
-
This constructs an instance from a factory and a notifier
- IndexTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Index'
- IndexTest(String) - Constructor for class fr.inria.tea.ssme.tests.IndexTest
-
Constructs a new Index test case with the given name
- INFO_SIGNALTOOLBOX_NOT_LOADED - Static variable in class fr.inria.tea.ssme.compilation.utils.popup.actions.CompilationUtils
-
- INFO_WAITED_VERSION - Static variable in class fr.inria.tea.ssme.compilation.utils.popup.actions.CompilationUtils
-
- init(IWorkbenchWindow) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
We will cache window object in order to be able to provide parent shell
for the message dialog.
- init() - Static method in class fr.inria.tea.ssme.compilation.impl.SsmeCompFactoryImpl
-
Creates the default factory implementation
- init() - Static method in class fr.inria.tea.ssme.compilation.impl.SsmeCompPackageImpl
-
Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
- init(IEditorSite, IEditorInput) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
This is called during startup
- init(IWorkbench, IStructuredSelection) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompModelWizard
-
This just records the information
- init() - Static method in class fr.inria.tea.ssme.impl.SsmeFactoryImpl
-
Creates the default factory implementation
- init() - Static method in class fr.inria.tea.ssme.impl.SsmePackageImpl
-
Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
- init(IWorkbench) - Method in class fr.inria.tea.ssme.polychrony.preferences.SsmePreferencePage
-
- init() - Method in class fr.inria.tea.ssme.polychrony.SignalParser
-
Creates and initializes the temporary file used by the compiler
- init() - Method in class fr.inria.tea.ssme.polychrony.SignalTreePrinter
-
- init(IEditorSite, IEditorInput) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
This is called during startup
- init(IWorkbench, IStructuredSelection) - Method in class fr.inria.tea.ssme.presentation.SsmeModelWizard
-
This just records the information
- INIT_ERROR - Static variable in enum fr.inria.tea.ssme.polychrony.ExitStatus
-
- initChar(char[]) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
- Initialize() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
- InitializeIProcess(boolean, boolean, boolean) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
- InitializeLMSTA() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
- initializePackageContents() - Method in class fr.inria.tea.ssme.compilation.impl.SsmeCompPackageImpl
-
Complete the initialization of the package and its meta-model.
- initializePackageContents() - Method in class fr.inria.tea.ssme.impl.SsmePackageImpl
-
Complete the initialization of the package and its meta-model.
- initializeSSMENodesList() - Method in class fr.inria.tea.ssme.polychrony.traceability.TreesInterface
-
Creation of the SME nodes list with all the nodes of the interface hashmap
- initialzeEvent - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.EventAlloList
-
- inPortList - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- INPUT - Static variable in enum fr.inria.tea.ssme.polychrony.IdentifierKind
-
- INPUT_PORT_CLOCK_RELATION_LINKS_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- INPUT_PORT_DATAFLOW_CONNECTIONS_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- INPUT_PORT_DATAFLOW_TARGET - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- INPUT_PORT_SOURCE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- INPUT_PORT_TARGET - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
-
- INPUT_SOURCE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- INPUT_TIME_PROPERTY_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- INPUT_TIME_REFERENCE_TIME_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- INPUT_TIME_REFERENCE_TIME_PROPERTY_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Property
-
- InputTime_Get_Offset1(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the (first) Offset field of a Input_Time property.
- InputTime_Get_Time1(PropertyAssociation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns the (first) Time field of a Input_Time property.
- insertLeft(int, long, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Inserts node
at the left of the i
-th son of listNode
.
- insertOrderedThreadInstance(ArrayList<I_ThreadInstance>, I_ThreadInstance) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Dependency_Scheduling
-
- insertRight(int, long, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Inserts node
at the right of the i
-th son of listNode
.
- INSTANCE - Static variable in class fr.inria.tea.ssme.compilation.presentation.SsmeCompilationEditorPlugin
-
Keep track of the singleton
- INSTANCE - Static variable in class fr.inria.tea.ssme.compilation.provider.SsmeCompilationEditPlugin
-
Keep track of the singleton
- INSTANCE - Static variable in class fr.inria.tea.ssme.polychrony.PKServices
-
- INSTANCE - Static variable in class fr.inria.tea.ssme.polychrony.utils.PolychronyMarkerHelper
-
- INSTANCE - Static variable in class fr.inria.tea.ssme.presentation.SsmeEditorPlugin
-
Keep track of the singleton
- INSTANCE - Static variable in class fr.inria.tea.ssme.provider.SsmeEditPlugin
-
Keep track of the singleton
- instanceNumber - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
-
- INTEGER - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Integer' literal value
- INTEGER - Static variable in enum fr.inria.tea.ssme.SignalIntrinsicType
-
The 'Integer' literal value
- IntegerLiteral_Get_AbsoluteFactor(IntegerLiteral, UnitLiteral) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get a IntegerLiteral x's AbsoluteFactor, corresponding to a target unit,
- IntegerLiteral_Get_Unit(IntegerLiteral) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the string unit of a IntegerLiteral x,
for example, get value ms of 2 ms
- IntegerLiteral_Get_Value(IntegerLiteral) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the string value of a IntegerLiteral x,
for example, get value 2 of 2 ms
- IntegerLiteral_Unit(IntegerLiteral) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the unit of a IntegerLiteral x
- IntegerLiteralRange_Get_MaxUnit(RangeValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the string unit of upper bound (IntegerLiteral) of a RangeValue x,
for example, get value ms of RangeValue 2 ms .. 5 ms
- IntegerLiteralRange_Get_MaxValue(RangeValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the string value of upper bound (IntegerLiteral) of a RangeValue x,
for example, get value 5 of RangeValue 2 ms .. 5 ms
- IntegerLiteralRange_Get_MinUnit(RangeValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the string unit of lower bound (IntegerLiteral) of a RangeValue x,
for example, get value ms of RangeValue 2 ms .. 5 ms
- IntegerLiteralRange_Get_MinValue(RangeValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Get the string value of lower bound (IntegerLiteral) of a RangeValue x,
for example, get value 2 of RangeValue 2 ms .. 5 ms
- InteractiveCompiling - Class in fr.inria.tea.ssme.compilation.utils.popup.actions
-
This class describes the interactive compilation feature
- InteractiveCompiling(CompilingMethods, long, IFile, GraphValue, CompilationUtils) - Constructor for class fr.inria.tea.ssme.compilation.utils.popup.actions.InteractiveCompiling
-
- INTERFACE_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- INTERFACE_DEFINITION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- INTERFACE_DEFINITION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- INTERFACE_DEFINITION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Interface Definition' class
- InterfaceDefinition - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Interface Definition'
- InterfaceDefinitionTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Interface Definition'
- InterfaceDefinitionTest(String) - Constructor for class fr.inria.tea.ssme.tests.InterfaceDefinitionTest
-
Constructs a new Interface Definition test case with the given name
- INTERNAL_ERROR - Static variable in enum fr.inria.tea.ssme.polychrony.ExitStatus
-
- IntervalAlloList - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- IntervalAlloList() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.IntervalAlloList
-
- intervalAlloList - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.PeriodicReleaseList
-
- INTERVALS_KIND - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- IntervalsKind - Enum in fr.inria.tea.ssme
-
A representation of the literals of the enumeration 'Intervals Kind',
and utility methods for working with them
- intOf(long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Get the atomic tree integer value
- IO_PROFILE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- IO_PROFILE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- IO_PROFILE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- IO_PROFILE__INPUTS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Inputs' containment reference list
- IO_PROFILE__OUTPUTS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Outputs' containment reference list
- IO_PROFILE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'IO Profile' class
- io_time - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.IO_TimeSpec
-
- IO_TimeSpec - Class in fr.inria.tea.aadl2ssme.scheduling.idstruct
-
- IO_TimeSpec() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.idstruct.IO_TimeSpec
-
- ioEventOverlap - Variable in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
- ioEventOverlap - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Thread
-
- IOProfile - Interface in fr.inria.tea.ssme
-
A representation of the model object 'IO Profile'
- IOProfileImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'IO Profile'
- IOProfileImpl() - Constructor for class fr.inria.tea.ssme.impl.IOProfileImpl
-
- IOProfileItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
IOProfile
object
- IOProfileItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.IOProfileItemProvider
-
This constructs an instance from a factory and a notifier
- IOProfileTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'IO Profile'
- IOProfileTest(String) - Constructor for class fr.inria.tea.ssme.tests.IOProfileTest
-
Constructs a new IO Profile test case with the given name
- ioTimePropList - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Port
-
- iPortIOTimeMSTAIndexList - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
-
- Is_BusAccessConnection(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Determine whether a access connection (pc) is bus access connection.
- Is_CalledSubprogram_Sub_Of_ComponentImpl(CalledSubprogram, ComponentImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a called subprogram call_sp is a subcomponent of component implementation ci
- Is_DataAccessConnection(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Determine whether a access connection (pc) is data access connection.
- Is_DataPortConnection(PortConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Determine whether a port connection (pc) is data port connection.
- Is_EventDataPortConnection(PortConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Determine whether a port connection (pc) is event data port connection.
- Is_EventPortConnection(PortConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Determine whether a port connection (pc) is event port connection.
- Is_PredefinedType(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
-
Returns whether str is a predefined type (in string)
- Is_SubprogramAccess_Remote(SubprogramAccess, ComponentType, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram access (sp_access) is remote.
- Is_SubprogramAccessConnection(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Determine whether a access connection (pc) is subprogram access connection.
- Is_SubprogramCall_Remote(SubprogramCall, BehavioredImplementation, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram call (sp_call) is a remote call.
- Is_SubprogramClassifier_Sub_Of_ComponentImpl(SubprogramClassifier, ComponentImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram calssifier sp is a subcomponent of a component implementation ci
- Is_SubprogramGroupAccessConnection(AccessConnection) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Determine whether a access connection (pc) is subprogram group access connection.
- Is_SubprogramImpl_Sub_Of_Any_Process(SubprogramImplementation, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram impl sp is a subcomponent of any process in AADL package aadlpkg
- Is_SubprogramImpl_Sub_Of_Any_Thread(SubprogramImplementation, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram impl sp is a subcomponent of any thread in AADL package aadlpkg
- Is_SubprogramImpl_Sub_Of_ComponentImpl(SubprogramImplementation, ComponentImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram implementation spi is a subcomponent of component implementation ci
- Is_SubprogramType_Sub_Of_Any_Process(SubprogramType, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram type spt is a subcomponent of any process in AADL package aadlpkg
- Is_SubprogramType_Sub_Of_Any_Thread(SubprogramType, AadlPackage) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram type spt is a subcomponent of any thread in AADL package aadlpkg
- Is_SubprogramType_Sub_Of_ComponentImpl(SubprogramType, ComponentImplementation) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a subprogram type spt is a subcomponent of component implementation ci
- isAction(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node of the AST represents an action model object.
- isAllocated - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Thread
-
- isAllocated - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
-
- isAperiodic - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- isBackground - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- isBodyTree(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node of the AST is the body of a model object.
- isConstantDecl(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node of the AST is a list of declaration of constants.
- isDirectPrecedencer(ArrayList<I_ThreadInstance>, I_ThreadInstance) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Dependency_Scheduling
-
- isDirectSuccessor(ArrayList<I_ThreadInstance>, I_ThreadInstance) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Dependency_Scheduling
-
- isDirty() - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
This is for implementing IEditorPart
and simply tests the command stack
- isDirty() - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
This is for implementing IEditorPart
and simply tests the command stack
- isDisplayWarnings() - Method in class fr.inria.tea.ssme.compilation.impl.ScenarioImpl
-
- isDisplayWarnings() - Method in interface fr.inria.tea.ssme.compilation.Scenario
-
Returns the value of the 'Display Warnings' attribute.
- isEffectiveParameter(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node of the AST is a list of effective parameters.
- isEmpty(long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Test if the list is empty
- isError() - Method in class fr.inria.tea.ssme.polychrony.traceability.SSMENode
-
Error boolean getter
- isExprProc(int) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the opValue
parameter is a Signal process expression operator
- isExternModel(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
is an extern model.
- isFactoryForType(Object) - Method in class fr.inria.tea.ssme.compilation.provider.SsmeCompItemProviderAdapterFactory
-
- isFactoryForType(Object) - Method in class fr.inria.tea.ssme.compilation.util.SsmeCompAdapterFactory
-
Returns whether this factory is applicable for the type of the object
- isFactoryForType(Object) - Method in class fr.inria.tea.ssme.provider.SsmeItemProviderAdapterFactory
-
- isFactoryForType(Object) - Method in class fr.inria.tea.ssme.util.SsmeAdapterFactory
-
Returns whether this factory is applicable for the type of the object
- isFunction(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents a function model object.
- isHybrid - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- isIdentEqual(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if node1
and node2
are based on the same identifier
- isImplicitTypeTree(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents an implicit type object.
- isInDeclList(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if an identifier idNode
is in the list of declarations decListNode
.
- isInputOutput(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents an input/output specification object.
- isInputPort(Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
- isInterface(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node of the AST represents an interface
- isList(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node of the AST represents a list of objects
- isLocalDeclList(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
denotes a local declaration list.
- isModel(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents a model(process, node, function, action) object.
- isModelInList(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Retrieve the model declaration in a list of declarations.
- isModelWithoutParameters(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents a model object node without parameters.
- isModule(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node is a module.
- isModulesList(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node is a list of modules.
- isNameOfModel(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node is the name of a model.
- isNilTree(long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
-
Testing nil tree.
- isNode(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents a node model object.
- isOk() - Method in class fr.inria.tea.ssme.polychrony.GraphValue
-
- isOperatorModel(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node is an operator model.
- isOutputPort(Port) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
- isParamAtype(long, int) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the no
-th element of the list of parameters is a type.
- isParametersOfModel(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if node
is the parameter list declaration of a process.
- isPeriodic - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- isPragmas(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if node
is a list of pragmas or a nil tree.
- isPrivateDeclaration(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents a private model(process, node, function, action) object.
- isProcess(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
represents a process model object.
- isSaveAsAllowed() - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
-
This always returns true because it is not currently supported
- isSaveAsAllowed() - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
-
This always returns true because it is not currently supported
- isSchedulable() - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
-
- isSignalDecl(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if node
is a list of declaration of signals.
- isSignalToolBoxLoaded() - Method in class fr.inria.tea.ssme.polychrony.PKServices
-
- isSpec(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node
is an external graph specification object.
- isSporadic - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- IsSubsystem(SystemImplementation, ArrayList<SystemImplementation>) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
-
Returns whether a systemImpl (s) is a subsystem of any systemImpl in the list (l_sys)
- isTimed - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.L_Thread
-
- isTreeEq(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the two nodes are equals.
- isTypeDecl(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if node
is a list of declaration of types.
- isUnaryExprProc(int) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the opNum
parameter is a unary expression
- isUndefinedTree(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeTesting
-
Test if the node is an undefined object.
- ITEM_TYPE_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
-
- ITERATE_INPUT_PORT - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
-
- Iteration - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Iteration'
- ITERATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ITERATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ITERATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ITERATION__ELEM_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Elem Definition' containment reference
- ITERATION__PARTIAL_ITERATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Partial Iteration' containment reference list
- ITERATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Iteration' class
- ITERATION_OF_PROCESSES - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ITERATION_OF_PROCESSES__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ITERATION_OF_PROCESSES__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ITERATION_OF_PROCESSES_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Iteration Of Processes' class
- ITERATION_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ITERATION_PROCESS__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ITERATION_PROCESS__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ITERATION_PROCESS__EXPR_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Process' containment reference
- ITERATION_PROCESS__ITERATION_INDEX - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Iteration Index' containment reference
- ITERATION_PROCESS__ITERATION_INIT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Iteration Init' containment reference
- ITERATION_PROCESS_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Iteration Process' class
- IterationImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Iteration'
- IterationImpl() - Constructor for class fr.inria.tea.ssme.impl.IterationImpl
-
- IterationItemProvider - Class in fr.inria.tea.ssme.provider
-
This is the item provider adapter for a
Iteration
object
- IterationItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.IterationItemProvider
-
This constructs an instance from a factory and a notifier
- IterationOfProcesses - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Iteration Of Processes'
- IterationOfProcessesTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Iteration Of Processes'
- IterationOfProcessesTest(String) - Constructor for class fr.inria.tea.ssme.tests.IterationOfProcessesTest
-
Constructs a new Iteration Of Processes test case with the given name
- IterationProcess - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Iteration Process'
- IterationProcessImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Iteration Process'
- IterationProcessImpl() - Constructor for class fr.inria.tea.ssme.impl.IterationProcessImpl
-
- IterationProcessItemProvider - Class in fr.inria.tea.ssme.provider
-
- IterationProcessItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.IterationProcessItemProvider
-
This constructs an instance from a factory and a notifier
- IterationProcessTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Iteration Process'
- IterationProcessTest(String) - Constructor for class fr.inria.tea.ssme.tests.IterationProcessTest
-
Constructs a new Iteration Process test case with the given name
- IterationTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Iteration'
- IterationTest(String) - Constructor for class fr.inria.tea.ssme.tests.IterationTest
-
Constructs a new Iteration test case with the given name
- ITERATIVE_ENUMERATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ITERATIVE_ENUMERATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ITERATIVE_ENUMERATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ITERATIVE_ENUMERATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Iterative Enumeration' class
- IterativeEnumeration - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Iterative Enumeration'
- IterativeEnumerationTest - Class in fr.inria.tea.ssme.tests
-
A test case for the model object 'Iterative Enumeration'
- IterativeEnumerationTest(String) - Constructor for class fr.inria.tea.ssme.tests.IterativeEnumerationTest
-
Constructs a new Iterative Enumeration test case with the given name
- iThread - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_ThreadInstance
-
- iTI - Variable in class fr.inria.tea.aadl2ssme.scheduling.idstruct.I_Event
-