Joe-E Installation Problem

Mohsen Vakilian <mvakili2-nzINlOoChub2fBVCVOL8/[email protected]> Tue, 8 Sep 2009 13:05:16 -0500

Newsgroups	gmane.comp.lang.e.general
Message-ID	<[email protected]>

Hi,
I'm interested in trying out Joe-E. I followed the instructions at
http://code.google.com/p/joe-e/wiki/GettingStarted to install it.
I installed Java 1.5 and the version of eclipse suggested by the tutorial.
Then, I installed, configured and enabled the Joe-E plugin.
Afterwards, I wrote a simple program which violates some of the restrictions
enforced by Joe-E. For instance, I wrote a class that implements Powerless,
but it is not immutable. I expected to see a list of errors in the
"Problems" window. But, no errors show up. Any ideas of what's going wrong?

Thanks,
Mohsen Vakilian

_______________________________________________
e-lang mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/e-lang