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 _ 

M

main(String[]) - Static method in class fr.inria.tea.ssme.tests.AfterTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.AndTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ArrayElementsEnumerationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ArrayElemTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ArrayIndexTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ArrayProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ArrayProductTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ArrayRestructurationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ArrayTypeTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.AssertProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.AssertSignalTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.BoundsTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CartesianProductTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CaseBranchTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CaseEnumerationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CaseIntervalTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CaseProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CellTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockDifferenceTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockEqualityTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockExclusiveRelationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockInfRelationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockProductTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockSupRelationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ClockUnionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CommentTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ComplexConstructorTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CompositionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConcatenationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConditionedDependenceTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantCharacterTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantDescriptionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantDoubleRealTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantEnumTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantIntegerTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantLogicalTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantRealTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantsDeclarationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConstantStringTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ControlledProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ConversionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.CountTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.DefaultTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.DelayTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.DescriptionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.DivTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ElemDefinitionEnumerationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ElemDefinitionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.EnumerationTypeTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.EqualEqualTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.EqualTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ExternalAttributeTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ExternalGraphTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ExternalReferencesTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.FieldAccessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.FormalProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.FromTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.GraphSpecificationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.GreaterOrEqualTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.GreaterTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.IdentifierTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.IdentityEquationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.IfThenElseTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.IndexTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.IOProfileTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.IterationProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.IterationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.LabelledProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.LabelsTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.LessLessEqualTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.LessOrEqualTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.LessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ListExprSignalTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ListFlowsTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ListModuleTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.MaskingTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.MinusTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ModuleDescriptionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ModulesImportTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ModuleTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ModuloTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.NotEqualTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.NotTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.NullClockTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.NullProcTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.OperatorModelTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.OperatorTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.OrTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.PartialIterationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.PlusTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.PowerTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.PragmaTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.PredefinedTypeTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.PreviousIterationRefTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ProcessAttributeTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ProcessCallTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ProcessExpansionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ProcessModelInterfaceTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ProcessModelTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ProcessTypeTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.ProductTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.RecoverTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.RepetitionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.RestrictionProcessTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SequentialDefinitionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SharedVariablesDeclarationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SignalElementTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SignalNamingTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SignalsDeclarationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SignalsDefinitionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SignalsPartialDefaultDefinitionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SignalsPartialDefinitionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SignalsTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SsmeAllTests
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SsmeExample
Load all the argument file paths or URIs as instances of the model
main(String[]) - Static method in class fr.inria.tea.ssme.tests.SsmeTests
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.StateVariablesDeclarationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.StateVariableValueTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.StringValueTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.TranspositionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.TupleTypeTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.TypeDescriptionTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.TypeMorphismTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.TypesDeclarationTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.UnaryMinusTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.UnaryPlusTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.UnaryWhenTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.UnconditionedDependencesTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.VarTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.WhenTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.WindowTest
 
main(String[]) - Static method in class fr.inria.tea.ssme.tests.XorTest
 
MainSchedulingAlgorithm(SchedulingPolicy) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
makeAST() - Method in class fr.inria.tea.ssme.impl.AfterImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.AndImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ArrayElementsEnumerationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ArrayElemImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ArrayIndexImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ArrayProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ArrayProductImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ArrayRestructurationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ArrayTypeImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.AssertProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.AssertSignalImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.BoundsImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CartesianProductImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CaseBranchImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CaseEnumerationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CaseIntervalImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CaseProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CellImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockDifferenceImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockEqualityImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockExclusiveRelationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockInfRelationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockProductImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockSupRelationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ClockUnionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CommentImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ComplexConstructorImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CompositionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConcatenationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConditionedDependenceImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantCharacterImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantDescriptionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantDoubleRealImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantEnumImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantIntegerImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantLogicalImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantRealImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantsDeclarationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConstantStringImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ControlledProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ConversionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.CountImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.DefaultImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.DelayImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.DescriptionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.DivImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ElemDefinitionEnumerationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ElemDefinitionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.EnumerationTypeImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.EqualEqualImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.EqualImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ExternalAttributeImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ExternalGraphImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ExternalReferencesImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.FieldAccessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.FormalProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.FromImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.GraphSpecificationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.GreaterImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.GreaterOrEqualImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.IdentifierImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.IdentityEquationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.IfThenElseImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.IndexImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.IOProfileImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.IterationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.IterationProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.LabelledProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.LabelsImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.LessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.LessLessEqualImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.LessOrEqualImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ListExprSignalImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ListFlowsImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ListModuleImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.MaskingImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.MinusImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ModuleDescriptionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ModuleImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ModulesImportImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ModuloImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.NotEqualImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.NotImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.NullClockImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.NullProcImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.OperatorImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.OperatorModelImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.OrImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.PartialIterationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.PlusImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.PowerImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.PragmaImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.PredefinedTypeImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.PreviousIterationRefImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ProcessAttributeImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ProcessCallImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ProcessExpansionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ProcessModelImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ProcessModelInterfaceImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ProcessTypeImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.ProductImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.RecoverImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.RepetitionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.RestrictionProcessImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SequentialDefinitionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SharedVariablesDeclarationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SignalElementImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SignalNamingImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SignalsDeclarationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SignalsDefinitionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SignalsImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SignalsPartialDefaultDefinitionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.SignalsPartialDefinitionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.StateVariablesDeclarationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.StateVariableValueImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.StringValueImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.TranspositionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.TupleTypeImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.TypeDescriptionImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.TypeMorphismImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.TypesDeclarationImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.UnaryMinusImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.UnaryPlusImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.UnaryWhenImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.UnconditionedDependencesImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.VarImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.WhenImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.WindowImpl
 
