metaborg / spoofax-pie

Spoofax implementation using PIE pipelines
Apache License 2.0
12 stars 9 forks source link

Deleting a file causes errors #42

Open Virtlink opened 3 years ago

Virtlink commented 3 years ago

Summary

Deleting a file causes errors about the file not being found. It may be because another file with the same name exists in a subdirectory, but I'm not sure.

What you did

I had a file src/statics/declarations.stx which didn't seem to be found, so I copied it to src/declarations.stx. I opened both files (both files had errors), then closed the src/declarations.stx file and deleted it. Upon opening the src/statics/declarations.stx file and typing a letter, errors started to appear.

What you expected to happen

I expected no errors.

What actually happened

In the console the following error appeared:

15:32:37.045 | ERROR | Worker-68: Statix editor update                    | mb.spoofax.eclipse.pie.WorkspaceUpdate             | Cannot clear markers for resource 'L/tego/src/declarations.stx'; resource does not exist
15:32:37.045 | ERROR | Worker-68: Statix editor update                    | mb.spoofax.eclipse.pie.WorkspaceUpdate             | Running marker update failed unexpectedly
org.eclipse.core.internal.resources.ResourceException(/tego/src/declarations.stx)[368]: java.lang.Exception: Resource '/tego/src/declarations.stx' does not exist.
    at org.eclipse.core.internal.resources.ResourceException.provideStackTrace(ResourceException.java:42)
    at org.eclipse.core.internal.resources.ResourceException.<init>(ResourceException.java:38)
    at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:330)
    at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:204)
    at org.eclipse.core.internal.resources.Resource.createMarker(Resource.java:698)
    at org.eclipse.core.internal.resources.Resource.createMarker(Resource.java:689)
    at mb.spoofax.eclipse.util.MarkerUtil.create(MarkerUtil.java:26)
    at mb.spoofax.eclipse.pie.WorkspaceUpdate.createMarker(WorkspaceUpdate.java:193)
    at mb.spoofax.eclipse.pie.WorkspaceUpdate.lambda$createMarkerUpdate$0(WorkspaceUpdate.java:170)
    at java.base/java.util.ArrayList.forEach(ArrayList.java:1541)
    at mb.spoofax.eclipse.pie.WorkspaceUpdate.lambda$createMarkerUpdate$1(WorkspaceUpdate.java:170)
    at java.base/java.lang.Iterable.forEach(Iterable.java:75)
    at mb.spoofax.eclipse.pie.WorkspaceUpdate.lambda$createMarkerUpdate$3(WorkspaceUpdate.java:166)
    at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2292)
    at mb.spoofax.eclipse.pie.WorkspaceUpdate.update(WorkspaceUpdate.java:203)
    at mb.spoofax.eclipse.pie.PieRunner.addOrUpdateEditor(PieRunner.java:145)
    at mb.spoofax.eclipse.editor.EditorUpdateJob.update(EditorUpdateJob.java:89)
    at mb.spoofax.eclipse.editor.EditorUpdateJob.run(EditorUpdateJob.java:74)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)

When trying to build the project, I get a window with the following error:

Errors occurred during the build.
Errors running builder 'Spoofax LWB builder' on project 'tego'.
Resource '/tego/src/declarations.stx' does not exist.
Resource '/tego/src/declarations.stx' does not exist.
Resource '/tego/src/declarations.stx' does not exist.
Resource '/tego/src/declarations.stx' does not exist.

Performing a Clean solved this issue.

Context