hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 19:55:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add convenience module that merges two inline expectation tests

Browse Source
This commit is contained in:
Jeroen Ketema
2023-04-12 09:41:01 +02:00
parent 9228e0deed
commit 04beeef777
1 changed files with 34 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
shared/util/codeql/util/test/InlineExpectationsTest.qll
View File

@@ -356,6 +356,40 @@ module Make<InlineExpectationsTestSig Impl> {
else value = ""
}
/**
* A module that merges two test signatures.
*
* This module can be used when multiple inline expectation tests occur in a single file. For example:
* ```ql
* module Test1 implements TestSig {
* ...
* }
*
* module Test2 implements TestSig {
* ...
* }
*
* import MakeTest<MergeTests<Test1, Test2>>
* ```
*/
module MergeTests<TestSig TestImpl1, TestSig TestImpl2> implements TestSig {
string getARelevantTag() {
result = TestImpl1::getARelevantTag() or result = TestImpl2::getARelevantTag()
}
predicate hasActualResult(Impl::Location location, string element, string tag, string value) {
TestImpl1::hasActualResult(location, element, tag, value)
or
TestImpl2::hasActualResult(location, element, tag, value)
}
predicate hasOptionalResult(Impl::Location location, string element, string tag, string value) {
TestImpl1::hasOptionalResult(location, element, tag, value)
or
TestImpl2::hasOptionalResult(location, element, tag, value)
}
}
private module LegacyImpl implements TestSig {
string getARelevantTag() { result = any(InlineExpectationsTest t).getARelevantTag() }