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