Commits

Colin Gordon committed 53a6c7a

Checking in the paper data

  • Participants
  • Parent commits 0bfc108

Comments (0)

Files changed (1)

jvmmonitor-read-only/data.txt

+javac -encoding ISO-8859-1 -J-Xbootclasspath/p:/homes/gws/csgordon/research/guitypes/checker/binary/jsr308-all.jar -Xmaxerrs 9999 -cp /homes/gws/csgordon/research/guitypes/checker/dist/lib/guitypes-20120807.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.debug_3.7.0.dist/jdimodel.jar:/usr/lib/eclipse/dropins/jdt/plugins/junit4.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.ant.launching_1.0.100.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.ant.ui_3.5.100.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.apt.core_3.3.500.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.apt.pluggable.core_1.0.400.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.apt.ui_3.3.300.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.compiler.apt_1.0.400.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.compiler.tool_1.0.100.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.core_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.core.manipulation_1.4.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.debug.ui_3.6.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.doc.user_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit4.runtime_1.1.200.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit.core_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit.runtime_3.4.300.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.launching_3.6.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.ui_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.hamcrest.core_1.1.0.jar:/usr/lib/eclipse/plugins/com.ibm.icu_4.4.2.v20110208.jar:/usr/lib/eclipse/plugins/com.jcraft.jsch_0.1.42.jar:/usr/lib/eclipse/plugins/javax.servlet_2.5.0.v200806031605.jar:/usr/lib/eclipse/plugins/javax.servlet.jsp_2.0.0.v200806031607.jar:/usr/lib/eclipse/plugins/org.apache.commons.codec_1.4.0.jar:/usr/lib/eclipse/plugins/org.apache.commons.el_1.0.0.v200806031608.jar:/usr/lib/eclipse/plugins/org.apache.commons.httpclient_3.1.0.jar:/usr/lib/eclipse/plugins/org.apache.commons.logging_1.0.4.v20080605-1930.jar:/usr/lib/eclipse/plugins/org.apache.jasper_5.5.26.jar:/usr/lib/eclipse/plugins/org.apache.lucene_2.9.1.dist.jar:/usr/lib/eclipse/plugins/org.apache.lucene.analysis_2.9.4.jar:/usr/lib/eclipse/plugins/org.apache.lucene.core_2.9.4.jar:/usr/lib/eclipse/plugins/org.eclipse.ant.core_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.compare_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.compare.core_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.boot_3.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.commands_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.contenttype_3.4.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding_1.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding.beans_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding.observable_1.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding.property_1.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.expressions_3.4.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.externaltools_1.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.filebuffers_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.filesystem_1.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.filesystem.linux.x86_64_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.jobs_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.net_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.net.linux.x86_64_1.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.resources_3.7.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.runtime_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.runtime.compatibility_3.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.runtime.compatibility.auth_3.2.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.variables_3.2.500.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.cvs_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.debug.core_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.debug.ui_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf_3.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.filetransfer_5.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.identity_3.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer_3.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer.httpclient_4.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer.httpclient.ssl_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer.ssl_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.ssl_1.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.app_1.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.common_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.concurrent_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.ds_1.3.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.event_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.frameworkadmin_2.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.frameworkadmin.equinox_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.http.jetty_2.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.http.registry_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.http.servlet_1.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.initializer_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.jsp.jasper_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.jsp.jasper.registry_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.launcher_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.artifact.repository_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.console_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.core_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.director_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.director.app_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.directorywatcher_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.engine_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.extensionlocation_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.garbagecollector_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.jarprocessor_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.metadata_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.metadata.repository_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.operations_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.publisher_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ql_2.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.reconciler.dropins_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.repository_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.repository.tools_2.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.touchpoint.eclipse_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.touchpoint.natives_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.transport.ecf_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui.importexport_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui.sdk_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui.sdk.scheduler_1.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.updatechecker_1.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.updatesite_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.preferences_3.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.registry_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.security_1.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.security.ui_1.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.simpleconfigurator_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.simpleconfigurator.manipulator_2.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.util_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.appserver_3.1.400.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.base_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.ui_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.webapp_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jface_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jface.databinding_1.5.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jface.text_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jsch.core_1.1.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jsch.ui_1.1.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ltk.core.refactoring_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ltk.ui.refactoring_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.osgi_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.osgi.services_3.3.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.osgi.util_3.2.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.platform.doc.user_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.rcp_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.search_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.swt_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.swt.gtk.linux.x86_64_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.core_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.cvs.core_3.3.400.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.cvs.ssh2_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.cvs.ui_3.3.400.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.ui_3.6.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.text_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.browser_3.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.cheatsheets_3.4.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.console_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.editors_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.externaltools_3.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.forms_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.ide_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.ide.application_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.intro_3.4.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.navigator_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.navigator.resources_3.4.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.net_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.presentations.r21_3.2.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.views_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.views.properties.tabbed_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.workbench_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.workbench.texteditor_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.configurator_3.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.core_3.2.500.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.scheduler_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.ui_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.mortbay.jetty.server_6.1.24.jar:/usr/lib/eclipse/plugins/org.mortbay.jetty.util_6.1.24.jar:/usr/lib/eclipse/plugins/org.sat4j.core_2.3.0.WHEEZY.jar:/usr/lib/eclipse/plugins/org.sat4j.pb_2.3.0.WHEEZY.jar::/homes/gws/csgordon/research/experiments/timed/jvmmonitor/jvmmonitor-read-only/org.jvmmonitor.ui/lib/org.swtchart_0.8.0.v20120301.jar -processor guitypes.checkers.GUIEffectsChecker
+~/research/guitypes/checker ~/research/experiments/timed/jvmmonitor/jvmmonitor-read-only
+Buildfile: /homes/gws/csgordon/research/guitypes/checker/build.xml
+
+init:
+
+compile:
+[jsr308.javac] /homes/gws/csgordon/research/guitypes/checker/build.xml:40: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
+
+dist:
+
+BUILD SUCCESSFUL
+Total time: 0 seconds
+~/research/experiments/timed/jvmmonitor/jvmmonitor-read-only
+./org.jvmmonitor.core/src/org/jvmmonitor/internal/core/MBeanServer.java:1003: error: incompatible types.
+            mxBean = newPlatformMXBeanProxy(connection, mxBeanName, mxBeanClass);
+                                                                    ^
+  found   : @AlwaysSafe Class<? extends @AlwaysSafe Object>
+  required: @AlwaysSafe Class<@AlwaysSafe Object>
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/memory/HeapHistogramPage.java:170: error: An method override may only be @UI if it overrides an @UI method (overriding non-UI instantiation of @AlwaysSafe IPropertyChangeListener).
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/AbstractFilteredTree.java:128: error: An method override may only be @UI if it overrides an @UI method (overriding non-UI instantiation of @AlwaysSafe IPropertyChangeListener).
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/editors/CpuDumpEditor.java:139: error: An method override may only be @UI if it overrides an @UI method (overriding @AlwaysSafe ICpuModelChangeListener.modelChanged(org.jvmmonitor.core.cpu.CpuModelEvent)).
+            @UIEffect public void modelChanged(CpuModelEvent event) { // calls refresh(), which def. can't be safe.  Registered by init(), which appears to be called when CPU dump editor is constructed (via super-super-class ctor).  Does the model change event ever actually fire?
+                                  ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/thread/ThreadFilteredTree.java:117: error: An method override may only be @UI if it overrides an @UI method (overriding non-UI instantiation of @AlwaysSafe IPropertyChangeListener).
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/TimelineChart.java:99: error: An method override may only be @UI if it overrides an @UI method (overriding non-UI instantiation of @AlwaysSafe IPropertyChangeListener).
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/HotSpotsTabPage.java:83: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+                    refresh(); // Colin Gordon: CPU model change listener transitively calls Label.setText(), so either this interface is UI or this is a bug
+                           ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/CallTreeTabPage.java:82: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+                    refresh(); // Colin Gordon: CPU model change listener transitively calls Label.setText(), so either this interface is UI or this is a bug
+                           ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/CallerCalleeTabPage.java:95: error: An method override may only be @UI if it overrides an @UI method (overriding @AlwaysSafe ICpuModelChangeListener.modelChanged(org.jvmmonitor.core.cpu.CpuModelEvent)).
+            @UIEffect public void modelChanged(CpuModelEvent event) { // Colin Gordon: Safe iface, directly calls unsafe SWT methods, installed by parent's setInput()
+                                  ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/NotificationFilteredTree.java:152: error: An method override may only be @UI if it overrides an @UI method (overriding non-UI instantiation of @AlwaysSafe IPropertyChangeListener).
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+10 errors