[runtests] Currently in /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing: [runtests] Eclipse SDK eclipse-SDK-3.2.1-linux-gtk.tar.gz is a tar.gz. Unpacking... [runtests] [15:56:14] Launching Eclipse (installmode = clean) ... [runtests] [15:56:14] /opt/ibm-java2-1.4/jre/bin/java -Xj9 -Xms256M -Xmx256M -cp eclipse/startup.jar org.eclipse.core.launcher.Main -noupdate -ws gtk -os linux -arch x86 -application org.eclipse.ant.core.antRunner -data ./eclipse/workspace -file test.xml -Dplatform=linux.gtk -Dws=gtk -Dos=linux -Darch=x86 -Dclean=true -logger org.apache.tools.ant.DefaultLogger Buildfile: test.xml all: emft: setup: [mkdir] Created dir: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target [echo] Download, then unpack: EMF SDK + Eclipse SDK... getTestDependency: getBundle: downloadFile: unpackBundle: unzipFile: [unzip] Expanding: /home/www-data/build/downloads/emf-sdo-xsd-SDK-2.2.1.zip into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target untarFile: getTestDependency: getBundle: downloadFile: unpackBundle: unzipFile: untarFile: [untar] Expanding: /home/www-data/build/downloads/eclipse-SDK-3.2.1-linux-gtk.tar.gz into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target [echo] Unpack EMFT + JUnit Tests (/home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/emft-*.zip) ... [unzip] Expanding: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/emft-ocl-SDK-1.0.2.zip into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target [unzip] Expanding: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/emft-ocl-junit-tests-1.0.2.zip into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target runtests: [echo] Unpack /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/plugins/org.eclipse.emf.ocl.tests_1.0.1.v200611161546.jar to /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/plugins/org.eclipse.emf.ocl.tests_1.0.1.v200611161546 ... [move] Moving 1 file to /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/plugins [unjar] Expanding: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/plugins/org.eclipse.emf.ocl.tests_1.0.1.v200611161546_.jar into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/plugins/org.eclipse.emf.ocl.tests_1.0.1.v200611161546 [delete] Deleting: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/plugins/org.eclipse.emf.ocl.tests_1.0.1.v200611161546_.jar [echo] Running test.xml from jarfile /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/plugins/org.eclipse.emf.ocl.tests_1.0.1.v200611161546 ... init: suite: core-test: eclipse-test: [echo] Running org.eclipse.emf.ocl.tests.AllTests [java] !SESSION 2006-11-16 15:56:34.825 ----------------------------------------------- [java] eclipse.buildId=R-3.2.1-200609210945 [java] java.fullversion=J2RE 1.4.2 IBM build cxia32142-20060421 (SR5) (JIT enabled: jitc) [java] BootLoader constants: OS=linux, ARCH=x86, WS=gtk, NL=en [java] Framework arguments: -application org.eclipse.test.coretestapplication formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,org.eclipse.emf.ocl.tests.AllTests.xml -testPluginName org.eclipse.emf.ocl.tests -className org.eclipse.emf.ocl.tests.AllTests [java] Command-line arguments: -application org.eclipse.test.coretestapplication -dev bin -data /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/target/eclipse/emf_folder formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,org.eclipse.emf.ocl.tests.AllTests.xml -testPluginName org.eclipse.emf.ocl.tests -className org.eclipse.emf.ocl.tests.AllTests -os linux -ws gtk -arch x86 -consolelog [java] !ENTRY org.eclipse.osgi 2 0 2006-11-16 15:56:45.137 [java] !MESSAGE The following is a complete list of bundles which are not resolved, see the prior log entry for the root cause if it exists: [java] !SUBENTRY 1 org.eclipse.osgi 2 0 2006-11-16 15:56:45.138 [java] !MESSAGE Bundle update@plugins/org.eclipse.jdt.apt.ui_3.2.1.R32x_v20060822-2100.jar [61] was not resolved. [java] !SUBENTRY 2 org.eclipse.jdt.apt.ui 2 0 2006-11-16 15:56:45.139 [java] !MESSAGE Missing required bundle org.eclipse.jdt.apt.core_[3.2.0,4.0.0). [java] !SUBENTRY 1 org.eclipse.osgi 2 0 2006-11-16 15:56:45.140 [java] !MESSAGE Bundle update@plugins/org.junit4_4.1.0.1/ [83] was not resolved. [java] !SUBENTRY 2 org.junit4 2 0 2006-11-16 15:56:45.141 [java] !MESSAGE Missing Constraint: Bundle-RequiredExecutionEnvironment: J2SE-1.5 [java] !SUBENTRY 1 org.eclipse.osgi 2 0 2006-11-16 15:56:45.144 [java] !MESSAGE Bundle update@plugins/org.eclipse.jdt.apt.core_3.2.1.R32x_v20060822-2100.jar [132] was not resolved. [java] !SUBENTRY 2 org.eclipse.jdt.apt.core 2 0 2006-11-16 15:56:45.145 [java] !MESSAGE Missing Constraint: Bundle-RequiredExecutionEnvironment: J2SE-1.5 [java] !SUBENTRY 1 org.eclipse.osgi 2 0 2006-11-16 15:56:45.148 [java] !MESSAGE Bundle update@plugins/org.eclipse.jdt.junit4.runtime_1.0.1.r321_v20060905.jar [135] was not resolved. [java] !SUBENTRY 2 org.eclipse.jdt.junit4.runtime 2 0 2006-11-16 15:56:45.149 [java] !MESSAGE Missing required bundle org.junit4_[4.1.0,4.2.0). [java] ==> Start testTrivialExpressions [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: true [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: false [java] ==> Finish testTrivialExpressions [java] ==> Start testLogicalConnectives [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: true [java] booleanLiteralExpCS: Boolean: true [java] operationCallExpCS: and [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: false [java] booleanLiteralExpCS: Boolean: false [java] operationCallExpCS: or [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: true [java] booleanLiteralExpCS: Boolean: false [java] operationCallExpCS: and [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: true [java] booleanLiteralExpCS: Boolean: false [java] operationCallExpCS: or [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: true [java] operationCallExpCS: not [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: true [java] booleanLiteralExpCS: Boolean: true [java] operationCallExpCS: implies [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: true [java] booleanLiteralExpCS: Boolean: false [java] operationCallExpCS: implies [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: false [java] booleanLiteralExpCS: Boolean: true [java] operationCallExpCS: implies [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] booleanLiteralExpCS: Boolean: false [java] booleanLiteralExpCS: Boolean: false [java] operationCallExpCS: implies [java] ==> Finish testLogicalConnectives [java] ==> Start testSimpleAttributeExpressions [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: name [java] stringLiteralExpCS: String: 'foo' [java] operationCallExpCS: <> [java] ==> Finish testSimpleAttributeExpressions [java] ==> Start testCollectionExpressions [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: eAttributes [java] operationCallExpCS: size [java] integerLiteralExpCS: Integer: 2 [java] operationCallExpCS: = [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: eAttributes [java] variableDeclarationCS: adding variable declaration for a [java] variableExpCS: Variable Expression: a [java] variableExpCS: Property: derived [java] operationCallExpCS: not [java] oclIteratorExpCS: : forAll [java] ==> Finish testCollectionExpressions [java] ==> Start testNonBooleansExpressions [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: name [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] variableExpCS: Variable Expression: self [java] ==> Finish testNonBooleansExpressions [java] ==> Start testIfExpressions [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: abstract [java] variableExpCS: Property: name [java] stringLiteralExpCS: String: 'bar' [java] operationCallExpCS: = [java] variableExpCS: Property: name [java] stringLiteralExpCS: String: 'bar' [java] operationCallExpCS: <> [java] ifExpCS: [java] ==> Finish testIfExpressions [java] ==> Start testLetExpressions [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EClass [java] collectionTypeIdentifierCS: ORDERED_SET [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: eAllStructuralFeatures [java] variableDeclarationCS: adding variable declaration for feats [java] variableExpCS: Variable Expression: feats [java] operationCallExpCS: isEmpty [java] variableExpCS: Property: name [java] stringLiteralExpCS: String: 'bar' [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] ==> Finish testLetExpressions [java] ==> Start test_dataTypeAsContext [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EString [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: toUpper [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: toLower [java] operationCallExpCS: <> [java] packageDeclarationCS: Package ecore [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context EString [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: toUpper [java] ==> Finish test_dataTypeAsContext [java] ==> Start test_equals_primitives [java] ==> Finish test_equals_primitives [java] ==> Start test_lessThan [java] ==> Finish test_lessThan [java] ==> Start test_lessThanOrEqual [java] ==> Finish test_lessThanOrEqual [java] ==> Start test_greaterThan [java] ==> Finish test_greaterThan [java] ==> Start test_greaterThanOrEqual [java] ==> Finish test_greaterThanOrEqual [java] ==> Start test_sortedBy [java] ==> Finish test_sortedBy [java] ==> Start test_invalid_equality [java] ==> Finish test_invalid_equality [java] ==> Start test_void_equality [java] ==> Finish test_void_equality [java] ==> Start test_integerArithmetic [java] ==> Finish test_integerArithmetic [java] ==> Start test_realArithmetic [java] ==> Finish test_realArithmetic [java] ==> Start test_mixedArithmetic [java] ==> Finish test_mixedArithmetic [java] ==> Start test_dotNotationForSymbolicOperationNames [java] ==> Finish test_dotNotationForSymbolicOperationNames [java] ==> Start test_javaImplementationsOfInfixOperators [java] ==> Finish test_javaImplementationsOfInfixOperators [java] ==> Start test_comparisonOfBooleanOperations_137487 [java] ==> Finish test_comparisonOfBooleanOperations_137487 [java] ==> Start test_enumerationLiteralEquality_137546 [java] ==> Finish test_enumerationLiteralEquality_137546 [java] ==> Start test_dataTypes_137158 [java] ==> Finish test_dataTypes_137158 [java] ==> Start test_insertAt_sequence_126722 [java] ==> Finish test_insertAt_sequence_126722 [java] ==> Start test_insertAt_orderedSet_126722 [java] ==> Finish test_insertAt_orderedSet_126722 [java] ==> Start test_prepend_sequence_126722 [java] ==> Finish test_prepend_sequence_126722 [java] ==> Start test_prepend_orderedSet_126722 [java] ==> Finish test_prepend_orderedSet_126722 [java] ==> Start test_append_sequence_126722 [java] ==> Finish test_append_sequence_126722 [java] ==> Start test_append_orderedSet_126722 [java] ==> Finish test_append_orderedSet_126722 [java] ==> Start test_including_sequence_126722 [java] ==> Finish test_including_sequence_126722 [java] ==> Start test_including_orderedSet_126722 [java] ==> Finish test_including_orderedSet_126722 [java] ==> Start test_excluding_sequence_126722 [java] ==> Finish test_excluding_sequence_126722 [java] ==> Start test_excluding_orderedSet_126722 [java] ==> Finish test_excluding_orderedSet_126722 [java] ==> Start test_first [java] ==> Finish test_first [java] ==> Start test_last [java] ==> Finish test_last [java] ==> Start test_at [java] ==> Finish test_at [java] ==> Start test_indexOf [java] ==> Finish test_indexOf [java] ==> Start test_subsequence_suborderedset [java] ==> Finish test_subsequence_suborderedset [java] ==> Start test_flatten [java] ==> Finish test_flatten [java] ==> Start test_flatten_notNested [java] ==> Finish test_flatten_notNested [java] ==> Start test_count [java] ==> Finish test_count [java] ==> Start test_sum [java] ==> Finish test_sum [java] ==> Start test_includes [java] ==> Finish test_includes [java] ==> Start test_includesAll [java] ==> Finish test_includesAll [java] ==> Start test_union [java] ==> Finish test_union [java] ==> Start test_intersection [java] ==> Finish test_intersection [java] ==> Start test_difference [java] ==> Finish test_difference [java] ==> Start test_symmetricDifference [java] ==> Finish test_symmetricDifference [java] ==> Start test_dotNavigationOfReferenceCollections_130239 [java] ==> Finish test_dotNavigationOfReferenceCollections_130239 [java] ==> Start test_dotNavigationOfOperationCollections_130239 [java] ==> Finish test_dotNavigationOfOperationCollections_130239 [java] ==> Start test_collectionRange_152208 [java] ==> Finish test_collectionRange_152208 [java] ==> Start test_iterate_143996 [java] ==> Finish test_iterate_143996 [java] ==> Start test_select [java] ==> Finish test_select [java] ==> Start test_reject [java] ==> Finish test_reject [java] ==> Start test_any [java] ==> Finish test_any [java] ==> Start test_isUnique_126861 [java] ==> Finish test_isUnique_126861 [java] ==> Start test_exists [java] ==> Finish test_exists [java] ==> Start test_forAll [java] ==> Finish test_forAll [java] ==> Start test_one [java] ==> Finish test_one [java] ==> Start test_collect [java] ==> Finish test_collect [java] ==> Start test_collectNested [java] ==> Finish test_collectNested [java] ==> Start test_sortedBy [java] ==> Finish test_sortedBy [java] ==> Start test_closure [java] ==> Finish test_closure [java] ==> Start test_closure_cycles [java] ==> Finish test_closure_cycles [java] ==> Start test_closure_operations [java] ==> Finish test_closure_operations [java] ==> Start test_closureValidation [java] Got expected error: Closure type (EClassifier) does conform to source type (EPackage) [java] ==> Finish test_closureValidation [java] ==> Start test_closureValidation_typeConformance_154695 [java] Got expected error: Closure type (Fake) does conform to source type (Subfake) [java] ==> Finish test_closureValidation_typeConformance_154695 [java] ==> Start test_forAll_invalidBody_142518 [java] ==> Finish test_forAll_invalidBody_142518 [java] ==> Start test_exists_invalidBody_142518 [java] ==> Finish test_exists_invalidBody_142518 [java] ==> Start test_one_invalidBody_142518 [java] ==> Finish test_one_invalidBody_142518 [java] ==> Start test_any_invalidBody_142518 [java] ==> Finish test_any_invalidBody_142518 [java] ==> Start test_select_invalidBody_142518 [java] ==> Finish test_select_invalidBody_142518 [java] ==> Start test_reject_invalidBody_142518 [java] ==> Finish test_reject_invalidBody_142518 [java] ==> Start test_isUnique_invalidBody_142518 [java] ==> Finish test_isUnique_invalidBody_142518 [java] ==> Start test_collect_invalidBody_142518 [java] ==> Finish test_collect_invalidBody_142518 [java] ==> Start test_collectNested_invalidBody_142518 [java] ==> Finish test_collectNested_invalidBody_142518 [java] ==> Start test_closure_invalidBody_142518 [java] ==> Finish test_closure_invalidBody_142518 [java] ==> Start test_sortedBy_invalidBody_142518 [java] ==> Finish test_sortedBy_invalidBody_142518 [java] ==> Start test_iterateWithNullSource_143996 [java] ==> Finish test_iterateWithNullSource_143996 [java] ==> Start test_existsWithNullSource_143996 [java] ==> Finish test_existsWithNullSource_143996 [java] ==> Start test_tupleLiteral_withTypes [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] tupleLiteralExpCS: name = a [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] ==> Finish test_tupleLiteral_withTypes [java] ==> Start test_tupleLiteral_noTypes [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] tupleLiteralExpCS: name = a [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] ==> Finish test_tupleLiteral_noTypes [java] ==> Start test_tupleLiteral_mixedTypes [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] ==> Finish test_tupleLiteral_mixedTypes [java] ==> Start test_tupleAssignment [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleTypeCS: name = a [java] tupleTypeCS: name = b [java] tupleTypeCS: name = c [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] variableDeclarationCS: adding variable declaration for t [java] variableExpCS: Variable Expression: t [java] ==> Finish test_tupleAssignment [java] ==> Start test_tupleCollections [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] collectionTypeIdentifierCS: SET [java] tupleTypeCS: name = a [java] tupleTypeCS: name = b [java] tupleTypeCS: name = c [java] collectionTypeIdentifierCS: SET [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] operationCallExpCS: including [java] variableDeclarationCS: adding variable declaration for ts [java] variableExpCS: Variable Expression: ts [java] ==> Finish test_tupleCollections [java] ==> Start test_tupleEquivalence [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] tupleLiteralExpCS: Tuple [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::black [java] integerLiteralExpCS: Integer: 1 [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] tupleLiteralExpCS: name = a [java] operationCallExpCS: = [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] tupleLiteralExpCS: Tuple [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::black [java] integerLiteralExpCS: Integer: 1 [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] tupleLiteralExpCS: name = a [java] operationCallExpCS: <> [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] tupleLiteralExpCS: Tuple [java] stringLiteralExpCS: String: 'foo' [java] enumerationOrClassLiteralExpCS: Color::red [java] integerLiteralExpCS: Integer: 1 [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = c [java] tupleLiteralExpCS: name = a [java] operationCallExpCS: = [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] collectionTypeIdentifierCS: SET [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 1 [java] stringLiteralExpCS: String: 'foo' [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] collectionLiteralPartCS: collection item [java] tupleLiteralExpCS: Tuple [java] integerLiteralExpCS: Integer: 5 [java] stringLiteralExpCS: String: 'bar' [java] tupleLiteralExpCS: name = a [java] tupleLiteralExpCS: name = b [java] collectionLiteralPartCS: collection item [java] collectionTypeIdentifierCS: SET [java] tupleLiteralExpCS: Tuple [java] stringLiteralExpCS: String: 'bar' [java] integerLiteralExpCS: Integer: 5 [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = a [java] collectionLiteralPartCS: collection item [java] tupleLiteralExpCS: Tuple [java] stringLiteralExpCS: String: 'foo' [java] integerLiteralExpCS: Integer: 1 [java] tupleLiteralExpCS: name = b [java] tupleLiteralExpCS: name = a [java] collectionLiteralPartCS: collection item [java] operationCallExpCS: = [java] ==> Finish test_tupleEquivalence [java] ==> Start test_isInState [java] Got expected error: ERROR in (stateExpCS): (No such state ([Bad, Rotten]) in type (null)) [java] ==> Finish test_isInState [java] ==> Start test_isInState_validation [java] Got expected error: Missing referredState in StateExp: () [java] Got expected error: 1:46:1:46 "::" expected instead of "," [java] Got expected error: 1:25:1:26 "::" expected instead of "<>" [java] Got expected error: ERROR in (stateExpCS): (No such state ([OclTest, Fruit]) in type (Fruit)) [java] ==> Finish test_isInState_validation [java] ==> Start test_stateContentAssist [java] ==> Finish test_stateContentAssist [java] ==> Start test_hasSent_operation [java] ==> Finish test_hasSent_operation [java] ==> Start test_hasSent_operation_validation [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (label) in message expression) [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (setColor) in message expression) [java] ==> Finish test_hasSent_operation_validation [java] ==> Start test_hasSent_operation_unspecifiedValue [java] ==> Finish test_hasSent_operation_unspecifiedValue [java] ==> Start test_hasSent_operation_unspecifiedValue_validation [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (label) in message expression) [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (setColor) in message expression) [java] ==> Finish test_hasSent_operation_unspecifiedValue_validation [java] ==> Start test_sentMessages_operation [java] ==> Finish test_sentMessages_operation [java] ==> Start test_message_access_operation [java] ==> Finish test_message_access_operation [java] ==> Start test_sentMessages_operation_validation [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (label) in message expression) [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (setColor) in message expression) [java] ==> Finish test_sentMessages_operation_validation [java] ==> Start test_hasSent_signal [java] ==> Finish test_hasSent_signal [java] ==> Start test_hasSent_signal_validation [java] Got expected error: ERROR in (variableExpCS): (Unrecognized variable: (stem)) [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (Drop) in message expression) [java] ==> Finish test_hasSent_signal_validation [java] ==> Start test_sentMessages_signal [java] ==> Finish test_sentMessages_signal [java] ==> Start test_message_access_signal [java] ==> Finish test_message_access_signal [java] ==> Start test_sentMessages_signal_validation [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (Rot) in message expression) [java] Got expected error: ERROR in (messageExpCS): (Unrecognized operation or signal (Drop) in message expression) [java] ==> Finish test_sentMessages_signal_validation [java] ==> Start test_contentAssist_operations [java] ==> Finish test_contentAssist_operations [java] ==> Start test_contentAssist_signals [java] ==> Finish test_contentAssist_signals [java] ==> Start test_simpleInvariant [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] ==> Finish test_simpleInvariant [java] ==> Start test_simpleInvariantWithSelf [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] ==> Finish test_simpleInvariantWithSelf [java] ==> Start test_simpleInvariantWithLet [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] variableDeclarationCS: adding variable declaration for myColor [java] variableExpCS: Variable Expression: myColor [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] ==> Finish test_simpleInvariantWithLet [java] ==> Start test_variablesHidingAttributes [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] operationCallExpCS: oclIsUndefined [java] operationCallExpCS: not [java] variableDeclarationCS: adding variable declaration for color [java] variableExpCS: Variable Expression: color [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] ==> Finish test_variablesHidingAttributes [java] ==> Start test_propertyNameCoincidesWithTypeName_140347 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: Fruit [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: <> [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: Fruit [java] operationCallExpCS: oclIsKindOf [java] operationCallExpCS: implies [java] ==> Finish test_propertyNameCoincidesWithTypeName_140347 [java] ==> Start test_simplePrecondition [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for color [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] variableExpCS: Variable Expression: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] ==> Finish test_simplePrecondition [java] ==> Start test_simplePostcondition [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for color [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] prePostOrBodyDeclCS0: adding variable declaration for result [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] variableExpCS: Variable Expression: color [java] operationCallExpCS: = [java] ==> Finish test_simplePostcondition [java] ==> Start test_postcondition_atPre [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] prePostOrBodyDeclCS0: adding variable declaration for result [java] variableExpCS: Property: color [java] variableExpCS: Property: color [java] operationCallExpCS: <> [java] variableExpCS: Property: color [java] variableExpCS: Variable Expression: c [java] operationCallExpCS: = [java] operationCallExpCS: implies [java] ==> Finish test_postcondition_atPre [java] ==> Start test_postcondition_atPre_operation [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] prePostOrBodyDeclCS0: adding variable declaration for result [java] operationCallExpCS: preferredColor [java] operationCallExpCS: preferredColor [java] operationCallExpCS: <> [java] variableExpCS: Property: color [java] variableExpCS: Variable Expression: c [java] operationCallExpCS: = [java] operationCallExpCS: implies [java] ==> Finish test_postcondition_atPre_operation [java] ==> Start test_postcondition_result [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] prePostOrBodyDeclCS0: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Property: color [java] variableExpCS: Property: color [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] ==> Finish test_postcondition_result [java] ==> Start test_namespaces [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] variableExpCS: Variable Expression: c [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] variableDeclarationCS: adding variable declaration for ok [java] variableExpCS: Variable Expression: ok [java] variableExpCS: Variable Expression: c [java] variableExpCS: Property: color [java] operationCallExpCS: <> [java] variableDeclarationCS: adding variable declaration for ok [java] variableExpCS: Variable Expression: ok [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: c [java] variableExpCS: Property: color [java] operationCallExpCS: <> [java] variableDeclarationCS: adding variable declaration for b [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: b [java] operationCallExpCS: = [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] variableExpCS: Variable Expression: result [java] variableExpCS: Property: color [java] variableExpCS: Property: color [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] ==> Finish test_namespaces [java] ==> Start test_illegalUseOfAtPre_precondition [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] variableExpCS: Variable Expression: c [java] variableExpCS: Property: color [java] operationCallExpCS: <> [java] Got expected error: Validation failed: @pre may only be used in an operation postcondition constraint [java] ==> Finish test_illegalUseOfAtPre_precondition [java] ==> Start test_illegalUseOfAtPre_invariant [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] Got expected error: Validation failed: @pre may only be used in an operation postcondition constraint [java] ==> Finish test_illegalUseOfAtPre_invariant [java] ==> Start test_illegalUseOfAtPre_postcondition [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] prePostOrBodyDeclCS0: adding variable declaration for result [java] variableExpCS: Property: color [java] variableDeclarationCS: adding variable declaration for oldColor [java] variableExpCS: Variable Expression: c [java] variableExpCS: Variable Expression: oldColor [java] Got expected error: Parse failed: ERROR in (variableExpCS): (@pre may only be applied to feature calls) [java] ==> Finish test_illegalUseOfAtPre_postcondition [java] ==> Start test_variablesHidingAttributes [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] variableExpCS: Variable Expression: c [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] operationCallExpCS: = [java] variableDeclarationCS: adding variable declaration for color [java] variableExpCS: Variable Expression: color [java] variableExpCS: Variable Expression: c [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] ==> Finish test_variablesHidingAttributes [java] ==> Start test_parametersAreLocalVariables [java] Got expected error: Parse failed: 1:62:1:62 "let" expected after ":" [java] ==> Finish test_parametersAreLocalVariables [java] ==> Start test_bodyConditionConformance [java] packageDeclarationCS: Package ocltest [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit preferredColor [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] booleanLiteralExpCS: Boolean: true [java] stringLiteralExpCS: String: 'red' [java] stringLiteralExpCS: String: 'brown' [java] ifExpCS: [java] operationCallExpCS: = [java] Got expected error: Parse failed: Nonconforming arguments for type (Color) and operation (=) [java] packageDeclarationCS: Package ocltest [java] operationCS: adding variable declaration for self [java] operationCS: context Apple newApple [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: newFruit [java] operationCallExpCS: = [java] Got expected error: Validation failed: Body condition does not conform to result type of operation "newApple": (Fruit), (Apple) [java] packageDeclarationCS: Package ocltest [java] operationCS: adding variable declaration for self [java] operationCS: context Apple newFruit [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: newApple [java] operationCallExpCS: = [java] ==> Finish test_bodyConditionConformance [java] ==> Start test_bodyConditionVoidOperation [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for newLabel [java] operationCS: adding variable declaration for self [java] operationCS: context Apple label [java] Got expected error: Parse failed: ERROR in (variableExpCS): (Unrecognized variable: (result)) [java] ==> Finish test_bodyConditionVoidOperation [java] ==> Start test_parameterNameCoincidesWithAttributeName_140008 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for str [java] operationCS: adding variable declaration for self [java] operationCS: context Apple foo [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: str [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: str [java] operationCallExpCS: = [java] stringLiteralExpCS: String: '' [java] variableExpCS: Variable Expression: str [java] ifExpCS: [java] operationCallExpCS: = [java] ==> Finish test_parameterNameCoincidesWithAttributeName_140008 [java] ==> Start test_implicitPropertySourceLookup_raw_151234 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for fruit [java] variableDeclarationCS: adding variable declaration for newColor [java] operationCS: adding variable declaration for self [java] operationCS: context Apple setColor [java] variableExpCS: Property: color [java] variableExpCS: Variable Expression: newColor [java] operationCallExpCS: <> [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for fruit [java] variableDeclarationCS: adding variable declaration for newColor [java] operationCS: adding variable declaration for self [java] operationCS: context Apple setColor [java] operationCallExpCS: allInstances [java] iteratorExpCS: adding variable declaration for temp55 [java] variableExpCS: Property: color [java] variableExpCS: Variable Expression: newColor [java] operationCallExpCS: <> [java] oclIteratorExpCS: : forAll [java] ==> Finish test_implicitPropertySourceLookup_raw_151234 [java] ==> Start test_implicitPropertySourceLookup_helper_151234 [java] ==> Finish test_implicitPropertySourceLookup_helper_151234 [java] ==> Start test_implicitOperationSourceLookup_raw_151234 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for fruit [java] variableDeclarationCS: adding variable declaration for newColor [java] operationCS: adding variable declaration for self [java] operationCS: context Apple setColor [java] operationCallExpCS: preferredColor [java] variableExpCS: Variable Expression: newColor [java] operationCallExpCS: <> [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for fruit [java] variableDeclarationCS: adding variable declaration for newColor [java] operationCS: adding variable declaration for self [java] operationCS: context Apple setColor [java] operationCallExpCS: allInstances [java] iteratorExpCS: adding variable declaration for temp57 [java] operationCallExpCS: preferredColor [java] variableExpCS: Variable Expression: newColor [java] operationCallExpCS: <> [java] oclIteratorExpCS: : forAll [java] ==> Finish test_implicitOperationSourceLookup_raw_151234 [java] ==> Start test_implicitOperationSourceLookup_helper_151234 [java] ==> Finish test_implicitOperationSourceLookup_helper_151234 [java] ==> Start test_createQuery_125684 [java] ==> Finish test_createQuery_125684 [java] ==> Start test_createInvariant [java] ==> Finish test_createInvariant [java] ==> Start test_createInvariant_nonBoolean_125684 [java] Got expected error: Constraint must be boolean-valued on type "Apple" [java] ==> Finish test_createInvariant_nonBoolean_125684 [java] ==> Start test_createPrecondition [java] ==> Finish test_createPrecondition [java] ==> Start test_createPostcondition [java] ==> Finish test_createPostcondition [java] ==> Start test_createBodyCondition [java] ==> Finish test_createBodyCondition [java] ==> Start test_invariant [java] ==> Finish test_invariant [java] ==> Start test_query [java] ==> Finish test_query [java] ==> Start test_postcondition [java] ==> Finish test_postcondition [java] ==> Start test_parentheses [java] ==> Finish test_parentheses [java] ==> Start test_typePositions [java] ==> Finish test_typePositions [java] ==> Start test_elementTypePositions [java] ==> Finish test_elementTypePositions [java] ==> Start test_propertyPositions_operationCall [java] ==> Finish test_propertyPositions_operationCall [java] ==> Start test_propertyPositions_attributeCall [java] ==> Finish test_propertyPositions_attributeCall [java] ==> Start test_propertyPositions_associationEndCall [java] ==> Finish test_propertyPositions_associationEndCall [java] ==> Start test_propertyPositions_implicitCollect [java] ==> Finish test_propertyPositions_implicitCollect [java] ==> Start test_referencePositions_implicitCollect [java] ==> Finish test_referencePositions_implicitCollect [java] ==> Start test_messageExp_positions [java] ==> Finish test_messageExp_positions [java] ==> Start test_stateExp_positions [java] ==> Finish test_stateExp_positions [java] ==> Start test_qualifiers_associationEnd_RATLC00538077 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] variableDeclarationCS: adding variable declaration for t [java] variableExpCS: Variable Expression: t [java] variableExpCS: Property: apples [java] operationCallExpCS: isEmpty [java] operationCallExpCS: not [java] oclIteratorExpCS: : forAll [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] stringLiteralExpCS: String: 'foo' [java] integerLiteralExpCS: Integer: 3 [java] variableExpCS: Property: apples [java] operationCallExpCS: isEmpty [java] operationCallExpCS: not [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] stringLiteralExpCS: String: 'foo' [java] Got expected error: Parse failed: ERROR in (modelPropertyCallExpCS): (Qualifiers do not conform to expected types: (self.trees)) [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] integerLiteralExpCS: Integer: 3 [java] stringLiteralExpCS: String: 'foo' [java] Got expected error: Parse failed: Type mismatch. No common supertype: (String), (Integer) [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] stringLiteralExpCS: String: 'foo' [java] integerLiteralExpCS: Integer: 3 [java] stringLiteralExpCS: String: 'bar' [java] Got expected error: Parse failed: ERROR in (modelPropertyCallExpCS): (Qualifiers do not conform to expected types: (self.trees)) [java] ==> Finish test_qualifiers_associationEnd_RATLC00538077 [java] ==> Start test_associationClass_RATLC00538077 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: apples [java] variableDeclarationCS: adding variable declaration for a [java] variableExpCS: Variable Expression: a [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] oclIteratorExpCS: : forAll [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: stem [java] variableDeclarationCS: adding variable declaration for s [java] variableExpCS: Variable Expression: s [java] variableExpCS: Property: thickness [java] integerLiteralExpCS: Integer: 0 [java] operationCallExpCS: > [java] oclIteratorExpCS: : forAll [java] ==> Finish test_associationClass_RATLC00538077 [java] ==> Start test_associationClass_qualifiers_RATLC00538077 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: stem [java] qualifierCS: Reference: apples [java] variableDeclarationCS: adding variable declaration for s [java] variableExpCS: Variable Expression: s [java] variableExpCS: Property: thickness [java] integerLiteralExpCS: Integer: 0 [java] operationCallExpCS: > [java] oclIteratorExpCS: : forAll [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: stem [java] Got expected error: Parse failed: ERROR in (qualifiersCS): (Unrecognized variable: (tree)) [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: stem [java] Got expected error: Parse failed: ERROR in (qualifiersCS): (expected parser to return VariableExpCS but got IntegerLiteralExpCS) [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: stem [java] qualifierCS: Reference: apples [java] variableDeclarationCS: adding variable declaration for s [java] variableExpCS: Variable Expression: s [java] variableExpCS: Property: thickness [java] integerLiteralExpCS: Integer: 0 [java] operationCallExpCS: > [java] oclIteratorExpCS: : forAll [java] ==> Finish test_associationClass_qualifiers_RATLC00538077 [java] ==> Start test_associationClass_reflexive_RATLC00538077 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: children [java] variableDeclarationCS: adding variable declaration for t [java] variableExpCS: Variable Expression: t [java] variableExpCS: Property: apples [java] operationCallExpCS: isEmpty [java] operationCallExpCS: not [java] oclIteratorExpCS: : forAll [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: aC [java] qualifierCS: Reference: children [java] variableDeclarationCS: adding variable declaration for ac [java] variableExpCS: Variable Expression: ac [java] variableExpCS: Property: x [java] integerLiteralExpCS: Integer: 0 [java] operationCallExpCS: > [java] oclIteratorExpCS: : forAll [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: aC [java] qualifierCS: Reference: parent [java] variableExpCS: Property: x [java] integerLiteralExpCS: Integer: 0 [java] operationCallExpCS: > [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: aC [java] Got expected error: Parse failed: ERROR in (modelPropertyCallExpCS): (Qualifier needed to select navigation direction in reflexive association class: (self.aC)) [java] ==> Finish test_associationClass_reflexive_RATLC00538077 [java] ==> Start test_navigateFromAssociationClass_RATLC00538077 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Stem [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: apple [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Stem [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: tree [java] variableExpCS: Property: apples [java] variableDeclarationCS: adding variable declaration for a [java] variableExpCS: Variable Expression: a [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] oclIteratorExpCS: : forAll [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Stem [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: thickness [java] integerLiteralExpCS: Integer: 0 [java] operationCallExpCS: > [java] ==> Finish test_navigateFromAssociationClass_RATLC00538077 [java] ==> Start test_associationClass_contextAssist_RATLC00538077 [java] ==> Finish test_associationClass_contextAssist_RATLC00538077 [java] ==> Start test_propertyPositions_associationClassEndCall [java] ==> Finish test_propertyPositions_associationClassEndCall [java] ==> Start test_propertyPositions_associationClassCall [java] ==> Finish test_propertyPositions_associationClassCall [java] ==> Start test_propertyPositions_associationClassCall_implicitCollect [java] ==> Finish test_propertyPositions_associationClassCall_implicitCollect [java] ==> Start test_propertyPositions_associationClassQualified [java] ==> Finish test_propertyPositions_associationClassQualified [java] ==> Start test_propertyPositions_associationClassQualified_implicitCollect [java] ==> Finish test_propertyPositions_associationClassQualified_implicitCollect [java] ==> Start test_associationNullContext_bugzilla121614 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Employee [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: manager [java] variableExpCS: Property: manager [java] ==> Finish test_associationNullContext_bugzilla121614 [java] ==> Start test_qualifiedAssociation_scalar_133435 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] stringLiteralExpCS: String: 'foo' [java] integerLiteralExpCS: Integer: 3 [java] ==> Finish test_qualifiedAssociation_scalar_133435 [java] ==> Start test_defExpression_raw_operation [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableDeclarationCS: adding variable declaration for c [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: = [java] variableExpCS: Variable Expression: c [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: color [java] ifExpCS: [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] enumerationOrClassLiteralExpCS: Color::red [java] operationCallExpCS: bestColor [java] enumerationOrClassLiteralExpCS: Color::red [java] operationCallExpCS: = [java] ==> Finish test_defExpression_raw_operation [java] ==> Start test_defExpression_helper_operation [java] ==> Finish test_defExpression_helper_operation [java] ==> Start test_defExpression_raw_attribute [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] variableExpCS: Property: stem [java] operationCallExpCS: oclIsUndefined [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] variableExpCS: Property: fallen [java] operationCallExpCS: not [java] ==> Finish test_defExpression_raw_attribute [java] ==> Start test_defExpression_helper_attribute [java] ==> Finish test_defExpression_helper_attribute [java] ==> Start test_defExpression_raw_reference [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] collectionTypeIdentifierCS: SET [java] operationCallExpCS: allInstances [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: excluding [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: otherApples [java] ==> Finish test_defExpression_raw_reference [java] ==> Start test_defExpression_inheritance_operation [java] ==> Finish test_defExpression_inheritance_operation [java] ==> Start test_defExpression_inheritance_attribute [java] ==> Finish test_defExpression_inheritance_attribute [java] ==> Start test_malformedDefExpression_attribute [java] Got expected error: Type mismatch. No common supertype: (String), (Set(EClassifier)) [java] Got expected error: 1:1:1:6 token "myName is invalid" [java] ==> Finish test_malformedDefExpression_attribute [java] ==> Start test_malformedDefExpression_operation [java] Got expected error: Type mismatch. No common supertype: (String), (Set(EClassifier)) [java] Got expected error: 1:20:1:20 ":" expected after ")" [java] Got expected error: Type mismatch. No common supertype: (String), (null) [java] ==> Finish test_malformedDefExpression_operation [java] ==> Start test_duplicateDefinition_attribute [java] Got expected error: ERROR in (defCS): (Property (name) already defined in type (EClassifier)) [java] Got expected error: ERROR in (defCS): (Property (eAnnotations) already defined in type (EClassifier)) [java] ==> Finish test_duplicateDefinition_attribute [java] ==> Start test_duplicateDefinition_operation [java] Got expected error: ERROR in (defCS): (Operation (preferredLabel(String)) already defined in type (Apple)) [java] Got expected error: ERROR in (defCS): (Operation (preferredLabel(String)) already defined in type (Apple)) [java] ==> Finish test_duplicateDefinition_operation [java] ==> Start test_defExpression_completion_operation [java] ==> Finish test_defExpression_completion_operation [java] ==> Start test_defExpression_completion_attribute [java] ==> Finish test_defExpression_completion_attribute [java] ==> Start test_defExpression_raw_init_attribute [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] stringLiteralExpCS: String: '' [java] ==> Finish test_defExpression_raw_init_attribute [java] ==> Start test_defExpression_raw_derive_attribute [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] stringLiteralExpCS: String: 'apple' [java] stringLiteralExpCS: String: 'unknown fruit' [java] ifExpCS: [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Property: name [java] ==> Finish test_defExpression_raw_derive_attribute [java] ==> Start test_defExpression_raw_init_reference [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: SET [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit relatedFruits [java] collectionTypeIdentifierCS: SET [java] variableExpCS: Variable Expression: self [java] collectionLiteralPartCS: collection item [java] ==> Finish test_defExpression_raw_init_reference [java] ==> Start test_defExpression_raw_derive_reference [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: SET [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit relatedFruits [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] operationCallExpCS: allInstances [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclAsType [java] operationCallExpCS: excluding [java] operationCallExpCS: allInstances [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: excluding [java] ifExpCS: [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Property: relatedFruits [java] ==> Finish test_defExpression_raw_derive_reference [java] ==> Start test_defExpression_helper_init_attribute [java] ==> Finish test_defExpression_helper_init_attribute [java] ==> Start test_defExpression_helper_derive_attribute [java] ==> Finish test_defExpression_helper_derive_attribute [java] ==> Start test_defExpression_helper_init_reference [java] ==> Finish test_defExpression_helper_init_reference [java] ==> Start test_defExpression_helper_derive_reference [java] ==> Finish test_defExpression_helper_derive_reference [java] ==> Start test_malformedInitExpression [java] Got expected error: Type mismatch. No common supertype: (String), (Set(Fruit)) [java] ==> Finish test_malformedInitExpression [java] ==> Start test_malformedDeriveExpression [java] Got expected error: Type mismatch. No common supertype: (String), (Set(Fruit)) [java] ==> Finish test_malformedDeriveExpression [java] ==> Start test_bothInitAndDeriveExpressions [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] stringLiteralExpCS: String: 'apple' [java] stringLiteralExpCS: String: 'unknown fruit' [java] ifExpCS: [java] stringLiteralExpCS: String: 'not a fruit' [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] stringLiteralExpCS: String: 'not a fruit' [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] stringLiteralExpCS: String: 'apple' [java] stringLiteralExpCS: String: 'unknown fruit' [java] ifExpCS: [java] ==> Finish test_bothInitAndDeriveExpressions [java] ==> Start test_tooManyInitAndDeriveExpressions [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] stringLiteralExpCS: String: 'not a fruit' [java] Got expected error: Parse failed: ERROR in (propertyContextCS): (Property context may define at most one init and one derive expression: ( Fruit name)) [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] stringLiteralExpCS: String: 'apple' [java] stringLiteralExpCS: String: 'unknown fruit' [java] ifExpCS: [java] Got expected error: Parse failed: ERROR in (propertyContextCS): (Property context may define at most one init and one derive expression: ( Fruit name)) [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] stringLiteralExpCS: String: 'not a fruit' [java] Got expected error: Parse failed: ERROR in (propertyContextCS): (Property context may define at most one init and one derive expression: ( Fruit name)) [java] packageDeclarationCS: Package ocltest [java] propertyContextCS: adding variable declaration for self [java] propertyContextCS: context Fruit name [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] stringLiteralExpCS: String: 'apple' [java] stringLiteralExpCS: String: 'unknown fruit' [java] ifExpCS: [java] Got expected error: Parse failed: ERROR in (propertyContextCS): (Property context may define at most one init and one derive expression: ( Fruit name)) [java] ==> Finish test_tooManyInitAndDeriveExpressions [java] ==> Start testHelperCreation [java] ==> Finish testHelperCreation [java] ==> Start test_createQuery_125684 [java] ==> Finish test_createQuery_125684 [java] ==> Start test_createInvariant [java] ==> Finish test_createInvariant [java] ==> Start test_createInvariant_nonBoolean_125684 [java] Got expected error: Constraint must be boolean-valued on type "Fruit" [java] ==> Finish test_createInvariant_nonBoolean_125684 [java] ==> Start test_createPrecondition [java] ==> Finish test_createPrecondition [java] ==> Start test_createPostcondition [java] ==> Finish test_createPostcondition [java] ==> Start test_createBodyCondition [java] ==> Finish test_createBodyCondition [java] ==> Start test_dataTypeAsContext [java] ==> Finish test_dataTypeAsContext [java] ==> Start test_dataTypeAsContext_inferred [java] ==> Finish test_dataTypeAsContext_inferred [java] ==> Start testMetaModelCompletions [java] ==> Finish testMetaModelCompletions [java] ==> Start test_completeInvariant_enumLiteral [java] ==> Finish test_completeInvariant_enumLiteral [java] ==> Start test_completeInvariant_attribute [java] ==> Finish test_completeInvariant_attribute [java] ==> Start test_completeInvariant_reference [java] ==> Finish test_completeInvariant_reference [java] ==> Start test_completeInvariant_operation [java] ==> Finish test_completeInvariant_operation [java] ==> Start test_completePrecondition_enumLiteral [java] ==> Finish test_completePrecondition_enumLiteral [java] ==> Start test_completeBodyCondition_attribute [java] ==> Finish test_completeBodyCondition_attribute [java] ==> Start test_completePrecondition_reference [java] ==> Finish test_completePrecondition_reference [java] ==> Start test_completePostcondition_operation [java] ==> Finish test_completePostcondition_operation [java] ==> Start test_completePrecondition_parameter [java] ==> Finish test_completePrecondition_parameter [java] ==> Start test_completePostcondition_result [java] ==> Finish test_completePostcondition_result [java] ==> Start test_allInstances [java] ==> Finish test_allInstances [java] ==> Start test_anyChoices [java] Choice[BEHAVIORAL_FEATURE, oclAsType, oclAsType(typespec: OclType) : T] [java] Choice[BEHAVIORAL_FEATURE, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsUndefined, oclIsUndefined() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInvalid, oclIsInvalid() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInState, oclIsInState(statespec: State) : Boolean] [java] ==> Finish test_anyChoices [java] ==> Start test_eclassChoices [java] Choice[STRUCTURAL_FEATURE, stem, Stem] [java] Choice[STRUCTURAL_FEATURE, label, EString] [java] Choice[STRUCTURAL_FEATURE, relatedFruits, Fruit] [java] Choice[STRUCTURAL_FEATURE, name, EString] [java] Choice[ENUMERATION_LITERAL, color, Color] [java] Choice[BEHAVIORAL_FEATURE, ripen, ripen(color: Color) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, preferredColor, preferredColor() : Color] [java] Choice[BEHAVIORAL_FEATURE, newFruit, newFruit() : Fruit] [java] Choice[BEHAVIORAL_FEATURE, setColor, setColor(fruit: Fruit, newColor: Color)] [java] Choice[BEHAVIORAL_FEATURE, label, label(text: EString)] [java] Choice[BEHAVIORAL_FEATURE, newApple, newApple() : Apple] [java] Choice[BEHAVIORAL_FEATURE, preferredLabel, preferredLabel(text: EString) : String] [java] Choice[BEHAVIORAL_FEATURE, oclAsType, oclAsType(typespec: OclType) : T] [java] Choice[BEHAVIORAL_FEATURE, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsUndefined, oclIsUndefined() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInvalid, oclIsInvalid() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInState, oclIsInState(statespec: State) : Boolean] [java] ==> Finish test_eclassChoices [java] ==> Start test_tupleChoices [java] Choice[STRUCTURAL_FEATURE, a, Apple] [java] Choice[STRUCTURAL_FEATURE, s, EString] [java] Choice[BEHAVIORAL_FEATURE, oclAsType, oclAsType(typespec: OclType) : T] [java] Choice[BEHAVIORAL_FEATURE, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsUndefined, oclIsUndefined() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInvalid, oclIsInvalid() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInState, oclIsInState(statespec: State) : Boolean] [java] ==> Finish test_tupleChoices [java] ==> Start test_typeChoices [java] Choice[BEHAVIORAL_FEATURE, allInstances, allInstances() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, =, =(object: OclAny) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, <>, <>(object: OclAny) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclAsType, oclAsType(typespec: OclType) : T] [java] Choice[BEHAVIORAL_FEATURE, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsUndefined, oclIsUndefined() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInvalid, oclIsInvalid() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsNew, oclIsNew() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInState, oclIsInState(statespec: State) : Boolean] [java] ==> Finish test_typeChoices [java] ==> Start test_integerChoices [java] Choice[BEHAVIORAL_FEATURE, oclAsType, oclAsType(typespec: OclType) : T] [java] Choice[BEHAVIORAL_FEATURE, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsUndefined, oclIsUndefined() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInvalid, oclIsInvalid() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInState, oclIsInState(statespec: State) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, min, min(r: Real) : Integer] [java] Choice[BEHAVIORAL_FEATURE, max, max(r: Real) : Integer] [java] Choice[BEHAVIORAL_FEATURE, abs, abs() : Integer] [java] Choice[BEHAVIORAL_FEATURE, floor, floor() : Integer] [java] Choice[BEHAVIORAL_FEATURE, round, round() : Integer] [java] Choice[BEHAVIORAL_FEATURE, div, div(i: Integer) : Integer] [java] Choice[BEHAVIORAL_FEATURE, mod, mod(i: Integer) : Integer] [java] ==> Finish test_integerChoices [java] ==> Start test_realChoices [java] Choice[BEHAVIORAL_FEATURE, oclAsType, oclAsType(typespec: OclType) : T] [java] Choice[BEHAVIORAL_FEATURE, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsUndefined, oclIsUndefined() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInvalid, oclIsInvalid() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInState, oclIsInState(statespec: State) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, min, min(r: Real) : Real] [java] Choice[BEHAVIORAL_FEATURE, max, max(r: Real) : Real] [java] Choice[BEHAVIORAL_FEATURE, abs, abs() : Real] [java] Choice[BEHAVIORAL_FEATURE, floor, floor() : Integer] [java] Choice[BEHAVIORAL_FEATURE, round, round() : Integer] [java] ==> Finish test_realChoices [java] ==> Start test_stringChoices [java] Choice[BEHAVIORAL_FEATURE, oclAsType, oclAsType(typespec: OclType) : T] [java] Choice[BEHAVIORAL_FEATURE, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsUndefined, oclIsUndefined() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInvalid, oclIsInvalid() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, oclIsInState, oclIsInState(statespec: State) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, size, size() : Integer] [java] Choice[BEHAVIORAL_FEATURE, concat, concat(s: String) : String] [java] Choice[BEHAVIORAL_FEATURE, substring, substring(lower: Integer, upper: Integer) : String] [java] Choice[BEHAVIORAL_FEATURE, toInteger, toInteger() : Integer] [java] Choice[BEHAVIORAL_FEATURE, toReal, toReal() : Real] [java] Choice[BEHAVIORAL_FEATURE, toLower, toLower() : String] [java] Choice[BEHAVIORAL_FEATURE, toUpper, toUpper() : String] [java] ==> Finish test_stringChoices [java] ==> Start test_setChoices [java] Choice[BEHAVIORAL_FEATURE, count, count(object: Apple) : Integer] [java] Choice[BEHAVIORAL_FEATURE, excludes, excludes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includes, includes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includesAll, includesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isEmpty, isEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, notEmpty, notEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, product, product(c2: Collection(T)) : Set(Tuple(first: Apple, second: T))] [java] Choice[BEHAVIORAL_FEATURE, sum, sum() : Real] [java] Choice[BEHAVIORAL_FEATURE, size, size() : Integer] [java] Choice[BEHAVIORAL_FEATURE, union, union(bag: Bag(Apple)) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, union, union(set: Set(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(bag: Bag(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(set: Set(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, including, including(object: Apple) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, excluding, excluding(object: Apple) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, symmetricDifference, symmetricDifference(s: Set(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, flatten, flatten() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asBag, asBag() : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSet, asSet() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSequence, asSequence() : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, exists, exists(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, forAll, forAll(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isUnique, isUnique(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, one, one(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, any, any(expr: OCLExpression) : Apple] [java] Choice[BEHAVIORAL_FEATURE, collect, collect(expr: OCLExpression) : Collection(T2)] [java] Choice[BEHAVIORAL_FEATURE, closure, closure(expr: OCLExpression) : Set(T2)] [java] Choice[BEHAVIORAL_FEATURE, select, select(expr: OCLExpression) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, reject, reject(expr: OCLExpression) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, sortedBy, sortedBy(expr: OCLExpression) : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, collectNested, collectNested(expr: OCLExpression) : Bag(T2)] [java] ==> Finish test_setChoices [java] ==> Start test_orderedSetChoices [java] Choice[BEHAVIORAL_FEATURE, count, count(object: Apple) : Integer] [java] Choice[BEHAVIORAL_FEATURE, excludes, excludes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includes, includes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includesAll, includesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isEmpty, isEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, notEmpty, notEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, product, product(c2: Collection(T)) : Set(Tuple(first: Apple, second: T))] [java] Choice[BEHAVIORAL_FEATURE, sum, sum() : Real] [java] Choice[BEHAVIORAL_FEATURE, size, size() : Integer] [java] Choice[BEHAVIORAL_FEATURE, union, union(bag: Bag(Apple)) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, union, union(set: Set(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(bag: Bag(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(set: Set(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, including, including(object: Apple) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, excluding, excluding(object: Apple) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, symmetricDifference, symmetricDifference(s: Set(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, flatten, flatten() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asBag, asBag() : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSet, asSet() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSequence, asSequence() : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, append, append(object: Apple) : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, at, at(index: Integer) : Apple] [java] Choice[BEHAVIORAL_FEATURE, indexOf, indexOf(object: Apple) : Integer] [java] Choice[BEHAVIORAL_FEATURE, insertAt, insertAt(index: Integer, object: Apple) : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, prepend, prepend(object: Apple) : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, subOrderedSet, subOrderedSet(lower: Integer, upper: Integer) : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, first, first() : Apple] [java] Choice[BEHAVIORAL_FEATURE, last, last() : Apple] [java] Choice[BEHAVIORAL_FEATURE, asBag, asBag() : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSet, asSet() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSequence, asSequence() : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, exists, exists(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, forAll, forAll(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isUnique, isUnique(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, one, one(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, any, any(expr: OCLExpression) : Apple] [java] Choice[BEHAVIORAL_FEATURE, collect, collect(expr: OCLExpression) : Collection(T2)] [java] Choice[BEHAVIORAL_FEATURE, closure, closure(expr: OCLExpression) : Set(T2)] [java] Choice[BEHAVIORAL_FEATURE, select, select(expr: OCLExpression) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, reject, reject(expr: OCLExpression) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, sortedBy, sortedBy(expr: OCLExpression) : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, collectNested, collectNested(expr: OCLExpression) : Bag(T2)] [java] ==> Finish test_orderedSetChoices [java] ==> Start test_sequenceChoices [java] Choice[BEHAVIORAL_FEATURE, count, count(object: Apple) : Integer] [java] Choice[BEHAVIORAL_FEATURE, excludes, excludes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includes, includes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includesAll, includesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isEmpty, isEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, notEmpty, notEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, product, product(c2: Collection(T)) : Set(Tuple(first: Apple, second: T))] [java] Choice[BEHAVIORAL_FEATURE, sum, sum() : Real] [java] Choice[BEHAVIORAL_FEATURE, size, size() : Integer] [java] Choice[BEHAVIORAL_FEATURE, union, union(s: Sequence(Apple)) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, append, append(object: Apple) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, prepend, prepend(object: Apple) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, insertAt, insertAt(index: Integer, object: Apple) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, subSequence, subSequence(lower: Integer, upper: Integer) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, at, at(index: Integer) : Apple] [java] Choice[BEHAVIORAL_FEATURE, indexOf, indexOf(object: Apple) : Integer] [java] Choice[BEHAVIORAL_FEATURE, including, including(object: Apple) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, excluding, excluding(object: Apple) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, first, first() : Apple] [java] Choice[BEHAVIORAL_FEATURE, last, last() : Apple] [java] Choice[BEHAVIORAL_FEATURE, flatten, flatten() : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asBag, asBag() : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSet, asSet() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSequence, asSequence() : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, exists, exists(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, forAll, forAll(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isUnique, isUnique(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, one, one(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, any, any(expr: OCLExpression) : Apple] [java] Choice[BEHAVIORAL_FEATURE, collect, collect(expr: OCLExpression) : Collection(T2)] [java] Choice[BEHAVIORAL_FEATURE, closure, closure(expr: OCLExpression) : Set(T2)] [java] Choice[BEHAVIORAL_FEATURE, select, select(expr: OCLExpression) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, reject, reject(expr: OCLExpression) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, sortedBy, sortedBy(expr: OCLExpression) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, collectNested, collectNested(expr: OCLExpression) : Sequence(T2)] [java] ==> Finish test_sequenceChoices [java] ==> Start test_bagChoices [java] Choice[BEHAVIORAL_FEATURE, count, count(object: Apple) : Integer] [java] Choice[BEHAVIORAL_FEATURE, excludes, excludes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includes, includes(object: Apple) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includesAll, includesAll(c2: Collection(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isEmpty, isEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, notEmpty, notEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, product, product(c2: Collection(T)) : Set(Tuple(first: Apple, second: T))] [java] Choice[BEHAVIORAL_FEATURE, sum, sum() : Real] [java] Choice[BEHAVIORAL_FEATURE, size, size() : Integer] [java] Choice[BEHAVIORAL_FEATURE, union, union(bag: Bag(Apple)) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, union, union(set: Set(Apple)) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(bag: Bag(Apple)) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(set: Set(Apple)) : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, including, including(object: Apple) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, excluding, excluding(object: Apple) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, flatten, flatten() : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asBag, asBag() : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSet, asSet() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asSequence, asSequence() : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] [java] Choice[BEHAVIORAL_FEATURE, exists, exists(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, forAll, forAll(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isUnique, isUnique(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, one, one(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, any, any(expr: OCLExpression) : Apple] [java] Choice[BEHAVIORAL_FEATURE, collect, collect(expr: OCLExpression) : Collection(T2)] [java] Choice[BEHAVIORAL_FEATURE, closure, closure(expr: OCLExpression) : Set(T2)] [java] Choice[BEHAVIORAL_FEATURE, select, select(expr: OCLExpression) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, reject, reject(expr: OCLExpression) : Bag(Apple)] [java] Choice[BEHAVIORAL_FEATURE, sortedBy, sortedBy(expr: OCLExpression) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, collectNested, collectNested(expr: OCLExpression) : Bag(T2)] [java] ==> Finish test_bagChoices [java] ==> Start test_nestedCollectionChoices [java] Choice[BEHAVIORAL_FEATURE, count, count(object: Sequence(Apple)) : Integer] [java] Choice[BEHAVIORAL_FEATURE, excludes, excludes(object: Sequence(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, excludesAll, excludesAll(c2: Collection(Sequence(Apple))) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includes, includes(object: Sequence(Apple)) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, includesAll, includesAll(c2: Collection(Sequence(Apple))) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isEmpty, isEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, notEmpty, notEmpty() : Boolean] [java] Choice[BEHAVIORAL_FEATURE, product, product(c2: Collection(T)) : Set(Tuple(first: Sequence(Apple), second: T))] [java] Choice[BEHAVIORAL_FEATURE, sum, sum() : Real] [java] Choice[BEHAVIORAL_FEATURE, size, size() : Integer] [java] Choice[BEHAVIORAL_FEATURE, union, union(bag: Bag(Sequence(Apple))) : Bag(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, union, union(set: Set(Sequence(Apple))) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(bag: Bag(Sequence(Apple))) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, intersection, intersection(set: Set(Sequence(Apple))) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, including, including(object: Sequence(Apple)) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, excluding, excluding(object: Sequence(Apple)) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, symmetricDifference, symmetricDifference(s: Set(Sequence(Apple))) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, flatten, flatten() : Set(Apple)] [java] Choice[BEHAVIORAL_FEATURE, asBag, asBag() : Bag(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, asSet, asSet() : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, asSequence, asSequence() : Sequence(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, asOrderedSet, asOrderedSet() : OrderedSet(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, exists, exists(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, forAll, forAll(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, isUnique, isUnique(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, one, one(expr: OCLExpression) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, any, any(expr: OCLExpression) : Sequence(Apple)] [java] Choice[BEHAVIORAL_FEATURE, collect, collect(expr: OCLExpression) : Collection(T2)] [java] Choice[BEHAVIORAL_FEATURE, closure, closure(expr: OCLExpression) : Set(T2)] [java] Choice[BEHAVIORAL_FEATURE, select, select(expr: OCLExpression) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, reject, reject(expr: OCLExpression) : Set(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, sortedBy, sortedBy(expr: OCLExpression) : OrderedSet(Sequence(Apple))] [java] Choice[BEHAVIORAL_FEATURE, collectNested, collectNested(expr: OCLExpression) : Bag(T2)] [java] ==> Finish test_nestedCollectionChoices [java] ==> Start test_stateChoices [java] Choice[STRUCTURAL_FEATURE, Bad, State] [java] Choice[STRUCTURAL_FEATURE, Ripe, State] [java] ---- [java] Choice[STRUCTURAL_FEATURE, Bruised, State] [java] Choice[STRUCTURAL_FEATURE, Rotten, State] [java] ==> Finish test_stateChoices [java] ==> Start test_messageChoices [java] Choice[BEHAVIORAL_FEATURE, ripen, ripen(color: Color) : Boolean] [java] Choice[BEHAVIORAL_FEATURE, preferredColor, preferredColor() : Color] [java] Choice[BEHAVIORAL_FEATURE, newFruit, newFruit() : Fruit] [java] Choice[BEHAVIORAL_FEATURE, setColor, setColor(fruit: Fruit, newColor: Color)] [java] Choice[BEHAVIORAL_FEATURE, label, label(text: EString)] [java] Choice[BEHAVIORAL_FEATURE, newApple, newApple() : Apple] [java] Choice[BEHAVIORAL_FEATURE, preferredLabel, preferredLabel(text: EString) : String] [java] Choice[BEHAVIORAL_FEATURE, Drop, <> Drop(delay: Real, stem: Stem)] [java] ==> Finish test_messageChoices [java] ==> Start test_allInstances [java] ==> Finish test_allInstances [java] ==> Start test_evaluatePrecompiledInvariant_114921 [java] ==> Finish test_evaluatePrecompiledInvariant_114921 [java] ==> Start test_completionOfRightmostSubexpression_RATLC00537918 [java] ==> Finish test_completionOfRightmostSubexpression_RATLC00537918 [java] ==> Start test_completionOfRightmost_parentheses_RATLC00537918 [java] ==> Finish test_completionOfRightmost_parentheses_RATLC00537918 [java] ==> Start test_completionOnLetVariable_RATLC00537918 [java] ==> Finish test_completionOnLetVariable_RATLC00537918 [java] ==> Start test_completionOnLetExpression_RATLC00537918 [java] ==> Finish test_completionOnLetExpression_RATLC00537918 [java] ==> Start test_completionOnIteratorVariable_RATLC00537918 [java] ==> Finish test_completionOnIteratorVariable_RATLC00537918 [java] ==> Start test_completionOnAccumulator_RATLC00537918 [java] ==> Finish test_completionOnAccumulator_RATLC00537918 [java] ==> Start test_completionOnIterate_RATLC00537918 [java] ==> Finish test_completionOnIterate_RATLC00537918 [java] ==> Start test_completionOnIterator_sequence_RATLC00537918 [java] ==> Finish test_completionOnIterator_sequence_RATLC00537918 [java] ==> Start test_completionOnIterator_orderedSet_RATLC00537918 [java] ==> Finish test_completionOnIterator_orderedSet_RATLC00537918 [java] ==> Start test_completionOnIterator_bag_RATLC00537918 [java] ==> Finish test_completionOnIterator_bag_RATLC00537918 [java] ==> Start test_completionOnIfExpression_RATLC00537918 [java] ==> Finish test_completionOnIfExpression_RATLC00537918 [java] ==> Start test_variables_RATLC00535552 [java] ==> Finish test_variables_RATLC00535552 [java] ==> Start test_parameters_RATLC00535552 [java] ==> Finish test_parameters_RATLC00535552 [java] ==> Start test_partial_property_RATLC00535552 [java] ==> Finish test_partial_property_RATLC00535552 [java] ==> Start test_partial_operation_RATLC00535552 [java] ==> Finish test_partial_operation_RATLC00535552 [java] ==> Start test_partial_type_RATLC00535552 [java] ==> Finish test_partial_type_RATLC00535552 [java] ==> Start test_partial_enumLiteral_RATLC00535552 [java] ==> Finish test_partial_enumLiteral_RATLC00535552 [java] ==> Start test_partial_collectionOperation_RATLC00535552 [java] ==> Finish test_partial_collectionOperation_RATLC00535552 [java] ==> Start test_emptyExpression_RATLC00535552 [java] ==> Finish test_emptyExpression_RATLC00535552 [java] ==> Start test_garbageExpression_RATLC00535552 [java] ==> Finish test_garbageExpression_RATLC00535552 [java] ==> Start test_oclIsNewOnlyInPostconditions_116664 [java] ==> Finish test_oclIsNewOnlyInPostconditions_116664 [java] ==> Start test_quoteReservedWords_RATLC00527506 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context MyType [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: context [java] operationCallExpCS: notEmpty [java] ==> Finish test_quoteReservedWords_RATLC00527506 [java] ==> Start test_quoteWhitespace_RATLC00527509 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context MyType [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: an attribute [java] operationCallExpCS: notEmpty [java] ==> Finish test_quoteWhitespace_RATLC00527509 [java] ==> Start test_quoteQuote_RATLC00527509 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context MyType [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: an"attribute [java] operationCallExpCS: notEmpty [java] Got expected error: Parse failed: 1:43:1:75 "endpackage" expected instead of ""attribute->notEmpty() endpackage" [java] ==> Finish test_quoteQuote_RATLC00527509 [java] ==> Start test_internationalCharacters_RATLC01080816 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context MyType [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: ???? [java] stringLiteralExpCS: String: '????' [java] operationCallExpCS: <> [java] ==> Finish test_internationalCharacters_RATLC01080816 [java] ==> Start test_oclIsKindOf_RATLC01087664 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context A [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclAsType [java] variableExpCS: Property: b [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: a [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] ==> Finish test_oclIsKindOf_RATLC01087664 [java] ==> Start test_shortcircuitAnd_RATLC00536528 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context A [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclAsType [java] variableExpCS: Property: b [java] operationCallExpCS: and [java] ==> Finish test_shortcircuitAnd_RATLC00536528 [java] ==> Start test_shortcircuitOr_RATLC00536528 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context A [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] operationCallExpCS: not [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclAsType [java] variableExpCS: Property: b [java] operationCallExpCS: or [java] ==> Finish test_shortcircuitOr_RATLC00536528 [java] ==> Start test_shortcircuitImplies_RATLC00536528 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context A [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclIsKindOf [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: oclAsType [java] variableExpCS: Property: b [java] operationCallExpCS: implies [java] ==> Finish test_shortcircuitImplies_RATLC00536528 [java] ==> Start test_oclIsNew_invariant_RATLC00529981 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Property: color [java] operationCallExpCS: oclIsNew [java] Got expected error: Validation failed: oclIsNew() may only be called in an operation postcondition constraint [java] ==> Finish test_oclIsNew_invariant_RATLC00529981 [java] ==> Start test_oclIsNew_precondition_RATLC00529981 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] variableExpCS: Variable Expression: c [java] operationCallExpCS: oclIsNew [java] variableExpCS: Variable Expression: c [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] Got expected error: Validation failed: oclIsNew() may only be called in an operation postcondition constraint [java] ==> Finish test_oclIsNew_precondition_RATLC00529981 [java] ==> Start test_oclIsNew_postcondition_RATLC00529981 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for c [java] operationCS: adding variable declaration for self [java] operationCS: context Fruit ripen [java] prePostOrBodyDeclCS0: adding variable declaration for result [java] variableExpCS: Property: color [java] operationCallExpCS: oclIsNew [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] operationCallExpCS: implies [java] ==> Finish test_oclIsNew_postcondition_RATLC00529981 [java] ==> Start test_toLower_RATLC00529981 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] stringLiteralExpCS: String: 'AlPHaBet' [java] operationCallExpCS: toLower [java] ==> Finish test_toLower_RATLC00529981 [java] ==> Start test_toUpper_RATLC00529981 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] stringLiteralExpCS: String: 'AlPHaBet' [java] operationCallExpCS: toUpper [java] ==> Finish test_toUpper_RATLC00529981 [java] ==> Start test_referenceMultiplicity_orderedSet_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: orderedSet [java] ==> Finish test_referenceMultiplicity_orderedSet_RATLC00538035 [java] ==> Start test_referenceMultiplicity_set_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: set [java] ==> Finish test_referenceMultiplicity_set_RATLC00538035 [java] ==> Start test_referenceMultiplicity_sequence_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: sequence [java] ==> Finish test_referenceMultiplicity_sequence_RATLC00538035 [java] ==> Start test_referenceMultiplicity_bag_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: bag [java] ==> Finish test_referenceMultiplicity_bag_RATLC00538035 [java] ==> Start test_parameterMultiplicity_orderedSet_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: orderedSet [java] operationCallExpCS: processOrderedSet [java] ==> Finish test_parameterMultiplicity_orderedSet_RATLC00538035 [java] ==> Start test_parameterMultiplicity_set_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: set [java] operationCallExpCS: processSet [java] ==> Finish test_parameterMultiplicity_set_RATLC00538035 [java] ==> Start test_parameterMultiplicity_sequence_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: sequence [java] operationCallExpCS: processSequence [java] ==> Finish test_parameterMultiplicity_sequence_RATLC00538035 [java] ==> Start test_parameterMultiplicity_bag_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: bag [java] operationCallExpCS: processBag [java] ==> Finish test_parameterMultiplicity_bag_RATLC00538035 [java] ==> Start test_operationMultiplicity_orderedSet_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: orderedSet [java] operationCallExpCS: processOrderedSet [java] operationCallExpCS: processOrderedSet [java] ==> Finish test_operationMultiplicity_orderedSet_RATLC00538035 [java] ==> Start test_operationMultiplicity_set_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: set [java] operationCallExpCS: processSet [java] operationCallExpCS: processSet [java] ==> Finish test_operationMultiplicity_set_RATLC00538035 [java] ==> Start test_operationMultiplicity_sequence_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: sequence [java] operationCallExpCS: processSequence [java] operationCallExpCS: processSequence [java] ==> Finish test_operationMultiplicity_sequence_RATLC00538035 [java] ==> Start test_operationMultiplicity_bag_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: bag [java] operationCallExpCS: processBag [java] operationCallExpCS: processBag [java] ==> Finish test_operationMultiplicity_bag_RATLC00538035 [java] ==> Start test_operationContext_orderedSet_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for x [java] Got expected error: Parse failed: ERROR in (operationContextDeclCS): (Unrecognized context: ( FruitUtil processOrderedSet)) [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: ORDERED_SET [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processOrderedSet [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: = [java] ==> Finish test_operationContext_orderedSet_RATLC00538035 [java] ==> Start test_operationContext_set_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for x [java] Got expected error: Parse failed: ERROR in (operationContextDeclCS): (Unrecognized context: ( FruitUtil processSet)) [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: SET [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processSet [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: = [java] ==> Finish test_operationContext_set_RATLC00538035 [java] ==> Start test_operationContext_sequence_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for x [java] Got expected error: Parse failed: ERROR in (operationContextDeclCS): (Unrecognized context: ( FruitUtil processSequence)) [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: SEQUENCE [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processSequence [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: = [java] ==> Finish test_operationContext_sequence_RATLC00538035 [java] ==> Start test_operationContext_bag_RATLC00538035 [java] packageDeclarationCS: Package ocltest [java] variableDeclarationCS: adding variable declaration for x [java] Got expected error: Parse failed: ERROR in (operationContextDeclCS): (Unrecognized context: ( FruitUtil processBag)) [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: BAG [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processBag [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: = [java] ==> Finish test_operationContext_bag_RATLC00538035 [java] ==> Start test_allInstances_enumeration_RATLC00538079 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] operationCallExpCS: allInstances [java] ==> Finish test_allInstances_enumeration_RATLC00538079 [java] ==> Start test_allInstances_voidType_RATLC00538079 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] operationCallExpCS: allInstances [java] ==> Finish test_allInstances_voidType_RATLC00538079 [java] ==> Start test_allInstances_primitive_RATLC00538079 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] enumerationOrClassLiteralExpCS: ecore::EMap::EMap [java] operationCallExpCS: allInstances [java] ==> Finish test_allInstances_primitive_RATLC00538079 [java] ==> Start test_closingParentheses_core [java] Got expected error: Parse failed: 1:40:1:40 "->" expected instead of ")" [java] ==> Finish test_closingParentheses_core [java] ==> Start test_closingParentheses_helper [java] Got expected error: 1:5:1:5 "->" expected instead of ")" [java] ==> Finish test_closingParentheses_helper [java] ==> Start test_closingParentheses_helper_precondition [java] Got expected error: 1:5:1:5 "->" expected instead of ")" [java] ==> Finish test_closingParentheses_helper_precondition [java] ==> Start test_operationBodyBoolean_116251 [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: BAG [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processBag [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: asSet [java] operationCallExpCS: asBag [java] Got expected error: Validation failed: Constraint must be boolean-valued on operation "processBag" [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: BAG [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processBag [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: asSet [java] operationCallExpCS: asBag [java] operationCallExpCS: = [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: BAG [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processBag [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: asSet [java] operationCallExpCS: asBag [java] variableExpCS: Variable Expression: result [java] operationCallExpCS: = [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: BAG [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processBag [java] prePostOrBodyDeclCS: adding variable declaration for result [java] collectionTypeIdentifierCS: SET [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: asSet [java] variableDeclarationCS: adding variable declaration for set [java] collectionTypeIdentifierCS: BAG [java] variableExpCS: Variable Expression: set [java] operationCallExpCS: asBag [java] variableDeclarationCS: adding variable declaration for bag [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: bag [java] operationCallExpCS: = [java] packageDeclarationCS: Package ocltest [java] collectionTypeIdentifierCS: BAG [java] variableDeclarationCS: adding variable declaration for x [java] operationCS: adding variable declaration for self [java] operationCS: context FruitUtil processBag [java] prePostOrBodyDeclCS: adding variable declaration for result [java] variableExpCS: Variable Expression: result [java] variableExpCS: Variable Expression: result [java] operationCallExpCS: asSet [java] variableExpCS: Variable Expression: x [java] operationCallExpCS: union [java] operationCallExpCS: asBag [java] operationCallExpCS: = [java] Got expected error: Validation failed: Body condition must have the form "result = " on operation "processBag" [java] ==> Finish test_operationBodyBoolean_116251 [java] ==> Start test_innerScopeFeatureResolution_bugzilla113355 [java] packageDeclarationCS: Package mypkg [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Library [java] variableExpCS: Property: branches [java] iteratorExpCS: adding variable declaration for temp67 [java] variableExpCS: Property: writers [java] variableDeclarationCS: adding variable declaration for w [java] variableExpCS: Variable Expression: w [java] oclIteratorExpCS: : collect [java] oclIteratorExpCS: : collect [java] operationCallExpCS: flatten [java] ==> Finish test_innerScopeFeatureResolution_bugzilla113355 [java] ==> Start test_querySelectReject_126694 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] variableExpCS: Property: color [java] enumerationOrClassLiteralExpCS: Color::black [java] operationCallExpCS: <> [java] ==> Finish test_querySelectReject_126694 [java] ==> Start test_product_126336 [java] ==> Finish test_product_126336 [java] ==> Start test_iterationToString_126454 [java] ==> Finish test_iterationToString_126454 [java] ==> Start test_null [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] nullLiteralExpCS: OclVoid: null [java] operationCallExpCS: oclIsTypeOf [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] nullLiteralExpCS: OclVoid: null [java] operationCallExpCS: oclIsUndefined [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] nullLiteralExpCS: OclVoid: null [java] operationCallExpCS: oclIsInvalid [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] nullLiteralExpCS: OclVoid: null [java] operationCallExpCS: oclAsType [java] ==> Finish test_null [java] ==> Start test_oclInvalid [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] invalidLiteralExpCS: Invalid: OclInvalid [java] operationCallExpCS: oclIsTypeOf [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] invalidLiteralExpCS: Invalid: OclInvalid [java] operationCallExpCS: oclIsUndefined [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] invalidLiteralExpCS: Invalid: OclInvalid [java] operationCallExpCS: oclIsInvalid [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] invalidLiteralExpCS: Invalid: OclInvalid [java] operationCallExpCS: oclAsType [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] nullLiteralExpCS: OclVoid: null [java] operationCallExpCS: oclAsType [java] variableExpCS: Property: color [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] nullLiteralExpCS: OclVoid: null [java] operationCallExpCS: oclAsType [java] variableExpCS: Property: stem [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] nullLiteralExpCS: OclVoid: null [java] operationCallExpCS: oclAsType [java] stringLiteralExpCS: String: 'foo' [java] operationCallExpCS: preferredLabel [java] ==> Finish test_oclInvalid [java] ==> Start test_operationNotFound [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context FruitUtil [java] variableExpCS: Variable Expression: self [java] integerLiteralExpCS: Integer: 1 [java] Got expected error: Parse failed: ERROR in (operationCallExpCS): (Cannot find operation (processOrderedSet(Integer)) for the type (FruitUtil)) [java] ==> Finish test_operationNotFound [java] ==> Start test_operationSignatureMatching [java] ==> Finish test_operationSignatureMatching [java] ==> Start test_operationImplicitSource [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] operationCallExpCS: allInstances [java] iteratorExpCS: adding variable declaration for temp68 [java] Got expected error: Parse failed: illegal operation signature: (preferredLabel()) [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Fruit [java] operationCallExpCS: allInstances [java] iteratorExpCS: adding variable declaration for temp69 [java] stringLiteralExpCS: String: 'foo' [java] operationCallExpCS: preferredLabel [java] oclIteratorExpCS: : collect [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] stringLiteralExpCS: String: 'foo' [java] operationCallExpCS: preferredLabel [java] ==> Finish test_operationImplicitSource [java] ==> Start test_nestedPackages_129769 [java] ==> Finish test_nestedPackages_129769 [java] ==> Start test_superPackages [java] ==> Finish test_superPackages [java] ==> Start test_typeEquality_126145 [java] ==> Finish test_typeEquality_126145 [java] ==> Start test_enclosingPackage_unqualifiedName [java] ==> Finish test_enclosingPackage_unqualifiedName [java] ==> Start test_hebrew_singleQuote_135321 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] stringLiteralExpCS: String: 'foo' [java] operationCallExpCS: preferredLabel [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] stringLiteralExpCS: String: ?foo? [java] operationCallExpCS: preferredLabel [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] stringLiteralExpCS: String: `foo? [java] operationCallExpCS: preferredLabel [java] ==> Finish test_hebrew_singleQuote_135321 [java] ==> Start test_nullVariableName_143386 [java] ==> Finish test_nullVariableName_143386 [java] ==> Start test_createQuery_EEnum [java] ==> Finish test_createQuery_EEnum [java] ==> Start test_createQuery_EClass [java] ==> Finish test_createQuery_EClass [java] ==> Start test_createQuery_EDataType [java] ==> Finish test_createQuery_EDataType [java] ==> Start test_allinstances_query_146378 [java] ==> Finish test_allinstances_query_146378 [java] ==> Start test_globalEPackageRegistry_lookup [java] ==> Finish test_globalEPackageRegistry_lookup [java] ==> Start test_customEPackageRegistry_lookup [java] ==> Finish test_customEPackageRegistry_lookup [java] ==> Start test_callNonQueryOperation_136778 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Apple [java] operationCallExpCS: allInstances [java] variableExpCS: Variable Expression: self [java] operationCallExpCS: newApple [java] operationCallExpCS: includes [java] Got expected exception: Cannot call operation (newApple) because it is not a query [java] ==> Finish test_callNonQueryOperation_136778 [java] ==> Start test_qualifiersMatchExpectedTypes_136778 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Forest [java] variableExpCS: Variable Expression: self [java] variableExpCS: Property: trees [java] stringLiteralExpCS: String: 'foo' [java] integerLiteralExpCS: Integer: 3 [java] Got expected exception: Qualifiers do not conform to expected types: (self.trees[1, 3]) [java] ==> Finish test_qualifiersMatchExpectedTypes_136778 [java] ==> Start test_associationClass_qualifiers_RATLC00538077 [java] packageDeclarationCS: Package ocltest [java] classifierContextDeclCS: adding variable declaration for self [java] classifierContextDeclCS: context Tree [java] variableExpCS: Variable Expression: self [java] variableExpCS: Association class: stem [java] qualifierCS: Reference: apples [java] Got expected exception: Qualifier on association class navigation must be a role of the navigation source: (self.stem[trees]) [java] Got expected exception: Qualifier on association class navigation must be a role of the navigation source: (self.stem[tree]) [java] ==> Finish test_associationClass_qualifiers_RATLC00538077 [java] ==> Start test_basicSerialization [java] ==> Finish test_basicSerialization [java] ==> Start test_primitiveTypeSerialization [java] ==> Finish test_primitiveTypeSerialization [java] ==> Start test_primitiveCollectionTypeSerialization [java] ==> Finish test_primitiveCollectionTypeSerialization [java] ==> Start test_modelCollectionTypeSerialization [java] ==> Finish test_modelCollectionTypeSerialization [java] ==> Start test_typeExpSerialization [java] ==> Finish test_typeExpSerialization [java] ==> Start test_tupleSerialization [java] ==> Finish test_tupleSerialization [java] ==> Start test_operationMessageSerialization [java] ==> Finish test_operationMessageSerialization [java] ==> Start test_signalMessageSerialization [java] ==> Finish test_signalMessageSerialization [java] ==> Start test_additionalOperationSerialization [java] ==> Finish test_additionalOperationSerialization [java] ==> Start test_additionalPropertySerialization [java] ==> Finish test_additionalPropertySerialization cleanup: run: collect: [copy] Copying 1 file to /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/xml runChkpii: chkpiiSetup: chkpii: [mkdir] Created dir: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/chkpiiContents [echo] Unpack emft-*.zip ... [unzip] Expanding: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/emft-ocl-SDK-1.0.2.zip into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/chkpiiContents [unzip] Expanding: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/emft-ocl-junit-tests-1.0.2.zip into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/chkpiiContents [mkdir] Created dir: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/chkpii doChkpii: [echo] /usr/local/bin/chkpii.exe /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/chkpiiContents/*.htm* -E -S -JSQ -OX -O /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/chkpii/org.eclipse.nls.htm.xml -X /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/../../../org.eclipse.emft.ocl.releng/builder/tests/configs/local/chkpii_ignore_list.txt [echo] Total *.htm* Files: 8; Checked: 8; Errors: 0; Warnings: 0; Not Done: 0 doChkpiiSummary: doChkpiiDeleteXML: [delete] Deleting: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/chkpii/org.eclipse.nls.htm.xml doChkpii: [echo] /usr/local/bin/chkpii.exe /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/chkpiiContents/*.xml* -E -S -JSQ -OX -O /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/chkpii/org.eclipse.nls.xml.xml -X /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/../../../org.eclipse.emft.ocl.releng/builder/tests/configs/local/chkpii_ignore_list.txt [echo] Total *.xml* Files: 6; Checked: 6; Errors: 0; Warnings: 0; Not Done: 0 doChkpiiSummary: doChkpiiDeleteXML: [delete] Deleting: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/chkpii/org.eclipse.nls.xml.xml doChkpii: [echo] /usr/local/bin/chkpii.exe /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/chkpiiContents/*.properties* -E -S -JSQ -OX -O /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/chkpii/org.eclipse.nls.properties.xml -X /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/../../../org.eclipse.emft.ocl.releng/builder/tests/configs/local/chkpii_ignore_list.txt [echo] Total *.properties* Files: 7; Checked: 7; Errors: 0; Warnings: 0; Not Done: 0 doChkpiiSummary: doChkpiiDeleteXML: [delete] Deleting: /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/chkpii/org.eclipse.nls.properties.xml genHtml: [style] Transforming into /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/html [style] Processing /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/xml/org.eclipse.emf.ocl.tests_linux.gtk.xml to /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/results/html/org.eclipse.emf.ocl.tests_linux.gtk.html [style] Loading stylesheet /home/www-data/build/emft/ocl/downloads/drops/1.0.2/R200611161546/testing/R200611161546/testing/JUNIT.XSL BUILD SUCCESSFUL BUILD SUCCESSFUL Total time: 29 seconds [runtests] [15:56:55] Eclipse test run completed.