search

mccoyst / tact

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

Exempt final fields from default ownership #3

Closed mccoyst closed 12 years ago

mccoyst commented 12 years ago

Don't insert normal checks for getfields when the field is final. If it was annotated as GuardedBy, insert those checks regardless.