makeAST() - Method in class fr.inria.tea.ssme.impl.XorImpl
 
makeAST() - Method in interface fr.inria.tea.ssme.SignalElement
 
makeAttrInt(long, int, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Assignes an integer attribute to a tree node.
makeAttrNtrees(long, int, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Assignes a ntrees attribute to a tree node.
makeAttrPtr(long, int, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Assignes a pointer attribute to a tree node.
makeAttrStr(long, int, String) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Assignes a string attribute to a tree node.
makeBinary(int, long, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
makeEmptyList(int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
makeList(int, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
makeNullary(int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
makePragmaEnonce(String) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
makeQuaternary(int, long, long, long, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
makeTernary(int, long, long, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
makeUnary(int, long) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
 
MapToSignalAffineClocks - Class in fr.inria.tea.aadl2ssme.scheduling.actions
 
MapToSignalAffineClocks() - Constructor for class fr.inria.tea.aadl2ssme.scheduling.actions.MapToSignalAffineClocks
 
MapToSignalAffineClocks(L_MSTA, I_Process) - Method in class fr.inria.tea.aadl2ssme.scheduling.actions.Scheduling
 
Masking - Interface in fr.inria.tea.ssme
A representation of the model object 'Masking'
MASKING - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Masking' class
MASKING__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
MASKING__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
MASKING__EXPR_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Process' containment reference
MASKING__LIST_IDENTIFIER - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Identifier' containment reference list
MASKING_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Masking' class
MaskingImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Masking'
MaskingImpl() - Constructor for class fr.inria.tea.ssme.impl.MaskingImpl
 
MaskingItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a Masking object
MaskingItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.MaskingItemProvider
This constructs an instance from a factory and a notifier
MaskingTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Masking'
MaskingTest(String) - Constructor for class fr.inria.tea.ssme.tests.MaskingTest
Constructs a new Masking test case with the given name
maskSignals(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Modifies the body of the process model by adding masking for some signals.
memoryFinalize() - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Tree Memory finalizing.
memoryInitialize() - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Global Tree Memory initializing.
memoryOptimizations(long, boolean) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
memoryReset() - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Reseting tree memory (user tree area and registers).
memoryRestoreIndex() - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Sets the memory tree index (free area) to the index stored by the previous call to ntreesMemoryStoreIndex method.
memoryStoreIndex() - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Store current index of the memory tree (free area).
Memorysubcomponent_GetClassifier(MemorySubcomponent) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the MemoryClassifier of a MemorySubcomponent (m)
menuAboutToShow(IMenuManager) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompActionBarContributor
This populates the pop-up menu before it appears
menuAboutToShow(IMenuManager) - Method in class fr.inria.tea.ssme.compilation.presentation.SsmeCompEditor
This implements IMenuListener to help fill the context menus with contributions from the Edit menu
menuAboutToShow(IMenuManager) - Method in class fr.inria.tea.ssme.presentation.SsmeActionBarContributor
This populates the pop-up menu before it appears
menuAboutToShow(IMenuManager) - Method in class fr.inria.tea.ssme.presentation.SsmeEditor
This implements IMenuListener to help fill the context menus with contributions from the Edit menu
mergeDeclarations(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Appends the declarations of a source process model to the declarations of a destination one.
mergeExprProc(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Adds the body of a source process model to the body of a destination one.
mergeLocalDecl(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Inserts the declarations of a source list of declarations in a destination list of declarations.
mergeProcesses(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Appends the body (resp. declarations) of a source process model to the body (resp. declarations) of a destination one .
Minus - Interface in fr.inria.tea.ssme
A representation of the model object 'Minus'
MINUS - Static variable in enum fr.inria.tea.ssme.OperatorKind
The 'Minus' literal value
MINUS - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Minus' class
MINUS__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
MINUS__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
MINUS__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal1' containment reference
MINUS__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal2' containment reference
MINUS_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Minus' class
MinusImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Minus'
MinusImpl() - Constructor for class fr.inria.tea.ssme.impl.MinusImpl
 
MinusItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a Minus object
MinusItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.MinusItemProvider
This constructs an instance from a factory and a notifier
MinusTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Minus'
MinusTest(String) - Constructor for class fr.inria.tea.ssme.tests.MinusTest
Constructs a new Minus test case with the given name
miscOptions - Class in fr.inria.tea.ssme.compilation.utils.popup.actions
This class describes the general compilation feature
miscOptions() - Constructor for class fr.inria.tea.ssme.compilation.utils.popup.actions.miscOptions
 
mkAtomNilTree() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkBooleanDecl(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkCompleteModelCall(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Returns a process call to a model.
mkConfinedExpression(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Signal Grammar: (| exprNode |) where declNode end;
mkConstantDeclaration(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkDclType(long, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkDecl(String, Type) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkDecl(String, String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkDependenceTree(long, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Returns a dependence expression: fromNode -> toNode fromNode -> toNode when clockNode
mkEmptyBody() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkEmptyConfinedExpr() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkEmptyString() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkEmptyTree() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkEquation(int, ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Makes an abstract tree denoting an equation.
mkEquation(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkEquation(boolean, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Builds an equation.
mkEventDecl(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkExternalImplLanguage(LanguageCode) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkExternalString(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkIdentifier(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns a identifier from a string (str)
mkImplicitSignalDeclaration(String) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkIntegerDecl(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkInterface(long, long, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Builds an interface with parameters, input/output signals, and a specification area.
mkLocalDeclaration(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Creates and returns an empty local declarations block of a model.
mkModelCall(String) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkModule(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkNOTIMPLEMENTED() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkNullaryTree(int) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Makes atomic node with op as operator.
mkPartialEquation(ExprSignal, ExprSignal) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkPragma(String, long, String) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Creates a pragma without associated objects.
mkPragmasList(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Adds an empty pragma area for a model.
mkPredefinedType(int) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
Returns a predefined type based on the integer value
mkProcess(long, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Makes a process.
mkReferenceToModel(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkReferenceToModelWithParameter(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkSelectedPragma(long, String) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
In this case, vt is a copy of value.
mkSignalDeclaration(long, long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkSkeletonExternProcess(long, long, ModelKind) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Makes the skeleton of an external SIGNAL process.
mkSkeletonInterface() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkSkeletonModel(long, ModelKind) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Making Signal process/module skeleton.
mkStringDecl(String) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.signalTreeAPI
 
mkStringFromStr(String) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkSynchroIni(long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
mkUndefinedExternalValue() - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
 
ModalPropertyValue_Get_Value(ModalPropertyValue) - Method in class fr.inria.tea.aadl2ssme.transformation.popup.actions.AADLCoLAPI
Get the name of a property
MODEL_INSTANCE_INPUT_SIGNALS_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
MODEL_INSTANCE_NO_REFERRED_INTERFACE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
MODEL_INSTANCE_NO_REFERRED_PARAMETER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
MODEL_INSTANCE_OUTPUT_SIGNALS_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
MODEL_INSTANCE_PARAMETER_ATTRIBUTE - Static variable in class fr.inria.tea.ssme.polychrony.traceability.WarningMessages
 
MODEL_INSTANCE_PARAMETERS_NUMBER - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
MODEL_KIND - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Model Kind' enum
MODEL_REF_NO_REFERRED_MODEL_DECLARATION - Static variable in class fr.inria.tea.ssme.polychrony.traceability.ErrorMessages
 
ModelKind - Enum in fr.inria.tea.ssme
A representation of the literals of the enumeration 'Model Kind', and utility methods for working with them
ModelKind - Enum in fr.inria.tea.ssme.polychrony
 
modifCharVal(long, char) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Modifies the value assigned to an atomic char tree node.
modifIntVal(long, int) - Method in class fr.inria.tea.ssme.polychrony.PKTrees
Modifies the value assigned to an atomic integer tree node.
Module - Interface in fr.inria.tea.ssme
A representation of the model object 'Module'
MODULE - Static variable in enum fr.inria.tea.ssme.polychrony.ModelKind
 
MODULE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Module' class
MODULE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
MODULE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
MODULE__IDENTIFIER - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Identifier' containment reference
MODULE__MODULE_DESCRIPTION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Module Description' containment reference
MODULE_DESCRIPTION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Module Description' class
MODULE_DESCRIPTION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
MODULE_DESCRIPTION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
MODULE_DESCRIPTION__LIST_DECLARATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Declaration' containment reference list
MODULE_DESCRIPTION__LIST_PRAGMA - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Pragma' containment reference list
MODULE_DESCRIPTION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Module Description' class
MODULE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Module' class
ModuleDescription - Interface in fr.inria.tea.ssme
A representation of the model object 'Module Description'
ModuleDescriptionImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Module Description'
ModuleDescriptionImpl() - Constructor for class fr.inria.tea.ssme.impl.ModuleDescriptionImpl
 
ModuleDescriptionItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a ModuleDescription object
ModuleDescriptionItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ModuleDescriptionItemProvider
This constructs an instance from a factory and a notifier
ModuleDescriptionTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Module Description'
ModuleDescriptionTest(String) - Constructor for class fr.inria.tea.ssme.tests.ModuleDescriptionTest
Constructs a new Module Description test case with the given name
ModuleImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Module'
ModuleImpl() - Constructor for class fr.inria.tea.ssme.impl.ModuleImpl
 
ModuleItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a Module object
ModuleItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ModuleItemProvider
This constructs an instance from a factory and a notifier
MODULES_IMPORT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Modules Import' class
MODULES_IMPORT__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
MODULES_IMPORT__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
MODULES_IMPORT__LIST_MODULE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'List Module' containment reference list
MODULES_IMPORT_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Modules Import' class
ModulesImport - Interface in fr.inria.tea.ssme
A representation of the model object 'Modules Import'
ModulesImportImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Modules Import'
ModulesImportImpl() - Constructor for class fr.inria.tea.ssme.impl.ModulesImportImpl
 
ModulesImportItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a ModulesImport object
ModulesImportItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ModulesImportItemProvider
This constructs an instance from a factory and a notifier
ModulesImportTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Modules Import'
ModulesImportTest(String) - Constructor for class fr.inria.tea.ssme.tests.ModulesImportTest
Constructs a new Modules Import test case with the given name
ModuleTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Module'
ModuleTest(String) - Constructor for class fr.inria.tea.ssme.tests.ModuleTest
Constructs a new Module test case with the given name
Modulo - Interface in fr.inria.tea.ssme
A representation of the model object 'Modulo'
MODULO - Static variable in enum fr.inria.tea.ssme.OperatorKind
The 'Modulo' literal value
MODULO - Static variable in interface fr.inria.tea.ssme.SsmePackage
The meta object id for the 'Modulo' class
MODULO__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Post' containment reference list
MODULO__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Comment Pre' containment reference list
MODULO__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal1' containment reference
MODULO__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
The feature id for the 'Expr Signal2' containment reference
MODULO_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
The number of structural features of the 'Modulo' class
ModuloImpl - Class in fr.inria.tea.ssme.impl
An implementation of the model object 'Modulo'
ModuloImpl() - Constructor for class fr.inria.tea.ssme.impl.ModuloImpl
 
ModuloItemProvider - Class in fr.inria.tea.ssme.provider
This is the item provider adapter for a Modulo object
ModuloItemProvider(AdapterFactory) - Constructor for class fr.inria.tea.ssme.provider.ModuloItemProvider
This constructs an instance from a factory and a notifier
ModuloTest - Class in fr.inria.tea.ssme.tests
A test case for the model object 'Modulo'
ModuloTest(String) - Constructor for class fr.inria.tea.ssme.tests.ModuloTest
Constructs a new Modulo test case with the given name
moveAttribute(long, long, int) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
Moves the rank-th attribute of nodeSrc to nodeDst.
moveIn2OutDelays(long) - Static method in class fr.inria.tea.ssme.polychrony.PKServices
 
moveModelsFrom(long, long) - Method in class fr.inria.tea.ssme.polychrony.SignalTreeBuilting
It imports to a model (p) the processes declared in the tree b.
MSG_TYPE_ID - Static variable in class fr.inria.tea.aadl2ssme.transformation.popup.actions.ASME2SSME_Translate_Port
 
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