| Name | Status | Type | Time(s) |
| testpuzzle | Success | | 3.908 |
| testSimple | Success | | 2.416 |
| testUML2 | Success | | 3.502 |
| testemof | Failure | RE-PARSE : PASS 4 : An operation named 'getMetaClass' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'container' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'equals' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'get' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'set' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'isSet' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'unset' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'get' on class ReflectiveSequence is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'set' on class ReflectiveSequence is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
junit.framework.AssertionFailedError: RE-PARSE : PASS 4 : An operation named 'getMetaClass' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'container' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'equals' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'get' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'set' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'isSet' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'unset' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'get' on class ReflectiveSequence is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'set' on class ReflectiveSequence is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:426)
at kermeta_io.test.JunitTestSuite.testemof(JunitTestSuite.java:78)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 2.451 |
| testmetacore | Failure | RE-PARSE : PASS 4 : An operation named 'getMetaClass' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'container' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'equals' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'get' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'set' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'isSet' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword. PASS 4 : An operation named 'unset' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
junit.framework.AssertionFailedError: RE-PARSE : PASS 4 : An operation named 'getMetaClass' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'container' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'equals' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'get' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'set' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'isSet' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
PASS 4 : An operation named 'unset' on class Object is already inherited from class 'kermeta:language::structure::Object'. (implicit inheritance!) If you want redefinition, please use "method" keyword.
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:426)
at kermeta_io.test.JunitTestSuite.testmetacore(JunitTestSuite.java:82)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 2.185 |
| test10_testEnum | Success | | 2.045 |
| test1_testAssignment | Success | | 2.034 |
| test2_testArithm | Success | | 2.021 |
| test3_testOpCall | Success | | 2.023 |
| test4_testOpOpCall | Success | | 2.031 |
| test5_testExternPackageCall | Success | | 1.984 |
| test5_testOpPkgCall | Success | | 1.996 |
| test6_failtestExternPackageCall | Success | | 1.986 |
| test6_testExternPackageCall | Success | | 1.999 |
| test6_testExternPackageCall2 | Success | | 1.992 |
| test6_testOpPkgCall | Success | | 1.986 |
| test7_testInterPackageCall | Success | | 0.926 |
| test7_testOpPkgCall | Success | | 0.922 |
| test8_testOpInternPkgCall | Success | | 1.972 |
| test9_testOpCallObject | Success | | 1.974 |
| testtestBlock | Success | | 1.982 |
| testtestBlocksSequence | Success | | 1.973 |
| testtestCallExp | Success | | 1.976 |
| testtestClass | Success | | 1.979 |
| testtestConditional | Success | | 1.969 |
| testtestCycleA | Success | | 0.924 |
| testtestCycleB | Success | | 0.920 |
| testtestCycleC | Success | | 0.918 |
| testtestCycleD | Success | | 0.919 |
| testtestCycleE | Success | | 0.921 |
| testtestEnum | Success | | 1.959 |
| testtestExpression | Success | | 1.984 |
| testtestExtractOperation | Success | | 1.970 |
| testtestImportAlias | Success | | 1.968 |
| testtestInjectOperation | Success | | 1.963 |
| testtestInterDependA | Success | | 0.920 |
| testtestInterDependB | Success | | 0.915 |
| testtestLambdaExpressionAsCallFeature | Success | | 1.975 |
| testtestLoadStdLibSource | Failure | PASS 2 : A type definition for 'kermeta::standard::Object' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Collection' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Set' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Bag' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::OrderedCollection' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::OrderedSet' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Sequence' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Iterator' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt PASS 2 : A type definition for 'kermeta::standard::Void' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::PrimitiveType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::ValueType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Comparable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Summable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::NotComparableException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Boolean' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Numeric' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Integer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Real' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::Character' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::String' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt PASS 2 : A type definition for 'kermeta::standard::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build/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. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Expression' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallVariable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallFeature' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallSuperOperation' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallResult' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::CallValue' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Assignment' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Block' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Conditional' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Literal' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::EmptyExpression' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::IntegerLiteral' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::StringLiteral' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::BooleanLiteral' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::TypeLiteral' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::TypeReference' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::VoidLiteral' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Loop' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::SelfExpression' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::VariableDecl' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Raise' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::Rescue' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::JavaStaticCall' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::LambdaExpression' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::LambdaParameter' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitor' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt PASS 2 : A type definition for 'kermeta::language::structure::String' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Object' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Boolean' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Integer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ParameterizedType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ModelType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Class' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::MultiplicityElement' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Constraint' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ConstraintLanguage' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ConstraintType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Operation' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Tag' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Property' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeContainer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VirtualTypeContainer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::GenericTypeDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ClassDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ModelTypeDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypedElement' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeVariable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ObjectTypeVariable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VirtualType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ModelTypeVariable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Model' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::ProductType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::FunctionType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Type' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeVariableBinding' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::PrimitiveType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::NamedElement' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinitionContainer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Package' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::VoidType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::DataType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Enumeration' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::EnumerationLiteral' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::Parameter' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitor' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt PASS 2 : A type definition for 'kermeta::reflection::String' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Object' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Boolean' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Integer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ParameterizedType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Class' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ModelType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Model' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::MultiplicityElement' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Constraint' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Operation' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Tag' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Property' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeContainer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VirtualTypeContainer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::GenericTypeDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ClassDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ModelTypeDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypedElement' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeVariable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ObjectTypeVariable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VirtualType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ModelTypeVariable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::ProductType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::FunctionType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Type' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeVariableBinding' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::PrimitiveType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::NamedElement' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::SelfType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeDefinitionContainer' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Package' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::TypeDefinition' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::VoidType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::DataType' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Enumeration' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::EnumerationLiteral' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::Parameter' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::reflection::UnlimitedNatural' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt PASS 2 : A type definition for 'kermeta::language::ReflectiveCollection' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt PASS 2 : A type definition for 'kermeta::language::ReflectiveSequence' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt PASS 2 : A type definition for 'kermeta::kunit::AssertionFailedError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Assert' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::Test' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestCase' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestResult' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestFailure' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestSuite' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestLoader' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::kunit::TestRunner' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt PASS 2 : A type definition for 'kermeta::utils::Hashtable' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/hashtable.kmt PASS 2 : A type definition for 'kermeta::utils::Stack' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/stack.kmt PASS 2 : A type definition for 'kermeta::io::StdIO' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt PASS 2 : A type definition for 'kermeta::io::FileIO' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/file_io.kmt PASS 2 : A type definition for 'kermeta::exceptions::Exception' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::RuntimeError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::CallOnVoidTarget' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::TypeCastError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::NotImplementedException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::UpperBoundReachedError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::AbstractClassInstantiationError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IncompatibleTypeError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::DivisionByZero' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::OverflowError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::VoidOperandError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::StringIndexOutOfBound' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::StringFormatException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IndexOutOfBound' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::EmptyCollection' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IteratorIsOff' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::IOException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::FileNotFoundException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPre' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPost' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedInv' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpression' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpressionException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::KermetaError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::ParseError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::interpreter::TypeError' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt PASS 2 : A type definition for 'kermeta::persistence::Resource' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::EMFResource' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::KMResource' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::Repository' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::EMFRepository' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::KMRepository' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceLoadException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceSaveException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::persistence::ResourceUnconformityException' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt PASS 2 : A type definition for 'kermeta::standard::UnknownJavaObject' already exists. -> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/java.kmt
junit.framework.AssertionFailedError: PASS 2 : A type definition for 'kermeta::standard::Object' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::Collection' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::Set' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::Bag' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::OrderedCollection' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::OrderedSet' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::Sequence' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::Iterator' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/collections.kmt
PASS 2 : A type definition for 'kermeta::standard::Void' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::PrimitiveType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::ValueType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::Comparable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::Summable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::NotComparableException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::Boolean' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::Numeric' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::Integer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::Real' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::Character' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::String' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/primitive_types.kmt
PASS 2 : A type definition for 'kermeta::standard::UnlimitedNatural' already exists.
-> file:/tmp/kermeta_build/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.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Expression' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::CallVariable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::CallFeature' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::CallSuperOperation' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::CallResult' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::CallValue' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Assignment' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Block' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Conditional' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Literal' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::EmptyExpression' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::IntegerLiteral' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::StringLiteral' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::BooleanLiteral' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::TypeLiteral' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::TypeReference' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::VoidLiteral' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Loop' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::SelfExpression' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::VariableDecl' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Raise' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::Rescue' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::JavaStaticCall' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::LambdaExpression' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::LambdaParameter' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitor' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::behavior::KMExpressionVisitable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/behavior.kmt
PASS 2 : A type definition for 'kermeta::language::structure::String' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Object' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Boolean' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Integer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ParameterizedType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ModelType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Class' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::MultiplicityElement' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Constraint' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ConstraintLanguage' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ConstraintType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Operation' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Tag' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Property' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::TypeContainer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::VirtualTypeContainer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::GenericTypeDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ClassDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ModelTypeDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::TypedElement' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::TypeVariable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ObjectTypeVariable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::VirtualType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ModelTypeVariable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Model' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::ProductType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::FunctionType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Type' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::TypeVariableBinding' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::PrimitiveType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::NamedElement' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinitionContainer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Package' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::TypeDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::VoidType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::DataType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Enumeration' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::EnumerationLiteral' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::Parameter' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::UnlimitedNatural' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitor' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::language::structure::KMStructureVisitable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/structure.kmt
PASS 2 : A type definition for 'kermeta::reflection::String' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Object' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Boolean' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Integer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::ParameterizedType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Class' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::ModelType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Model' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::MultiplicityElement' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Constraint' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Operation' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Tag' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Property' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::TypeContainer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::VirtualTypeContainer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::GenericTypeDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::ClassDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::ModelTypeDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::TypedElement' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::TypeVariable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::ObjectTypeVariable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::VirtualType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::ModelTypeVariable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::ProductType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::FunctionType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Type' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::TypeVariableBinding' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::PrimitiveType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::NamedElement' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::SelfType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::TypeDefinitionContainer' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Package' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::TypeDefinition' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::VoidType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::DataType' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Enumeration' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::EnumerationLiteral' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::Parameter' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::reflection::UnlimitedNatural' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/reflection/reflection.kmt
PASS 2 : A type definition for 'kermeta::language::ReflectiveCollection' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt
PASS 2 : A type definition for 'kermeta::language::ReflectiveSequence' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/reflective_collections.kmt
PASS 2 : A type definition for 'kermeta::kunit::AssertionFailedError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::Assert' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::Test' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::TestCase' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::TestResult' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::TestFailure' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::TestSuite' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::TestLoader' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::kunit::TestRunner' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/kunit/kunit.kmt
PASS 2 : A type definition for 'kermeta::utils::Hashtable' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/hashtable.kmt
PASS 2 : A type definition for 'kermeta::utils::Stack' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/utils/stack.kmt
PASS 2 : A type definition for 'kermeta::io::StdIO' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt
PASS 2 : A type definition for 'kermeta::io::FileIO' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/io/file_io.kmt
PASS 2 : A type definition for 'kermeta::exceptions::Exception' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::RuntimeError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::CallOnVoidTarget' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::TypeCastError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::NotImplementedException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::UpperBoundReachedError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::AbstractClassInstantiationError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::IncompatibleTypeError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::DivisionByZero' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::OverflowError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::VoidOperandError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::StringIndexOutOfBound' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::StringFormatException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::IndexOutOfBound' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::EmptyCollection' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::IteratorIsOff' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::IOException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::FileNotFoundException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPre' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedPost' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::exceptions::ConstraintViolatedInv' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/exceptions/exceptions.kmt
PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpression' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt
PASS 2 : A type definition for 'kermeta::interpreter::DynamicExpressionException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt
PASS 2 : A type definition for 'kermeta::interpreter::KermetaError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt
PASS 2 : A type definition for 'kermeta::interpreter::ParseError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt
PASS 2 : A type definition for 'kermeta::interpreter::TypeError' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/language/dynamic_expression.kmt
PASS 2 : A type definition for 'kermeta::persistence::Resource' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::EMFResource' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::KMResource' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::Repository' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::EMFRepository' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::KMRepository' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::ResourceLoadException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::ResourceSaveException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::persistence::ResourceUnconformityException' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/persistence/resource.kmt
PASS 2 : A type definition for 'kermeta::standard::UnknownJavaObject' already exists.
-> file:/tmp/kermeta_build/src/plugins/fr.irisa.triskell.kermeta.framework/src/kermeta/standard/java.kmt
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:375)
at kermeta_io.test.JunitTestSuite.testtestLoadStdLibSource(JunitTestSuite.java:218)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.330 |
| testtestMCommentAlone | Success | | 2.015 |
| testtestMCommentBegin | Success | | 1.987 |
| testtestMCommentEmptyOp | Success | | 1.990 |
| testtestMCommentInline | Success | | 1.960 |
| testtestMCommentMany | Success | | 1.965 |
| testtestMCommentMiddleOfLoop | Success | | 1.960 |
| testtestModelType | Success | | 2.005 |
| testtestOperation | Success | | 2.010 |
| testtestOperationOnObject | Success | | 1.987 |
| 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/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/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/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/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/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/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/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/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/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/src/plugins/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:375)
at kermeta_io.test.JunitTestSuite.testtestPackage(JunitTestSuite.java:258)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 0.930 |
| testtestPackageDepA | Success | | 1.991 |
| testtestPackageDepA2 | Success | | 1.979 |
| testtestPackageDepB | Success | | 1.962 |
| testtestPackageDepB2 | Success | | 1.960 |
| testtestPackageDepC | Success | | 1.973 |
| testtestPackageDepC2 | Success | | 1.958 |
| testtestPackageDepD | Success | | 1.960 |
| testtestPackageDepD2 | Success | | 1.957 |
| testtestPrimitiveType | Success | | 1.959 |
| testtestProperty | Success | | 1.962 |
| testtestResult | Success | | 1.970 |
| testtestSCommentAlone | Success | | 1.971 |
| testtestSCommentBegin | Success | | 1.964 |
| testtestSCommentEmptyOp | Success | | 1.959 |
| testtestSCommentEndOfFile | Success | | 1.960 |
| testtestSCommentInline | Success | | 1.958 |
| testtestSCommentMany | Success | | 1.960 |
| testtestSCommentMiddleOfLoop | Success | | 1.968 |
| testtestSimpleAnnotations | Success | | 1.971 |
| testtestSimpleCond | Success | | 1.959 |
| testtestSimpleExpression | Success | | 1.959 |
| testtestSimpleLoop | Success | | 1.961 |
| testtestVariable | Success | | 1.975 |
| testtestExtOperation | Failure | Unexpected load error : java.lang.NullPointerException null -> file:/tmp/kermeta_build/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/src/plugins/fr.irisa.triskell.kermeta.io/test/kmtbodies_testcases/testExtOperation.kmt
at kermeta_io.test.JunitTestSuite.testWithFile(JunitTestSuite.java:375)
at kermeta_io.test.JunitTestSuite.testtestExtOperation(JunitTestSuite.java:354)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 0.963 |