Re: Joe-E Taming Policies

Adrian Mettler <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]>
For the most part, the prohibitions you've encountered are a result of 
the taming process being incomplete at present -- there are a lot of 
would-be-safe classes that we haven't looked at yet.  We're hoping to 
add more on an on-demand basis, so people can build more stuff with it. 
   StringBuffer and StringBuilder should both be safe; the only reason 
one is currently allowed and not the other is that we have mostly written
single-threaded (or vat-based-concurrency) code, which does not need 
StringBuffer's thread-safety.

Hashtable is unsafe to use if you want Joe-E's determinism guarantees to 
hold: the iteration order of the hashtable depends on the hash codes 
assigned to the objects placed in it; for many classes, the hash code is 
nondeterministic as it is the JVM's internal identifier for the object 
instance.  Hashtable is OK if you do not need the determinism guarantees.

-Adrian

Mohsen Vakilian wrote:
> Hi,
> 
> Can anyone explain the rationale behind the following Joe-E error 
> messages? I don't see why the following classes should be disabled by 
> Joe-E. For instance, does creating a StringBuffer as a local variable of 
> a method cause impurity? Why is StringBuilder allowed but not StringBuffer?
> 
> Disabled constructor from class ArrayIndexOutOfBoundsException called: 
> default deny
> Method from disabled type Hashtable called: no policy specified for this 
> class
> Disabled constructor from class StringBuffer called: default deny
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> e-lang mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/e-lang
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.