A4E editor & jface interaction

GoogleCodeExporter commented 8 years ago

The problem was discovered in the context of issue #27 but the APIs
involved are completely different; hence a separate issue.

There is a pathological case:
-------------
module test1
sig A {}
c1:check { no A }

-------------

vs.

-------------
module test2
sig A {}
c1:check { no A }

-------------

launching test1/c1 fails
launching test2/c1 works.

In test1/c1, I get this stack trace:

org.eclipse.jface.text.BadLocationException
    at org.eclipse.jface.text.TreeLineTracker.fail(TreeLineTracker.java:1072)
    at
org.eclipse.jface.text.TreeLineTracker.offsetByLine(TreeLineTracker.java:362)
    at
org.eclipse.jface.text.TreeLineTracker.getLineOffset(TreeLineTracker.java:1139)
    at
org.eclipse.jface.text.AbstractLineTracker.getLineOffset(AbstractLineTracker.jav
a:169)
    at
org.eclipse.jface.text.AbstractDocument.getLineOffset(AbstractDocument.java:848)
    at
fr.univartois.cril.alloyplugin.editor.AlloyTreeContentProvider.feedAnnotations(A
lloyTreeContentProvider.java:141)
    at
fr.univartois.cril.alloyplugin.editor.AlloyTreeContentProvider.changed(AlloyTree
ContentProvider.java:157)
    at fr.univartois.cril.alloyplugin.core.ALSFile.fireChange(ALSFile.java:58)
    at
fr.univartois.cril.alloyplugin.core.AlloyLaunching.updateALSFile(AlloyLaunching.
java:233)
    at
fr.univartois.cril.alloyplugin.core.AlloyLaunching.parse(AlloyLaunching.java:181
)
    at
fr.univartois.cril.alloyplugin.core.AlloyLaunching.launchParser(AlloyLaunching.j
ava:72)
    at
fr.univartois.cril.alloyplugin.ProjectBuilder.parseALSFileFull(ProjectBuilder.ja
va:84)
    at
fr.univartois.cril.alloyplugin.ProjectBuilder.access$1(ProjectBuilder.java:81)
    at
fr.univartois.cril.alloyplugin.ProjectBuilder$SampleDeltaVisitor.visit(ProjectBu
ilder.java:127)
    at
org.eclipse.core.internal.events.ResourceDelta.accept(ResourceDelta.java:67)
    at
org.eclipse.core.internal.events.ResourceDelta.accept(ResourceDelta.java:76)
    at
org.eclipse.core.internal.events.ResourceDelta.accept(ResourceDelta.java:76)
    at
org.eclipse.core.internal.events.ResourceDelta.accept(ResourceDelta.java:48)
    at
fr.univartois.cril.alloyplugin.ProjectBuilder.incrementalBuild(ProjectBuilder.ja
va:102)
    at fr.univartois.cril.alloyplugin.ProjectBuilder.build(ProjectBuilder.java:42)
    at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:603)
    at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37)
    at
org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:167)
    at
org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201)
    at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:230)
    at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37)
    at
org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:233)
    at
org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:2
52)
    at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:285)
    at
org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154)
    at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:217)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:58)

Original issue reported on code.google.com by nicolas....@gmail.com on 5 Nov 2007 at 9:10

GoogleCodeExporter commented 8 years ago

A4E version 0.2.5 on RSA7.0.0.3 / Eclipse 3.2.x

Original comment by nicolas....@gmail.com on 5 Nov 2007 at 9:10

GoogleCodeExporter commented 8 years ago

Suggested fix in version 494 in SVN.

Original comment by nicolas....@gmail.com on 5 Nov 2007 at 9:28

Changed state: Fixed

ikuraj / alloy4eclipse

A4E editor & jface interaction #28