Revert "[CSL] add model of locks inside the Object class"

Reviewed By: sblackshear

Differential Revision: D3334349

fbshipit-source-id: 3533820
master
Jules Villard 9 years ago committed by Facebook Github Bot 3
parent 058f4455dc
commit 24cbba4355

@ -12,15 +12,6 @@ package java.lang;
import com.facebook.infer.models.InferUndefined;
public class Object {
private boolean __inferIsLocked;
public void __inferLock() {
__inferIsLocked = true;
}
public void __inferUnlock() {
__inferIsLocked = false;
}
public Class getClass() {
Class c = new Class();

Loading…
Cancel
Save