Python: Add TypeTracker::end()

RasmusWL · RasmusWL · commit 189c94f9e3ac · 2020-09-04T11:10:10.000+02:00
Copied from JS
diff --git a/python/ql/src/experimental/dataflow/TypeTracker.qll b/python/ql/src/experimental/dataflow/TypeTracker.qll
@@ -280,3 +280,10 @@ class TypeTracker extends TTypeTracker {
     result = this
   }
 }
+
+module TypeTracker {
+  /**
+   * Gets a valid end point of type tracking.
+   */
+  TypeTracker end() { result.end() }
+}

Original file line number	Diff line number	Diff line change
`@@ -280,3 +280,10 @@ class TypeTracker extends TTypeTracker {`
`280`	`280`	`result = this`
`281`	`281`	`}`
`282`	`282`	`}`
	`283`	`+`
	`284`	`+module TypeTracker {`
	`285`	`+ /**`
	`286`	`+ * Gets a valid end point of type tracking.`
	`287`	`+ */`
	`288`	`+ TypeTracker end() { result.end() }`
	`289`	`+}`