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

S

SAFE - Static variable in enum fr.inria.tea.ssme.ProcessAttributeKind
The 'Safe' literal value
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
 
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
 
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
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
 
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(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(Description) - Method in interface fr.inria.tea.ssme.ProcessModel
Sets the value of the 'Description' containment reference
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
 
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(ExternalGraph) - Method in interface fr.inria.tea.ssme.ProcessModelInterface
Sets the value of the 'External Graph' containment reference
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
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
 
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
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
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
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
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
 
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
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
 
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
 
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
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
 
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
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_INTRINSIC_TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Signal Intrinsic Type' enum
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
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
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
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
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
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
 
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
 
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
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
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
 
STRUCT - Static variable in enum fr.inria.tea.ssme.TypeKind
The 'Struct' literal value
A B C D E F G I L M N O P R S T U V W X 
Skip navigation links