Python: Location and toString for KwUnpacked

yoff · yoff · commit b092df48a55c · 2020-10-01T10:15:19.000+02:00
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
@@ -275,6 +275,17 @@ class KwOverflowNode extends Node, TKwOverflowNode {
   override Location getLocation() { result = call.getLocation() }
 }
 
+class KwUnpacked extends Node, TKwUnpacked {
+  CallNode call;
+  string name;
+
+  KwUnpacked() { this = TKwUnpacked(call, _, name) }
+
+  override string toString() { result = "KwUnpacked " + name }
+
+  override Location getLocation() { result = call.getLocation() }
+}
+
 /**
  * A node that controls whether other nodes are evaluated.
  */
