| Name | Status | Type | Time(s) |
| testSimple | Success | | 4.393 |
| testUML2 | Failure | cannot find instance class java.util.Set for primitive type uml2::Set (replaced by Object) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore cannot find instance class java.util.List for primitive type uml2::Sequence (replaced by Object) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore cannot find instance class java.util.Map for primitive type ecore::EMap (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class byte for primitive type ecore::EByte (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class long for primitive type ecore::ELong (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Float for primitive type ecore::EFloatObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Character for primitive type ecore::ECharacterObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class short for primitive type ecore::EShort (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.TreeIterator for primitive type ecore::ETreeIterator (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Double for primitive type ecore::EDoubleObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.DiagnosticChain for primitive type ecore::EDiagnosticChain (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class double for primitive type ecore::EDouble (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.util.FeatureMap$Entry for primitive type ecore::EFeatureMapEntry (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class char for primitive type ecore::EChar (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.Enumerator for primitive type ecore::EEnumerator (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Long for primitive type ecore::ELongObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Class for primitive type ecore::EJavaClass (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Byte for primitive type ecore::EByteObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.util.FeatureMap for primitive type ecore::EFeatureMap (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.math.BigDecimal for primitive type ecore::EBigDecimal (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class byte[] for primitive type ecore::EByteArray (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class float for primitive type ecore::EFloat (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Short for primitive type ecore::EShortObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.math.BigInteger for primitive type ecore::EBigInteger (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.resource.ResourceSet for primitive type ecore::EResourceSet (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.resource.Resource for primitive type ecore::EResource (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.EList for primitive type ecore::EEList (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.util.Date for primitive type ecore::EDate (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore Quickfix used to rename duplicate operation due to a the property with the same name: getEEnumLiteral renamed into op_getEEnumLiteral -> http://www.eclipse.org/emf/2002/Ecore Quickfix used to rename duplicate operation due to a the property with the same name: eGet renamed into op_eGet -> http://www.eclipse.org/emf/2002/Ecore Quickfix used to rename duplicate operation due to a the property with the same name: getEStructuralFeature renamed into op_getEStructuralFeature -> http://www.eclipse.org/emf/2002/Ecore Error loading ECore model file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore : java.lang.Error: java.lang.reflect.InvocationTargetException -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore
junit.framework.AssertionFailedError: cannot find instance class java.util.Set for primitive type uml2::Set (replaced by Object) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore cannot find instance class java.util.List for primitive type uml2::Sequence (replaced by Object) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore cannot find instance class java.util.Map for primitive type ecore::EMap (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class byte for primitive type ecore::EByte (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class long for primitive type ecore::ELong (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Float for primitive type ecore::EFloatObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Character for primitive type ecore::ECharacterObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class short for primitive type ecore::EShort (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.TreeIterator for primitive type ecore::ETreeIterator (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Double for primitive type ecore::EDoubleObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.DiagnosticChain for primitive type ecore::EDiagnosticChain (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class double for primitive type ecore::EDouble (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.util.FeatureMap$Entry for primitive type ecore::EFeatureMapEntry (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class char for primitive type ecore::EChar (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.Enumerator for primitive type ecore::EEnumerator (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Long for primitive type ecore::ELongObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Class for primitive type ecore::EJavaClass (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Byte for primitive type ecore::EByteObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.util.FeatureMap for primitive type ecore::EFeatureMap (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.math.BigDecimal for primitive type ecore::EBigDecimal (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class byte[] for primitive type ecore::EByteArray (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class float for primitive type ecore::EFloat (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.lang.Short for primitive type ecore::EShortObject (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.math.BigInteger for primitive type ecore::EBigInteger (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.resource.ResourceSet for primitive type ecore::EResourceSet (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.ecore.resource.Resource for primitive type ecore::EResource (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class org.eclipse.emf.common.util.EList for primitive type ecore::EEList (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore cannot find instance class java.util.Date for primitive type ecore::EDate (replaced by Object) -> http://www.eclipse.org/emf/2002/Ecore Quickfix used to rename duplicate operation due to a the property with the same name: getEEnumLiteral renamed into op_getEEnumLiteral -> http://www.eclipse.org/emf/2002/Ecore Quickfix used to rename duplicate operation due to a the property with the same name: eGet renamed into op_eGet -> http://www.eclipse.org/emf/2002/Ecore Quickfix used to rename duplicate operation due to a the property with the same name: getEStructuralFeature renamed into op_getEStructuralFeature -> http://www.eclipse.org/emf/2002/Ecore Error loading ECore model file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore : java.lang.Error: java.lang.reflect.InvocationTargetException -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/ecore_testcases/UML2.ecore
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:388) at kermeta_io.test.JunitTestSuite.testUML2(JunitTestSuite.java:71) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.368 |
| testpuzzle | Success | | 2.587 |
| testemof | Error | Cannot create UNIT file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/emfatic_testcases/emof.emf (file not found)
fr.irisa.triskell.kermeta.error.KermetaLoaderError: Cannot create UNIT file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/emfatic_testcases/emof.emf (file not found) at fr.irisa.triskell.kermeta.loader.KermetaUnitFactory.createKermetaUnit(KermetaUnitFactory.java:168) at fr.irisa.triskell.kermeta.loader.KermetaUnitFactory.createKermetaUnit(KermetaUnitFactory.java:109) at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:382) at kermeta_io.test.JunitTestSuite.testemof(JunitTestSuite.java:79) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.073 |
| testmetacore | Error | Cannot create UNIT file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/emfatic_testcases/metacore.emf (file not found)
fr.irisa.triskell.kermeta.error.KermetaLoaderError: Cannot create UNIT file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/emfatic_testcases/metacore.emf (file not found) at fr.irisa.triskell.kermeta.loader.KermetaUnitFactory.createKermetaUnit(KermetaUnitFactory.java:168) at fr.irisa.triskell.kermeta.loader.KermetaUnitFactory.createKermetaUnit(KermetaUnitFactory.java:109) at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:382) at kermeta_io.test.JunitTestSuite.testmetacore(JunitTestSuite.java:83) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.050 |
| test10_testEnum | Success | | 2.250 |
| test1_testAssignment | Success | | 2.242 |
| test2_testArithm | Success | | 2.220 |
| test3_testOpCall | Success | | 2.227 |
| test4_testOpOpCall | Success | | 2.209 |
| test5_testExternPackageCall | Success | | 2.196 |
| test5_testOpPkgCall | Success | | 2.208 |
| test6_failtestExternPackageCall | Success | | 2.206 |
| test6_testExternPackageCall | Success | | 2.210 |
| test6_testExternPackageCall2 | Success | | 2.205 |
| test6_testOpPkgCall | Success | | 2.190 |
| test7_testInterPackageCall | Success | | 1.032 |
| test7_testOpPkgCall | Success | | 1.029 |
| test8_testOpInternPkgCall | Success | | 2.207 |
| test9_testOpCallObject | Success | | 2.224 |
| testtestBlock | Success | | 2.204 |
| testtestBlocksSequence | Success | | 2.201 |
| testtestCallExp | Success | | 2.216 |
| testtestClass | Success | | 2.191 |
| testtestConditional | Success | | 2.192 |
| testtestCycleA | Success | | 1.025 |
| testtestCycleB | Success | | 1.023 |
| testtestCycleC | Success | | 1.026 |
| testtestCycleD | Success | | 1.025 |
| testtestCycleE | Success | | 1.021 |
| testtestEnum | Success | | 2.185 |
| testtestExpression | Success | | 2.198 |
| testtestExtractOperation | Success | | 2.177 |
| testtestGenericClass | Success | | 2.180 |
| testtestImportAlias | Success | | 2.179 |
| testtestInjectOperation | Success | | 2.171 |
| testtestInterDependA | Success | | 1.018 |
| testtestInterDependB | Success | | 1.017 |
| testtestLambdaExpressionAsCallFeature | Success | | 2.184 |
| testtestLoadStdLibSource | Failure | PASS 2 : A type definition for DataType 'kermeta::standard::Object' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Collection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Set' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Bag' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::OrderedCollection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::OrderedSet' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Sequence' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Iterator' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Void' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::PrimitiveType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::ValueType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Comparable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Summable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::NotComparableException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Boolean' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Numeric' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Integer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Real' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Character' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::String' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for DataType 'kermeta::standard::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Expression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallFeature' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallSuperOperation' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallResult' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallValue' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Assignment' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Block' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Conditional' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Literal' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::EmptyExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::IntegerLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::StringLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::BooleanLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::TypeLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::TypeReference' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::VoidLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Loop' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::SelfExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::VariableDecl' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Raise' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Rescue' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::JavaStaticCall' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::LambdaExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::LambdaParameter' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitor' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::String' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Object' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::Boolean' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::Integer' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ParameterizedType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ModelType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Class' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::MultiplicityElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Constraint' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for Enum 'kermeta::language::structure::ConstraintLanguage' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for Enum 'kermeta::language::structure::ConstraintType' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Operation' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Tag' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Property' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VirtualTypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::GenericTypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ClassDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ObjectTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VirtualType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ModelTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Model' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ProductType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::FunctionType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Type' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeVariableBinding' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::PrimitiveType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::NamedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinitionContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Package' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VoidType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::DataType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Enumeration' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::EnumerationLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Parameter' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitor' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::String' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Object' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::Boolean' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::Integer' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ParameterizedType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Class' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ModelType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Model' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::MultiplicityElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Constraint' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Operation' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Tag' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Property' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VirtualTypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::GenericTypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ClassDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ObjectTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VirtualType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ModelTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ProductType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::FunctionType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Type' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeVariableBinding' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::PrimitiveType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::NamedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::SelfType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeDefinitionContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Package' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VoidType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::DataType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Enumeration' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::EnumerationLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Parameter' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::persistence::Resource' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::EMFResource' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::KMResource' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::Repository' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::EMFRepository' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::KMRepository' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceLoadException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceSaveException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceCreateException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceUnconformityException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::language::ReflectiveCollection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt PASS 2 : A type definition for 'kermeta::language::ReflectiveSequence' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt PASS 2 : A type definition for 'kermeta::kunit::InvalidTestCaseNameException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::InvalidParameterException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Fallible' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Log' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Failure' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for Enum 'kermeta::kunit::ErrorKind' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Error' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Test' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestSuite' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestCase' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestRunner' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::AbstractFallible' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt PASS 2 : A type definition for 'kermeta::kunit::AssertionFailedError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt PASS 2 : A type definition for 'kermeta::kunit::Assert' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt PASS 2 : A type definition for 'kermeta::utils::Hashtable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/hashtable.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/hashtable.kmt PASS 2 : A type definition for 'kermeta::utils::Stack' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/stack.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/stack.kmt PASS 2 : A type definition for 'kermeta::io::StdIO' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt PASS 2 : A type definition for 'kermeta::io::FileIO' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/file_io.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/file_io.kmt PASS 2 : A type definition for 'kermeta::exceptions::Exception' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::RuntimeError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::CallOnVoidTarget' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::TypeCastError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::NotImplementedException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::UpperBoundReachedError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::AbstractClassInstantiationError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IncompatibleTypeError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::DivisionByZero' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::OverflowError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::VoidOperandError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::StringIndexOutOfBound' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::StringFormatException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IndexOutOfBound' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::EmptyCollection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IteratorIsOff' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IOException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::FileNotFoundException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPre' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPost' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedInv' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpressionException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::KermetaError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::ParseError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::TypeError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::standard::UnknownJavaObject' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/java.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/java.kmt
junit.framework.AssertionFailedError: PASS 2 : A type definition for DataType 'kermeta::standard::Object' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Collection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Set' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Bag' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::OrderedCollection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::OrderedSet' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Sequence' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Iterator' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Void' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::PrimitiveType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::ValueType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Comparable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Summable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::NotComparableException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Boolean' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Numeric' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Integer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Real' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Character' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::String' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for DataType 'kermeta::standard::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Expression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallFeature' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallSuperOperation' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallResult' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallValue' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Assignment' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Block' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Conditional' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Literal' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::EmptyExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::IntegerLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::StringLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::BooleanLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::TypeLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::TypeReference' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::VoidLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Loop' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::SelfExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::VariableDecl' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Raise' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Rescue' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::JavaStaticCall' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::LambdaExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::LambdaParameter' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitor' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::String' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Object' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::Boolean' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::Integer' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ParameterizedType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ModelType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Class' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::MultiplicityElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Constraint' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for Enum 'kermeta::language::structure::ConstraintLanguage' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for Enum 'kermeta::language::structure::ConstraintType' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Operation' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Tag' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Property' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VirtualTypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::GenericTypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ClassDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ObjectTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VirtualType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ModelTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Model' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ProductType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::FunctionType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Type' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeVariableBinding' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::PrimitiveType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::NamedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinitionContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Package' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VoidType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::DataType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Enumeration' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::EnumerationLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Parameter' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::language::structure::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitor' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::String' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Object' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::Boolean' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::Integer' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ParameterizedType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Class' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ModelType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Model' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::MultiplicityElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Constraint' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Operation' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Tag' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Property' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VirtualTypeContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::GenericTypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ClassDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ObjectTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VirtualType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ModelTypeVariable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ProductType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::FunctionType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Type' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeVariableBinding' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::PrimitiveType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::NamedElement' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::SelfType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeDefinitionContainer' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Package' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeDefinition' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VoidType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::DataType' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Enumeration' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::EnumerationLiteral' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Parameter' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for DataType 'kermeta::reflection::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::persistence::Resource' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::EMFResource' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::KMResource' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::Repository' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::EMFRepository' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::KMRepository' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceLoadException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceSaveException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceCreateException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceUnconformityException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::language::ReflectiveCollection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt PASS 2 : A type definition for 'kermeta::language::ReflectiveSequence' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt PASS 2 : A type definition for 'kermeta::kunit::InvalidTestCaseNameException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::InvalidParameterException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Fallible' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Log' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Failure' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for Enum 'kermeta::kunit::ErrorKind' already exists. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Error' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Test' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestSuite' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestCase' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestRunner' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::AbstractFallible' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt PASS 2 : A type definition for 'kermeta::kunit::AssertionFailedError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt PASS 2 : A type definition for 'kermeta::kunit::Assert' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/assert.kmt PASS 2 : A type definition for 'kermeta::utils::Hashtable' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/hashtable.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/hashtable.kmt PASS 2 : A type definition for 'kermeta::utils::Stack' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/stack.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/stack.kmt PASS 2 : A type definition for 'kermeta::io::StdIO' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt PASS 2 : A type definition for 'kermeta::io::FileIO' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/file_io.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/file_io.kmt PASS 2 : A type definition for 'kermeta::exceptions::Exception' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::RuntimeError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::CallOnVoidTarget' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::TypeCastError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::NotImplementedException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::UpperBoundReachedError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::AbstractClassInstantiationError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IncompatibleTypeError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::DivisionByZero' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::OverflowError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::VoidOperandError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::StringIndexOutOfBound' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::StringFormatException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IndexOutOfBound' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::EmptyCollection' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IteratorIsOff' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IOException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::FileNotFoundException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPre' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPost' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedInv' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpression' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpressionException' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::KermetaError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::ParseError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::TypeError' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::standard::UnknownJavaObject' already exists. (while loading file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/java.kmt) -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/java.kmt
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:388) at kermeta_io.test.JunitTestSuite.testtestLoadStdLibSource(JunitTestSuite.java:223) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.517 |
| testtestMCommentAlone | Success | | 2.182 |
| testtestMCommentBegin | Success | | 2.176 |
| testtestMCommentEmptyOp | Success | | 2.170 |
| testtestMCommentInline | Success | | 2.174 |
| testtestMCommentMany | Success | | 2.176 |
| testtestMCommentMiddleOfLoop | Success | | 2.172 |
| testtestModelType | Success | | 2.176 |
| testtestModelTypesStateMachines | Success | | 2.206 |
| testtestOperation | Success | | 2.198 |
| testtestOperationOnObject | Success | | 2.172 |
| testtestPackage | Failure | PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 3 : Wrong using - package 'metacore::standard' does not exist -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt
junit.framework.AssertionFailedError: PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 1 : Either 'using' declaration is misplaced (should be put after 'require'), or there is a 'using' declaration, but no element defined in your file. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 3 : Wrong using - package 'metacore::standard' does not exist -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:388) at kermeta_io.test.JunitTestSuite.testtestPackage(JunitTestSuite.java:267) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.018 |
| testtestPackageDepA | Success | | 2.189 |
| testtestPackageDepA2 | Success | | 2.174 |
| testtestPackageDepB | Success | | 2.171 |
| testtestPackageDepB2 | Success | | 2.176 |
| testtestPackageDepC | Success | | 2.170 |
| testtestPackageDepC2 | Success | | 2.167 |
| testtestPackageDepD | Success | | 2.170 |
| testtestPackageDepD2 | Success | | 2.175 |
| testtestPrimitiveType | Success | | 2.180 |
| testtestProperty | Success | | 2.183 |
| testtestResult | Success | | 2.173 |
| testtestSCommentAlone | Success | | 2.180 |
| testtestSCommentBegin | Success | | 2.175 |
| testtestSCommentEmptyOp | Success | | 2.184 |
| testtestSCommentEndOfFile | Success | | 2.177 |
| testtestSCommentInline | Success | | 2.178 |
| testtestSCommentMany | Success | | 2.179 |
| testtestSCommentMiddleOfLoop | Success | | 2.183 |
| testtestSimpleAnnotations | Success | | 2.184 |
| testtestSimpleAnnotations2 | Success | | 2.179 |
| testtestSimpleCond | Success | | 2.175 |
| testtestSimpleExpression | Success | | 2.176 |
| testtestSimpleLoop | Success | | 2.186 |
| testtestVariable | Success | | 2.179 |
| testtestExtOperation | Failure | Unexpected load error : java.lang.NullPointerException null -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmtbodies_testcases/testExtOperation.kmt
junit.framework.AssertionFailedError: Unexpected load error : java.lang.NullPointerException null -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/kmtbodies_testcases/testExtOperation.kmt
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:388) at kermeta_io.test.JunitTestSuite.testtestExtOperation(JunitTestSuite.java:367) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.023 |