From b54da11b8d6d8c53def3110473a2df48feabaac5 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Mon, 6 Oct 2008 22:00:31 +0000
Subject: [PATCH] add a model for java.lang.Thread

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.core/lib/primordial.jar.model    | Bin 5015 -> 6056 bytes
 .../com/ibm/wala/model/java/lang/Thread.java  |  24 ++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 com.ibm.wala.core/src/com/ibm/wala/model/java/lang/Thread.java

diff --git a/com.ibm.wala.core/lib/primordial.jar.model b/com.ibm.wala.core/lib/primordial.jar.model
index ec00a9d6da3a06e0d3a3839c3c9cb110b14f3bdf..9f484bbd4bb02437818d70c3c7e9abf69e17537e 100644
GIT binary patch
delta 1134
zcmbQPzCxcbz?+#xgn<JHqx#$|C-TLzsPwv7PTs(*JbA64*v1u{j4WqrB`hb`vx5W#
zH@{>&%m`Mpc?0ulX0Y7mdUh^mm^R(|kc^_##1y^coW$bd-hk77ha5y~og1ArmG}kk
zN}4i?o2^sL^NA6R_3()CJI&JOb9;%%UtM`_A>Tg?_NOY+S21>SryKQGzq2fUH@E-%
z^>T*v8`~!)Tkt%(FuCr9ZNbsK26Eg_&;GFeF4C`duV5C3-L{G8H{uqW|MOwdY_^_W
zf6=A0=g0+#9Io?{UVj}<dMp#?3EOU-bRvFId+(|B;>Np}*+a#nH4H_5yM?lSj1dV)
zS;3p4vQB)V{v^fkQ!n%t9=O_}9(0_oBw?YK-pi14l6~y|Gx}GpVe3{A4E%N3YxV8l
zt0kYC#i=yzm~?B;q=U<6wKK1}yeL2Q#fzkuX$!MiW{Ww`RN}XM5m?z=yuIaj(=Fjv
z%PX1XKASw#WqF%lwQsw2q(?2lB688rNus<nJn!^0h?Tw2S=@U!|Kr4y3_sJa$eC|>
zYr4B{=i6Gw0B?4V<Fl@6+cPpS$TKl8Afjtq4=|eQ+2P@xl~|UzHt@9HT?d}K@h|^1
zPj9GF7Z2k&(i9e}Alk`l|G>xRSV`O`AEAY-{@<JF$q=~B;^d)oA1%KXmVev2@%}-{
zKO7%jD@-K)zG%kC^iMDN{&(LLRknj?4z6z7y;V#~uQ5PrW@f;L3=79823%GS_6}w&
zD@qFl|JHN=7L-X7a+@v1$u;#<fPwL*qxXb->J&0-SzidXET8u0%CuyqiWya>rRp}S
z#b5dvBP)G5DPp#{=CY7or*xQ?>)i1#eV3oRD5ysK@SRz{=RU4_JuNkG%c~U%$?2Ic
zw*$Ad|NOJUr)=9I^XY$1Nvp(e_3HiK)5N^tdCa!f+wHqU>+iaH_toSz-1@Qg;@fh;
zulX{ZUBX?}%f+^=h><w4>iMRfn_e7${db++-LlWWe{Hv#d#Y1Mc9Wo1xa0!$W@Gl1
zE4=p3TCck-Brn$S!*U_UCA%iJseenoZ7#dDG3=i1PDcOJ>Ss>AEPcB2zS`!%I;G2#
zJqkZ;UF#QcR{YfDAN)bRDj(n1h2N_OMO4>jzV-@WMCmXiM-(VOZSLiI4$UkTe7l%f
zKzVJlnV=IS*VG6GLo(TA!61l;rVv!5K`2NNWB_s+(472ONY4T}n+13?GKnxivN0%K
zAUi~Z0U3z$Ob!s1H-~Blr5R+sAe&AH&7IH-^gs|B1A_swR))vCK)t$?<%I<mKt;m&
jrd*kLV3JH_XJF7rQFu-esL+y+lYx_g187p02uKzHR2RBb

delta 220
zcmZ3XKV6+Kz?+#xgn<JHr>?taF_ABp<-PZ9i^&_9l_%d|6x_I&kC7#Zr{7|7J-hPe
z8;n;NSt{4uv)H_W`7|?xRnN}F4A!#wBkyx&u-eUc1a~p9fQ*|wOT-Cc-UE?fh&kq>
zL12xOdqsmGj3=T&f*?Cj2hE+(%gn$K#Kyp2Fxg#9Z*qe;-(&-EK?RTl&Nt=C#4|B4
eq_Q(G=rbULEWXK!;+A~u4D1ZiKm}@oAV~mZW<$XM

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;
+  }
+}