Package | Description |
---|---|
fr.inria.tea.ssme.tests |
Modifier and Type | Class and Description |
---|---|
class |
AfterTest
A test case for the model object 'After'
|
class |
AndTest
A test case for the model object 'And'
|
class |
ArrayElementsEnumerationTest
A test case for the model object 'Array Elements Enumeration'
|
class |
ArrayElemTest
A test case for the model object 'Array Elem'
|
class |
ArrayIndexTest
A test case for the model object 'Array Index'
|
class |
ArrayProcessTest
A test case for the model object 'Array Process'
|
class |
ArrayProductTest
A test case for the model object 'Array Product'
|
class |
ArrayRestructurationTest
A test case for the model object 'Array Restructuration'
|
class |
ArrayTypeTest
A test case for the model object 'Array Type'
|
class |
AssertProcessTest
A test case for the model object 'Assert Process'
|
class |
AssertSignalTest
A test case for the model object 'Assert Signal'
|
class |
BinaryOperatorsTest
A test case for the model object 'Binary Operators'
|
class |
BoundsTest
A test case for the model object 'Bounds'
|
class |
CartesianProductTest
A test case for the model object 'Cartesian Product'
|
class |
CaseBranchTest
A test case for the model object 'Case Branch'
|
class |
CaseEnumerationTest
A test case for the model object 'Case Enumeration'
|
class |
CaseExprEnumerationTest
A test case for the model object 'Case Expr Enumeration'
|
class |
CaseIntervalTest
A test case for the model object 'Case Interval'
|
class |
CaseProcessTest
A test case for the model object 'Case Process'
|
class |
CellTest
A test case for the model object 'Cell'
|
class |
ClockDifferenceTest
A test case for the model object 'Clock Difference'
|
class |
ClockEqualityTest
A test case for the model object 'Clock Equality'
|
class |
ClockExclusiveRelationTest
A test case for the model object 'Clock Exclusive Relation'
|
class |
ClockInfRelationTest
A test case for the model object 'Clock Inf Relation'
|
class |
ClockProductTest
A test case for the model object 'Clock Product'
|
class |
ClockSupRelationTest
A test case for the model object 'Clock Sup Relation'
|
class |
ClockTest
A test case for the model object 'Clock'
|
class |
ClockUnionTest
A test case for the model object 'Clock Union'
|
class |
CommentTest
A test case for the model object 'Comment'
|
class |
ComplexConstructorTest
A test case for the model object 'Complex Constructor'
|
class |
CompositionTest
A test case for the model object 'Composition'
|
class |
ConcatenationTest
A test case for the model object 'Concatenation'
|
class |
ConditionedDependenceTest
A test case for the model object 'Conditioned Dependence'
|
class |
ConstantCharacterTest
A test case for the model object 'Constant Character'
|
class |
ConstantDefinitionTest
A test case for the model object 'Constant Definition'
|
class |
ConstantDescriptionTest
A test case for the model object 'Constant Description'
|
class |
ConstantDescriptionValueTest
A test case for the model object 'Constant Description Value'
|
class |
ConstantDoubleRealTest
A test case for the model object 'Constant Double Real'
|
class |
ConstantEnumTest
A test case for the model object 'Constant Enum'
|
class |
ConstantIntegerTest
A test case for the model object 'Constant Integer'
|
class |
ConstantLogicalTest
A test case for the model object 'Constant Logical'
|
class |
ConstantRealTest
A test case for the model object 'Constant Real'
|
class |
ConstantsDeclarationTest
A test case for the model object 'Constants Declaration'
|
class |
ConstantStringTest
A test case for the model object 'Constant String'
|
class |
ConstantTest
A test case for the model object 'Constant'
|
class |
ControlledProcessTest
A test case for the model object 'Controlled Process'
|
class |
ConversionTest
A test case for the model object 'Conversion'
|
class |
CountTest
A test case for the model object 'Count'
|
class |
DeclarationTest
A test case for the model object 'Declaration'
|
class |
DefaultTest
A test case for the model object 'Default'
|
class |
DelayTest
A test case for the model object 'Delay'
|
class |
DependencesTest
A test case for the model object 'Dependences'
|
class |
DescribedTypeTest
A test case for the model object 'Described Type'
|
class |
DescriptionTest
A test case for the model object 'Description'
|
class |
DivTest
A test case for the model object 'Div'
|
class |
ElemDefinitionEnumerationTest
A test case for the model object 'Elem Definition Enumeration'
|
class |
ElemDefinitionTest
A test case for the model object 'Elem Definition'
|
class |
EnumerationTypeTest
A test case for the model object 'Enumeration Type'
|
class |
EqualEqualTest
A test case for the model object 'Equal Equal'
|
class |
EqualTest
A test case for the model object 'Equal'
|
class |
ExprParamTest
A test case for the model object 'Expr Param'
|
class |
ExprProcessTest
A test case for the model object 'Expr Process'
|
class |
ExprSignalTest
A test case for the model object 'Expr Signal'
|
class |
ExternalAttributeTest
A test case for the model object 'External Attribute'
|
class |
ExternalGraphTest
A test case for the model object 'External Graph'
|
class |
ExternalReferencesTest
A test case for the model object 'External References'
|
class |
FieldAccessTest
A test case for the model object 'Field Access'
|
class |
FormalProcessTest
A test case for the model object 'Formal Process'
|
class |
FromTest
A test case for the model object 'From'
|
class |
GraphSpecificationTest
A test case for the model object 'Graph Specification'
|
class |
GreaterOrEqualTest
A test case for the model object 'Greater Or Equal'
|
class |
GreaterTest
A test case for the model object 'Greater'
|
class |
IdentifierTest
A test case for the model object 'Identifier'
|
class |
IdentityEquationTest
A test case for the model object 'Identity Equation'
|
class |
IfThenElseTest
A test case for the model object 'If Then Else'
|
class |
IndexTest
A test case for the model object 'Index'
|
class |
InterfaceDefinitionTest
A test case for the model object 'Interface Definition'
|
class |
IOProfileTest
A test case for the model object 'IO Profile'
|
class |
IterationOfProcessesTest
A test case for the model object 'Iteration Of Processes'
|
class |
IterationProcessTest
A test case for the model object 'Iteration Process'
|
class |
IterationTest
A test case for the model object 'Iteration'
|
class |
IterativeEnumerationTest
A test case for the model object 'Iterative Enumeration'
|
class |
LabelledProcessTest
A test case for the model object 'Labelled Process'
|
class |
LabelsTest
A test case for the model object 'Labels'
|
class |
LessLessEqualTest
A test case for the model object 'Less Less Equal'
|
class |
LessOrEqualTest
A test case for the model object 'Less Or Equal'
|
class |
LessTest
A test case for the model object 'Less'
|
class |
ListExprSignalTest
A test case for the model object 'List Expr Signal'
|
class |
ListFlowsTest
A test case for the model object 'List Flows'
|
class |
ListModuleTest
A test case for the model object 'List Module'
|
class |
MaskingTest
A test case for the model object 'Masking'
|
class |
MinusTest
A test case for the model object 'Minus'
|
class |
ModuleDescriptionTest
A test case for the model object 'Module Description'
|
class |
ModulesImportTest
A test case for the model object 'Modules Import'
|
class |
ModuleTest
A test case for the model object 'Module'
|
class |
ModuloTest
A test case for the model object 'Modulo'
|
class |
NotEqualTest
A test case for the model object 'Not Equal'
|
class |
NotTest
A test case for the model object 'Not'
|
class |
NullaryOperatorsTest
A test case for the model object 'Nullary Operators'
|
class |
NullClockTest
A test case for the model object 'Null Clock'
|
class |
NullProcTest
A test case for the model object 'Null Proc'
|
class |
OperatorIdentifierTest
A test case for the model object 'Operator Identifier'
|
class |
OperatorModelTest
A test case for the model object 'Operator Model'
|
class |
OperatorTest
A test case for the model object 'Operator'
|
class |
OrTest
A test case for the model object 'Or'
|
class |
PartialArrayDefinitionTest
A test case for the model object 'Partial Array Definition'
|
class |
PartialIterationTest
A test case for the model object 'Partial Iteration'
|
class |
PlusTest
A test case for the model object 'Plus'
|
class |
PowerTest
A test case for the model object 'Power'
|
class |
PragmaTest
A test case for the model object 'Pragma'
|
class |
PredefinedTypeTest
A test case for the model object 'Predefined Type'
|
class |
PreviousIterationRefTest
A test case for the model object 'Previous Iteration Ref'
|
class |
ProcessAttributeTest
A test case for the model object 'Process Attribute'
|
class |
ProcessBodyTest
A test case for the model object 'Process Body'
|
class |
ProcessCallOrAssertTest
A test case for the model object 'Process Call Or Assert'
|
class |
ProcessCallTest
A test case for the model object 'Process Call'
|
class |
ProcessDeclarationTest
A test case for the model object 'Process Declaration'
|
class |
ProcessExpansionTest
A test case for the model object 'Process Expansion'
|
class |
ProcessInstanceTest
A test case for the model object 'Process Instance'
|
class |
ProcessModelInterfaceTest
A test case for the model object 'Process Model Interface'
|
class |
ProcessModelTest
A test case for the model object 'Process Model'
|
class |
ProcessTypeTest
A test case for the model object 'Process Type'
|
class |
ProductTest
A test case for the model object 'Product'
|
class |
RecoverTest
A test case for the model object 'Recover'
|
class |
ReferenceProcessTest
A test case for the model object 'Reference Process'
|
class |
RepetitionTest
A test case for the model object 'Repetition'
|
class |
RestrictionProcessTest
A test case for the model object 'Restriction Process'
|
class |
RootModelTest
A test case for the model object 'Root Model'
|
class |
SequentialDefinitionTest
A test case for the model object 'Sequential Definition'
|
class |
SharedVariablesDeclarationTest
A test case for the model object 'Shared Variables Declaration'
|
class |
SignalNamingTest
A test case for the model object 'Signal Naming'
|
class |
SignalsDeclarationTest
A test case for the model object 'Signals Declaration'
|
class |
SignalsDefinitionTest
A test case for the model object 'Signals Definition'
|
class |
SignalsPartialDefaultDefinitionTest
A test case for the model object 'Signals Partial Default Definition'
|
class |
SignalsPartialDefinitionTest
A test case for the model object 'Signals Partial Definition'
|
class |
SignalsTest
A test case for the model object 'Signals'
|
class |
StateVariablesDeclarationTest
A test case for the model object 'State Variables Declaration'
|
class |
StateVariableValueTest
A test case for the model object 'State Variable Value'
|
class |
StringValueTest
A test case for the model object 'String Value'
|
class |
TernaryOperatorsTest
A test case for the model object 'Ternary Operators'
|
class |
TranspositionTest
A test case for the model object 'Transposition'
|
class |
TupleTypeTest
A test case for the model object 'Tuple Type'
|
class |
TypeDefinitionTest
A test case for the model object 'Type Definition'
|
class |
TypeDescriptionTest
A test case for the model object 'Type Description'
|
class |
TypeDescriptionValueTest
A test case for the model object 'Type Description Value'
|
class |
TypeMorphismTest
A test case for the model object 'Type Morphism'
|
class |
TypesDeclarationTest
A test case for the model object 'Types Declaration'
|
class |
TypesOrSignalsDeclarationTest
A test case for the model object 'Types Or Signals Declaration'
|
class |
TypeTest
A test case for the model object 'Type'
|
class |
UnaryMinusTest
A test case for the model object 'Unary Minus'
|
class |
UnaryOperatorsTest
A test case for the model object 'Unary Operators'
|
class |
UnaryPlusTest
A test case for the model object 'Unary Plus'
|
class |
UnaryWhenTest
A test case for the model object 'Unary When'
|
class |
UnconditionedDependencesTest
A test case for the model object 'Unconditioned Dependences'
|
class |
VarTest
A test case for the model object 'Var'
|
class |
WhenTest
A test case for the model object 'When'
|
class |
WindowTest
A test case for the model object 'Window'
|
class |
XorTest
A test case for the model object 'Xor'
|