From 3c3c7c033ecd58255050b85ee4b1fd2b84bee05b Mon Sep 17 00:00:00 2001
From: Julian Dolby <dolby@us.ibm.com>
Date: Mon, 15 Feb 2021 19:48:05 -0500
Subject: [PATCH] pytest model

---
 com.ibm.wala.cast.python/data/pytest.xml | 74 ++++++++++++++++++++++++
 1 file changed, 74 insertions(+)
 create mode 100644 com.ibm.wala.cast.python/data/pytest.xml

diff --git a/com.ibm.wala.cast.python/data/pytest.xml b/com.ibm.wala.cast.python/data/pytest.xml
new file mode 100644
index 000000000..431817176
--- /dev/null
+++ b/com.ibm.wala.cast.python/data/pytest.xml
@@ -0,0 +1,74 @@
+<?xml version="1.0" ?>
+<!DOCTYPE summary-spec>
+<!-- Pandas model -->
+<summary-spec>
+  <classloader name="PythonLoader">
+    <class name="pytest" allocatable="true">
+      <method name="import"
+	      static="true"
+	      descriptor="()Lpytest;">
+        <new def="x" class="Lpytest"/>
+
+	<new def="mark" class="Lobject"/>
+	<putfield class="LRoot"
+                  field="mark"
+                  fieldType="LRoot"
+                  ref="x"
+                  value="mark"/>
+	
+	<new def="parametrize" class="Lpytest/class/parametrize"/>
+	<putfield class="LRoot"
+                  field="parametrize"
+                  fieldType="LRoot"
+                  ref="mark"
+                  value="parametrize"/>
+
+	<return value="x"/>
+      </method>
+    </class>
+le     
+    <package name="pytest/class">
+
+      <class name="Parametrize" allocatable="true">
+	<method name="do" descriptor="()LRoot;" numArgs="2" paramNames="self test">
+
+	  <putfield class="LRoot"
+                    field="params"
+                    fieldType="LRoot"
+                    ref="test"
+                    value="self"/>
+
+	  <return value="test"/>
+	</method>
+      </class>
+      
+      <class name="parametrize" allocatable="true">
+	<method name="do" descriptor="()LRoot;" numArgs="4"
+		paramNames="self params values extra">
+	  <new def="closure" class="Lpytest/class/Parametrize"/>
+
+	  <putfield class="LRoot"
+                    field="test"
+                    fieldType="LRoot"
+                    ref="closure"
+                    value="self"/>
+
+	  <putfield class="LRoot"
+                    field="params"
+                    fieldType="LRoot"
+                    ref="closure"
+                    value="params"/>
+
+	  <putfield class="LRoot"
+                    field="values"
+                    fieldType="LRoot"
+                    ref="closure"
+                    value="values"/>
+
+	  <return value="closure"/>
+	</method>
+      </class>
+    </package>
+
+  </classloader>
+</summary-spec>