python: Add LocalSourceParameterNode

This can be used when one wants to consider a
(source) parameter node as a local source.
This commit is contained in:
yoff
2022-05-02 20:39:53 +00:00
committed by GitHub
parent 28b239a9a4
commit 238c578f5a

View File

@@ -313,6 +313,8 @@ class SourceParameterNode extends ParameterNode, CfgNode {
Parameter getParameter() { result = def.getParameter() }
}
class LocalSourceParameterNode extends SourceParameterNode, LocalSourceNode { }
/** Gets a node corresponding to parameter `p`. */
SourceParameterNode parameterNode(Parameter p) { result.getParameter() = p }