hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Correctly determine which support method definitions are required

Browse Source
This commit is contained in:
Sauyon Lee
2021-08-27 11:20:44 -07:00
parent 04e04b3031
commit 23b9028d2c
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/ql/src/utils/FlowTestCase.qll
View File

@@ -267,8 +267,12 @@ class TestCase extends TTestCase {
* Returns the definition of a `newWith` method needed to set up the input or a `get` method needed to set up the output for this test.
*/
SupportMethod getASupportMethod() {
result = SupportMethod::genMethodFor(this.getInputType(), input) or
result = SupportMethod::genMethodForContent(input.tail().drop(_)) or
exists(SummaryComponentStack s | s = input.drop(_) and s.tail() != baseInput |
result = SupportMethod::genMethodForContent(s)
) or
exists(SummaryComponentStack s | s = input.drop(_) and s.tail() = baseInput |
result = SupportMethod::genMethodFor(this.getInputType(), s)
) or
result = SupportMethod::getMethodFor(this.getOutputType(), output) or
result = SupportMethod::getMethodForContent(output.tail().drop(_))
}