search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Outline in Alloy Perspective not working #43

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. Type model:
module mm0

open util/ordering[State] as ordering

abstract sig Event {}
one sig WriteFile, CreateFile extends Event {}

sig State {}

pred show {}
2. Look at the outline window.

What is the expected output? What do you see instead?

It should contain signatures Event, WriteFile, CreateFile and State.
Predicate show should also come up. However, none of these show up.
Signatures, Predicates, etc are empty.

What version of the product are you using? On what operating system?

Linux 32Bit, A4E 0.2.18, Eclipse 3.2.1.

Please provide any additional information below.

See attached screenshot.

Original issue reported on code.google.com by pocma...@gmail.com on 18 Jan 2008 at 7:35

Attachments:

GoogleCodeExporter commented 8 years ago 
I cannot reproduce the problem on Eclipse 3.3.1.1.

Paulo, do you have a good reason to use that "old" version of Eclipse?

Original comment by daniel.l...@gmail.com on 18 Jan 2008 at 7:53

GoogleCodeExporter commented 8 years ago 
The simple reason is that Gentoo maintainer have not considered Eclipse 3.3.X a
priority up until recently.
http://bugs.gentoo.org/show_bug.cgi?id=150446

Europa will only be released onto Gentoo Linux package system on monday, so 
maybe
I'll wait and then I'll get back to this issue.

Original comment by pocma...@gmail.com on 19 Jan 2008 at 1:05

GoogleCodeExporter commented 8 years ago 
Paulo,

It looks like you are using a version of eclipse compiled with GCJ.

That might be the root of the problem.

It does not mean there is no bug in A4E, it explains why I cannot reproduce the 
problem.

Maybe it is a problem related to issue 41
http://code.google.com/p/alloy4eclipse/issues/detail?id=41

Original comment by daniel.l...@gmail.com on 19 Jan 2008 at 7:52

GoogleCodeExporter commented 8 years ago 
Why do you say that it looks like it was compiled with GCJ? 
I'm not sure but I don't have GCJ installed and I doubt it I had it installed 
when I
got this eclipse version.

I'll try to look into a way of getting some information out for debugging. I'll 
let
you know.

Original comment by pocma...@gmail.com on 19 Jan 2008 at 11:17

GoogleCodeExporter commented 8 years ago 
The problem has been fixed. Was not caused by A4E but user configuration.

Original comment by rdrue...@gmail.com on 13 Mar 2008 at 9:44