Unit Test Results

Build date : @BUILD.DATE@
File generated at 2008-09-24T20:08:08+02:00
Associated log		Designed for use with JUnit and Ant.

All Failures

ClassNameStatusTypeTime(s)
EmfTestSuitesimpleLoadFromDynamicInstance::SimpleLoader.testBasicSimpleLoadFromCompositeModelFailurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 314829] assertion number 1 failed: didn't find the 7 objects in the model, found 0 Trace: [simpleLoadFromDynamicInstance::SimpleLoader : 314347].assertWithMsg file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 203, in '[simpleLoadFromDynamicInstance::SimpleLoader : 314347].assertTrueWithMsg' ( assertTrueWithMsg(myModel.contents.size.equals(7), (("didn't find the 7 objects in the model, found ") + (myModel.contents.size.toString))) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 200, in '[simpleLoadFromDynamicInstance::SimpleLoader : 314347].testBasicSimpleLoadFromCompositeModel' ( operation testBasicSimpleLoadFromCompositeModel() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 314829]
assertion number 1 failed: didn't find the 7 objects in the model, found 0
Trace:

[simpleLoadFromDynamicInstance::SimpleLoader : 314347].assertWithMsg
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 203, in '[simpleLoadFromDynamicInstance::SimpleLoader : 314347].assertTrueWithMsg' ( assertTrueWithMsg(myModel.contents.size.equals(7), (("didn't find the 7 objects in the model, found ") + (myModel.contents.size.toString))) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 200, in '[simpleLoadFromDynamicInstance::SimpleLoader : 314347].testBasicSimpleLoadFromCompositeModel' ( operation testBasicSimpleLoadFromCompositeModel() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.269
EmfTestSuitesimpleLoadFromDynamicInstance::SimpleLoader.testBasicSimpleLoadFromFinalStatesModelFailurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 315881] assertion number 1 failed: didn't find the 7 objects in the model, found 0 Trace: [simpleLoadFromDynamicInstance::SimpleLoader : 315388].assertWithMsg file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 221, in '[simpleLoadFromDynamicInstance::SimpleLoader : 315388].assertTrueWithMsg' ( assertTrueWithMsg(myModel.contents.size.equals(7), (("didn't find the 7 objects in the model, found ") + (myModel.contents.size.toString))) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 218, in '[simpleLoadFromDynamicInstance::SimpleLoader : 315388].testBasicSimpleLoadFromFinalStatesModel' ( operation testBasicSimpleLoadFromFinalStatesModel() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 315881]
assertion number 1 failed: didn't find the 7 objects in the model, found 0
Trace:

[simpleLoadFromDynamicInstance::SimpleLoader : 315388].assertWithMsg
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 221, in '[simpleLoadFromDynamicInstance::SimpleLoader : 315388].assertTrueWithMsg' ( assertTrueWithMsg(myModel.contents.size.equals(7), (("didn't find the 7 objects in the model, found ") + (myModel.contents.size.toString))) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/emf_testcases/kermeta/055_MT_FSM_simpleLoadFromDynamicInstance.main.kmt', line 218, in '[simpleLoadFromDynamicInstance::SimpleLoader : 315388].testBasicSimpleLoadFromFinalStatesModel' ( operation testBasicSimpleLoadFromFinalStatesModel() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.545
InterpreterTestSuitetestEnum::TestEnum.testReflect2Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 76912] assertion number 2 failed Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/022_testEnum.main.kmt', line 151, in '[testEnum::TestEnum : 76618].assert' ( assert(false) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/022_testEnum.main.kmt', line 145, in '[testEnum::TestEnum : 76618].testReflect2' ( operation testReflect2() : kermeta::standard::~Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 76912]
assertion number 2 failed
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/022_testEnum.main.kmt', line 151, in '[testEnum::TestEnum : 76618].assert' ( assert(false) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/022_testEnum.main.kmt', line 145, in '[testEnum::TestEnum : 76618].testReflect2' ( operation testReflect2() : kermeta::standard::~Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.233
InterpreterTestSuitetestFreezeOnNewClass::Test.test_parametrizedClassFaultlyFailurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 232320] assertion number 1 failed Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/059_testFreezeOnNewClass.main.kmt', line 88, in '[testFreezeOnNewClass::Test : 232150].assert' ( assert(is_OK.equals(false)) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/059_testFreezeOnNewClass.main.kmt', line 60, in '[testFreezeOnNewClass::Test : 232150].test_parametrizedClassFaultly' ( operation test_parametrizedClassFaultly() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 232320]
assertion number 1 failed
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/059_testFreezeOnNewClass.main.kmt', line 88, in '[testFreezeOnNewClass::Test : 232150].assert' ( assert(is_OK.equals(false)) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/059_testFreezeOnNewClass.main.kmt', line 60, in '[testFreezeOnNewClass::Test : 232150].test_parametrizedClassFaultly' ( operation test_parametrizedClassFaultly() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.896
InterpreterTestSuiteObject::TestIsInstance.testIsInstanceOf4Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 236057] assertion number 2 failed Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/062_testIsInstanceOf.main.kmt', line 57, in '[Object::TestIsInstance : 235970].assert' ( assert(e.isInstanceOf(Object::A<kermeta::standard::String>).~not) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/062_testIsInstanceOf.main.kmt', line 54, in '[Object::TestIsInstance : 235970].testIsInstanceOf4' ( operation testIsInstanceOf4() : kermeta::standard::Boolean is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 236057]
assertion number 2 failed
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/062_testIsInstanceOf.main.kmt', line 57, in '[Object::TestIsInstance : 235970].assert' ( assert(e.isInstanceOf(Object::A).~not) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/062_testIsInstanceOf.main.kmt', line 54, in '[Object::TestIsInstance : 235970].testIsInstanceOf4' ( operation testIsInstanceOf4() : kermeta::standard::Boolean is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.468
InterpreterTestSuiteObject::TestAsType.testAsType4Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 239645] assertion number 2 failed Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/063_testAsType.main.kmt', line 72, in '[Object::TestAsType : 239543].assert' ( assert(false) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/063_testAsType.main.kmt', line 63, in '[Object::TestAsType : 239543].testAsType4' ( operation testAsType4() : kermeta::standard::Boolean is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 239645]
assertion number 2 failed
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/063_testAsType.main.kmt', line 72, in '[Object::TestAsType : 239543].assert' ( assert(false) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/063_testAsType.main.kmt', line 63, in '[Object::TestAsType : 239543].testAsType4' ( operation testAsType4() : kermeta::standard::Boolean is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.478
InterpreterTestSuiteObject::TestHasSubtype.testHasSubtype2Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 249004] assertion number 1 failed Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 45, in '[Object::TestHasSubtype : 248920].assert' ( assert(Object::C.isSuperTypeOf(Object::D<Object::C>)) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 44, in '[Object::TestHasSubtype : 248920].testHasSubtype2' ( operation testHasSubtype2() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 249004]
assertion number 1 failed
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 45, in '[Object::TestHasSubtype : 248920].assert' ( assert(Object::C.isSuperTypeOf(Object::D)) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 44, in '[Object::TestHasSubtype : 248920].testHasSubtype2' ( operation testHasSubtype2() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.490
InterpreterTestSuiteObject::TestHasSubtype.testHasSubtype3Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 249592] assertion number 1 failed Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 49, in '[Object::TestHasSubtype : 249508].assert' ( assert(Object::C.isSuperTypeOf(Object::D<kermeta::standard::String>)) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 48, in '[Object::TestHasSubtype : 249508].testHasSubtype3' ( operation testHasSubtype3() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 249592]
assertion number 1 failed
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 49, in '[Object::TestHasSubtype : 249508].assert' ( assert(Object::C.isSuperTypeOf(Object::D)) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 48, in '[Object::TestHasSubtype : 249508].testHasSubtype3' ( operation testHasSubtype3() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.564
InterpreterTestSuiteObject::TestHasSubtype.testPrimitiveHasSubtype2Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 251373] assertion number 1 failed: Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 64, in '[Object::TestHasSubtype : 251293].assertWithMsg' ( assertWithMsg(false, "Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt") ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 63, in '[Object::TestHasSubtype : 251293].testPrimitiveHasSubtype2' ( operation testPrimitiveHasSubtype2() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 251373]
assertion number 1 failed: Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 64, in '[Object::TestHasSubtype : 251293].assertWithMsg' ( assertWithMsg(false, "Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt") )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 63, in '[Object::TestHasSubtype : 251293].testPrimitiveHasSubtype2' ( operation testPrimitiveHasSubtype2() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.491
InterpreterTestSuiteObject::TestHasSubtype.testPrimitiveHasSubtype4Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 252553] assertion number 1 failed: Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 75, in '[Object::TestHasSubtype : 252473].assertWithMsg' ( assertWithMsg(false, "Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt") ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 74, in '[Object::TestHasSubtype : 252473].testPrimitiveHasSubtype4' ( operation testPrimitiveHasSubtype4() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 252553]
assertion number 1 failed: Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 75, in '[Object::TestHasSubtype : 252473].assertWithMsg' ( assertWithMsg(false, "Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt") )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 74, in '[Object::TestHasSubtype : 252473].testPrimitiveHasSubtype4' ( operation testPrimitiveHasSubtype4() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.492
InterpreterTestSuiteObject::TestHasSubtype.testPrimitiveHasSubtype6Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 253733] assertion number 1 failed: Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt Trace: file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 87, in '[Object::TestHasSubtype : 253653].assertWithMsg' ( assertWithMsg(false, "Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt") ) file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 86, in '[Object::TestHasSubtype : 253653].testPrimitiveHasSubtype6' ( operation testPrimitiveHasSubtype6() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 253733]
assertion number 1 failed: Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt
Trace:

file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 87, in '[Object::TestHasSubtype : 253653].assertWithMsg' ( assertWithMsg(false, "Test disabled because it doesn't typecheck correctly, see test in io : testPrimitiveType2.kmt") )
file 'platform:/plugin/fr.irisa.triskell.kermeta.tests/test/interpreter/kmt_testcases/066_testHasSubType.main.kmt', line 86, in '[Object::TestHasSubtype : 253653].testPrimitiveHasSubtype6' ( operation testPrimitiveHasSubtype6() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
1.048
JunitTestSuitetestinvalid_005_undeterministic_several_superoperations_01FailureLooking for a constraint error or direct warning but none found

junit.framework.AssertionFailedError: Looking for a constraint error or direct warning but none found
at kermeta_io.constraintchecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:446)
at kermeta_io.constraintchecker_test.JunitTestSuite.testinvalid_005_undeterministic_several_superoperations_01(JunitTestSuite.java:201)
0.017
JunitTestSuitetestecore_003_UML2Failurenull

junit.framework.AssertionFailedError: null
at kermeta_io.roundtrip_test.JunitTestSuite.assertFilesEquality(JunitTestSuite.java:312)
at kermeta_io.roundtrip_test.JunitTestSuite.testecoreFile(JunitTestSuite.java:233)
at kermeta_io.roundtrip_test.JunitTestSuite.testecore_003_UML2(JunitTestSuite.java:79)
2.969
JunitTestSuitetestecore_010_twopackagesFailureexpecting LCURLY, found ';'

junit.framework.AssertionFailedError: expecting LCURLY, found ';'

at kermeta_io.roundtrip_test.JunitTestSuite.testecoreFile(JunitTestSuite.java:224)
at kermeta_io.roundtrip_test.JunitTestSuite.testecore_010_twopackages(JunitTestSuite.java:103)
0.014
JunitTestSuitetestkmt_006_PropertyWithEcoreTypesFailureIn platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Assignement : Only variables and properties can be assigned In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eOperations'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eStructuralFeatures'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eStructuralFeatures'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eLiterals'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eAnnotations'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eClassifiers'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Assignement : Only variables and properties can be assigned In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'. In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.

junit.framework.AssertionFailedError: In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Assignement : Only variables and properties can be assigned
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eOperations'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eStructuralFeatures'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eStructuralFeatures'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eLiterals'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eAnnotations'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eClassifiers'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Assignement : Only variables and properties can be assigned
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.
In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/006_PropertyWithEcoreTypes.main/ecore.ecore : Cannot resolve symbol : 'eType'.

at kermeta_io.roundtrip_test.JunitTestSuite.testkmtFile(JunitTestSuite.java:282)
at kermeta_io.roundtrip_test.JunitTestSuite.testkmt_006_PropertyWithEcoreTypes(JunitTestSuite.java:127)
0.371
JunitTestSuitetestkmt_011_testPropertyConversionInEcoreFailureIn platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/011_testPropertyConversionInEcore.main/011_testPropertyConversionInEcore.main.ecore : The file platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/011_testPropertyConversionInEcore.main/011b_testStringConversionInEcore.kmt does not exist.

junit.framework.AssertionFailedError: In platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/011_testPropertyConversionInEcore.main/011_testPropertyConversionInEcore.main.ecore : The file platform:/plugin/fr.irisa.triskell.kermeta.tests/test/io/roundtrip_testcases/kmt/011_testPropertyConversionInEcore.main/011b_testStringConversionInEcore.kmt does not exist.

at kermeta_io.roundtrip_test.JunitTestSuite.testkmtFile(JunitTestSuite.java:282)
at kermeta_io.roundtrip_test.JunitTestSuite.testkmt_011_testPropertyConversionInEcore(JunitTestSuite.java:147)
0.159
JunitTestSuitetestkmt_014_testParameterizedClassFailurenull

junit.framework.AssertionFailedError: null
at kermeta_io.roundtrip_test.JunitTestSuite.assertFilesEquality(JunitTestSuite.java:312)
at kermeta_io.roundtrip_test.JunitTestSuite.testkmtFile(JunitTestSuite.java:291)
at kermeta_io.roundtrip_test.JunitTestSuite.testkmt_014_testParameterizedClass(JunitTestSuite.java:163)
0.119
JunitTestSuitetestkmt_016_testTypeVariableTypesFailureWrong number of type parameters for generic type 'Main'.

junit.framework.AssertionFailedError: Wrong number of type parameters for generic type 'Main'.

at kermeta_io.roundtrip_test.JunitTestSuite.testkmtFile(JunitTestSuite.java:263)
at kermeta_io.roundtrip_test.JunitTestSuite.testkmt_016_testTypeVariableTypes(JunitTestSuite.java:171)
0.004
JunitTestSuitetestvalid_022_mt_multiplicity_valid_testsFailureType 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:422)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_022_mt_multiplicity_valid_tests(JunitTestSuite.java:111)
0.125
JunitTestSuitetestvalid_VirtualTypeInheritanceFailureTYPE-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:422)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_VirtualTypeInheritance(JunitTestSuite.java:227)
0.052
JunitTestSuitetestinvalid_028_testInvalidCastOnCollectionFailureAll 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:451)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_028_testInvalidCastOnCollection(JunitTestSuite.java:279)
0.009
JunitTestSuitetestinvalid_GenericsAndFunctionsFailureAll 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:451)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_GenericsAndFunctions(JunitTestSuite.java:315)
0.011
JunitTestSuitetestinvalid_parserError04Failurekermeta 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:456)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError04(JunitTestSuite.java:363)
0.032
JunitTestSuitetestinvalid_parserError07Failurekermeta 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:456)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError07(JunitTestSuite.java:371)
0.003
JunitTestSuitetestinvalid_parserError08Failurekermeta 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:456)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError08(JunitTestSuite.java:375)
0.003
JunitTestSuitetestinvalid_parserError12Failurekermeta 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:456)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_parserError12(JunitTestSuite.java:391)
0.006
OCL2KermetaTestSuiteoclTests::SnackSizeOclTests.test01Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 6847] assertion number 1 failed: expected :[package company; require kermeta require "company.ecore" using kermeta::standard @aspect "true" class Business:Company{ inv invariant1 is do self.employee.forAll{e1, e2 : Personnel::Person | e1.equals(e2).~not.~not.or(e1.forename.equals(e2.forename).~not)} end } ] != actual :[package company; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/company/metamodel/company.ecore" using kermeta::standard package Business { @aspect "true" class Company{ inv invariant1 is do self.employee.forAllCpl{ e1, e2 : Personnel::Person | e1.equals(e2).~not.~not.~or(e1.forename.equals(e2.forename).~not) } end } } ] Trace: [oclTests::SnackSizeOclTests : 881].assertWithMsg file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 100, in '[oclTests::SnackSizeOclTests : 881].assertEqual' ( assertEqual(expected, kmt) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 96, in '[oclTests::SnackSizeOclTests : 881].test01' ( operation test01() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 6847]
assertion number 1 failed:
expected :[package company; require kermeta require "company.ecore" using kermeta::standard @aspect "true" class Business:Company{ inv invariant1 is do self.employee.forAll{e1, e2 : Personnel::Person | e1.equals(e2).~not.~not.or(e1.forename.equals(e2.forename).~not)} end } ] !=
actual :[package company;
require kermeta
require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/company/metamodel/company.ecore"
using kermeta::standard
package Business {
@aspect "true"
class Company{
inv invariant1 is
do
self.employee.forAllCpl{ e1, e2 : Personnel::Person | e1.equals(e2).~not.~not.~or(e1.forename.equals(e2.forename).~not)
}
end
}
}
]
Trace:

[oclTests::SnackSizeOclTests : 881].assertWithMsg
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 100, in '[oclTests::SnackSizeOclTests : 881].assertEqual' ( assertEqual(expected, kmt) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 96, in '[oclTests::SnackSizeOclTests : 881].test01' ( operation test01() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
3.011
OCL2KermetaTestSuiteoclTests::SnackSizeOclTests.test02Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 12449] assertion number 1 failed: expected :[package company; require kermeta require "company.ecore" using kermeta::standard @aspect "true" class Personnel::Person{ inv invariant1 is do self.name.equals("smith") end } ] != actual :[package company; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/company/metamodel/company.ecore" using kermeta::standard package Personnel { @aspect "true" class Person{ inv invariant1 is do self.name.equals("smith") end } } ] Trace: [oclTests::SnackSizeOclTests : 7737].assertWithMsg file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 109, in '[oclTests::SnackSizeOclTests : 7737].assertEqual' ( assertEqual(expected, kmt) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 105, in '[oclTests::SnackSizeOclTests : 7737].test02' ( operation test02() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 12449]
assertion number 1 failed:
expected :[package company; require kermeta require "company.ecore" using kermeta::standard @aspect "true" class Personnel::Person{ inv invariant1 is do self.name.equals("smith") end } ] !=
actual :[package company;
require kermeta
require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/company/metamodel/company.ecore"
using kermeta::standard
package Personnel {
@aspect "true"
class Person{
inv invariant1 is
do
self.name.equals("smith")
end
}
}
]
Trace:

[oclTests::SnackSizeOclTests : 7737].assertWithMsg
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 109, in '[oclTests::SnackSizeOclTests : 7737].assertEqual' ( assertEqual(expected, kmt) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 105, in '[oclTests::SnackSizeOclTests : 7737].test02' ( operation test02() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.851
OCL2KermetaTestSuiteoclTests::SnackSizeOclTests.test04Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 24297] assertion number 1 failed: expected :[package company; require kermeta require "company.ecore" using kermeta::standard @aspect "true" class Business:Company{ inv invariant1 is do self.company.first().employee.collect{ variable2 | variable2.forename} end } ] != actual :[package company; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/company/metamodel/company.ecore" using kermeta::standard package Personnel { @aspect "true" class Person{ inv invariant1 is do self.company.first.employee.collect{ variable2 | variable2.forename } end } } ] Trace: [oclTests::SnackSizeOclTests : 19305].assertWithMsg file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 128, in '[oclTests::SnackSizeOclTests : 19305].assertEqual' ( assertEqual(expected, kmt) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 123, in '[oclTests::SnackSizeOclTests : 19305].test04' ( operation test04() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 24297]
assertion number 1 failed:
expected :[package company; require kermeta require "company.ecore" using kermeta::standard @aspect "true" class Business:Company{ inv invariant1 is do self.company.first().employee.collect{ variable2 | variable2.forename} end } ] !=
actual :[package company;
require kermeta
require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/company/metamodel/company.ecore"
using kermeta::standard
package Personnel {
@aspect "true"
class Person{
inv invariant1 is
do
self.company.first.employee.collect{ variable2 | variable2.forename }
end
}
}
]
Trace:

[oclTests::SnackSizeOclTests : 19305].assertWithMsg
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 128, in '[oclTests::SnackSizeOclTests : 19305].assertEqual' ( assertEqual(expected, kmt) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/company_SnackSizeOclTests.main.kmt', line 123, in '[oclTests::SnackSizeOclTests : 19305].test04' ( operation test04() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.683
OCL2KermetaTestSuiteoclTests::BiteSizeOclTests.test30Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 371408] assertion number 1 failed: expected :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do do var var1 init Bag.new var1.add(1) var1.add(1) var1 end end } ] != actual :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do do var variable2 : Bag<????????>init Bag<????????>.new variable2.add(1) variable2.add(1) variable2 end end } ] Trace: [oclTests::BiteSizeOclTests : 359448].assertWithMsg file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 262, in '[oclTests::BiteSizeOclTests : 359448].assertSimilar' ( assertSimilar(expected, kmt) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 258, in '[oclTests::BiteSizeOclTests : 359448].test30' ( operation test30() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 371408]
assertion number 1 failed:
expected :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do do var var1 init Bag.new var1.add(1) var1.add(1) var1 end end } ] !=
actual :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do do var variable2 : Baginit Bag.new variable2.add(1) variable2.add(1) variable2 end end } ]
Trace:

