[e-lang] Joe-E 1.0 out

[Tyler Close]

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
>


-- 
The web-calculus is the union of REST and capability-based security:
http://www.waterken.com/dev/Web/

Name your trusted sites to distinguish them from phishing sites.
https://addons.mozilla.org/firefox/957/