If a bunch of (Spoofax language) files are open, and the editor is in the process of being updated the projects that contains those projects are closed then ugly error messages pop up (NPE) and are shown in the console:

14:40 | ERROR | o.m.s.e.e.EditorUpdateJob      - Failed to show internal error marker
org.eclipse.core.internal.resources.ResourceException: Resource '/org.metaborg.lang.rimp/trans/analysis/types.ts2' does not exist.
	at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:341) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:215) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.eclipse.core.internal.resources.Resource.deleteMarkers(Resource.java:846) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.metaborg.spoofax.eclipse.util.MarkerUtils.clearAll(MarkerUtils.java:63) ~[org.metaborg.spoofax.eclipse_1.5.0.20151029-152721-new-spoofax-plugin.jar:na]
	at org.metaborg.spoofax.eclipse.editor.EditorUpdateJob$1.run(EditorUpdateJob.java:138) ~[org.metaborg.spoofax.eclipse_1.5.0.20151029-152721-new-spoofax-plugin.jar:na]
	at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2313) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.metaborg.spoofax.eclipse.editor.EditorUpdateJob.run(EditorUpdateJob.java:143) ~[org.metaborg.spoofax.eclipse_1.5.0.20151029-152721-new-spoofax-plugin.jar:na]
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) [org.eclipse.core.jobs_3.6.1.v20141014-1248.jar:na]
14:40 | ERROR | o.m.s.e.e.EditorUpdateJob      - Failed to show internal error marker
org.eclipse.core.internal.resources.ResourceException: Resource '/org.metaborg.lang.rimp/syntax/Rimp.sdf3' does not exist.
	at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:341) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:215) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.eclipse.core.internal.resources.Resource.deleteMarkers(Resource.java:846) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.metaborg.spoofax.eclipse.util.MarkerUtils.clearAll(MarkerUtils.java:63) ~[org.metaborg.spoofax.eclipse_1.5.0.20151029-152721-new-spoofax-plugin.jar:na]
	at org.metaborg.spoofax.eclipse.editor.EditorUpdateJob$1.run(EditorUpdateJob.java:138) ~[org.metaborg.spoofax.eclipse_1.5.0.20151029-152721-new-spoofax-plugin.jar:na]
	at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2313) ~[org.eclipse.core.resources_3.9.1.v20140825-1431.jar:na]
	at org.metaborg.spoofax.eclipse.editor.EditorUpdateJob.run(EditorUpdateJob.java:143) ~[org.metaborg.spoofax.eclipse_1.5.0.20151029-152721-new-spoofax-plugin.jar:na]
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) [org.eclipse.core.jobs_3.6.1.v20141014-1248.jar:na]
Eclipse: org.eclipse.epp.package.standard.feature.feature.group 4.4.2.20150219-0708
Spoofax: org.metaborg.spoofax.eclipse 1.5.0.20151029-152721-new-spoofax-plugin
System: Mac OS X x86_64 10.11.1
Submitted by Vlad Vergu on 30 October 2015 at 13:43

On 30 October 2015 at 13:44 Vlad Vergu commented:

And the editor tabs for these files remain open but are useless. The expected behavior is that the editor is closed.


On 2 November 2015 at 16:22 Gabriël Konat tagged eclipse

On 29 April 2016 at 16:32 Gabriël Konat commented:

Can't reproduce this, closing for now. Reopen if reproducible.


On 29 April 2016 at 16:32 Gabriël Konat closed this issue.

Log in to post comments