[oclTests::BiteSizeOclTests : 359448].assertWithMsg
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 262, in '[oclTests::BiteSizeOclTests : 359448].assertSimilar' ( assertSimilar(expected, kmt) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 258, in '[oclTests::BiteSizeOclTests : 359448].test30' ( operation test30() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.941
OCL2KermetaTestSuiteoclTests::BiteSizeOclTests.test56Failurefr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 682170] assertion number 1 failed: expected :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do b.flatten end } ] != actual :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do /* Unsupported operation [flatten]*/ end } ] Trace: [oclTests::BiteSizeOclTests : 671509].assertWithMsg file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 525, in '[oclTests::BiteSizeOclTests : 671509].assertSimilar' ( assertSimilar(expect("b.flatten"), kmt) ) file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 522, in '[oclTests::BiteSizeOclTests : 671509].test56' ( operation test56() : Void is (...) ) ------------END OF STACK TRACE------------

junit.framework.AssertionFailedError: fr.irisa.triskell.kermeta.interpreter.KermetaRaisedException: kermeta exception : [kermeta::kunit::AssertionFailedError : 682170]
assertion number 1 failed:
expected :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do b.flatten end } ] !=
actual :[package sample; require kermeta require "platform:/resource/fr.irisa.triskell.kermeta.ocl.test/tests/sample/metamodel/sample.ecore" using kermeta::standard @aspect "true" class A{ inv invariant1 is do /* Unsupported operation [flatten]*/ end } ]
Trace:

[oclTests::BiteSizeOclTests : 671509].assertWithMsg
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 525, in '[oclTests::BiteSizeOclTests : 671509].assertSimilar' ( assertSimilar(expect("b.flatten"), kmt) )
file 'platform:/plugin/fr.irisa.triskell.kermeta.ocl.test/kermeta/tests/ocl2kmt/sample_BiteSizeOclTests.main.kmt', line 522, in '[oclTests::BiteSizeOclTests : 671509].test56' ( operation test56() : Void is (...) )
------------END OF STACK TRACE------------

at fr.irisa.triskell.kermeta.launcher.RunInterpretedTestCase.runTest(RunInterpretedTestCase.java:146)
0.856