/*
 * Copyright (c) 2013 - present Facebook, Inc.
 * All rights reserved.
 *
 * This source code is licensed under the BSD style license found in the
 * LICENSE file in the root directory of this source tree. An additional grant
 * of patent rights can be found in the PATENTS file in the same directory.
 */

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();
        c.name = InferUndefined.string_undefined();
        return c;
    }

    public int hashCode() {
      return InferUndefined.int_undefined();
    }
}

@@ -398,186 +398,8 @@
 ct %7B
-%0A    private boolean __inferIsLocked;%0A%0A    public void __inferLock() %7B%0A      __inferIsLocked = true;%0A    %7D%0A%0A    public void __inferUnlock() %7B%0A      __inferIsLocked = false;%0A    %7D
 %0A%0A  

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