diff --git a/com.ibm.wala.core/lib/primordial.jar.model b/com.ibm.wala.core/lib/primordial.jar.model index ec00a9d6d..9f484bbd4 100644 Binary files a/com.ibm.wala.core/lib/primordial.jar.model and b/com.ibm.wala.core/lib/primordial.jar.model differ diff --git a/com.ibm.wala.core/src/com/ibm/wala/model/java/lang/Thread.java b/com.ibm.wala.core/src/com/ibm/wala/model/java/lang/Thread.java new file mode 100644 index 000000000..75e63dfdd --- /dev/null +++ b/com.ibm.wala.core/src/com/ibm/wala/model/java/lang/Thread.java @@ -0,0 +1,24 @@ +/******************************************************************************* + * Copyright (c) 2008 IBM Corporation. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * IBM Corporation - initial API and implementation + *******************************************************************************/ +package com.ibm.wala.model.java.lang; + + +/** + * Model of single-threaded behavior + */ +public class Thread { + + static final java.lang.Thread singleThread = new java.lang.Thread(); + + public static java.lang.Thread currentThread() { + return singleThread; + } +}