CodeQL library for Swift
codeql/swift-all 3.0.1-dev (changelog, source)
Search

Module Make

Module implementing inline expectations.

Import path

import codeql.util.test.InlineExpectationsTest

Predicates

hasExpectationWithValue

Holds if the expectation tag=value is found in one or more expectation comments.

Modules

MakeTest

The module for tests with inline expectations. The test implements the signature to provide the actual results of the query, which are then compared with the expected results in comments to produce a list of failure messages that point out where the actual results differ from the expected results.

MergeTests

A module that merges two test signatures.

MergeTests3

A module that merges three test signatures.

MergeTests4

A module that merges four test signatures.

MergeTests5

A module that merges five test signatures.

Module signatures

TestSig

A signature specifying the required parts of an inline expectation test.

Parameters