Unit Test Results

Build date : @BUILD.DATE@
File generated at 2007-01-30T19:57:20+01:00

Designed for use with JUnit and Ant.

Class kermeta_io.test.JunitTestSuite

Name	Tests	Errors	Failures	Time(s)
JunitTestSuite	73	0	5	217.948

Tests

Name	Status	Type	Time(s)
testpuzzle	Success		6.020
testSimple	Success		3.406
testUML2	Success		5.363
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)	3.285
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)	3.717
test10_testEnum	Success		3.128
test1_testAssignment	Success		3.309
test2_testArithm	Success		3.114
test3_testOpCall	Success		3.088
test4_testOpOpCall	Success		3.750
test5_testExternPackageCall	Success		3.075
test5_testOpPkgCall	Success		3.094
test6_failtestExternPackageCall	Success		3.090
test6_testExternPackageCall	Success		3.093
test6_testExternPackageCall2	Success		3.561
test6_testOpPkgCall	Success		3.063
test7_testInterPackageCall	Success		1.528
test7_testOpPkgCall	Success		1.542
test8_testOpInternPkgCall	Success		3.050
test9_testOpCallObject	Success		3.048
testtestBlock	Success		3.039
testtestBlocksSequence	Success		3.498
testtestCallExp	Success		3.050
testtestClass	Success		3.036
testtestConditional	Success		3.045
testtestCycleA	Success		1.530
testtestCycleB	Success		1.526
testtestCycleC	Success		1.965
testtestCycleD	Success		1.528
testtestCycleE	Success		1.535
testtestEnum	Success		3.044
testtestExpression	Success		3.049
testtestExtractOperation	Success		3.035
testtestImportAlias	Success		3.044
testtestInjectOperation	Success		3.484
testtestInterDependA	Success		1.517
testtestInterDependB	Success		1.515
testtestLambdaExpressionAsCallFeature	Success		3.038
testtestLoadStdLibSource	Failure	PASS 2 : A type definition for 'kermeta::standard::Object' already exists. -> file:/tmp/kermeta_build/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt PASS 2 : A type definition for 'kermeta::exceptions::Exception' already exists. -> file:/tmp/kermeta_build/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/fr.irisa.triskell.kermeta.framework/src/kermeta/io/std_io.kmt PASS 2 : A type definition for 'kermeta::exceptions::Exception' already exists. -> file:/tmp/kermeta_build/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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)	2.315
testtestMCommentAlone	Success		3.495
testtestMCommentBegin	Success		3.043
testtestMCommentEmptyOp	Success		3.030
testtestMCommentInline	Success		3.053
testtestMCommentMany	Success		3.032
testtestMCommentMiddleOfLoop	Success		3.050
testtestModelType	Success		3.588
testtestOperation	Success		3.048
testtestOperationOnObject	Success		3.045
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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 3 : Wrong using - package 'metacore::standard' does not exist -> file:/tmp/kermeta_build/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/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/kermeta_projects/fr.irisa.triskell.kermeta.io/test/kmt_testcases/testPackage.kmt PASS 3 : Wrong using - package 'metacore::standard' does not exist -> file:/tmp/kermeta_build/kermeta_projects/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)	1.516
testtestPackageDepA	Success		3.036
testtestPackageDepA2	Success		3.485
testtestPackageDepB	Success		3.028
testtestPackageDepB2	Success		3.039
testtestPackageDepC	Success		3.025
testtestPackageDepC2	Success		3.030
testtestPackageDepD	Success		3.066
testtestPackageDepD2	Success		3.494
testtestPrimitiveType	Success		3.033
testtestProperty	Success		3.041
testtestResult	Success		3.034
testtestSCommentAlone	Success		3.469
testtestSCommentBegin	Success		3.036
testtestSCommentEmptyOp	Success		3.040
testtestSCommentEndOfFile	Success		3.047
testtestSCommentInline	Success		3.032
testtestSCommentMany	Success		3.042
testtestSCommentMiddleOfLoop	Success		3.033
testtestSimpleAnnotations	Success		3.512
testtestSimpleCond	Success		3.034
testtestSimpleExpression	Success		3.047
testtestSimpleLoop	Success		3.041
testtestVariable	Success		3.468
testtestExtOperation	Failure	Unexpected load error : java.lang.NullPointerException null -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/kmtbodies_testcases/testExtOperation.kmt junit.framework.AssertionFailedError: Unexpected load error : java.lang.NullPointerException null -> file:/tmp/kermeta_build/kermeta_projects/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)	1.525

Properties »