Newbie Joe-E questions

Jimmy Wylie <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]>
Hi all,

I've downloaded joe-e for the first time and tried to import a simple 
project assigned from one of my beginner java classes.  After running 
the verifier, I've received 65 errors, but they all seem to be of the form:
 "Disabled field in from type System accessed: default deny"
 "Reference to disabled type Scanner: no policy specified for this class"
  "Disabled field out from type System accessed: default deny"
 "Method from disabled type PrintStream called: no policy specified for 
this class."

Now this class is a User Interface class, and I want it to be able to 
take in input from an instance of Scanner, and also do output.  How do I 
create a policy to allow these authorities for this class?
I tried simply passing an instance of Scanner in the constructor, 
instead of creating a new one when the constructor is called, but the 
verifier still objects to the "import java.util.Scanner" declaration.

Also, on sort of a separate note, could someone clarify exactly what a 
joe-e Token is? I read the Joe-E spec doc, and from what I can tell, it 
seems to be like a basic Joe-E type or a Joe-E "Object" class.  If I was 
writing a joe-e program, should all objects not declared to be powerless 
or immutable, be a Token instead?

Thanks for your help,
Jimmy Wylie
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.