Static analysis of non-local transfers: a proposal

[Zdenek Tronicek]

Quoting John Longley <jrl at staffmail.ed.ac.uk>:

>
>     {==> int} m() {
>         class c {
>            {==> int} f = {==> return ;}
>         } ;
>         return new c().f
>     }
>

Hi John,

such restriction already exists under the current prototype. For example,
this

   interface X {
     int methodX();
   }

   public static X makeX() {
     X p = new X() {
       { => void } e = { => return null; };
       public int methodX() {
         e.invoke();
         return 42;
       }
     };
     return p;
   }

does not compile.

Zdenek
-- 
Zdenek Tronicek
Department of Computer Science and Engineering
Prague                   tel: +420 2 2435 7410
http://cs.felk.cvut.cz/~tronicek