From 38cb5b48ec89a61631483bc33aa066773671393f Mon Sep 17 00:00:00 2001 From: jrm Date: Wed, 10 Feb 2016 11:40:40 -0800 Subject: [PATCH] Remove no longer useful model for java.lang.Thread Summary: public This model does not seem to bring anything anymore. Useless because ... Reviewed By: cristianoc Differential Revision: D2920118 fb-gh-sync-id: 7f708d7 shipit-source-id: 7f708d7 --- infer/models/java/src/java/lang/Thread.java | 29 --------------------- 1 file changed, 29 deletions(-) delete mode 100644 infer/models/java/src/java/lang/Thread.java diff --git a/infer/models/java/src/java/lang/Thread.java b/infer/models/java/src/java/lang/Thread.java deleted file mode 100644 index 5ac067490..000000000 --- a/infer/models/java/src/java/lang/Thread.java +++ /dev/null @@ -1,29 +0,0 @@ -/* - * 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; - -public class Thread implements Runnable { - - Runnable target; - - public static interface UncaughtExceptionHandler { - } - - public synchronized void start() { - run(); - } - - public void run() { - if (target != null) { - target.run(); - } - } - -}