Re: Newbee to Joe-E

Hi Sam.  Thanks for taking a look at Joe-E.

I'm guessing that most likely, you have the plugin installed and enabled 
for your project, but it isn't actually examining your code because the 
package the code is in has not been marked as a Joe-E package.  In order 
to allow a project to contain Joe-E and non-Joe-E code, the verifier 
only checks packages that have been marked as Joe-E packages using the 
@org.joe_e.IsJoeE annotation.  It skips over other packages, which can 
then only be called from Joe-E code using the taming mechanism.

While the documentation says how to mark a package as Joe-E (reproduced 
below) I now see that it doesn't make it clear why you would want to do 
so -- namely, that the verifier only looks for Joe-E violations in the 
code of packages that have this annotation.  I'll see if I can fix the 
documentation to make this clearer.

(Joe-E packages are identified by whether or not the package is 
annotated with the org.joe_e.IsJoeE annotation type. This can be added 
to a package by creating a file named package-info.java in the package 
directory containing the line "@org.joe_e.IsJoeE package package.name;" 
where package.name is the name of the package. Once you've created this 
file once, you can copy and paste the file to other packages; Eclipse is 
smart enough to fix the package name.)

Thanks for the interest and feedback,
Adrian

samriti katoch wrote:
> Hi,
> 
> So I have the Joe-E plugin installed on eclipse 3.3 and have the
> library-2.2.2.jar as an external JAR in the project build path. I also
> have the taming database taming-20100421 folder path has been set in
> the Joe-E preferences.All these from the commandline-2.2.2download. I
> am also able to see the "Enable Joe-E verifier" option for a sample
> project.
> 
> However, when I enable the verifier not a single warning message is
> generated, this is even when I write a sample program mentioned in the
> Joe-E specification (the one in which an exception contains a
> capability).
> 
> I am not sure what is wrong. Any help will be greatly appreciated.
> 
> Thanks,
> Sam.
> _______________________________________________
> e-lang mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/e-lang