Closed GoogleCodeExporter closed 9 years ago
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:252)
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 comment by nicolas....@gmail.com
on 5 Nov 2007 at 8:01
For the initial problem, I use the filename as secondary id.
Did your path contain a colon?
For the second problem, I cannot reproduce on SVN.
Original comment by daniel.l...@gmail.com
on 5 Nov 2007 at 8:07
Fixed in version 493 in SVN.
Original comment by nicolas....@gmail.com
on 5 Nov 2007 at 8:30
Original issue reported on code.google.com by
nicolas....@gmail.com
on 5 Nov 2007 at 7:14