Started by upstream job "buckminster-ocl-core-luna-master" build number 1009 Checkout:workspace / /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace - hudson.remoting.LocalChannel@d1c70a Using strategy: Default Last Built Revision: Revision 6d62514ef5238a0d9ca8d1acd7954d7ae042b6c4 (origin/master) Checkout:org.eclipse.ocl.git / /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git - hudson.remoting.LocalChannel@d1c70a Fetching changes from the remote Git repository Fetching upstream changes from git://git.eclipse.org/gitroot/ocl/org.eclipse.ocl.git Commencing build of Revision 6d62514ef5238a0d9ca8d1acd7954d7ae042b6c4 (origin/master) Checking out Revision 6d62514ef5238a0d9ca8d1acd7954d7ae042b6c4 (origin/master) Cleaning workspace Deleting old artifacts from #20 Starting xvnc [workspace] $ Xvnc :330 -geometry 1024x768 -depth 24 -ac [workspace] $ /bin/sh -xe /tmp/hudson1025210078710589483.sh + chmod +x /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-pre-buckminster.sh + /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-pre-buckminster.sh 09/03/2014 18:18:33 Xvnc version X.org/xf4vnc custom version 09/03/2014 18:18:33 Copyright (C) 2001-2004 Alan Hourihane. 09/03/2014 18:18:33 Copyright (C) 2000-2004 Constantin Kaplinsky 09/03/2014 18:18:33 Copyright (C) 1999 AT&T Laboratories Cambridge 09/03/2014 18:18:33 All Rights Reserved. 09/03/2014 18:18:33 See http://www.tightvnc.com/ for information on TightVNC 09/03/2014 18:18:33 See http://xf4vnc.sf.net for xf4vnc-specific information 09/03/2014 18:18:33 Desktop name 'x11' (hipp3:330) 09/03/2014 18:18:33 Protocol versions supported: 3.7, 3.3 09/03/2014 18:18:33 RGB format 8 8 8 09/03/2014 18:18:33 Listening for VNC connections on TCP port 6230 [dix] Could not init font path element /usr/share/fonts/TTF/, removing from list! [dix] Could not init font path element /usr/share/fonts/OTF, removing from list! (EE) config/hal: NewInputDeviceRequest failed (2) (EE) config/hal: NewInputDeviceRequest failed (2) [workspace] $ /shared/common/jdk1.6.0-latest/bin/java -Dbuckminster.output.root=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buckminster.output -Dbuckminster.temp.root=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buckminster.temp -Xmx256m -Dcheckout.location=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace -Dreference.repository=https://hudson.eclipse.org/ocl/job/buckminster-ocl-core-luna-master/lastSuccessfulBuild/artifact/MDT-OCL.p2.repository/ -XX:PermSize=64M -XX:MaxPermSize=128M -jar /shared/common/buckminster-4.2/plugins/org.eclipse.equinox.launcher_1.3.0.v20120522-1813.jar -application org.eclipse.buckminster.cmdline.headless -data /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/buckminster.workspace --loglevel info -S /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-buckminster.script INFO: setpref 'complianceLevel=1.5' INFO: importtargetdefinition 'file:///home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/APIBaseLine.target' INFO: addbaseline '-A' 'Eclipse OCL API Base Line' INFO: setpref 'targetPlatformPath=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/target.platform' WARN: Target platform directory '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/target.platform' does not exist and will be created INFO: import '--properties' '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/build.properties' 'org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/releng/ocl-consumers-all.mspec' INFO: Resetting target platform Directory /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/target.platform INFO: Added Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git to the set of known repositories INFO: Connected project org.eclipse.ocl.examples.uml25 to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git INFO: Connected project org.eclipse.ocl.examples.xtext.tests to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git INFO: Connected project org.eclipse.ocl.examples.consumers.tests to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git INFO: Connected project org.eclipse.ocl.releng.buckminster to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git INFO: Connected project org.eclipse.ocl.releng.consumers.build-feature to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git INFO: Import complete. INFO: build Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/xtext/tests/XtextTestCase.java, line 366: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/xtext/tests/XtextTestCase.java, line 671: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 1: Null type safety: The expression of type ResourceSet needs unchecked conversion to conform to '@NonNull ResourceSet' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 1: Null type safety: The expression of type ResourceSet needs unchecked conversion to conform to '@NonNull ResourceSet' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 231: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 271: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/UsageTests.java, line 209: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/UsageTests.java, line 456: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/PivotTests.java, line 308: The value of the local variable asResource is not used Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ImportTests.java, line 77: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 119: Potential null pointer access: The variable packageDescriptor may be null at this location Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 119: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 133: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 147: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 229: Potential null pointer access: The variable packageDescriptor may be null at this location Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 229: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 241: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 253: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 277: Potential null pointer access: The variable packageDescriptor may be null at this location Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 277: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 290: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 303: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 330: Potential null pointer access: The variable packageDescriptor may be null at this location Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 330: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 344: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 358: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/PivotTestSuite.java, line 1243: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/EvaluateOclAnyOperationsTest4.java, line 739: Null type safety: The expression of type PrimitiveTypeId needs unchecked conversion to conform to '@NonNull TypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 271: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 273: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1191: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 270: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 272: Null type safety: The expression of type Company needs unchecked conversion to conform to '@NonNull Company' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 273: Null type safety: The expression of type EList needs unchecked conversion to conform to '@NonNull List' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 274: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 275: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 312: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 314: Null type safety: The expression of type ClassId needs unchecked conversion to conform to '@NonNull TypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 315: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 316: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 369: Null type safety: The expression of type OrderedSetValue needs unchecked conversion to conform to '@NonNull OrderedSetValue' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 376: Null type safety: The expression of type EList needs unchecked conversion to conform to '@NonNull List' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 377: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 411: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 413: Null type safety: The expression of type EList needs unchecked conversion to conform to '@NonNull List' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 414: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 356: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 441: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 445: Null type safety: The expression of type EList needs unchecked conversion to conform to '@NonNull List' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 446: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 687: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 693: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 929: Unnecessary @SuppressWarnings("unchecked") Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 190: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 205: Null type mismatch: required '@NonNull SequenceValue' but the provided value is inferred as @Nullable Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 206: Null type safety: The expression of type EList needs unchecked conversion to conform to '@NonNull List' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 207: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 216: Null comparison always yields false: The variable any cannot be null at this location Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 216: Dead code Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 219: Null type mismatch: required '@NonNull EnumerationLiteralId' but the provided value is inferred as @Nullable Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 83: Null type safety: The expression of type ClassId needs unchecked conversion to conform to '@NonNull ElementId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 85: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 86: Null type safety: The expression of type EnumerationId needs unchecked conversion to conform to '@NonNull TypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 87: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 89: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 89: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 90: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 90: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 91: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 91: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 95: Null type safety: The expression of type IntegerRange needs unchecked conversion to conform to '@NonNull IntegerRange' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 92: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 93: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 93: Null type safety: The expression of type IntegerRange needs unchecked conversion to conform to '@NonNull IntegerRange' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 94: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 94: Null type safety: The expression of type IntegerRange needs unchecked conversion to conform to '@NonNull IntegerRange' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 95: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 100: Null type safety: The expression of type TupleTypeId needs unchecked conversion to conform to '@NonNull TupleTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 101: Null type safety: The expression of type TupleTypeId needs unchecked conversion to conform to '@NonNull TupleTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 102: Null type safety: The expression of type TupleTypeId needs unchecked conversion to conform to '@NonNull TupleTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 103: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 114: Null type safety: The expression of type EcoreExecutorPackage needs unchecked conversion to conform to '@NonNull EcoreExecutorPackage' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 115: Null type safety: The expression of type EcoreExecutorPackage needs unchecked conversion to conform to '@NonNull EcoreExecutorPackage' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 116: Null type safety: The expression of type EcoreExecutorPackage needs unchecked conversion to conform to '@NonNull EcoreExecutorPackage' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 128: Null type safety: The expression of type EcoreExecutorType[] needs unchecked conversion to conform to '@NonNull ExecutorType[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 142: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 142: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 143: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 143: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 144: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 144: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 146: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 146: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 147: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 147: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 148: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 148: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 149: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 149: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 150: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 150: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 151: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 151: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 152: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 152: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 153: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 153: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 154: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 154: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 155: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 155: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 156: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 156: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 157: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 157: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 158: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 158: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 159: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 159: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 160: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 160: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 162: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 162: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 163: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 163: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 164: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 164: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 186: Null type safety: The expression of type DomainParameterTypes needs unchecked conversion to conform to '@NonNull DomainParameterTypes' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 186: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 187: Null type safety: The expression of type DomainTypeParameters needs unchecked conversion to conform to '@NonNull DomainTypeParameters' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 188: Null type safety: The expression of type DomainParameterTypes needs unchecked conversion to conform to '@NonNull DomainParameterTypes' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 188: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 189: Null type safety: The expression of type DomainTypeParameters needs unchecked conversion to conform to '@NonNull DomainTypeParameters' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 198: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 199: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 200: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 202: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 203: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 204: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 205: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 206: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 207: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 208: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 265: Null type safety: The expression of type ExecutorFragment[] needs unchecked conversion to conform to '@NonNull ExecutorFragment[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 266: Null type safety: The expression of type ExecutorFragment[] needs unchecked conversion to conform to '@NonNull ExecutorFragment[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 267: Null type safety: The expression of type ExecutorFragment[] needs unchecked conversion to conform to '@NonNull ExecutorFragment[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 380: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 381: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 382: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 384: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 385: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 386: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 387: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 388: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 389: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 390: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 391: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 392: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 393: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 394: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]' INFO: junit '--launch' 'org.eclipse.ocl.examples.consumers.tests/.settings/org.eclipse.ocl.examples.consumers.tests (standalone).launch' '--flatXML' '--output' '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/MDT-OCL.test.results/org.eclipse.ocl.examples.consumers.tests.xml' INFO: Starting test session org.eclipse.ocl.examples.consumers.tests (standalone) INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadEPackage... INFO: ...Failure [2.277s] WARN: junit.framework.AssertionFailedError: expected: but was: at junit.framework.Assert.fail(Assert.java:57) at junit.framework.Assert.failNotEquals(Assert.java:329) at junit.framework.Assert.assertEquals(Assert.java:78) at junit.framework.Assert.assertEquals(Assert.java:86) at junit.framework.TestCase.assertEquals(TestCase.java:253) at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadEPackage(AbstractProjectMapTest.java:235) at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadEPackage(ConsumerProjectMapTest.java:55) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at junit.framework.TestCase.runTest(TestCase.java:176) at junit.framework.TestCase.runBare(TestCase.java:141) at junit.framework.TestResult$1.protect(TestResult.java:122) at junit.framework.TestResult.runProtected(TestResult.java:142) at junit.framework.TestResult.run(TestResult.java:125) at junit.framework.TestCase.run(TestCase.java:129) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84) at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50) at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197) INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadFirst... INFO: ...OK [0.115s] INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadModel... INFO: ...OK [0.064s] INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadBoth... INFO: ...OK [0.057s] INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadEPackage... INFO: ...OK [0.025s] INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadDefault... INFO: ...Failure [0.022s] WARN: junit.framework.AssertionFailedError: expected: but was: at junit.framework.Assert.fail(Assert.java:57) at junit.framework.Assert.failNotEquals(Assert.java:329) at junit.framework.Assert.assertEquals(Assert.java:78) at junit.framework.Assert.assertEquals(Assert.java:86) at junit.framework.TestCase.assertEquals(TestCase.java:253) at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadDefault(AbstractProjectMapTest.java:177) at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadDefault(ConsumerProjectMapTest.java:49) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at junit.framework.TestCase.runTest(TestCase.java:176) at junit.framework.TestCase.runBare(TestCase.java:141) at junit.framework.TestResult$1.protect(TestResult.java:122) at junit.framework.TestResult.runProtected(TestResult.java:142) at junit.framework.TestResult.run(TestResult.java:125) at junit.framework.TestCase.run(TestCase.java:129) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84) at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50) at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197) INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadDefault... INFO: ...OK [0.042s] INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadBoth... INFO: ...OK [0.049s] INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadFirst... INFO: ...Failure [0.017s] WARN: junit.framework.AssertionFailedError: expected: but was: at junit.framework.Assert.fail(Assert.java:57) at junit.framework.Assert.failNotEquals(Assert.java:329) at junit.framework.Assert.assertEquals(Assert.java:78) at junit.framework.Assert.assertEquals(Assert.java:86) at junit.framework.TestCase.assertEquals(TestCase.java:253) at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadFirst(AbstractProjectMapTest.java:283) at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadFirst(ConsumerProjectMapTest.java:61) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at junit.framework.TestCase.runTest(TestCase.java:176) at junit.framework.TestCase.runBare(TestCase.java:141) at junit.framework.TestResult$1.protect(TestResult.java:122) at junit.framework.TestResult.runProtected(TestResult.java:142) at junit.framework.TestResult.run(TestResult.java:125) at junit.framework.TestCase.run(TestCase.java:129) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84) at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50) at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197) INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadModel... INFO: ...Failure [0.016s] WARN: junit.framework.AssertionFailedError at junit.framework.Assert.fail(Assert.java:55) at junit.framework.Assert.assertTrue(Assert.java:22) at junit.framework.Assert.assertFalse(Assert.java:39) at junit.framework.Assert.assertFalse(Assert.java:47) at junit.framework.TestCase.assertFalse(TestCase.java:219) at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadModel(AbstractProjectMapTest.java:334) at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadModel(ConsumerProjectMapTest.java:67) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at junit.framework.TestCase.runTest(TestCase.java:176) at junit.framework.TestCase.runBare(TestCase.java:141) at junit.framework.TestResult$1.protect(TestResult.java:122) at junit.framework.TestResult.runProtected(TestResult.java:142) at junit.framework.TestResult.run(TestResult.java:125) at junit.framework.TestCase.run(TestCase.java:129) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at junit.framework.TestSuite.runTest(TestSuite.java:255) at junit.framework.TestSuite.run(TestSuite.java:250) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84) at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50) at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197) INFO: Running test org.eclipse.ocl.examples.consumers.tests.ConsumerValidateTests.testValidate_umlrt_profile_uml... INFO: ...OK [8.566s] INFO: Tests finished. INFO: Elapsed time: 11.26 seconds. INFO: Total number of tests executed: 11 INFO: Successful tests: 7 INFO: Failed tests: 4 INFO: Errors: 0 INFO: Ignored tests: 0 INFO: Overall status: Failure INFO: junit '--launch' 'org.eclipse.ocl.examples.xtext.tests/.settings/org.eclipse.ocl.examples.xtext.tests (CG).launch' '--flatXML' '--output' '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/MDT-OCL.test.results/org.eclipse.ocl.examples.xtext.tests.CG.xml' INFO: Starting test session org.eclipse.ocl.examples.xtext.tests (CG) INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanToString[0]... INFO: ...OK [3.475s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanOr[0]... INFO: ...OK [0.342s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanAnd[0]... INFO: ...OK [0.227s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNot[0]... INFO: ...OK [0.075s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanXor[0]... INFO: ...OK [0.2s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanImplies[0]... INFO: ...OK [0.187s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBoolean[0]... INFO: ...OK [0.075s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanEqual[0]... INFO: ...OK [0.115s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNotEqual[0]... INFO: ...OK [0.12s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanToString[1]... INFO: ...OK [2.846s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanOr[1]... INFO: ...OK [2.182s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanAnd[1]... INFO: ...OK [1.7s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNot[1]... INFO: ...OK [0.524s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanXor[1]... INFO: ...OK [1.41s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanImplies[1]... INFO: ...OK [1.515s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBoolean[1]... INFO: ...OK [0.577s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanEqual[1]... INFO: ...OK [0.825s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNotEqual[1]... INFO: ...OK [0.836s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_oclContents... INFO: ...OK [0.192s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_conformsTo... INFO: ...OK [0.1s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_allInstances... INFO: ...OK [0.293s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_oclContainer... INFO: ...OK [0.122s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFlatten[0]... INFO: ...OK [0.325s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionEmptyCollection[0]... INFO: ...OK [0.171s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSequence[0]... INFO: ...OK [0.183s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEmpty[0]... INFO: ...OK [0.247s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqual[0]... INFO: ...OK [0.181s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXUnordered[0]... INFO: ...OK [0.069s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByKind[0]... INFO: ...OK [0.419s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByType[0]... INFO: ...OK [0.381s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludesAll[0]... INFO: ...OK [0.599s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAt[0]... INFO: ...OK [0.158s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSymmetricDifference[0]... INFO: ...OK [0.061s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrepend[0]... INFO: ...OK [0.109s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProduct[0]... INFO: ...OK [0.495s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionDuplicates[0]... INFO: ...OK [0.081s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludes[0]... INFO: ...OK [0.44s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsOrderedSet[0]... INFO: ...OK [0.225s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalid[0]... INFO: ...OK [0.089s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionElementType[0]... INFO: ...OK [0.052s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrependAll[0]... INFO: ...OK [0.144s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualNull[0]... INFO: ...OK [0.142s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLast[0]... INFO: ...OK [0.099s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSize[0]... INFO: ...OK [0.167s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubOrderedSet[0]... INFO: ...OK [0.087s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXOrdered[0]... INFO: ...OK [0.104s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXUnordered[0]... INFO: ...OK [0.058s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualUnorderedXUnordered[0]... INFO: ...OK [0.057s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludesAll[0]... INFO: ...OK [0.569s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXOrdered[0]... INFO: ...OK [0.049s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludingAll[0]... INFO: ...OK [0.283s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionReverse[0]... INFO: ...OK [0.163s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNoDuplicates[0]... INFO: ...OK [0.074s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcluding[0]... INFO: ...OK [0.259s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualUnorderedXUnordered[0]... INFO: ...OK [0.054s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNullValue[0]... INFO: ...OK [0.074s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppendAll[0]... INFO: ...OK [0.316s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalidValue[0]... INFO: ...OK [0.044s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIndexOf[0]... INFO: ...OK [0.097s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualInvalid[0]... INFO: ...OK [0.07s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubSequence[0]... INFO: ...OK [0.084s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersectionReturnType[0]... INFO: ...OK [0.055s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIsEmpty[0]... INFO: ...OK [0.259s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsBag[0]... INFO: ...OK [0.148s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSet[0]... INFO: ...OK [0.198s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionCount[0]... INFO: ...OK [0.479s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqual[0]... INFO: ...OK [0.235s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFirst[0]... INFO: ...OK [0.095s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLower[0]... INFO: ...OK [0.036s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMinus[0]... INFO: ...OK [0.098s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUpper[0]... INFO: ...OK [0.034s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNull[0]... INFO: ...OK [0.074s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppend[0]... INFO: ...OK [0.257s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludes[0]... INFO: ...OK [0.406s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncluding[0]... INFO: ...OK [0.36s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMax[0]... INFO: ...OK [0.057s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMin[0]... INFO: ...OK [0.054s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSum[0]... INFO: ...OK [0.218s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludingAll[0]... INFO: ...OK [0.358s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersection[0]... INFO: ...OK [0.545s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionInsertAt[0]... INFO: ...OK [0.263s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNullValue[0]... INFO: ...OK [0.246s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNull[0]... INFO: ...OK [0.08s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualNull[0]... INFO: ...OK [0.067s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualInvalid[0]... INFO: ...OK [0.068s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFlatten[1]... INFO: ...OK [1.957s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionEmptyCollection[1]... INFO: ...OK [1.166s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSequence[1]... INFO: ...OK [1.334s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEmpty[1]... INFO: ...OK [2.248s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqual[1]... INFO: ...OK [1.918s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXUnordered[1]... INFO: ...OK [0.612s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByKind[1]... INFO: ...OK [2.713s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByType[1]... INFO: ...OK [2.831s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludesAll[1]... INFO: ...OK [6.196s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAt[1]... INFO: ...OK [1.976s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSymmetricDifference[1]... INFO: ...OK [0.572s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrepend[1]... INFO: ...OK [1.031s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProduct[1]... INFO: ...OK [4.781s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionDuplicates[1]... INFO: ...OK [0.627s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludes[1]... INFO: ...OK [5.966s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsOrderedSet[1]... INFO: ...OK [2.199s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalid[1]... INFO: ...OK [1.344s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionElementType[1]... INFO: ...OK [0.557s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrependAll[1]... INFO: ...OK [1.409s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualNull[1]... INFO: ...OK [2.157s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLast[1]... INFO: ...OK [1.382s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSize[1]... INFO: ...OK [2.489s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubOrderedSet[1]... INFO: ...OK [1.252s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXOrdered[1]... INFO: ...OK [1.521s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXUnordered[1]... INFO: ...OK [0.858s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualUnorderedXUnordered[1]... INFO: ...OK [0.891s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludesAll[1]... INFO: ...OK [8.736s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXOrdered[1]... INFO: ...OK [0.783s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludingAll[1]... INFO: ...OK [3.416s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionReverse[1]... INFO: ...OK [1.525s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNoDuplicates[1]... INFO: ...OK [0.754s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcluding[1]... INFO: ...OK [3.414s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualUnorderedXUnordered[1]... INFO: ...OK [0.969s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNullValue[1]... INFO: ...OK [0.77s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppendAll[1]... INFO: ...OK [3.887s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalidValue[1]... INFO: ...OK [1.048s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIndexOf[1]... INFO: ...OK [1.679s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualInvalid[1]... INFO: ...OK [1.404s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubSequence[1]... INFO: ...OK [1.2s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersectionReturnType[1]... INFO: ...OK [0.527s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIsEmpty[1]... INFO: ...OK [4.592s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsBag[1]... INFO: ...OK [2.571s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSet[1]... INFO: ...OK [3.241s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionCount[1]... INFO: ...OK [9.133s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqual[1]... INFO: ...OK [6.001s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFirst[1]... INFO: ...OK [1.889s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLower[1]... INFO: ...OK [0.822s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMinus[1]... INFO: ...OK [1.626s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUpper[1]... INFO: ...OK [0.582s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNull[1]... INFO: ...OK [1.623s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppend[1]... INFO: ...OK [3.869s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludes[1]... INFO: ...OK [9.038s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncluding[1]... INFO: ...OK [5.939s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMax[1]... INFO: ...OK [1.263s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMin[1]... INFO: ...OK [1.095s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSum[1]... INFO: ...OK [5.311s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludingAll[1]... INFO: ...OK [5.925s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersection[1]... INFO: ...OK [11.07s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionInsertAt[1]... INFO: ...OK [5.097s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNullValue[1]... INFO: ...OK [3.214s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNull[1]... INFO: ...OK [2.149s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualNull[1]... INFO: ...OK [1.553s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualInvalid[1]... INFO: ...OK [1.76s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_if[0]... INFO: ...OK [0.08s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_let[0]... INFO: ...OK [0.097s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_if[1]... INFO: ...OK [0.946s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_let[1]... INFO: ...OK [0.84s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_containment_navigation[0]... INFO: ...OK [1.16s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_unified_types_411441[0]... INFO: ...OK [0.094s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_oclAsSet_351512[0]... INFO: ...OK [0.289s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_ecoreDataTypes[0]... INFO: ...OK [0.715s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_multi_container_394152[0]... INFO: ...OK [0.051s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_containment_navigation[1]... INFO: ...OK [2.374s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_unified_types_411441[1]... INFO: ...OK [0.549s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_oclAsSet_351512[1]... INFO: ...OK [1.101s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_ecoreDataTypes[1]... INFO: ...OK [6.351s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_multi_container_394152[1]... INFO: ...OK [0.669s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_self_scope[0]... INFO: ...OK [0.07s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_unnavigable_opposite_property[0]... INFO: ...OK [0.103s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_loop_source_self_or[0]... INFO: ...OK [0.088s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_derived_property[0]... INFO: ...OK [0.124s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_iterator_scope[0]... INFO: ...OK [0.059s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_container_navigation[0]... INFO: ...OK [0.102s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_dynamic_dispatch_411154[0]... INFO: ...OK [0.536s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_uml_primitives_399378[0]... INFO: ...OK [1.473s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_type_construction[0]... INFO: ...OK [0.542s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_caught_and_uncaught[0]... INFO: ...OK [0.068s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_let_implies_let_implies[0]... INFO: ...OK [0.056s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_caught_if[0]... INFO: ...OK [0.061s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_get[0]... INFO: ...OK [0.019s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_tuple_access[0]... INFO: ...OK [0.719s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_nested_names[0]... INFO: ...OK [0.162s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_bad_navigation[0]... INFO: ...OK [0.167s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_let_implies[0]... INFO: ...OK [0.014s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_implicit_source[0]... INFO: ...OK [0.1s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_no_self[0]... INFO: ...OK [0.014s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_compatibility_names[0]... INFO: ...OK [0.024s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_implies_calls[0]... INFO: ...OK [0.044s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_exists_407817[0]... INFO: ...OK [0.022s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_self_scope[1]... INFO: ...OK [0.465s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_unnavigable_opposite_property[1]... INFO: ...OK [0.625s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_loop_source_self_or[1]... INFO: ...OK [0.366s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_derived_property[1]... INFO: ...OK [0.213s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_iterator_scope[1]... INFO: ...OK [0.217s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_container_navigation[1]... INFO: ...OK [0.68s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_dynamic_dispatch_411154[1]... INFO: ...OK [0.004s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_uml_primitives_399378[1]... INFO: ...OK [0.671s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_type_construction[1]... INFO: ...Failure [0.381s] WARN: junit.framework.AssertionFailedError: Apple{name='RedApple',color=Color::red} = Apple{name='RedApple',color=Color::red} expected: but was: at junit.framework.Assert.fail(Assert.java:57) at junit.framework.Assert.failNotEquals(Assert.java:329) at junit.framework.Assert.assertEquals(Assert.java:78) at junit.framework.TestCase.assertEquals(TestCase.java:244) at org.eclipse.ocl.examples.pivot.tests.PivotTestSuite.assertQueryFalse(PivotTestSuite.java:528) at org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_type_construction(EvaluateNameVisibilityTest4.java:443) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47) at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12) at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44) at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17) at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26) at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:27) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229) at org.junit.runners.ParentRunner.run(ParentRunner.java:309) at org.junit.runners.Suite.runChild(Suite.java:127) at org.junit.runners.Suite.runChild(Suite.java:26) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229) at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26) at org.junit.runners.ParentRunner.run(ParentRunner.java:309) at org.junit.runners.Suite.runChild(Suite.java:127) at org.junit.runners.Suite.runChild(Suite.java:26) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229) at org.junit.runners.ParentRunner.run(ParentRunner.java:309) at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50) at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197) INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_caught_and_uncaught[1]... INFO: ...OK [0.19s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_let_implies_let_implies[1]... INFO: ...OK [0.264s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_caught_if[1]... INFO: ...OK [0.339s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_get[1]... INFO: ...OK [0.155s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_tuple_access[1]... INFO: ...OK [0.374s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_nested_names[1]... INFO: ...OK [1.115s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_bad_navigation[1]... INFO: ...OK [0.145s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_let_implies[1]... INFO: ...OK [0.234s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_implicit_source[1]... INFO: ...Failure [0.351s] WARN: junit.framework.AssertionFailedError: ownedType->select(name = 'Integer') = Set{Integer} expected: but was: at junit.framework.Assert.fail(Assert.java:57) at junit.framework.Assert.failNotEquals(Assert.java:329) at junit.framework.Assert.assertEquals(Assert.java:78) at junit.framework.TestCase.assertEquals(TestCase.java:244) at org.eclipse.ocl.examples.pivot.tests.PivotTestSuite.assertQueryTrue(PivotTestSuite.java:735) at org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_implicit_source(EvaluateNameVisibilityTest4.java:120) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47) at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12) at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44) at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17) at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26) at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:27) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229) at org.junit.runners.ParentRunner.run(ParentRunner.java:309) at org.junit.runners.Suite.runChild(Suite.java:127) at org.junit.runners.Suite.runChild(Suite.java:26) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229) at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26) at org.junit.runners.ParentRunner.run(ParentRunner.java:309) at org.junit.runners.Suite.runChild(Suite.java:127) at org.junit.runners.Suite.runChild(Suite.java:26) at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236) at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229) at org.junit.runners.ParentRunner.run(ParentRunner.java:309) at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50) at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390) at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197) INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_no_self[1]... INFO: ...OK [0.012s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_compatibility_names[1]... INFO: ...OK [0.216s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_implies_calls[1]... INFO: ...OK [0.296s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_exists_407817[1]... INFO: ...OK [0.169s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberAbs[0]... INFO: ...OK [0.108s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDiv[0]... INFO: ...OK [0.082s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMax[0]... INFO: ...OK [0.238s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMin[0]... INFO: ...OK [0.238s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMod[0]... INFO: ...OK [0.067s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThanOrEqual[0]... INFO: ...OK [0.194s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNotEqual[0]... INFO: ...OK [0.069s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberPlus[0]... INFO: ...OK [0.167s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedDivide[0]... INFO: ...OK [0.07s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThan[0]... INFO: ...OK [0.058s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThanOrEqual[0]... INFO: ...OK [0.209s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNotEqual[0]... INFO: ...OK [0.125s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNegate[0]... INFO: ...OK [0.012s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThan[0]... INFO: ...OK [0.052s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThanOrEqual[0]... INFO: ...OK [0.054s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThan[0]... INFO: ...OK [0.193s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberEqual[0]... INFO: ...OK [0.125s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberFloor[0]... INFO: ...OK [0.066s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMinus[0]... INFO: ...OK [0.158s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberRound[0]... INFO: ...OK [0.063s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberTimes[0]... INFO: ...OK [0.127s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberToString[0]... INFO: ...OK [0.038s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThan[0]... INFO: ...OK [0.191s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedPlus[0]... INFO: ...OK [0.06s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedEqual[0]... INFO: ...OK [0.07s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedFloor[0]... INFO: ...OK [0.02s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMinus[0]... INFO: ...OK [0.059s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedRound[0]... INFO: ...OK [0.02s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedTimes[0]... INFO: ...OK [0.061s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntMinus[0]... INFO: ...OK [0s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntValue[0]... INFO: ...OK [0s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThanOrEqual[0]... INFO: ...OK [0.058s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedAbs[0]... INFO: ...OK [0.02s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMax[0]... INFO: ...OK [0.071s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMin[0]... INFO: ...OK [0.076s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntPlus[0]... INFO: ...OK [0s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumber[0]... INFO: ...OK [0.12s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDivide[0]... INFO: ...OK [0.135s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNegate[0]... INFO: ...OK [0.067s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberAbs[1]... INFO: ...OK [1.031s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDiv[1]... INFO: ...OK [0.702s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMax[1]... INFO: ...OK [2.256s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMin[1]... INFO: ...OK [2.391s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMod[1]... INFO: ...OK [0.737s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThanOrEqual[1]... INFO: ...OK [2.545s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNotEqual[1]... INFO: ...OK [1.232s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberPlus[1]... INFO: ...OK [2.076s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedDivide[1]... INFO: ...OK [1.32s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThan[1]... INFO: ...OK [0.754s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThanOrEqual[1]... INFO: ...OK [3.167s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNotEqual[1]... INFO: ...OK [1.912s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNegate[1]... INFO: ...OK [0.237s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThan[1]... INFO: ...OK [1.054s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThanOrEqual[1]... INFO: ...OK [0.812s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThan[1]... INFO: ...OK [3.671s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberEqual[1]... INFO: ...OK [2.045s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberFloor[1]... INFO: ...OK [0.868s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMinus[1]... INFO: ...OK [2.781s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberRound[1]... INFO: ...OK [1.145s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberTimes[1]... INFO: ...OK [2.54s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberToString[1]... INFO: ...OK [0.74s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThan[1]... INFO: ...OK [4.032s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedPlus[1]... INFO: ...OK [1.283s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedEqual[1]... INFO: ...OK [1.524s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedFloor[1]... INFO: ...OK [0.431s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMinus[1]... INFO: ...OK [1.706s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedRound[1]... INFO: ...OK [0.462s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedTimes[1]... INFO: ...OK [1.359s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntMinus[1]... INFO: ...OK [0s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntValue[1]... INFO: ...OK [0s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThanOrEqual[1]... INFO: ...OK [1.482s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedAbs[1]... INFO: ...OK [0.439s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMax[1]... INFO: ...OK [1.379s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMin[1]... INFO: ...OK [1.795s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntPlus[1]... INFO: ...OK [0.001s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumber[1]... INFO: ...OK [3.367s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDivide[1]... INFO: ...OK [3.396s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNegate[1]... INFO: ...OK [1.933s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testNotEqual[0]... INFO: ...OK [0.232s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsInvalid[0]... INFO: ...OK [0.102s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThanOrEqual[0]... INFO: ...OK [0.071s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsKindOf[0]... INFO: ...OK [0.554s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_implicit[0]... INFO: ...OK [0.171s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThanOrEqual[0]... INFO: ...OK [0.071s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsTypeOf[0]... INFO: ...OK [0.534s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThan[0]... INFO: ...OK [0.073s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testEqual[0]... INFO: ...OK [0.227s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testToString[0]... INFO: ...OK [0.028s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Enumeration[0]... INFO: ...OK [0.088s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Boolean[0]... INFO: ...OK [0.13s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThan[0]... INFO: ...OK [0.071s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Collection[0]... INFO: ...OK [0.113s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Tuple[0]... INFO: ...OK [0.063s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_explicit[0]... INFO: ...OK [0.046s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsType[0]... INFO: ...OK [0.547s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclAny[0]... INFO: ...OK [0.061s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType[0]... INFO: ...OK [0.059s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testMetaclassInstanceType[0]... INFO: ...OK [0.012s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Numeric[0]... INFO: ...OK [0.073s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsUndefined[0]... INFO: ...OK [0.078s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclVoid[0]... INFO: ...OK [0.087s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclInvalid[0]... INFO: ...OK [0.069s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Classifier[0]... INFO: ...OK [0.121s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testNotEqual[1]... INFO: ...OK [2.302s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsInvalid[1]... INFO: ...OK [0.943s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThanOrEqual[1]... INFO: ...OK [0.555s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsKindOf[1]... INFO: ...OK [5.66s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_implicit[1]... INFO: ...OK [1.828s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThanOrEqual[1]... INFO: ...OK [0.595s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsTypeOf[1]... INFO: ...OK [6.165s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThan[1]... INFO: ...OK [0.629s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testEqual[1]... INFO: ...OK [3.013s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testToString[1]... INFO: ...OK [0.228s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Enumeration[1]... INFO: ...OK [1.461s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Boolean[1]... INFO: ...OK [1.549s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThan[1]... INFO: ...OK [0.999s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Collection[1]... INFO: ...OK [0.964s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Tuple[1]... INFO: ...OK [0.696s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_explicit[1]... INFO: ...OK [0.475s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsType[1]... INFO: ...OK [7.358s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclAny[1]... INFO: ...OK [0.718s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType[1]... INFO: ...OK [0.803s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testMetaclassInstanceType[1]... INFO: ...OK [0.198s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Numeric[1]... INFO: ...OK [0.948s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsUndefined[1]... INFO: ...OK [1.096s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclVoid[1]... INFO: ...OK [1.167s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclInvalid[1]... INFO: ...OK [1.424s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Classifier[1]... INFO: ...OK [1.655s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringStartsWith[0]... INFO: ...OK [0.111s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsInvalid[0]... INFO: ...OK [0.017s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringAt[0]... INFO: ...OK [0.067s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceAll[0]... INFO: ...OK [0.107s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqualIgnoresCase[0]... INFO: ...OK [0.046s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringMatches[0]... INFO: ...OK [0.132s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThanOrEqual[0]... INFO: ...OK [0.092s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringNotEqual[0]... INFO: ...OK [0.061s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThan[0]... INFO: ...OK [0.092s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEndsWith[0]... INFO: ...OK [0.113s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToInteger[0]... INFO: ...OK [0.051s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThan[0]... INFO: ...OK [0.092s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstring[0]... INFO: ...OK [0.087s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceFirst[0]... INFO: ...OK [0.103s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringIndexOf[0]... INFO: ...OK [0.106s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToString[0]... INFO: ...OK [0.018s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclAsType[0]... INFO: ...OK [0.039s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsKindOf[0]... INFO: ...OK [0.039s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsTypeOf[0]... INFO: ...OK [0.044s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTokenize[0]... INFO: ...OK [0.226s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteAll[0]... INFO: ...OK [0.082s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringConcat[0]... INFO: ...OK [0.046s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringCharacters[0]... INFO: ...OK [0.043s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsUndefined[0]... INFO: ...OK [0.017s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToReal[0]... INFO: ...OK [0.052s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToLowerCase[0]... INFO: ...OK [0.037s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteFirst[0]... INFO: ...OK [0.122s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToBoolean[0]... INFO: ...OK [0.059s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLastIndexOf[0]... INFO: ...OK [0.113s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToUpperCase[0]... INFO: ...OK [0.038s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringPlus[0]... INFO: ...OK [0.041s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSize[0]... INFO: ...OK [0.031s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTrim[0]... INFO: ...OK [0.052s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqual[0]... INFO: ...OK [0.065s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThanOrEqual[0]... INFO: ...OK [0.092s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringStartsWith[1]... INFO: ...OK [1.074s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsInvalid[1]... INFO: ...OK [0.213s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringAt[1]... INFO: ...OK [0.619s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceAll[1]... INFO: ...OK [1.016s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqualIgnoresCase[1]... INFO: ...OK [0.533s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringMatches[1]... INFO: ...OK [0.961s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThanOrEqual[1]... INFO: ...OK [1.146s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringNotEqual[1]... INFO: ...OK [0.636s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThan[1]... INFO: ...OK [1.19s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEndsWith[1]... INFO: ...OK [1.252s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToInteger[1]... INFO: ...OK [0.627s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThan[1]... INFO: ...OK [1.261s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstring[1]... INFO: ...OK [0.966s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceFirst[1]... INFO: ...OK [1.169s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringIndexOf[1]... INFO: ...OK [1.212s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToString[1]... INFO: ...OK [0.251s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclAsType[1]... INFO: ...OK [0.525s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsKindOf[1]... INFO: ...OK [0.522s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsTypeOf[1]... INFO: ...OK [0.527s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTokenize[1]... INFO: ...OK [2.012s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteAll[1]... INFO: ...OK [1.377s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringConcat[1]... INFO: ...OK [0.616s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringCharacters[1]... INFO: ...OK [0.528s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsUndefined[1]... INFO: ...OK [0.257s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToReal[1]... INFO: ...OK [0.696s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToLowerCase[1]... INFO: ...OK [0.537s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteFirst[1]... INFO: ...OK [1.517s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToBoolean[1]... INFO: ...OK [0.817s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLastIndexOf[1]... INFO: ...OK [1.478s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToUpperCase[1]... INFO: ...OK [1.006s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringPlus[1]... INFO: ...OK [0.645s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSize[1]... INFO: ...OK [0.459s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTrim[1]... INFO: ...OK [0.744s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqual[1]... INFO: ...OK [1.279s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThanOrEqual[1]... INFO: ...OK [1.549s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy_invalidBody_142518[0]... INFO: ...OK [0.04s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownAttribute_232669[0]... INFO: ...OK [0.011s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_operations[0]... INFO: ...OK [0.01s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_flattens_217461[0]... INFO: ...OK [0.016s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_invalidBody_142518[0]... INFO: ...OK [0.067s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_cycles[0]... INFO: ...OK [0.042s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any_invalidBody_142518[0]... INFO: ...OK [0.045s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_multipleIteratorVariables[0]... INFO: ...OK [0.072s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any[0]... INFO: ...OK [0.15s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one[0]... INFO: ...OK [0.066s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownOperation_232669[0]... INFO: ...OK [0.012s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_body_393509[0]... INFO: ...OK [0.048s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists[0]... INFO: ...OK [0.158s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_invalidBody_142518[0]... INFO: ...OK [0.034s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll[0]... INFO: ...OK [0.194s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure[0]... INFO: ...OK [0.099s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closureValidation_typeConformance_154695[0]... INFO: ...OK [0.018s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_invalidMultipleIteratorVariables[0]... INFO: ...OK [0.079s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect[0]... INFO: ...OK [0.088s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject[0]... INFO: ...OK [0.069s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select[0]... INFO: ...OK [0.064s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one_invalidBody_142518[0]... INFO: ...OK [0.045s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_126861[0]... INFO: ...OK [0.092s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy[0]... INFO: ...OK [0.09s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedByRequiresComparability_192729[0]... INFO: ...OK [0.056s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_empty_217461[0]... INFO: ...OK [0.014s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_invalidBody_142518[0]... INFO: ...OK [0.031s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_invalidBody_142518[0]... INFO: ...OK [0.05s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterateWithNullSource_143996[0]... INFO: ...OK [0.05s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_existsWithNullSource_143996[0]... INFO: ...OK [0.043s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterate_143996[0]... INFO: ...OK [0.07s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested_invalidBody_142518[0]... INFO: ...OK [0.035s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_multipleIteratorVariables[0]... INFO: ...OK [0.054s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_recursions_401302[0]... INFO: ...OK [0.959s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_invalidBody_142518[0]... INFO: ...OK [0.059s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested[0]... INFO: ...OK [0.131s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject_invalidBody_142518[0]... INFO: ...OK [0.045s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select_invalidBody_142518[0]... INFO: ...OK [0.05s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy_invalidBody_142518[1]... INFO: ...OK [0.302s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownAttribute_232669[1]... INFO: ...OK [0.013s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_operations[1]... INFO: ...OK [0.01s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_flattens_217461[1]... INFO: ...OK [0.177s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_invalidBody_142518[1]... INFO: ...OK [0.625s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_cycles[1]... INFO: ...OK [0.372s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any_invalidBody_142518[1]... INFO: ...OK [0.462s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_multipleIteratorVariables[1]... INFO: ...OK [0.566s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any[1]... INFO: ...OK [1.199s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one[1]... INFO: ...OK [0.523s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownOperation_232669[1]... INFO: ...OK [0.013s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_body_393509[1]... INFO: ...OK [0.302s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists[1]... INFO: ...OK [1.293s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_invalidBody_142518[1]... INFO: ...OK [0.294s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll[1]... INFO: ...OK [1.584s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure[1]... INFO: ...OK [0.909s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closureValidation_typeConformance_154695[1]... INFO: ...OK [0.018s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_invalidMultipleIteratorVariables[1]... INFO: ...OK [0.094s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect[1]... INFO: ...OK [0.76s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject[1]... INFO: ...OK [0.596s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select[1]... INFO: ...OK [0.573s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one_invalidBody_142518[1]... INFO: ...OK [0.481s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_126861[1]... INFO: ...OK [0.821s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy[1]... INFO: ...OK [0.697s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedByRequiresComparability_192729[1]... INFO: ...OK [0.343s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_empty_217461[1]... INFO: ...OK [0.183s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_invalidBody_142518[1]... INFO: ...OK [0.292s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_invalidBody_142518[1]... INFO: ...OK [0.39s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterateWithNullSource_143996[1]... INFO: ...OK [0.369s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_existsWithNullSource_143996[1]... INFO: ...OK [0.377s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterate_143996[1]... INFO: ...OK [0.948s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested_invalidBody_142518[1]... INFO: ...OK [0.302s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_multipleIteratorVariables[1]... INFO: ...OK [0.495s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_recursions_401302[1]... INFO: ...OK [1.082s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_invalidBody_142518[1]... INFO: ...OK [0.592s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested[1]... INFO: ...OK [0.918s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject_invalidBody_142518[1]... INFO: ...OK [0.489s] INFO: Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select_invalidBody_142518[1]... INFO: ...OK [0.488s] INFO: Tests finished. INFO: Elapsed time: 397.169 seconds. INFO: Total number of tests executed: 480 INFO: Successful tests: 478 INFO: Failed tests: 2 INFO: Errors: 0 INFO: Ignored tests: 0 INFO: Overall status: Failure [workspace] $ /bin/sh -xe /tmp/hudson9077264022807299441.sh + chmod +x /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-post-buckminster.sh + /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-post-buckminster.sh Terminating xvnc. Archiving artifacts Recording test results Sending e-mails to: adolfosbh@gmail.com ed@willink.me.uk Finished: UNSTABLE