add model of locks inside the Object class

Summary: To be used by monitorenter() and friends.

Reviewed By: peterogithub

Differential Revision: D3310720

fbshipit-source-id: 40823ca

infer/models/java/src/java/lang/Object.java

@@ -12,6 +12,15 @@ 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();