autoformat

This commit is contained in:
Erik Krogh Kristensen
2020-05-12 12:28:02 +02:00
parent 2fbdeceae7
commit bd768cbd7e

View File

@@ -77,14 +77,16 @@ module InclusionTest {
override DataFlow::Node getContainerNode() {
exists(int arg |
inner.getContainerNode().getALocalSource() = DataFlow::parameterNode(callee.getParameter(arg)) and
inner.getContainerNode().getALocalSource() =
DataFlow::parameterNode(callee.getParameter(arg)) and
result = this.getArgument(arg)
)
}
override DataFlow::Node getContainedNode() {
exists(int arg |
inner.getContainedNode().getALocalSource() = DataFlow::parameterNode(callee.getParameter(arg)) and
inner.getContainedNode().getALocalSource() =
DataFlow::parameterNode(callee.getParameter(arg)) and
result = this.getArgument(arg)
)
}