[e-lang] Joe-E 1.0 out

[Adrian Mettler]

Thanks for finding this.  It's now fixed in my working copy, which I'll 
release soon along with fixes for any other bugs that are found in the 
next few days.
(Ironically, I already refactored the locals handling to fix just this 
sort of bug, but didn't implement one small part of it generally enough, 
thus only handling a special case of the problem exposed here.  But it 
made doing it right a much easier fix.)
-Adrian

Tyler Close wrote:
> Hi Adrian,
> 
> This looks very good so far.
> 
> I think I've hit a bug in the verifier. The following code:
> 
> import org.joe_e.Powerless;
> import org.joe_e.Struct;
> 
> public final class
> Factory extends Struct implements Powerless {
> 
>     interface F {
>         void
>         run(Struct a);
>     }
> 
>     public F
>     build(final Factory next) {
>         return new F() {
>             public void
>             run(final Struct a) {
>                 new Runnable() {
>                     public void
>                     run() { a.equals(a); }
>                 };
>             }
>         };
>     }
> }
> 
> produces the error:
> 
> "Construction of anonymous class may grant access to non-Immutable local state."
> 
> on the line that constructs the new F().
> 
> Tyler
> 
> 
> On 7/10/07, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
>> The Joe-E verifier version 1.0.0 is now available from
>> http://www.joe-e.org
>>
>> It can be added to your eclipse install (tested with version 3.2, may
>> work with older versions) following the instructions given there.  If
>> you already have 0.5, upgrading should be easy; just tell Eclipse
>> Updates to grab the new version.
>>
>> There have been a lot of bugs fixed since the December (0.5) version;
>> there's also a decent test suite with unit tests for each Joe-E
>> restriction, which hopefully means far fewer bugs remain. The only big
>> thing missing feature-wise is a good taming database.  The taming checks
>> should be feature-complete, and there is a way to specify taming
>> decisions, but safej support and an adequate set of tamed classes is yet
>> to come.
>>
>> Comments and suggestions are welcome.
>>
>> -Adrian
>> _______________________________________________
>> e-lang mailing list
>> e-lang at mail.eros-os.org
>> http://www.eros-os.org/mailman/listinfo/e-lang
>>
> 
>