search

mccoyst / tact

Tact automatically adds certain runtime checks to Java bytecode in class files.
0 stars 0 forks source link

GuardedBy for Classes #23

Closed mccoyst closed 12 years ago

mccoyst commented 12 years ago

GuardedBy should do something when annotating a class. For example:

@GuardedBy("this") public class C{ … }

…
void f(C c){
    synchronized(c){
        C see = c; // okay
    }
}
…