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 _ 

I

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
The meta object id for the 'Identifier' class
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
The meta object id for the 'Identity Equation' class
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
This is the item provider adapter for a IdentityEquation object
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
The meta object id for the 'If Then Else' class
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
The meta object id for the 'Interface Definition' class
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
The meta object id for the 'Intervals Kind' enum
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
The meta object id for the 'IO Profile' class
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
The meta object id for the 'Iteration' class
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
The meta object id for the 'Iteration Of Processes' class
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
The meta object id for the 'Iteration Process' class
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
This is the item provider adapter for a IterationProcess object
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
The meta object id for the 'Iterative Enumeration' class
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
 
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