mccoyst / tact

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

Implement static member GuardedBy guard #5

Closed mccoyst closed 12 years ago

mccoyst commented 12 years ago

E.g.:

class X{
    private static final Object lock = new Object();

    @GuardedBy("lock") int n;
}

or

class Y{
    @GuardedBy("X.lock") int m;
}