| Name | Status | Type | Time(s) |
| testvalid_001_simpleUML_MM_behavior | Success | | 2.246 |
| testvalid_002_inheritanceWithAspectAndGenerics | Success | | 0.062 |
| testvalid_003_ClassSubTyping_1 | Success | | 0.022 |
| testvalid_004_ClassSubTypingWithGenerics | Success | | 0.059 |
| testvalid_005_ClassSubTypingWithGenerics2 | Failure | TYPE-CHECKER : Type mismatch, test::io::generics::Generic<kermeta::standard::Integer> does not conform to required type : test::io::generics::Base. TYPE-CHECKER : test::io::generics::ClassSubTypingWithGenericsTest.mainTest TYPE-CHECKER : Invalid cast, test::io::generics::Generic<kermeta::standard::Integer> is not a supertype of required type : test::io::generics::Base.
junit.framework.AssertionFailedError: TYPE-CHECKER : Type mismatch, test::io::generics::Generic does not conform to required type : test::io::generics::Base.
TYPE-CHECKER : test::io::generics::ClassSubTypingWithGenericsTest.mainTest TYPE-CHECKER : Invalid cast, test::io::generics::Generic is not a supertype of required type : test::io::generics::Base.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:466)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_005_ClassSubTypingWithGenerics2(JunitTestSuite.java:87)
| 0.025 |
| testvalid_021_basic_fsm_type | Success | | 0.022 |
| testvalid_021_composite_fsm_type | Success | | 0.016 |
| testvalid_021_finalstates_fsm_type | Success | | 0.109 |
| testvalid_021_fsm_quicktest | Success | | 1.136 |
| testvalid_021_mandstart_fsm_type | Success | | 0.001 |
| testvalid_021_minimization | Success | | 0.001 |
| testvalid_021_multstart_fsm_type | Success | | 0.001 |
| testvalid_022_mt_multiplicity | Success | | 0.030 |
| testvalid_022_mt_multiplicity_valid_tests | Failure | Type mt_multiplicity::m0_1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_1T' does not match model type 'm0T': ambiguous match for required class 'A'. Type mt_multiplicity::m0T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0T' does not match model type 'm0T': ambiguous match for required class 'A'. Type mt_multiplicity::m1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm1T' does not match model type 'm0T': ambiguous match for required class 'A'. Type mt_multiplicity::m0_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_nT' does not match model type 'm0T': ambiguous match for required class 'A'. Type mt_multiplicity::m0_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_2T' does not match model type 'm0T': ambiguous match for required class 'A'. Type mt_multiplicity::m1_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm1_nT' does not match model type 'm0T': ambiguous match for required class 'A'. Type mt_multiplicity::m1_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm1_2T' does not match model type 'm0T': ambiguous match for required class 'A'. Type mt_multiplicity::m0_3T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_3T' does not match model type 'm0T': ambiguous match for required class 'A'.
junit.framework.AssertionFailedError: Type mt_multiplicity::m0_1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_1T' does not match model type 'm0T': ambiguous match for required class 'A'.
Type mt_multiplicity::m0T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0T' does not match model type 'm0T': ambiguous match for required class 'A'.
Type mt_multiplicity::m1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm1T' does not match model type 'm0T': ambiguous match for required class 'A'.
Type mt_multiplicity::m0_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_nT' does not match model type 'm0T': ambiguous match for required class 'A'.
Type mt_multiplicity::m0_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_2T' does not match model type 'm0T': ambiguous match for required class 'A'.
Type mt_multiplicity::m1_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm1_nT' does not match model type 'm0T': ambiguous match for required class 'A'.
Type mt_multiplicity::m1_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm1_2T' does not match model type 'm0T': ambiguous match for required class 'A'.
Type mt_multiplicity::m0_3T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_3T' does not match model type 'm0T': ambiguous match for required class 'A'.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:466)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_022_mt_multiplicity_valid_tests(JunitTestSuite.java:123)
| 0.282 |
| testvalid_023_mt_att_ref | Success | | 0.010 |
| testvalid_023_mt_att_ref_valid_tests | Success | | 0.022 |
| testvalid_024_mt_property_order | Success | | 0.018 |
| testvalid_024_mt_property_order_valid_tests | Success | | 0.062 |
| testvalid_025_weaving_in_kermeta_aspect1 | Success | | 0.038 |
| testvalid_025_weaving_in_kermeta_aspect8 | Success | | 0.010 |
| testvalid_026_weaving_in_kermeta_mixed_base_aspect | Success | | 0.014 |
| testvalid_027_weaving_in_kermeta_aspect1 | Success | | 0.010 |
| testvalid_027_weaving_in_kermeta_base | Success | | 0.005 |
| testvalid_028_testValidCastOnCollection | Success | | 0.010 |
| testvalid_029_testGenericTypeAsParameter1 | Success | | 0.005 |
| testvalid_029_testGenericTypeAsParameter2 | Failure | Type C : kermeta::standard::String is not a conformant type binding for the variable C : kermeta::standard::String.
junit.framework.AssertionFailedError: Type C : kermeta::standard::String is not a conformant type binding for the variable C : kermeta::standard::String.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:466)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_029_testGenericTypeAsParameter2(JunitTestSuite.java:171)
| 0.007 |
| testvalid_030_requireEcoreUsingGenerics | Success | | 0.126 |
| testvalid_031_testGenericTypeAsReturnParameterAndSelf1 | Success | | 0.007 |
| testvalid_031_testGenericTypeAsReturnParameterAndSelf2 | Failure | TYPE-CHECKER : Type mismatch, testGenericTypeAsReturnParameter2::Test<IN, IN> does not conform to required type : testGenericTypeAsReturnParameter2::Test<IN>.
junit.framework.AssertionFailedError: TYPE-CHECKER : Type mismatch, testGenericTypeAsReturnParameter2::Test does not conform to required type : testGenericTypeAsReturnParameter2::Test.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:466)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_031_testGenericTypeAsReturnParameterAndSelf2(JunitTestSuite.java:183)
| 0.086 |
| testvalid_031_testGenericTypeAsReturnParameterAndSelf3 | Success | | 0.006 |
| testvalid_031_testGenericTypeAsReturnParameterAndSelf4 | Failure | TYPE-CHECKER : Type mismatch, testGenericTypeAsReturnParameter4::Test<IN, IN> does not conform to required type : testGenericTypeAsReturnParameter4::Test<IN>. TYPE-CHECKER : Type mismatch, testGenericTypeAsReturnParameter4::Test<IN, IN, IN, IN> does not conform to required type : testGenericTypeAsReturnParameter4::Test<IN>.
junit.framework.AssertionFailedError: TYPE-CHECKER : Type mismatch, testGenericTypeAsReturnParameter4::Test does not conform to required type : testGenericTypeAsReturnParameter4::Test.
TYPE-CHECKER : Type mismatch, testGenericTypeAsReturnParameter4::Test does not conform to required type : testGenericTypeAsReturnParameter4::Test.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:466)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_031_testGenericTypeAsReturnParameterAndSelf4(JunitTestSuite.java:191)
| 0.008 |
| testvalid_032_classNameScopeMultipackage | Failure | TYPE-CHECKER : Type mismatch, tests::A::C does not conform to required type : tests::B::C.
junit.framework.AssertionFailedError: TYPE-CHECKER : Type mismatch, tests::A::C does not conform to required type : tests::B::C.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:466)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_032_classNameScopeMultipackage(JunitTestSuite.java:195)
| 0.008 |
| testvalid_033_testLiteralParenthesis | Failure | In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/typechecher_tests/valid/033_testLiteralParenthesis.kmt : Parameters can only be associated to a call expression.
junit.framework.AssertionFailedError: In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/typechecher_tests/valid/033_testLiteralParenthesis.kmt : Parameters can only be associated to a call expression.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:459)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_033_testLiteralParenthesis(JunitTestSuite.java:199)
| 0.008 |
| testvalid_AliasAndFunctions | Success | | 0.021 |
| testvalid_AllocationUsingVariable_Alias | Success | | 0.012 |
| testvalid_basic_fsm_modeltype | Success | | 0.008 |
| testvalid_Class_new | Success | | 0.010 |
| testvalid_ClassSubTypingWithGenericOperations | Success | | 0.033 |
| testvalid_DerivedProperties | Success | | 0.015 |
| testvalid_Enum | Success | | 0.028 |
| testvalid_GenericOperationCall | Success | | 0.025 |
| testvalid_GenericsAndFunctions | Success | | 0.031 |
| testvalid_GenericsWithSupertypes | Success | | 0.114 |
| testvalid_GenericVisitor | Success | | 0.021 |
| testvalid_ModelTypeOperations | Success | | 0.036 |
| testvalid_ModelTypesTemp | Success | | 0.133 |
| testvalid_ObjectAndVoid | Success | | 0.015 |
| testvalid_SimpleCtrlStructs | Success | | 0.023 |
| testvalid_SimpleFunctions | Success | | 0.045 |
| testvalid_SimpleOperationCall | Success | | 0.118 |
| testvalid_test_clone | Success | | 0.016 |
| testvalid_testModelTypesStateMachines | Success | | 0.043 |
| testvalid_VirtualTypeInheritance | Failure | TYPE-CHECKER : Type of argument 0 mismatch, expecting MT::Visitor [virtual of virtualTypeInheritance_test::base::Visitor], found virtualTypeInheritance_test::BaseEval<MT : virtualTypeInheritance_test::baseT>. TYPE-CHECKER : cannot resolve feature evaluate in type kermeta::language::structure::Class.
junit.framework.AssertionFailedError: TYPE-CHECKER : Type of argument 0 mismatch, expecting MT::Visitor [virtual of virtualTypeInheritance_test::base::Visitor], found virtualTypeInheritance_test::BaseEval.
TYPE-CHECKER : cannot resolve feature evaluate in type kermeta::language::structure::Class.
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:466)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_VirtualTypeInheritance(JunitTestSuite.java:279)
| 0.027 |
| testinvalid_002_GenericsWithSupertypes | Success | | 0.115 |
| testinvalid_005_several_superoperations | Success | | 0.005 |
| testinvalid_013_kermetaSignature | Success | | 0.072 |
| testinvalid_014_scopevisibility | Success | | 0.016 |
| testinvalid_021_fsm_mustfail | Success | | 0.155 |
| testinvalid_022_mt_multiplicity_invalid_tests | Success | | 0.283 |
| testinvalid_023_mt_att_ref_invalid_tests | Success | | 0.011 |
| testinvalid_024_mt_property_order_invalid_tests | Success | | 0.246 |
| testinvalid_026_assignmenterror | Success | | 0.005 |
| testinvalid_028_testInvalidCastOnCollection | Failure | All operations must have at least one error or warning. Type error not found in operations : testAssignCollectionOfStringToCollectionOfObject testCastCollectionOfObjectToCollectionOfB
junit.framework.AssertionFailedError: All operations must have at least one error or warning. Type error not found in operations : testAssignCollectionOfStringToCollectionOfObject testCastCollectionOfObjectToCollectionOfB
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:495)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_028_testInvalidCastOnCollection(JunitTestSuite.java:319)
| 0.010 |
| testinvalid_029_namingPropertyOperationConflict | Failure | All operations must have at least one error or warning. Type error not found in operations : testOperation
junit.framework.AssertionFailedError: All operations must have at least one error or warning. Type error not found in operations : testOperation
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:495)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_029_namingPropertyOperationConflict(JunitTestSuite.java:323)
| 0.004 |
| testinvalid_1_ClassSubTyping_1 | Success | | 0.007 |
| testinvalid_2_ClassSubTypingWithGenerics | Success | | 0.011 |
| testinvalid_5_failtestExternPackageCall | Success | | 0.003 |
| testinvalid_Class_new | Success | | 0.003 |
| testinvalid_ClassSubTypingWithGenericOperations | Success | | 0.007 |
| testinvalid_CollectionsAttributeReferenceAssignment | Success | | 0.008 |
| testinvalid_Enum | Success | | 0.108 |
| testinvalid_GenericOperationCall | Success | | 0.013 |
| testinvalid_genericOperationDefinition_001 | Success | | 0.004 |
| testinvalid_genericOperationDefinition_002 | Success | | 0.004 |
| testinvalid_GenericsAndFunctions | Failure | All operations must have at least one error or warning. Type error not found in operations : test2
junit.framework.AssertionFailedError: All operations must have at least one error or warning. Type error not found in operations : test2
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:495)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_GenericsAndFunctions(JunitTestSuite.java:367)
| 0.011 |
| testinvalid_GenericsWithSupertypes | Success | | 0.008 |
| testinvalid_ModelTypeOperations | Success | | 0.031 |
| testinvalid_ObjectAndVoid | Success | | 0.006 |
| testinvalid_parserError01 | Success | | 0.003 |
| testinvalid_parserError02 | Success | | 0.002 |
| testinvalid_parserError03 | Success | | 0.002 |
| testinvalid_parserError04 | Failure | kermeta unit has no error or warning during type checking
junit.framework.AssertionFailedError: kermeta unit has no error or warning during type checking
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:500)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError04(JunitTestSuite.java:395)
| 0.002 |
| testinvalid_parserError05 | Success | | 0.002 |
| testinvalid_parserError07 | Failure | kermeta unit has no error or warning during type checking
junit.framework.AssertionFailedError: kermeta unit has no error or warning during type checking
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:500)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError07(JunitTestSuite.java:403)
| 0.002 |
| testinvalid_parserError08 | Failure | kermeta unit has no error or warning during type checking
junit.framework.AssertionFailedError: kermeta unit has no error or warning during type checking
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:500)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError08(JunitTestSuite.java:407)
| 0.003 |
| testinvalid_parserError09 | Success | | 0.002 |
| testinvalid_parserError10 | Success | | 0.002 |
| testinvalid_parserError11 | Success | | 0.103 |
| testinvalid_parserError12 | Failure | kermeta unit has no error or warning during type checking
junit.framework.AssertionFailedError: kermeta unit has no error or warning during type checking
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:500)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError12(JunitTestSuite.java:423)
| 0.003 |
| testinvalid_SimpleCtrlStructs | Success | | 0.010 |
| testinvalid_SimpleFunctions | Success | | 0.032 |
| testinvalid_SimpleOperationCall | Success | | 0.008 |
| testinvalid_test_clone | Success | | 0.008 |