Java: Add bindingset to returnNodeAsOutput

hvitved · michaelnebel · commit 44949b6353b8 · 2022-02-28T16:48:23.000+01:00
diff --git a/java/ql/src/utils/model-generator/ModelGeneratorUtils.qll b/java/ql/src/utils/model-generator/ModelGeneratorUtils.qll
@@ -165,6 +165,7 @@ string parameterNodeAsInput(DataFlow::ParameterNode p) {
   result = "Argument[-1]" and p instanceof DataFlow::InstanceParameterNode
 }
 
+bindingset[api]
 string returnNodeAsOutput(TargetAPI api, ReturnNodeExt node) {
   if node.getKind() instanceof ValueReturnKind
   then result = "ReturnValue"

Original file line number	Diff line number	Diff line change
`@@ -165,6 +165,7 @@ string parameterNodeAsInput(DataFlow::ParameterNode p) {`
`165`	`165`	`result = "Argument[-1]" and p instanceof DataFlow::InstanceParameterNode`
`166`	`166`	`}`
`167`	`167`
	`168`	`+bindingset[api]`
`168`	`169`	`string returnNodeAsOutput(TargetAPI api, ReturnNodeExt node) {`
`169`	`170`	`if node.getKind() instanceof ValueReturnKind`
`170`	`171`	`then result = "ReturnValue"`