==> Start test_collectionsAndIteratorsAccess_222747 ==> Finish test_collectionsAndIteratorsAccess_222747 ==> Start testTrivialExpressions ==> Finish testTrivialExpressions ==> Start testLogicalConnectives ==> Finish testLogicalConnectives ==> Start testSimpleAttributeExpressions ==> Finish testSimpleAttributeExpressions ==> Start testCollectionExpressions ==> Finish testCollectionExpressions ==> Start testNonBooleansExpressions ==> Finish testNonBooleansExpressions ==> Start testIfExpressions ==> Finish testIfExpressions ==> Start testLetExpressions ==> Finish testLetExpressions ==> Start test_dataTypeAsContext ==> Finish test_dataTypeAsContext ==> Start test_equals_primitives ==> Finish test_equals_primitives ==> Start test_evaluationEnvironment_getType_178901 ==> Finish test_evaluationEnvironment_getType_178901 ==> Start test_oclIsKindOf ==> Finish test_oclIsKindOf ==> Start test_oclIsTypeOf_196264 ==> Finish test_oclIsTypeOf_196264 ==> Start test_enumerationLiteralValue_198945 ==> Finish test_enumerationLiteralValue_198945 ==> Start test_unlimitedNaturalType ==> Finish test_unlimitedNaturalType ==> Start test_unlimitedValue ==> Finish test_unlimitedValue ==> Start test_unlimitedValueComparison ==> Finish test_unlimitedValueComparison ==> Start test_unlimitedValueArithmetic_integers ==> Finish test_unlimitedValueArithmetic_integers ==> Start test_unlimitedValueArithmetic_reals ==> Finish test_unlimitedValueArithmetic_reals ==> Start test_unlimitedValueArithmetic_naturals ==> Finish test_unlimitedValueArithmetic_naturals ==> Start test_lessThan ==> Finish test_lessThan ==> Start test_lessThanOrEqual ==> Finish test_lessThanOrEqual ==> Start test_greaterThan ==> Finish test_greaterThan ==> Start test_greaterThanOrEqual ==> Finish test_greaterThanOrEqual ==> Start test_sortedBy ==> Finish test_sortedBy ==> Start test_invalid_equality ==> Finish test_invalid_equality ==> Start test_void_equality ==> Finish test_void_equality ==> Start test_integerArithmetic ==> Finish test_integerArithmetic ==> Start test_realArithmetic ==> Finish test_realArithmetic ==> Start test_mixedArithmetic ==> Finish test_mixedArithmetic ==> Start test_dotNotationForSymbolicOperationNames ==> Finish test_dotNotationForSymbolicOperationNames ==> Start test_javaImplementationsOfInfixOperators ==> Finish test_javaImplementationsOfInfixOperators ==> Start test_comparisonOfBooleanOperations_137487 ==> Finish test_comparisonOfBooleanOperations_137487 ==> Start test_enumerationLiteralEquality_137546 ==> Finish test_enumerationLiteralEquality_137546 ==> Start test_dataTypes_137158 ==> Finish test_dataTypes_137158 ==> Start test_supportForELongAttributes_198451 ==> Finish test_supportForELongAttributes_198451 ==> Start test_OclAny_equals_unrelatedArgumentTypes ==> Finish test_OclAny_equals_unrelatedArgumentTypes ==> Start test_OclAny_notEquals_unrelatedArgumentTypes ==> Finish test_OclAny_notEquals_unrelatedArgumentTypes ==> Start test_compareToOnlyUsedByJavaImplementation_212804 Got expected exception: Cannot find operation (>=(Comparable)) for the type (Comparable) ==> Finish test_compareToOnlyUsedByJavaImplementation_212804 ==> Start test_insertAt_sequence_126722 ==> Finish test_insertAt_sequence_126722 ==> Start test_insertAt_orderedSet_126722 ==> Finish test_insertAt_orderedSet_126722 ==> Start test_prepend_sequence_126722 ==> Finish test_prepend_sequence_126722 ==> Start test_prepend_orderedSet_126722 ==> Finish test_prepend_orderedSet_126722 ==> Start test_append_sequence_126722 ==> Finish test_append_sequence_126722 ==> Start test_append_orderedSet_126722 ==> Finish test_append_orderedSet_126722 ==> Start test_including_sequence_126722 ==> Finish test_including_sequence_126722 ==> Start test_including_orderedSet_126722 ==> Finish test_including_orderedSet_126722 ==> Start test_excluding_sequence_126722 ==> Finish test_excluding_sequence_126722 ==> Start test_excluding_orderedSet_126722 ==> Finish test_excluding_orderedSet_126722 ==> Start test_first ==> Finish test_first ==> Start test_last ==> Finish test_last ==> Start test_at ==> Finish test_at ==> Start test_indexOf ==> Finish test_indexOf ==> Start test_subsequence_suborderedset ==> Finish test_subsequence_suborderedset ==> Start test_flatten ==> Finish test_flatten ==> Start test_flatten_notNested ==> Finish test_flatten_notNested ==> Start test_count ==> Finish test_count ==> Start test_sum ==> Finish test_sum ==> Start test_includes ==> Finish test_includes ==> Start test_includesAll ==> Finish test_includesAll ==> Start test_union ==> Finish test_union ==> Start test_intersection ==> Finish test_intersection ==> Start test_difference ==> Finish test_difference ==> Start test_symmetricDifference ==> Finish test_symmetricDifference ==> Start test_dotNavigationOfReferenceCollections_130239 ==> Finish test_dotNavigationOfReferenceCollections_130239 ==> Start test_dotNavigationOfOperationCollections_130239 ==> Finish test_dotNavigationOfOperationCollections_130239 ==> Start test_collectionRange_152208 ==> Finish test_collectionRange_152208 ==> Start test_tupleWithCollectionPart_175490 ==> Finish test_tupleWithCollectionPart_175490 ==> Start test_tupleWithCollectionLiteralPart_175490 ==> Finish test_tupleWithCollectionLiteralPart_175490 ==> Start test_operationValueCollectionType_183667 ==> Finish test_operationValueCollectionType_183667 ==> Start test_propertyValueCollectionType_183667 ==> Finish test_propertyValueCollectionType_183667 ==> Start test_coercionOfCollectionParameters_184789 ==> Finish test_coercionOfCollectionParameters_184789 ==> Start test_sequenceNotEqualSignature_184327 ==> Finish test_sequenceNotEqualSignature_184327 ==> Start test_qualifiers_associationEnd_RATLC00538077 Got expected error: Parse failed: Qualifiers do not conform to expected types: (self.trees) Got expected error: Parse failed: Qualifiers do not conform to expected types: (self.trees) Got expected error: Parse failed: Qualifiers do not conform to expected types: (self.trees) ==> Finish test_qualifiers_associationEnd_RATLC00538077 ==> Start test_associationClass_RATLC00538077 ==> Finish test_associationClass_RATLC00538077 ==> Start test_associationClass_scalar_182193 ==> Finish test_associationClass_scalar_182193 ==> Start test_associationClass_qualifiers_RATLC00538077 Got expected error: Parse failed: Unrecognized variable: (tree) Got expected error: Parse failed: expected parser to return VariableExpCS but got IntegerLiteralExpCS ==> Finish test_associationClass_qualifiers_RATLC00538077 ==> Start test_associationClass_reflexive_RATLC00538077 Got expected error: Parse failed: Qualifier needed to select navigation direction in reflexive association class: (self.aC) ==> Finish test_associationClass_reflexive_RATLC00538077 ==> Start test_navigateFromAssociationClass_RATLC00538077 ==> Finish test_navigateFromAssociationClass_RATLC00538077 ==> Start test_associationClass_contentAssist_RATLC00538077 ==> Finish test_associationClass_contentAssist_RATLC00538077 ==> Start test_propertyPositions_associationClassEndCall ==> Finish test_propertyPositions_associationClassEndCall ==> Start test_propertyPositions_associationClassCall ==> Finish test_propertyPositions_associationClassCall ==> Start test_propertyPositions_associationClassCall_implicitCollect ==> Finish test_propertyPositions_associationClassCall_implicitCollect ==> Start test_propertyPositions_associationClassQualified ==> Finish test_propertyPositions_associationClassQualified ==> Start test_propertyPositions_associationClassQualified_implicitCollect ==> Finish test_propertyPositions_associationClassQualified_implicitCollect ==> Start test_associationNullContext_bugzilla121614 ==> Finish test_associationNullContext_bugzilla121614 ==> Start test_qualifiedAssociation_scalar_133435 ==> Finish test_qualifiedAssociation_scalar_133435 ==> Start test_nonNavigableAttribute ==> Finish test_nonNavigableAttribute ==> Start test_nonNavigableAttribute_instanceSpecification ==> Finish test_nonNavigableAttribute_instanceSpecification ==> Start test_unnamedAttribute_194245 ==> Finish test_unnamedAttribute_194245 ==> Start test_unnamedAttribute_instanceSpecification_194245 ==> Finish test_unnamedAttribute_instanceSpecification_194245 ==> Start test_associationEndAmbiguity_nonNavigable_194245 Got expected warning: Multiple association ends named "forest" in classifier "Tree" ==> Finish test_associationEndAmbiguity_nonNavigable_194245 ==> Start test_associationEndAmbiguity_unnamed_194245 Got expected warning: Multiple association ends named "forest" in classifier "Tree" ==> Finish test_associationEndAmbiguity_unnamed_194245 ==> Start test_associationEndAmbiguity_errorSeverity_194245 Got expected exception: Multiple association ends named "forest" in classifier "Tree" ==> Finish test_associationEndAmbiguity_errorSeverity_194245 ==> Start test_nonNavigableAttribute_inheritedAssociation_194245 ==> Finish test_nonNavigableAttribute_inheritedAssociation_194245 ==> Start test_unnamedAttribute_inheritedAssociation_194245 ==> Finish test_unnamedAttribute_inheritedAssociation_194245 ==> Start test_navigateFromAssociation ==> Finish test_navigateFromAssociation ==> Start test_classGeneralResolvesToNothing_251808 ==> Finish test_classGeneralResolvesToNothing_251808 ==> Start test_iterate_143996 ==> Finish test_iterate_143996 ==> Start test_select ==> Finish test_select ==> Start test_reject ==> Finish test_reject ==> Start test_any ==> Finish test_any ==> Start test_isUnique_126861 ==> Finish test_isUnique_126861 ==> Start test_exists ==> Finish test_exists ==> Start test_forAll ==> Finish test_forAll ==> Start test_one ==> Finish test_one ==> Start test_collect ==> Finish test_collect ==> Start test_implicitCollect_unknownAttribute_232669 ==> Finish test_implicitCollect_unknownAttribute_232669 ==> Start test_implicitCollect_unknownOperation_232669 ==> Finish test_implicitCollect_unknownOperation_232669 ==> Start test_collect_flattens_217461 ==> Finish test_collect_flattens_217461 ==> Start test_collect_empty_217461 ==> Finish test_collect_empty_217461 ==> Start test_collectNested ==> Finish test_collectNested ==> Start test_sortedBy ==> Finish test_sortedBy ==> Start test_closure ==> Finish test_closure ==> Start test_closure_cycles ==> Finish test_closure_cycles ==> Start test_closure_operations ==> Finish test_closure_operations ==> Start test_closureValidation ==> Finish test_closureValidation ==> Start test_closureValidation_typeConformance_154695 ==> Finish test_closureValidation_typeConformance_154695 ==> Start test_forAll_invalidBody_142518 ==> Finish test_forAll_invalidBody_142518 ==> Start test_exists_invalidBody_142518 ==> Finish test_exists_invalidBody_142518 ==> Start test_one_invalidBody_142518 ==> Finish test_one_invalidBody_142518 ==> Start test_any_invalidBody_142518 ==> Finish test_any_invalidBody_142518 ==> Start test_select_invalidBody_142518 ==> Finish test_select_invalidBody_142518 ==> Start test_reject_invalidBody_142518 ==> Finish test_reject_invalidBody_142518 ==> Start test_isUnique_invalidBody_142518 ==> Finish test_isUnique_invalidBody_142518 ==> Start test_collect_invalidBody_142518 ==> Finish test_collect_invalidBody_142518 ==> Start test_collectNested_invalidBody_142518 ==> Finish test_collectNested_invalidBody_142518 ==> Start test_closure_invalidBody_142518 ==> Finish test_closure_invalidBody_142518 ==> Start test_sortedBy_invalidBody_142518 ==> Finish test_sortedBy_invalidBody_142518 ==> Start test_iterateWithNullSource_143996 ==> Finish test_iterateWithNullSource_143996 ==> Start test_existsWithNullSource_143996 ==> Finish test_existsWithNullSource_143996 ==> Start test_exists_multipleIteratorVariables ==> Finish test_exists_multipleIteratorVariables ==> Start test_forAll_multipleIteratorVariables ==> Finish test_forAll_multipleIteratorVariables ==> Start test_invalidMultipleIteratorVariables ==> Finish test_invalidMultipleIteratorVariables ==> Start test_sortedByRequiresComparability_192729 ==> Finish test_sortedByRequiresComparability_192729 ==> Start test_body_162300 ==> Finish test_body_162300 ==> Start test_reservedStateName_183362 ==> Finish test_reservedStateName_183362 ==> Start test_isUnique_162300 ==> Finish test_isUnique_162300 ==> Start test_package_162300 ==> Finish test_package_162300 ==> Start test_context_162300 ==> Finish test_context_162300 ==> Start test_isUniqueOperation_162300 ==> Finish test_isUniqueOperation_162300 ==> Start test_selectOperation_162300 ==> Finish test_selectOperation_162300 ==> Start test_contextOperation_162300 ==> Finish test_contextOperation_162300 ==> Start test_reservedPackageName_183362 ==> Finish test_reservedPackageName_183362 ==> Start test_reservedPackageName_packageContext_183362 ==> Finish test_reservedPackageName_packageContext_183362 ==> Start test_reservedClassName_183362 ==> Finish test_reservedClassName_183362 ==> Start test_reservedClassName_operationContext_183362 ==> Finish test_reservedClassName_operationContext_183362 ==> Start test_unexpectedCharacter_283509 ==> Finish test_unexpectedCharacter_283509 ==> Start test_let ==> Finish test_let ==> Start test_let_inExpression_182201 ==> Finish test_let_inExpression_182201 ==> Start test_equality_relational_179249 ==> Finish test_equality_relational_179249 ==> Start test_or_and_precedence Got expected warning: Precedence of xor,or,and changed for OCL 2.2. ==> Finish test_or_and_precedence ==> Start test_xor_or_precedence Got expected warning: Precedence of xor,or,and changed for OCL 2.2. ==> Finish test_xor_or_precedence ==> Start test_tupleLiteral_withTypes ==> Finish test_tupleLiteral_withTypes ==> Start test_tupleLiteral_noTypes ==> Finish test_tupleLiteral_noTypes ==> Start test_tupleLiteral_mixedTypes ==> Finish test_tupleLiteral_mixedTypes ==> Start test_tupleAssignment ==> Finish test_tupleAssignment ==> Start test_tupleCollections ==> Finish test_tupleCollections ==> Start test_tupleEquivalence ==> Finish test_tupleEquivalence ==> Start test_tupleTypeDistinction_192832 ==> Finish test_tupleTypeDistinction_192832 ==> Start test_tuplePartAccess_238049 ==> Finish test_tuplePartAccess_238049 ==> Start test_isInState Got expected error: No such state ([Bad, Rotten]) in type (null) ==> Finish test_isInState ==> Start test_isInState_validation Got expected error: oclIsInState() must have a single State argument: (self.oclIsInState()) Got expected error: oclIsInState() must have a single State argument: (oclIsInState(Bad, Rotten)) Got expected error: No such state ([<>]) in type (Fruit) Got expected error: No such state ([OclTest, Fruit]) in type (Fruit) ==> Finish test_isInState_validation ==> Start test_stateContentAssist ==> Finish test_stateContentAssist ==> Start test_multipleStateMachines Got expected error: Ambiguous reference to state ([Ripe]) in type (ocltest::Fruit) ==> Finish test_multipleStateMachines ==> Start test_hasSent_operation ==> Finish test_hasSent_operation ==> Start test_hasSent_operation_validation Got expected error: Unrecognized operation or signal (label) in message expression Got expected error: Unrecognized operation or signal (setColor) in message expression ==> Finish test_hasSent_operation_validation ==> Start test_hasSent_operation_unspecifiedValue ==> Finish test_hasSent_operation_unspecifiedValue ==> Start test_hasSent_operation_unspecifiedValue_validation Got expected error: Unrecognized operation or signal (label) in message expression Got expected error: Unrecognized operation or signal (setColor) in message expression ==> Finish test_hasSent_operation_unspecifiedValue_validation ==> Start test_sentMessages_operation ==> Finish test_sentMessages_operation ==> Start test_message_access_operation ==> Finish test_message_access_operation ==> Start test_sentMessages_operation_validation Got expected error: Unrecognized operation or signal (label) in message expression Got expected error: Unrecognized operation or signal (setColor) in message expression ==> Finish test_sentMessages_operation_validation ==> Start test_hasSent_signal ==> Finish test_hasSent_signal ==> Start test_hasSent_signal_validation Got expected error: Unrecognized variable: (stem) Got expected error: Unrecognized operation or signal (Drop) in message expression ==> Finish test_hasSent_signal_validation ==> Start test_sentMessages_signal ==> Finish test_sentMessages_signal ==> Start test_message_access_signal ==> Finish test_message_access_signal ==> Start test_sentMessages_signal_validation Got expected error: Unrecognized operation or signal (Rot) in message expression Got expected error: Unrecognized operation or signal (Drop) in message expression ==> Finish test_sentMessages_signal_validation ==> Start test_contentAssist_operations ==> Finish test_contentAssist_operations ==> Start test_contentAssist_signals ==> Finish test_contentAssist_signals ==> Start test_parseStereotypeConstraint ==> Finish test_parseStereotypeConstraint ==> Start test_parseStereotypeConstraint_substereotype_243098 ==> Finish test_parseStereotypeConstraint_substereotype_243098 ==> Start test_navigateToStereotypeApplication ==> Finish test_navigateToStereotypeApplication ==> Start test_allInstances_stereotype_241148 ==> Finish test_allInstances_stereotype_241148 ==> Start test_allInstances_profileClass_241148 ==> Finish test_allInstances_profileClass_241148 ==> Start test_navigateToStereotypeApplication_247079 ==> Finish test_navigateToStereotypeApplication_247079 ==> Start test_simpleInvariant ==> Finish test_simpleInvariant ==> Start test_simpleInvariantWithSelf ==> Finish test_simpleInvariantWithSelf ==> Start test_simpleInvariantWithLet ==> Finish test_simpleInvariantWithLet ==> Start test_variablesHidingAttributes ==> Finish test_variablesHidingAttributes ==> Start test_propertyNameCoincidesWithTypeName_140347 ==> Finish test_propertyNameCoincidesWithTypeName_140347 ==> Start test_interfaceRealization ==> Finish test_interfaceRealization ==> Start test_nestedClassifiers ==> Finish test_nestedClassifiers ==> Start test_simplePrecondition ==> Finish test_simplePrecondition ==> Start test_simplePostcondition ==> Finish test_simplePostcondition ==> Start test_postcondition_atPre ==> Finish test_postcondition_atPre ==> Start test_postcondition_atPre_operation ==> Finish test_postcondition_atPre_operation ==> Start test_postcondition_result ==> Finish test_postcondition_result ==> Start test_namespaces ==> Finish test_namespaces ==> Start test_illegalUseOfAtPre_precondition Got expected error: Validation failed: @pre may only be used in an operation postcondition constraint ==> Finish test_illegalUseOfAtPre_precondition ==> Start test_illegalUseOfAtPre_invariant Got expected error: Validation failed: @pre may only be used in an operation postcondition constraint ==> Finish test_illegalUseOfAtPre_invariant ==> Start test_illegalUseOfAtPre_postcondition Got expected error: Parse failed: @pre may only be applied to feature calls ==> Finish test_illegalUseOfAtPre_postcondition ==> Start test_variablesHidingAttributes ==> Finish test_variablesHidingAttributes ==> Start test_parametersAreLocalVariables Got expected error: Parse failed: 1:62:1:62 "let" expected after ":" ==> Finish test_parametersAreLocalVariables ==> Start test_bodyConditionConformance Got expected error: Validation failed: Body condition does not conform to result type of operation "preferredColor": (String), (Color) Got expected error: Validation failed: Body condition does not conform to result type of operation "newApple": (Fruit), (Apple) ==> Finish test_bodyConditionConformance ==> Start test_bodyConditionVoidOperation Got expected error: Parse failed: Unrecognized variable: (result) ==> Finish test_bodyConditionVoidOperation ==> Start test_parameterNameCoincidesWithAttributeName_140008 ==> Finish test_parameterNameCoincidesWithAttributeName_140008 ==> Start test_implicitPropertySourceLookup_raw_151234 ==> Finish test_implicitPropertySourceLookup_raw_151234 ==> Start test_implicitPropertySourceLookup_helper_151234 ==> Finish test_implicitPropertySourceLookup_helper_151234 ==> Start test_implicitOperationSourceLookup_raw_151234 ==> Finish test_implicitOperationSourceLookup_raw_151234 ==> Start test_implicitOperationSourceLookup_helper_151234 ==> Finish test_implicitOperationSourceLookup_helper_151234 ==> Start test_invariant ==> Finish test_invariant ==> Start test_query ==> Finish test_query ==> Start test_postcondition ==> Finish test_postcondition ==> Start test_parentheses ==> Finish test_parentheses ==> Start test_typePositions ==> Finish test_typePositions ==> Start test_elementTypePositions ==> Finish test_elementTypePositions ==> Start test_propertyPositions_operationCall ==> Finish test_propertyPositions_operationCall ==> Start test_propertyPositions_attributeCall ==> Finish test_propertyPositions_attributeCall ==> Start test_propertyPositions_associationEndCall ==> Finish test_propertyPositions_associationEndCall ==> Start test_propertyPositions_implicitCollect ==> Finish test_propertyPositions_implicitCollect ==> Start test_referencePositions_implicitCollect ==> Finish test_referencePositions_implicitCollect ==> Start test_messageExp_positions ==> Finish test_messageExp_positions ==> Start test_stateExp_positions ==> Finish test_stateExp_positions ==> Start testCallOverridingMethod ==> Finish testCallOverridingMethod ==> Start testCallOverriddenMethod1 ==> Finish testCallOverriddenMethod1 ==> Start testCallOverriddenMethod2 ==> Finish testCallOverriddenMethod2 ==> Start testAccessOverridingProperty ==> Finish testAccessOverridingProperty ==> Start testAccessOverriddenProperty1 ==> Finish testAccessOverriddenProperty1 ==> Start testAccessOverriddenProperty2 ==> Finish testAccessOverriddenProperty2 ==> Start test_defExpression_raw_operation ==> Finish test_defExpression_raw_operation ==> Start test_defExpression_helper_operation ==> Finish test_defExpression_helper_operation ==> Start test_defExpression_raw_attribute ==> Finish test_defExpression_raw_attribute ==> Start test_defExpression_helper_attribute ==> Finish test_defExpression_helper_attribute ==> Start test_defExpression_raw_reference ==> Finish test_defExpression_raw_reference ==> Start test_defExpression_inheritance_operation ==> Finish test_defExpression_inheritance_operation ==> Start test_defExpression_inheritance_attribute ==> Finish test_defExpression_inheritance_attribute ==> Start test_defExpression_static Got the expected exception: Support for static features has not been enabled ==> Finish test_defExpression_static ==> Start test_malformedDefExpression_attribute Got expected error: Def expression type (String) does not conform to defined feature type (Set(Classifier)) Got expected error: 1:1:1:6 token "myName" is invalid ==> Finish test_malformedDefExpression_attribute ==> Start test_malformedDefExpression_operation Got expected error: Def expression type (String) does not conform to defined feature type (Set(Classifier)) Got expected error: 1:20:1:20 ":" expected after ")" Got expected error: null ==> Finish test_malformedDefExpression_operation ==> Start test_duplicateDefinition_attribute Got expected error: Property (name) already defined in type (Classifier) Got expected error: Property (generalization) already defined in type (Classifier) ==> Finish test_duplicateDefinition_attribute ==> Start test_duplicateDefinition_operation Got expected error: Operation (preferredLabel(String)) already defined in type (Apple) Got expected error: Operation (preferredLabel(String)) already defined in type (Apple) ==> Finish test_duplicateDefinition_operation ==> Start test_undefine_property_152018 ==> Finish test_undefine_property_152018 ==> Start test_undefine_operation_152018 ==> Finish test_undefine_operation_152018 ==> Start test_recursive_property_152018 Got expected error: Def expression type (PackageableElement) does not conform to defined feature type (Classifier) ==> Finish test_recursive_property_152018 ==> Start test_recursive_operation_152018 Got expected error: Def expression type (PackageableElement) does not conform to defined feature type (Classifier) ==> Finish test_recursive_operation_152018 ==> Start test_defExpression_completion_operation ==> Finish test_defExpression_completion_operation ==> Start test_defExpression_completion_attribute ==> Finish test_defExpression_completion_attribute ==> Start test_defAttributeOnPrimitiveType_172782 Got the expected exception: Unrecognized variable: (reverse) ==> Finish test_defAttributeOnPrimitiveType_172782 ==> Start test_defOperationOnPrimitiveType_172782 Got the expected exception: Cannot find operation (reversed()) for the type (String) ==> Finish test_defOperationOnPrimitiveType_172782 ==> Start test_defAttributeOnPredefinedType_172782 Got the expected exception: Unrecognized variable: (reverse) ==> Finish test_defAttributeOnPredefinedType_172782 ==> Start test_defOperationOnPredefinedType_172782 Got the expected exception: Cannot find operation (reversed()) for the type (String) ==> Finish test_defOperationOnPredefinedType_172782 ==> Start test_defExpression_operation_owner ==> Finish test_defExpression_operation_owner ==> Start test_defExpression_attribute_owner ==> Finish test_defExpression_attribute_owner ==> Start test_def_operation_OclAny_192892 ==> Finish test_def_operation_OclAny_192892 ==> Start test_def_attribute_OclAny_192892 ==> Finish test_def_attribute_OclAny_192892 ==> Start test_defExpression_operation_similarParams_238050 ==> Finish test_defExpression_operation_similarParams_238050 ==> Start test_init_attribute_raw ==> Finish test_init_attribute_raw ==> Start test_derive_attribute_raw ==> Finish test_derive_attribute_raw ==> Start test_init_reference_raw ==> Finish test_init_reference_raw ==> Start test_derive_reference_raw ==> Finish test_derive_reference_raw ==> Start test_init_attribute_helper ==> Finish test_init_attribute_helper ==> Start test_derive_attribute_helper ==> Finish test_derive_attribute_helper ==> Start test_init_reference_helper ==> Finish test_init_reference_helper ==> Start test_derive_reference_helper ==> Finish test_derive_reference_helper ==> Start test_malformedInitExpression Got expected error: Initial or derived value expression type (String) does not conform to property "relatedFruits" type (Set(Fruit)) ==> Finish test_malformedInitExpression ==> Start test_malformedDeriveExpression Got expected error: Initial or derived value expression type (String) does not conform to property "relatedFruits" type (Set(Fruit)) ==> Finish test_malformedDeriveExpression ==> Start test_bothInitAndDeriveExpressions ==> Finish test_bothInitAndDeriveExpressions ==> Start test_tooManyInitAndDeriveExpressions Got expected error: Parse failed: Property context may define at most one init and one derive expression: (Fruit name) Got expected error: Parse failed: Property context may define at most one init and one derive expression: (Fruit name) Got expected error: Parse failed: Property context may define at most one init and one derive expression: (Fruit name) Got expected error: Parse failed: Property context may define at most one init and one derive expression: (Fruit name) ==> Finish test_tooManyInitAndDeriveExpressions ==> Start test_importedElements ==> Finish test_importedElements ==> Start test_redefinedProperties ==> Finish test_redefinedProperties ==> Start test_staticOperations_dot_bug164887 ==> Finish test_staticOperations_dot_bug164887 ==> Start test_staticOperations_colonColon_bug164887 ==> Finish test_staticOperations_colonColon_bug164887 ==> Start test_staticAttributes_dot_bug164887 ==> Finish test_staticAttributes_dot_bug164887 ==> Start test_staticAttributes_colonColon_bug164887 ==> Finish test_staticAttributes_colonColon_bug164887 ==> Start test_staticOperations_dot_val_bug164887 Got expected error: Parse failed: Cannot find operation (ripen(Color)) for the type (Fruit) Got expected error: Parse failed: Cannot find operation (ripen(Color)) for the type (Fruit) ==> Finish test_staticOperations_dot_val_bug164887 ==> Start test_staticOperations_colonColon_val_bug164887 Got expected error: Parse failed: Cannot find operation (ripen(Color)) for the type (Fruit) Got expected error: Parse failed: Cannot find operation (ripen(Color)) for the type (Fruit) ==> Finish test_staticOperations_colonColon_val_bug164887 ==> Start test_staticAttributes_dot_val_bug164887 Got expected error: Parse failed: Unrecognized variable: (color) Got expected error: Parse failed: Unrecognized variable: (color) ==> Finish test_staticAttributes_dot_val_bug164887 ==> Start test_staticAttributes_colonColon_val_bug164887 Got expected error: Parse failed: Static reference to non-static attribute "color" Got expected error: Parse failed: Static reference to non-static attribute "color" ==> Finish test_staticAttributes_colonColon_val_bug164887 ==> Start test_aliasedOperation_bug184753 ==> Finish test_aliasedOperation_bug184753 ==> Start test_aliasedAttribute_bug184753 ==> Finish test_aliasedAttribute_bug184753 ==> Start test_privateAttributeInheritance_214224 ==> Finish test_privateAttributeInheritance_214224 ==> Start test_privateOperationInheritance_214224 ==> Finish test_privateOperationInheritance_214224 ==> Start test_privateReceptionInheritance_214224 ==> Finish test_privateReceptionInheritance_214224 ==> Start test_multipleInvariants ==> Finish test_multipleInvariants ==> Start test_multipleDefExpressions ==> Finish test_multipleDefExpressions ==> Start test_multipleInvariantsAndDefExpressions ==> Finish test_multipleInvariantsAndDefExpressions ==> Start test_multipleMixedOperationConstraints ==> Finish test_multipleMixedOperationConstraints ==> Start test_initAndDerConstraints ==> Finish test_initAndDerConstraints ==> Start test_getMetaclass ==> Finish test_getMetaclass ==> Start test_extensibility_156360 ==> Finish test_extensibility_156360 ==> Start test_evaluationMode_instanceModel_194390 ==> Finish test_evaluationMode_instanceModel_194390 ==> Start test_evaluationMode_runtimeObjects_194390 ==> Finish test_evaluationMode_runtimeObjects_194390 ==> Start test_evaluationMode_adaptive_194390 ==> Finish test_evaluationMode_adaptive_194390 ==> Start test_optionInheritance ==> Finish test_optionInheritance ==> Start test_linkNavigationInReverse_259630 ==> Finish test_linkNavigationInReverse_259630 ==> Start testHelperCreation ==> Finish testHelperCreation ==> Start test_createQuery_125684 ==> Finish test_createQuery_125684 ==> Start test_createInvariant ==> Finish test_createInvariant ==> Start test_createInvariant_nonBoolean_125684 Got expected error: Constraint must be boolean-valued on type "Fruit" ==> Finish test_createInvariant_nonBoolean_125684 ==> Start test_createPrecondition ==> Finish test_createPrecondition ==> Start test_createPostcondition ==> Finish test_createPostcondition ==> Start test_createBodyCondition ==> Finish test_createBodyCondition ==> Start test_dataTypeAsContext ==> Finish test_dataTypeAsContext ==> Start test_dataTypeAsContext_inferred ==> Finish test_dataTypeAsContext_inferred ==> Start test_completeInvariant_enumLiteral ==> Finish test_completeInvariant_enumLiteral ==> Start test_completeInvariant_attribute ==> Finish test_completeInvariant_attribute ==> Start test_completeInvariant_reference ==> Finish test_completeInvariant_reference ==> Start test_completeInvariant_operation ==> Finish test_completeInvariant_operation ==> Start test_completePrecondition_enumLiteral ==> Finish test_completePrecondition_enumLiteral ==> Start test_completeBodyCondition_attribute ==> Finish test_completeBodyCondition_attribute ==> Start test_completePrecondition_reference ==> Finish test_completePrecondition_reference ==> Start test_completePostcondition_operation ==> Finish test_completePostcondition_operation ==> Start test_completePrecondition_parameter ==> Finish test_completePrecondition_parameter ==> Start test_completePostcondition_result ==> Finish test_completePostcondition_result ==> Start test_allInstances ==> Finish test_allInstances ==> Start test_anyChoices Choice[OPERATION, oclAsType, oclAsType(typespec: OclType) : T] Choice[OPERATION, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsUndefined, oclIsUndefined() : Boolean] Choice[OPERATION, oclIsInvalid, oclIsInvalid() : Boolean] Choice[OPERATION, oclIsInState, oclIsInState(statespec: State) : Boolean] ==> Finish test_anyChoices ==> Start test_eclassChoices Choice[PROPERTY, relatedFruits, Fruit] Choice[PROPERTY, label, String] Choice[PROPERTY, appleFriends, Apple] Choice[PROPERTY, color, Color] Choice[PROPERTY, name, String] Choice[PROPERTY, tree, Tree] Choice[ASSOCIATION_CLASS, stem, Stem] Choice[OPERATION, newApple, newApple() : Apple] Choice[OPERATION, preferredLabel, preferredLabel(text: String) : String] Choice[OPERATION, ripen, ripen(color: Color) : Boolean] Choice[OPERATION, preferredColor, preferredColor() : Color] Choice[OPERATION, newFruit, newFruit() : Fruit] Choice[OPERATION, oclAsType, oclAsType(typespec: OclType) : T] Choice[OPERATION, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsUndefined, oclIsUndefined() : Boolean] Choice[OPERATION, oclIsInvalid, oclIsInvalid() : Boolean] Choice[OPERATION, oclIsInState, oclIsInState(statespec: State) : Boolean] ==> Finish test_eclassChoices ==> Start test_tupleChoices Choice[PROPERTY, s, String] Choice[PROPERTY, a, Apple] Choice[OPERATION, oclAsType, oclAsType(typespec: OclType) : T] Choice[OPERATION, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsUndefined, oclIsUndefined() : Boolean] Choice[OPERATION, oclIsInvalid, oclIsInvalid() : Boolean] Choice[OPERATION, oclIsInState, oclIsInState(statespec: State) : Boolean] ==> Finish test_tupleChoices ==> Start test_typeChoices Choice[OPERATION, =, =(object: OclAny) : Boolean] Choice[OPERATION, <>, <>(object: OclAny) : Boolean] Choice[OPERATION, oclAsType, oclAsType(typespec: OclType) : T] Choice[OPERATION, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsUndefined, oclIsUndefined() : Boolean] Choice[OPERATION, oclIsInvalid, oclIsInvalid() : Boolean] Choice[OPERATION, oclIsNew, oclIsNew() : Boolean] Choice[OPERATION, oclIsInState, oclIsInState(statespec: State) : Boolean] Choice[OPERATION, allInstances, allInstances() : Set(Apple)] Choice[OPERATION, newApple, newApple() : Apple] Choice[OPERATION, newFruit, newFruit() : Fruit] ==> Finish test_typeChoices ==> Start test_integerChoices Choice[OPERATION, oclAsType, oclAsType(typespec: OclType) : T] Choice[OPERATION, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsUndefined, oclIsUndefined() : Boolean] Choice[OPERATION, oclIsInvalid, oclIsInvalid() : Boolean] Choice[OPERATION, oclIsInState, oclIsInState(statespec: State) : Boolean] Choice[OPERATION, min, min(r: Real) : Integer] Choice[OPERATION, max, max(r: Real) : Integer] Choice[OPERATION, abs, abs() : Integer] Choice[OPERATION, floor, floor() : Integer] Choice[OPERATION, round, round() : Integer] Choice[OPERATION, div, div(i: Integer) : Integer] Choice[OPERATION, mod, mod(i: Integer) : Integer] ==> Finish test_integerChoices ==> Start test_realChoices Choice[OPERATION, oclAsType, oclAsType(typespec: OclType) : T] Choice[OPERATION, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsUndefined, oclIsUndefined() : Boolean] Choice[OPERATION, oclIsInvalid, oclIsInvalid() : Boolean] Choice[OPERATION, oclIsInState, oclIsInState(statespec: State) : Boolean] Choice[OPERATION, min, min(r: Real) : Real] Choice[OPERATION, max, max(r: Real) : Real] Choice[OPERATION, abs, abs() : Real] Choice[OPERATION, floor, floor() : Integer] Choice[OPERATION, round, round() : Integer] ==> Finish test_realChoices ==> Start test_stringChoices Choice[OPERATION, oclAsType, oclAsType(typespec: OclType) : T] Choice[OPERATION, oclIsKindOf, oclIsKindOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsTypeOf, oclIsTypeOf(typespec: OclType) : Boolean] Choice[OPERATION, oclIsUndefined, oclIsUndefined() : Boolean] Choice[OPERATION, oclIsInvalid, oclIsInvalid() : Boolean] Choice[OPERATION, oclIsInState, oclIsInState(statespec: State) : Boolean] Choice[OPERATION, size, size() : Integer] Choice[OPERATION, concat, concat(s: String) : String] Choice[OPERATION, substring, substring(lower: Integer, upper: Integer) : String] Choice[OPERATION, toInteger, toInteger() : Integer] Choice[OPERATION, toReal, toReal() : Real] Choice[OPERATION, toLower, toLower() : String] Choice[OPERATION, toUpper, toUpper() : String] ==> Finish test_stringChoices ==> Start test_setChoices Choice[OPERATION, count, count(object: Apple) : Integer] Choice[OPERATION, excludes, excludes(object: Apple) : Boolean] Choice[OPERATION, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, includes, includes(object: Apple) : Boolean] Choice[OPERATION, includesAll, includesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, isEmpty, isEmpty() : Boolean] Choice[OPERATION, notEmpty, notEmpty() : Boolean] Choice[OPERATION, product, product(c2: Collection(T)) : Set(Tuple(first : Apple, second : T))] Choice[OPERATION, sum, sum() : OclVoid] Choice[OPERATION, size, size() : Integer] Choice[OPERATION, union, union(bag: Bag(Apple)) : Bag(Apple)] Choice[OPERATION, union, union(set: Set(Apple)) : Set(Apple)] Choice[OPERATION, intersection, intersection(bag: Bag(Apple)) : Set(Apple)] Choice[OPERATION, intersection, intersection(set: Set(Apple)) : Set(Apple)] Choice[OPERATION, including, including(object: Apple) : Set(Apple)] Choice[OPERATION, excluding, excluding(object: Apple) : Set(Apple)] Choice[OPERATION, symmetricDifference, symmetricDifference(s: Set(Apple)) : Set(Apple)] Choice[OPERATION, flatten, flatten() : Set(Apple)] Choice[OPERATION, asBag, asBag() : Bag(Apple)] Choice[OPERATION, asSet, asSet() : Set(Apple)] Choice[OPERATION, asSequence, asSequence() : Sequence(Apple)] Choice[OPERATION, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] Choice[OPERATION, exists, exists(expr: OclExpression) : Boolean] Choice[OPERATION, forAll, forAll(expr: OclExpression) : Boolean] Choice[OPERATION, isUnique, isUnique(expr: OclExpression) : Boolean] Choice[OPERATION, one, one(expr: OclExpression) : Boolean] Choice[OPERATION, any, any(expr: OclExpression) : Apple] Choice[OPERATION, collect, collect(expr: OclExpression) : Collection(T2)] Choice[OPERATION, closure, closure(expr: OclExpression) : Set(T2)] Choice[OPERATION, select, select(expr: OclExpression) : Set(Apple)] Choice[OPERATION, reject, reject(expr: OclExpression) : Set(Apple)] Choice[OPERATION, sortedBy, sortedBy(expr: OclExpression) : OrderedSet(Apple)] Choice[OPERATION, collectNested, collectNested(expr: OclExpression) : Bag(T2)] ==> Finish test_setChoices ==> Start test_orderedSetChoices Choice[OPERATION, count, count(object: Apple) : Integer] Choice[OPERATION, excludes, excludes(object: Apple) : Boolean] Choice[OPERATION, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, includes, includes(object: Apple) : Boolean] Choice[OPERATION, includesAll, includesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, isEmpty, isEmpty() : Boolean] Choice[OPERATION, notEmpty, notEmpty() : Boolean] Choice[OPERATION, product, product(c2: Collection(T)) : Set(Tuple(first : Apple, second : T))] Choice[OPERATION, sum, sum() : OclVoid] Choice[OPERATION, size, size() : Integer] Choice[OPERATION, union, union(bag: Bag(Apple)) : Bag(Apple)] Choice[OPERATION, union, union(set: Set(Apple)) : Set(Apple)] Choice[OPERATION, intersection, intersection(bag: Bag(Apple)) : Set(Apple)] Choice[OPERATION, intersection, intersection(set: Set(Apple)) : Set(Apple)] Choice[OPERATION, including, including(object: Apple) : Set(Apple)] Choice[OPERATION, excluding, excluding(object: Apple) : Set(Apple)] Choice[OPERATION, symmetricDifference, symmetricDifference(s: Set(Apple)) : Set(Apple)] Choice[OPERATION, flatten, flatten() : Set(Apple)] Choice[OPERATION, asBag, asBag() : Bag(Apple)] Choice[OPERATION, asSet, asSet() : Set(Apple)] Choice[OPERATION, asSequence, asSequence() : Sequence(Apple)] Choice[OPERATION, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] Choice[OPERATION, append, append(object: Apple) : OrderedSet(Apple)] Choice[OPERATION, at, at(index: Integer) : Apple] Choice[OPERATION, indexOf, indexOf(object: Apple) : Integer] Choice[OPERATION, insertAt, insertAt(index: Integer, object: Apple) : OrderedSet(Apple)] Choice[OPERATION, prepend, prepend(object: Apple) : OrderedSet(Apple)] Choice[OPERATION, subOrderedSet, subOrderedSet(lower: Integer, upper: Integer) : OrderedSet(Apple)] Choice[OPERATION, first, first() : Apple] Choice[OPERATION, last, last() : Apple] Choice[OPERATION, exists, exists(expr: OclExpression) : Boolean] Choice[OPERATION, forAll, forAll(expr: OclExpression) : Boolean] Choice[OPERATION, isUnique, isUnique(expr: OclExpression) : Boolean] Choice[OPERATION, one, one(expr: OclExpression) : Boolean] Choice[OPERATION, any, any(expr: OclExpression) : Apple] Choice[OPERATION, collect, collect(expr: OclExpression) : Collection(T2)] Choice[OPERATION, closure, closure(expr: OclExpression) : Set(T2)] Choice[OPERATION, select, select(expr: OclExpression) : Set(Apple)] Choice[OPERATION, reject, reject(expr: OclExpression) : Set(Apple)] Choice[OPERATION, sortedBy, sortedBy(expr: OclExpression) : OrderedSet(Apple)] Choice[OPERATION, collectNested, collectNested(expr: OclExpression) : Bag(T2)] ==> Finish test_orderedSetChoices ==> Start test_sequenceChoices Choice[OPERATION, count, count(object: Apple) : Integer] Choice[OPERATION, excludes, excludes(object: Apple) : Boolean] Choice[OPERATION, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, includes, includes(object: Apple) : Boolean] Choice[OPERATION, includesAll, includesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, isEmpty, isEmpty() : Boolean] Choice[OPERATION, notEmpty, notEmpty() : Boolean] Choice[OPERATION, product, product(c2: Collection(T)) : Set(Tuple(first : Apple, second : T))] Choice[OPERATION, sum, sum() : OclVoid] Choice[OPERATION, size, size() : Integer] Choice[OPERATION, union, union(s: Sequence(Apple)) : Sequence(Apple)] Choice[OPERATION, append, append(object: Apple) : Sequence(Apple)] Choice[OPERATION, prepend, prepend(object: Apple) : Sequence(Apple)] Choice[OPERATION, insertAt, insertAt(index: Integer, object: Apple) : Sequence(Apple)] Choice[OPERATION, subSequence, subSequence(lower: Integer, upper: Integer) : Sequence(Apple)] Choice[OPERATION, at, at(index: Integer) : Apple] Choice[OPERATION, indexOf, indexOf(object: Apple) : Integer] Choice[OPERATION, including, including(object: Apple) : Sequence(Apple)] Choice[OPERATION, excluding, excluding(object: Apple) : Sequence(Apple)] Choice[OPERATION, first, first() : Apple] Choice[OPERATION, last, last() : Apple] Choice[OPERATION, flatten, flatten() : Sequence(Apple)] Choice[OPERATION, asBag, asBag() : Bag(Apple)] Choice[OPERATION, asSet, asSet() : Set(Apple)] Choice[OPERATION, asSequence, asSequence() : Sequence(Apple)] Choice[OPERATION, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] Choice[OPERATION, exists, exists(expr: OclExpression) : Boolean] Choice[OPERATION, forAll, forAll(expr: OclExpression) : Boolean] Choice[OPERATION, isUnique, isUnique(expr: OclExpression) : Boolean] Choice[OPERATION, one, one(expr: OclExpression) : Boolean] Choice[OPERATION, any, any(expr: OclExpression) : Apple] Choice[OPERATION, collect, collect(expr: OclExpression) : Collection(T2)] Choice[OPERATION, closure, closure(expr: OclExpression) : Set(T2)] Choice[OPERATION, select, select(expr: OclExpression) : Sequence(Apple)] Choice[OPERATION, reject, reject(expr: OclExpression) : Sequence(Apple)] Choice[OPERATION, sortedBy, sortedBy(expr: OclExpression) : Sequence(Apple)] Choice[OPERATION, collectNested, collectNested(expr: OclExpression) : Sequence(T2)] ==> Finish test_sequenceChoices ==> Start test_bagChoices Choice[OPERATION, count, count(object: Apple) : Integer] Choice[OPERATION, excludes, excludes(object: Apple) : Boolean] Choice[OPERATION, excludesAll, excludesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, includes, includes(object: Apple) : Boolean] Choice[OPERATION, includesAll, includesAll(c2: Collection(Apple)) : Boolean] Choice[OPERATION, isEmpty, isEmpty() : Boolean] Choice[OPERATION, notEmpty, notEmpty() : Boolean] Choice[OPERATION, product, product(c2: Collection(T)) : Set(Tuple(first : Apple, second : T))] Choice[OPERATION, sum, sum() : OclVoid] Choice[OPERATION, size, size() : Integer] Choice[OPERATION, union, union(bag: Bag(Apple)) : Bag(Apple)] Choice[OPERATION, union, union(set: Set(Apple)) : Bag(Apple)] Choice[OPERATION, intersection, intersection(bag: Bag(Apple)) : Bag(Apple)] Choice[OPERATION, intersection, intersection(set: Set(Apple)) : Set(Apple)] Choice[OPERATION, including, including(object: Apple) : Bag(Apple)] Choice[OPERATION, excluding, excluding(object: Apple) : Bag(Apple)] Choice[OPERATION, flatten, flatten() : Bag(Apple)] Choice[OPERATION, asBag, asBag() : Bag(Apple)] Choice[OPERATION, asSet, asSet() : Set(Apple)] Choice[OPERATION, asSequence, asSequence() : Sequence(Apple)] Choice[OPERATION, asOrderedSet, asOrderedSet() : OrderedSet(Apple)] Choice[OPERATION, exists, exists(expr: OclExpression) : Boolean] Choice[OPERATION, forAll, forAll(expr: OclExpression) : Boolean] Choice[OPERATION, isUnique, isUnique(expr: OclExpression) : Boolean] Choice[OPERATION, one, one(expr: OclExpression) : Boolean] Choice[OPERATION, any, any(expr: OclExpression) : Apple] Choice[OPERATION, collect, collect(expr: OclExpression) : Collection(T2)] Choice[OPERATION, closure, closure(expr: OclExpression) : Set(T2)] Choice[OPERATION, select, select(expr: OclExpression) : Bag(Apple)] Choice[OPERATION, reject, reject(expr: OclExpression) : Bag(Apple)] Choice[OPERATION, sortedBy, sortedBy(expr: OclExpression) : Sequence(Apple)] Choice[OPERATION, collectNested, collectNested(expr: OclExpression) : Bag(T2)] ==> Finish test_bagChoices ==> Start test_nestedCollectionChoices Choice[OPERATION, count, count(object: Sequence(Apple)) : Integer] Choice[OPERATION, excludes, excludes(object: Sequence(Apple)) : Boolean] Choice[OPERATION, excludesAll, excludesAll(c2: Collection(Sequence(Apple))) : Boolean] Choice[OPERATION, includes, includes(object: Sequence(Apple)) : Boolean] Choice[OPERATION, includesAll, includesAll(c2: Collection(Sequence(Apple))) : Boolean] Choice[OPERATION, isEmpty, isEmpty() : Boolean] Choice[OPERATION, notEmpty, notEmpty() : Boolean] Choice[OPERATION, product, product(c2: Collection(T)) : Set(Tuple(first : Sequence(Apple), second : T))] Choice[OPERATION, sum, sum() : OclVoid] Choice[OPERATION, size, size() : Integer] Choice[OPERATION, union, union(bag: Bag(Sequence(Apple))) : Bag(Sequence(Apple))] Choice[OPERATION, union, union(set: Set(Sequence(Apple))) : Set(Sequence(Apple))] Choice[OPERATION, intersection, intersection(bag: Bag(Sequence(Apple))) : Set(Sequence(Apple))] Choice[OPERATION, intersection, intersection(set: Set(Sequence(Apple))) : Set(Sequence(Apple))] Choice[OPERATION, including, including(object: Sequence(Apple)) : Set(Sequence(Apple))] Choice[OPERATION, excluding, excluding(object: Sequence(Apple)) : Set(Sequence(Apple))] Choice[OPERATION, symmetricDifference, symmetricDifference(s: Set(Sequence(Apple))) : Set(Sequence(Apple))] Choice[OPERATION, flatten, flatten() : Set(Apple)] Choice[OPERATION, asBag, asBag() : Bag(Sequence(Apple))] Choice[OPERATION, asSet, asSet() : Set(Sequence(Apple))] Choice[OPERATION, asSequence, asSequence() : Sequence(Sequence(Apple))] Choice[OPERATION, asOrderedSet, asOrderedSet() : OrderedSet(Sequence(Apple))] Choice[OPERATION, exists, exists(expr: OclExpression) : Boolean] Choice[OPERATION, forAll, forAll(expr: OclExpression) : Boolean] Choice[OPERATION, isUnique, isUnique(expr: OclExpression) : Boolean] Choice[OPERATION, one, one(expr: OclExpression) : Boolean] Choice[OPERATION, any, any(expr: OclExpression) : Sequence(Apple)] Choice[OPERATION, collect, collect(expr: OclExpression) : Collection(T2)] Choice[OPERATION, closure, closure(expr: OclExpression) : Set(T2)] Choice[OPERATION, select, select(expr: OclExpression) : Set(Sequence(Apple))] Choice[OPERATION, reject, reject(expr: OclExpression) : Set(Sequence(Apple))] Choice[OPERATION, sortedBy, sortedBy(expr: OclExpression) : OrderedSet(Sequence(Apple))] Choice[OPERATION, collectNested, collectNested(expr: OclExpression) : Bag(T2)] ==> Finish test_nestedCollectionChoices ==> Start test_stateChoices Choice[STATE, Bad, State] Choice[STATE, null, State] Choice[STATE, Unripe, State] Choice[STATE, Ripe, State] ---- Choice[STATE, Bruised, State] Choice[STATE, Rotten, State] ==> Finish test_stateChoices ==> Start test_messageChoices Choice[OPERATION, label, label(text: String) : OclVoid] Choice[OPERATION, newApple, newApple() : Apple] Choice[OPERATION, preferredLabel, preferredLabel(text: String) : String] Choice[OPERATION, ripen, ripen(color: Color) : Boolean] Choice[OPERATION, preferredColor, preferredColor() : Color] Choice[OPERATION, newFruit, newFruit() : Fruit] Choice[OPERATION, setColor, setColor(fruit: Fruit, newColor: Color) : OclVoid] Choice[SIGNAL, Drop, <> Drop(delay: Real, stem: Stem)] ==> Finish test_messageChoices ==> Start test_allInstances ==> Finish test_allInstances ==> Start test_evaluatePrecompiledInvariant_114921 ==> Finish test_evaluatePrecompiledInvariant_114921 ==> Start test_completionOfRightmostSubexpression_RATLC00537918 ==> Finish test_completionOfRightmostSubexpression_RATLC00537918 ==> Start test_completionOfRightmost_parentheses_RATLC00537918 ==> Finish test_completionOfRightmost_parentheses_RATLC00537918 ==> Start test_completionOnLetVariable_RATLC00537918 ==> Finish test_completionOnLetVariable_RATLC00537918 ==> Start test_completionOnLetExpression_RATLC00537918 ==> Finish test_completionOnLetExpression_RATLC00537918 ==> Start test_completionOnIteratorVariable_RATLC00537918 ==> Finish test_completionOnIteratorVariable_RATLC00537918 ==> Start test_completionOnAccumulator_RATLC00537918 ==> Finish test_completionOnAccumulator_RATLC00537918 ==> Start test_completionOnIterate_RATLC00537918 ==> Finish test_completionOnIterate_RATLC00537918 ==> Start test_completionOnIterator_sequence_RATLC00537918 ==> Finish test_completionOnIterator_sequence_RATLC00537918 ==> Start test_completionOnIterator_orderedSet_RATLC00537918 ==> Finish test_completionOnIterator_orderedSet_RATLC00537918 ==> Start test_completionOnIterator_bag_RATLC00537918 ==> Finish test_completionOnIterator_bag_RATLC00537918 ==> Start test_completionOnIfExpression_RATLC00537918 ==> Finish test_completionOnIfExpression_RATLC00537918 ==> Start test_variables_RATLC00535552 ==> Finish test_variables_RATLC00535552 ==> Start test_parameters_RATLC00535552 ==> Finish test_parameters_RATLC00535552 ==> Start test_partial_property_RATLC00535552 ==> Finish test_partial_property_RATLC00535552 ==> Start test_partial_operation_RATLC00535552 ==> Finish test_partial_operation_RATLC00535552 ==> Start test_partial_type_RATLC00535552 ==> Finish test_partial_type_RATLC00535552 ==> Start test_partial_enumLiteral_RATLC00535552 ==> Finish test_partial_enumLiteral_RATLC00535552 ==> Start test_partial_collectionOperation_RATLC00535552 ==> Finish test_partial_collectionOperation_RATLC00535552 ==> Start test_emptyExpression_RATLC00535552 ==> Finish test_emptyExpression_RATLC00535552 ==> Start test_garbageExpression_RATLC00535552 ==> Finish test_garbageExpression_RATLC00535552 ==> Start test_oclIsNewOnlyInPostconditions_116664 ==> Finish test_oclIsNewOnlyInPostconditions_116664 ==> Start test_quoteReservedWords_RATLC00527506 ==> Finish test_quoteReservedWords_RATLC00527506 ==> Start test_quoteWhitespace_RATLC00527509 ==> Finish test_quoteWhitespace_RATLC00527509 ==> Start test_quoteQuote_RATLC00527509 Got expected error: Parse failed: 1:44:1:45 missing "/ unaryWithLetCS" to complete scope ==> Finish test_quoteQuote_RATLC00527509 ==> Start test_internationalCharacters_RATLC01080816 ==> Finish test_internationalCharacters_RATLC01080816 ==> Start test_oclIsKindOf_RATLC01087664 ==> Finish test_oclIsKindOf_RATLC01087664 ==> Start test_shortcircuitAnd_RATLC00536528 ==> Finish test_shortcircuitAnd_RATLC00536528 ==> Start test_shortcircuitOr_RATLC00536528 ==> Finish test_shortcircuitOr_RATLC00536528 ==> Start test_shortcircuitImplies_RATLC00536528 ==> Finish test_shortcircuitImplies_RATLC00536528 ==> Start test_oclIsNew_invariant_RATLC00529981 Got expected error: Validation failed: oclIsNew() may only be called in an operation postcondition constraint ==> Finish test_oclIsNew_invariant_RATLC00529981 ==> Start test_oclIsNew_precondition_RATLC00529981 Got expected error: Validation failed: oclIsNew() may only be called in an operation postcondition constraint ==> Finish test_oclIsNew_precondition_RATLC00529981 ==> Start test_oclIsNew_postcondition_RATLC00529981 ==> Finish test_oclIsNew_postcondition_RATLC00529981 ==> Start test_toLower_RATLC00529981 ==> Finish test_toLower_RATLC00529981 ==> Start test_toUpper_RATLC00529981 ==> Finish test_toUpper_RATLC00529981 ==> Start test_referenceMultiplicity_orderedSet_RATLC00538035 ==> Finish test_referenceMultiplicity_orderedSet_RATLC00538035 ==> Start test_referenceMultiplicity_set_RATLC00538035 ==> Finish test_referenceMultiplicity_set_RATLC00538035 ==> Start test_referenceMultiplicity_sequence_RATLC00538035 ==> Finish test_referenceMultiplicity_sequence_RATLC00538035 ==> Start test_referenceMultiplicity_bag_RATLC00538035 ==> Finish test_referenceMultiplicity_bag_RATLC00538035 ==> Start test_parameterMultiplicity_orderedSet_RATLC00538035 ==> Finish test_parameterMultiplicity_orderedSet_RATLC00538035 ==> Start test_parameterMultiplicity_set_RATLC00538035 ==> Finish test_parameterMultiplicity_set_RATLC00538035 ==> Start test_parameterMultiplicity_sequence_RATLC00538035 ==> Finish test_parameterMultiplicity_sequence_RATLC00538035 ==> Start test_parameterMultiplicity_bag_RATLC00538035 ==> Finish test_parameterMultiplicity_bag_RATLC00538035 ==> Start test_operationMultiplicity_orderedSet_RATLC00538035 ==> Finish test_operationMultiplicity_orderedSet_RATLC00538035 ==> Start test_operationMultiplicity_set_RATLC00538035 ==> Finish test_operationMultiplicity_set_RATLC00538035 ==> Start test_operationMultiplicity_sequence_RATLC00538035 ==> Finish test_operationMultiplicity_sequence_RATLC00538035 ==> Start test_operationMultiplicity_bag_RATLC00538035 ==> Finish test_operationMultiplicity_bag_RATLC00538035 ==> Start test_operationContext_orderedSet_RATLC00538035 Got expected error: Parse failed: Unrecognized context: (FruitUtil processOrderedSet) ==> Finish test_operationContext_orderedSet_RATLC00538035 ==> Start test_operationContext_set_RATLC00538035 Got expected error: Parse failed: Unrecognized context: (FruitUtil processSet) ==> Finish test_operationContext_set_RATLC00538035 ==> Start test_operationContext_sequence_RATLC00538035 Got expected error: Parse failed: Unrecognized context: (FruitUtil processSequence) ==> Finish test_operationContext_sequence_RATLC00538035 ==> Start test_operationContext_bag_RATLC00538035 Got expected error: Parse failed: Unrecognized context: (FruitUtil processBag) ==> Finish test_operationContext_bag_RATLC00538035 ==> Start test_allInstances_enumeration_RATLC00538079 ==> Finish test_allInstances_enumeration_RATLC00538079 ==> Start test_allInstances_voidType_RATLC00538079 ==> Finish test_allInstances_voidType_RATLC00538079 ==> Start test_allInstances_primitive_RATLC00538079 ==> Finish test_allInstances_primitive_RATLC00538079 ==> Start test_closingParentheses_core Got expected error: Parse failed: 1:40:1:40 "." expected instead of ")" ==> Finish test_closingParentheses_core ==> Start test_closingParentheses_helper Got expected error: 2:5:2:5 "." expected instead of ")" ==> Finish test_closingParentheses_helper ==> Start test_closingParentheses_helper_precondition Got expected error: 2:5:2:5 "." expected instead of ")" ==> Finish test_closingParentheses_helper_precondition ==> Start test_operationBodyBoolean_116251 Got expected error: Validation failed: Body condition must have the form "result = " on operation "processBag" ==> Finish test_operationBodyBoolean_116251 ==> Start test_innerScopeFeatureResolution_bugzilla113355 ==> Finish test_innerScopeFeatureResolution_bugzilla113355 ==> Start test_product_126336 ==> Finish test_product_126336 ==> Start test_iterationToString_126454 ==> Finish test_iterationToString_126454 ==> Start test_null ==> Finish test_null ==> Start test_oclInvalid !SESSION 2010-06-14 20:21:58.673 ----------------------------------------------- eclipse.buildId=I20100603-1500 java.fullversion=J2RE 1.5.0 IBM J9 2.3 Linux ppc-32 j9vmxp3223-20071007 (JIT enabled) J9VM - 20071004_14218_bHdSMR JIT - 20070820_1846ifx1_r8 GC - 200708_10 BootLoader constants: OS=linux, ARCH=ppc, WS=gtk, NL=en_US Framework arguments: -application org.eclipse.test.uitestapplication formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,/opt/users/hudsonbuild/.hudson/jobs/cbi-mdt-ocl-3.0-integration/workspace/build/R201006141954/testing/target/eclipse/org.eclipse.ocl.uml.tests.AllTestsBacktracking.xml -testPluginName org.eclipse.ocl.uml.tests -className org.eclipse.ocl.uml.tests.AllTestsBacktracking Command-line arguments: -application org.eclipse.test.uitestapplication -data /opt/users/hudsonbuild/.hudson/jobs/cbi-mdt-ocl-3.0-integration/workspace/build/R201006141954/testing/target/eclipse/testWorkspace formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,/opt/users/hudsonbuild/.hudson/jobs/cbi-mdt-ocl-3.0-integration/workspace/build/R201006141954/testing/target/eclipse/org.eclipse.ocl.uml.tests.AllTestsBacktracking.xml -testPluginName org.eclipse.ocl.uml.tests -className org.eclipse.ocl.uml.tests.AllTestsBacktracking -os linux -ws gtk -arch ppc -consolelog !ENTRY org.eclipse.ocl 4 10 2010-06-14 20:23:44.485 !MESSAGE ERROR in (visitOperationCallExp): (null) !STACK 0 java.lang.NullPointerException at org.eclipse.ocl.uml.UMLEvaluationEnvironment.getJavaMethodFor(UMLEvaluationEnvironment.java:268) at org.eclipse.ocl.uml.UMLEvaluationEnvironment.getJavaMethodFor(UMLEvaluationEnvironment.java:1) at org.eclipse.ocl.AbstractEvaluationEnvironment.callOperation(AbstractEvaluationEnvironment.java:177) at org.eclipse.ocl.uml.UMLEvaluationEnvironment.callOperation(UMLEvaluationEnvironment.java:203) at org.eclipse.ocl.uml.UMLEvaluationEnvironment.callOperation(UMLEvaluationEnvironment.java:1) at org.eclipse.ocl.EvaluationVisitorImpl.visitOperationCallExp(EvaluationVisitorImpl.java:193) at org.eclipse.ocl.uml.impl.OperationCallExpImpl.accept(OperationCallExpImpl.java:393) at org.eclipse.ocl.AbstractEvaluationVisitor.visitExpression(AbstractEvaluationVisitor.java:247) at org.eclipse.ocl.OCL.evaluate(OCL.java:457) at org.eclipse.ocl.tests.GenericTestSuite.evaluate(GenericTestSuite.java:709) at org.eclipse.ocl.uml.tests.RegressionTest.test_oclInvalid(RegressionTest.java:1150) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:79) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:618) at junit.framework.TestCase.runTest(TestCase.java:168) at junit.framework.TestCase.runBare(TestCase.java:134) at junit.framework.TestResult$1.protect(TestResult.java:110) at junit.framework.TestResult.runProtected(TestResult.java:128) at junit.framework.TestResult.run(TestResult.java:113) at junit.framework.TestCase.run(TestCase.java:124) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at org.eclipse.test.EclipseTestRunner.run(EclipseTestRunner.java:354) at org.eclipse.test.EclipseTestRunner.run(EclipseTestRunner.java:206) at org.eclipse.test.UITestApplication$3.run(UITestApplication.java:195) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:134) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:3527) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3174) at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2629) at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2593) at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2427) at org.eclipse.ui.internal.Workbench$7.run(Workbench.java:670) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:332) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:663) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:115) at org.eclipse.test.UITestApplication.runApplication(UITestApplication.java:138) at org.eclipse.test.UITestApplication.run(UITestApplication.java:60) at org.eclipse.test.UITestApplication.start(UITestApplication.java:210) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:369) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:79) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:618) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:619) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:574) at org.eclipse.equinox.launcher.Main.run(Main.java:1407) at org.eclipse.equinox.launcher.Main.main(Main.java:1383) at org.eclipse.core.launcher.Main.main(Main.java:34) ==> Finish test_oclInvalid ==> Start test_operationNotFound Got expected error: Parse failed: Cannot find operation (processOrderedSet(Integer)) for the type (FruitUtil) ==> Finish test_operationNotFound ==> Start test_operationSignatureMatching ==> Finish test_operationSignatureMatching ==> Start test_operationImplicitSource Got expected error: Parse failed: illegal operation signature: (preferredLabel()) ==> Finish test_operationImplicitSource ==> Start test_enclosingPackage_unqualifiedName ==> Finish test_enclosingPackage_unqualifiedName ==> Start test_hebrew_singleQuote_135321 ==> Finish test_hebrew_singleQuote_135321 ==> Start test_nullVariableName_143386 ==> Finish test_nullVariableName_143386 ==> Start test_nameOfCollectionTypeWithoutElementType ==> Finish test_nameOfCollectionTypeWithoutElementType ==> Start test_dispose_resourceOwnedByOCL_213045 ==> Finish test_dispose_resourceOwnedByOCL_213045 ==> Start test_dispose_resourceOwnedByClient_213045 ==> Finish test_dispose_resourceOwnedByClient_213045 ==> Start test_callNonQueryOperation_136778 Got expected exception: Cannot call operation (newApple) because it is not a query ==> Finish test_callNonQueryOperation_136778 ==> Start test_CollectionType_checkCollectionTypeName Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionTypeImpl@aca0aca{#//}' Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionTypeImpl@aca0aca{#//}' ==> Finish test_CollectionType_checkCollectionTypeName ==> Start test_BagType_checkCollectionTypeName Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.BagTypeImpl@bba0bba{#//}' Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.BagTypeImpl@bba0bba{#//}' ==> Finish test_BagType_checkCollectionTypeName ==> Start test_SetType_checkCollectionTypeName Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.SetTypeImpl@1fd01fd0{#//}' Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.SetTypeImpl@1fd01fd0{#//}' ==> Finish test_SetType_checkCollectionTypeName ==> Start test_SequenceType_checkCollectionTypeName Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.SequenceTypeImpl@28cc28cc{#//}' Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.SequenceTypeImpl@28cc28cc{#//}' ==> Finish test_SequenceType_checkCollectionTypeName ==> Start test_OrderedSetType_checkCollectionTypeName Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.OrderedSetTypeImpl@6e4e6e4e{#//}' Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.OrderedSetTypeImpl@6e4e6e4e{#//}' ==> Finish test_OrderedSetType_checkCollectionTypeName ==> Start test_emptyCollectionType_196972 Found expected problem: The 'checkCollectionTypeName' invariant is violated on 'org.eclipse.ocl.uml.impl.SetTypeImpl@21742174{bundleentry://513.fwk795357032/model/VoidCollectionTypes.uml#_YlJwEB76Ed2I9KNo7KvMFg}' ==> Finish test_emptyCollectionType_196972 ==> Start test_BooleanLiteralExp_checkBooleanType Found expected problem: Boolean literal expression must be of type Boolean. Found expected problem: Boolean literal expression must be of type Boolean. ==> Finish test_BooleanLiteralExp_checkBooleanType ==> Start test_CollectionItem_checkItemType Found expected problem: The 'checkItemType' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionItemImpl@71087108{#//}' ==> Finish test_CollectionItem_checkItemType ==> Start test_CollectionLiteralExp_checkNoCollectionInstances Found expected problem: The 'checkNoCollectionInstances' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionLiteralExpImpl@70067006{#//}' ==> Finish test_CollectionLiteralExp_checkNoCollectionInstances ==> Start test_CollectionLiteralExp_checkSetKind Found expected problem: The 'checkSetKind' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionLiteralExpImpl@3d903d90{#//}' ==> Finish test_CollectionLiteralExp_checkSetKind ==> Start test_CollectionLiteralExp_checkSequenceKind Found expected problem: The 'checkSequenceKind' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionLiteralExpImpl@479c479c{#//}' ==> Finish test_CollectionLiteralExp_checkSequenceKind ==> Start test_CollectionLiteralExp_checkBagKind Found expected problem: The 'checkBagKind' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionLiteralExpImpl@7ff47ff4{#//}' ==> Finish test_CollectionLiteralExp_checkBagKind ==> Start test_CollectionLiteralExp_checkElementType Found expected problem: Collection element type does not match the supertype of the element types: (Set {null, null}) ==> Finish test_CollectionLiteralExp_checkElementType ==> Start test_CollectionLiteralExp_checkElementType_emptySet Found expected problem: Empty collection must have element type OclVoid: (Set {}) ==> Finish test_CollectionLiteralExp_checkElementType_emptySet ==> Start test_CollectionRange_checkRangeType Found expected problem: The 'checkRangeType' invariant is violated on 'org.eclipse.ocl.uml.impl.CollectionRangeImpl@4f204f20{#//}' ==> Finish test_CollectionRange_checkRangeType ==> Start test_EnumLiteralExp_checkEnumType Found expected problem: Illegal enumeration literal: (ocltest::Color::red) ==> Finish test_EnumLiteralExp_checkEnumType ==> Start test_IfExp_checkBooleanCondition Found expected problem: If expression condition must be boolean-valued: ("") ==> Finish test_IfExp_checkBooleanCondition ==> Start test_IfExp_checkIfType Found expected problem: If expression type is not equal to common super type of then and else part types: (if null then "" else Tuple{} endif) ==> Finish test_IfExp_checkIfType ==> Start test_IntegerLiteralExp_checkIntegerType Found expected problem: Integer literal expression must be of type Integer. Found expected problem: Integer literal expression must be of type Integer. ==> Finish test_IntegerLiteralExp_checkIntegerType ==> Start test_IterateExp_checkIterateType Found expected problem: Iterate expression type must be the same as result variable type (null->iterate(; "" : Color | null)) Found expected problem: Iterate expression type must be the same as result variable type (null->iterate(; "" : Apple | null)) ==> Finish test_IterateExp_checkIterateType ==> Start test_IterateExp_checkBodyType Found expected problem: Iterate expression body type must conform to the result type (null->iterate(; "" : Fruit | "")) ==> Finish test_IterateExp_checkBodyType ==> Start test_IterateExp_checkResultInit Found expected problem: Iterate expression result must have an init expression: (null->iterate(; "" : Fruit | null)) ==> Finish test_IterateExp_checkResultInit ==> Start test_IteratorExp_checkBooleanType Found expected problem: Iterator result type must be boolean (null->forAll( | null)) Found expected problem: Iterator result type must be boolean (null->exists( | null)) Found expected problem: Iterator result type must be boolean (null->isUnique( | null)) ==> Finish test_IteratorExp_checkBooleanType ==> Start test_IteratorExp_checkCollectType Found expected problem: Collect type must be bag (""->collect( | null)) Found expected problem: Collect type must be bag (""->collect( | null)) Found expected problem: Collect type must be sequence (""->collect( | null)) Found expected problem: Collect type must be sequence (""->collect( | null)) Found expected problem: Collect type must be sequence (""->collect( | null)) ==> Finish test_IteratorExp_checkCollectType ==> Start test_IteratorExp_checkSelectRejectType Found expected problem: Select/reject type must be the same as the source type (""->select( | null)) Found expected problem: Select/reject type must be the same as the source type (""->reject( | null)) ==> Finish test_IteratorExp_checkSelectRejectType ==> Start test_IteratorExp_checkBooleanBodyType Found expected problem: Iterate Expression body type must be boolean (null->select( | "")) Found expected problem: Iterate Expression body type must be boolean (null->reject( | "")) Found expected problem: Iterate Expression body type must be boolean (null->forAll( | "")) Found expected problem: Iterate Expression body type must be boolean (null->exists( | "")) Found expected problem: Iterate Expression body type must be boolean (null->any( | "")) Found expected problem: Iterate Expression body type must be boolean (null->one( | "")) ==> Finish test_IteratorExp_checkBooleanBodyType ==> Start test_LetExp_checkLetType Found expected problem: Let expression type conformance error: ({0}) != ({1}) ==> Finish test_LetExp_checkLetType ==> Start test_LoopExp_checkSourceCollection Found expected problem: The source of an iterator must be a collection (""->iterate(; null | null)) ==> Finish test_LoopExp_checkSourceCollection ==> Start test_LoopExp_checkLoopVariableInit Found expected problem: Iteration expression iterator variable may not be initialized: (null->iterate("", "" = ""; null | null)) ==> Finish test_LoopExp_checkLoopVariableInit ==> Start test_LoopExp_checkLoopVariableType Found expected problem: Iterator variable must have same type as source element type (Set {}->iterate("" : "", "" : ""; null | null)) ==> Finish test_LoopExp_checkLoopVariableType ==> Start test_MessageExp_checkOperationArguments Found expected problem: Argument (? : Boolean) does not conform to parameter (color) of message Found expected problem: Wrong number of arguments for message type (null) ==> Finish test_MessageExp_checkOperationArguments ==> Start test_MessageExp_checkSignalArguments Found expected problem: Argument (? : Boolean) does not conform to parameter (stem) of message Found expected problem: Wrong number of arguments for message type (null) ==> Finish test_MessageExp_checkSignalArguments ==> Start test_MessageExp_checkTargetDefinesOperation Found expected problem: The 'checkTargetDefinesOperation' invariant is violated on 'org.eclipse.ocl.uml.impl.MessageExpImpl@5caa5caa{#//}' ==> Finish test_MessageExp_checkTargetDefinesOperation ==> Start test_MessageExp_checkHasOperationOrSignal Found expected problem: Ambiguous message expression: ({0}) could be an operation or a signal Found expected problem: Unrecognized operation or signal ({0}) in message expression ==> Finish test_MessageExp_checkHasOperationOrSignal ==> Start test_MessageExp_checkTargetNotCollection Found expected problem: The 'checkTargetNotCollection' invariant is violated on 'org.eclipse.ocl.uml.impl.MessageExpImpl@49104910{#//}' ==> Finish test_MessageExp_checkTargetNotCollection ==> Start test_OperationCallExp_checkArgumentsConform Found expected problem: Illegal operation (? : "".""(? : "")) ==> Finish test_OperationCallExp_checkArgumentsConform ==> Start test_OperationCallExp_checkArgumentsConform_generic_232028 ==> Finish test_OperationCallExp_checkArgumentsConform_generic_232028 ==> Start test_OperationCallExp_checkArgumentsConform_generic_collections_232028 ==> Finish test_OperationCallExp_checkArgumentsConform_generic_collections_232028 ==> Start test_OperationCallExp_checkArgumentCount Found expected problem: The 'checkArgumentCount' invariant is violated on 'org.eclipse.ocl.uml.impl.OperationCallExpImpl@3df83df8{#//}' Found expected problem: The 'checkArgumentCount' invariant is violated on 'org.eclipse.ocl.uml.impl.OperationCallExpImpl@3df83df8{#//}' ==> Finish test_OperationCallExp_checkArgumentCount ==> Start test_PropertyCallExp_checkPropertyType Found expected problem: The 'checkPropertyType' invariant is violated on 'org.eclipse.ocl.uml.impl.PropertyCallExpImpl@38043804{#//}' ==> Finish test_PropertyCallExp_checkPropertyType ==> Start test_RealLiteralExp_checkRealType Found expected problem: Real literal expression must be of type Real. Found expected problem: Real literal expression must be of type Real. ==> Finish test_RealLiteralExp_checkRealType ==> Start test_StringLiteralExp_checkStringType Found expected problem: String literal expression must be of type String. Found expected problem: String literal expression must be of type String. ==> Finish test_StringLiteralExp_checkStringType ==> Start test_TupleLiteralExp_checkTupleType Found expected problem: Tuple literal expression must be of type Tuple: (Tuple{a : String, b : Integer}). Found expected problem: The tuple literal expression parts do not match the tuple type: (Tuple{a : String, b : Integer}) Found expected problem: The tuple literal expression parts do not match the tuple type: (Tuple{a : String, b : Integer}) ==> Finish test_TupleLiteralExp_checkTupleType ==> Start test_TupleLiteralExp_checkPartsUnique Found expected problem: Duplicate part name (a) in tuple literal: (Tuple{a : "", a : ""}) ==> Finish test_TupleLiteralExp_checkPartsUnique ==> Start test_TupleLiteralExp_checkValueType Found expected problem: Tuple literal part (a) type does not match property type: (null) ==> Finish test_TupleLiteralExp_checkValueType ==> Start test_UnlimitedNaturalLiteralExp_checkNaturalType Found expected problem: Unlimited natural literal expression must be of type UnlimitedNatural. Found expected problem: Unlimited natural literal expression must be of type UnlimitedNatural. ==> Finish test_UnlimitedNaturalLiteralExp_checkNaturalType ==> Start test_VariableExp_checkVarType Found expected problem: The type of a variable expression must match the type of the variable (a). ==> Finish test_VariableExp_checkVarType ==> Start test_Variable_checknitType Found expected problem: Init expression type does not conform to type of variable (a). ==> Finish test_Variable_checknitType ==> Start test_basicSerialization ==> Finish test_basicSerialization ==> Start test_primitiveTypeSerialization ==> Finish test_primitiveTypeSerialization ==> Start test_primitiveCollectionTypeSerialization ==> Finish test_primitiveCollectionTypeSerialization ==> Start test_modelCollectionTypeSerialization ==> Finish test_modelCollectionTypeSerialization ==> Start test_typeExpSerialization ==> Finish test_typeExpSerialization ==> Start test_tupleSerialization ==> Finish test_tupleSerialization ==> Start test_operationMessageSerialization ==> Finish test_operationMessageSerialization ==> Start test_signalMessageSerialization ==> Finish test_signalMessageSerialization ==> Start test_additionalOperationSerialization ==> Finish test_additionalOperationSerialization ==> Start test_additionalPropertySerialization ==> Finish test_additionalPropertySerialization ==> Start test_typeTypeSerialization_183494 ==> Finish test_typeTypeSerialization_183494 ==> Start test_OclType_serialization_226455 ==> Finish test_OclType_serialization_226455 ==> Start test_typespec_resolution_226455 ==> Finish test_typespec_resolution_226455 ==> Start test_referenceToOCLEcoreMetamodel_214878 ==> Finish test_referenceToOCLEcoreMetamodel_214878 ==> Start testBasicEvaluationHalted ==> Finish testBasicEvaluationHalted ==> Start testEvaluationHaltedOnError ==> Finish testEvaluationHaltedOnError ==> Start testEvaluationHaltedWithCustomDiagnostic ==> Finish testEvaluationHaltedWithCustomDiagnostic ==> Start testOCLCaughtExcConvertedToInvalid !ENTRY org.eclipse.ocl 4 10 2010-06-14 20:23:57.371 !MESSAGE ERROR in (visitOperationCallExp): (null) !STACK 0 org.eclipse.ocl.uml.tests.EvaluationHaltedTest$TestCauseException at org.eclipse.ocl.uml.tests.EvaluationHaltedTest$InterruptibleEvalEnv.callOperation(EvaluationHaltedTest.java:366) at org.eclipse.ocl.uml.UMLEvaluationEnvironment.callOperation(UMLEvaluationEnvironment.java:1) at org.eclipse.ocl.EvaluationVisitorImpl.visitOperationCallExp(EvaluationVisitorImpl.java:193) at org.eclipse.ocl.uml.impl.OperationCallExpImpl.accept(OperationCallExpImpl.java:393) at org.eclipse.ocl.AbstractEvaluationVisitor.visitExpression(AbstractEvaluationVisitor.java:247) at org.eclipse.ocl.internal.evaluation.IterationTemplate.evaluate(IterationTemplate.java:87) at org.eclipse.ocl.EvaluationVisitorImpl.evaluateCollectIterator(EvaluationVisitorImpl.java:1593) at org.eclipse.ocl.EvaluationVisitorImpl.visitIteratorExp(EvaluationVisitorImpl.java:1443) at org.eclipse.ocl.uml.impl.IteratorExpImpl.accept(IteratorExpImpl.java:116) at org.eclipse.ocl.AbstractEvaluationVisitor.visitExpression(AbstractEvaluationVisitor.java:247) at org.eclipse.ocl.OCL.evaluate(OCL.java:457) at org.eclipse.ocl.uml.tests.EvaluationHaltedTest.testOCLCaughtExcConvertedToInvalid(EvaluationHaltedTest.java:147) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:79) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:618) at junit.framework.TestCase.runTest(TestCase.java:168) at junit.framework.TestCase.runBare(TestCase.java:134) at junit.framework.TestResult$1.protect(TestResult.java:110) at junit.framework.TestResult.runProtected(TestResult.java:128) at junit.framework.TestResult.run(TestResult.java:113) at junit.framework.TestCase.run(TestCase.java:124) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at org.eclipse.test.EclipseTestRunner.run(EclipseTestRunner.java:354) at org.eclipse.test.EclipseTestRunner.run(EclipseTestRunner.java:206) at org.eclipse.test.UITestApplication$3.run(UITestApplication.java:195) at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35) at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:134) at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:3527) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3174) at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2629) at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2593) at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2427) at org.eclipse.ui.internal.Workbench$7.run(Workbench.java:670) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:332) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:663) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:115) at org.eclipse.test.UITestApplication.runApplication(UITestApplication.java:138) at org.eclipse.test.UITestApplication.run(UITestApplication.java:60) at org.eclipse.test.UITestApplication.start(UITestApplication.java:210) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:369) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:79) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:618) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:619) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:574) at org.eclipse.equinox.launcher.Main.run(Main.java:1407) at org.eclipse.equinox.launcher.Main.main(Main.java:1383) at org.eclipse.core.launcher.Main.main(Main.java:34) ==> Finish testOCLCaughtExcConvertedToInvalid ==> Start testHaltedQuery ==> Finish testHaltedQuery ==> Start testEvaluateListHaltedQuery ==> Finish testEvaluateListHaltedQuery ==> Start testSelectListHaltedQuery ==> Finish testSelectListHaltedQuery ==> Start testRejectListHaltedQuery ==> Finish testRejectListHaltedQuery ==> Start testVariablesCleanup ==> Finish testVariablesCleanup ==> Start test_reservedKeywordAsIdentifier ==> Finish test_reservedKeywordAsIdentifier ==> Start test_reservedKeywordAsPropertyName ==> Finish test_reservedKeywordAsPropertyName ==> Start test_reservedKeywordAsOperationName ==> Finish test_reservedKeywordAsOperationName ==> Start test_reservedKeywordAsPathNamePrefix ==> Finish test_reservedKeywordAsPathNamePrefix ==> Start test_reservedKeywordAsPathNameMidfix ==> Finish test_reservedKeywordAsPathNameMidfix ==> Start test_reservedKeywordAsPathNameSuffix ==> Finish test_reservedKeywordAsPathNameSuffix ==> Start test_punctuationAsOperationName ==> Finish test_punctuationAsOperationName ==> Start test_missingEndPackage ==> Finish test_missingEndPackage ==> Start test_ifMissingCondition ==> Finish test_ifMissingCondition ==> Start test_ifMissingThen ==> Finish test_ifMissingThen ==> Start test_ifMissingThenExpression ==> Finish test_ifMissingThenExpression ==> Start test_ifMissingElse ==> Finish test_ifMissingElse ==> Start test_ifMissingElseExpression ==> Finish test_ifMissingElseExpression ==> Start test_ifMissingEndif ==> Finish test_ifMissingEndif