Python: Expose getParameter on ParameterNode

RasmusWL · RasmusWL · commit 9f1aa8ca0c98 · 2020-10-06T03:02:31.000+02:00
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
@@ -151,6 +151,9 @@ class ParameterNode extends EssaNode {
   }
 
   override DataFlowCallable getEnclosingCallable() { this.isParameterOf(result, _) }
+
+  /** Gets the `Parameter` this `ParameterNode` represents. */
+  Parameter getParameter() { result = var.(ParameterDefinition).getParameter() }
 }
 
 /**
diff --git a/python/ql/src/semmle/python/essa/Essa.qll b/python/ql/src/semmle/python/essa/Essa.qll
@@ -567,6 +567,7 @@ class ParameterDefinition extends EssaNodeDefinition {
     exists(Function func | func.getKwarg() = this.getDefiningNode().getNode())
   }
 
+  /** Gets the `Parameter` this `ParameterDefinition` represents. */
   Parameter getParameter() { result = this.getDefiningNode().getNode() }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -151,6 +151,9 @@ class ParameterNode extends EssaNode {`
`151`	`151`	`}`
`152`	`152`
`153`	`153`	`override DataFlowCallable getEnclosingCallable() { this.isParameterOf(result, _) }`
	`154`	`+`
	`155`	+ /** Gets the `Parameter` this `ParameterNode` represents. */
	`156`	`+ Parameter getParameter() { result = var.(ParameterDefinition).getParameter() }`
`154`	`157`	`}`
`155`	`158`
`156`	`159`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -567,6 +567,7 @@ class ParameterDefinition extends EssaNodeDefinition {`
`567`	`567`	`exists(Function func \| func.getKwarg() = this.getDefiningNode().getNode())`
`568`	`568`	`}`
`569`	`569`
	`570`	+ /** Gets the `Parameter` this `ParameterDefinition` represents. */
`570`	`571`	`Parameter getParameter() { result = this.getDefiningNode().getNode() }`
`571`	`572`	`}`
`572`	`573`