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

Java: Move param module into TestUtilities.

Browse Source
This commit is contained in:
Michael Nebel
2024-05-06 10:19:39 +02:00
parent 105984f7de
commit 6815bcaa80
2 changed files with 34 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
java/ql/test/TestUtilities/InlineMadTest.qll Normal file
View File

@@ -0,0 +1,33 @@
signature module InlineMadTestConfigSig {
/**
* Gets a relevant code comment, if any.
*/
string getComment();
/**
* Gets an identified summary, if any.
*/
string getCapturedSummary();
}
module InlineMadTest<InlineMadTestConfigSig Input> {
private string expects() {
Input::getComment().regexpCapture(" *(SPURIOUS-)?MaD=(.*)", 2) = result
}
query predicate unexpectedSummary(string msg) {
exists(string flow |
flow = Input::getCapturedSummary() and
not flow = expects() and
msg = "Unexpected summary found: " + flow
)
}
query predicate expectedSummary(string msg) {
exists(string e |
e = expects() and
not e = Input::getCapturedSummary() and
msg = "Expected summary missing: " + e
)
}
}

35
java/ql/test/utils/modelgenerator/typebasedflow/CaptureTypeBasedSummaryModels.ql
View File

@@ -1,40 +1,7 @@
import java
import TestUtilities.InlineMadTest
import utils.modelgenerator.internal.CaptureTypeBasedSummaryModels
signature module InlineMadTestConfigSig {
/**
* Gets a relevant code comment, if any.
*/
string getComment();
/**
* Gets an identified summary, if any.
*/
string getCapturedSummary();
}
module InlineMadTest<InlineMadTestConfigSig Input> {
private string expects() {
Input::getComment().regexpCapture(" *(SPURIOUS-)?MaD=(.*)", 2) = result
}
query predicate unexpectedSummary(string msg) {
exists(string flow |
flow = Input::getCapturedSummary() and
not flow = expects() and
msg = "Unexpected summary found: " + flow
)
}
query predicate expectedSummary(string msg) {
exists(string e |
e = expects() and
not e = Input::getCapturedSummary() and
msg = "Expected summary missing: " + e
)
}
}
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getComment() { result = any(Javadoc doc).getChild(0).toString() }