CodeQL library for Java/Kotlin
codeql/java-all 7.0.1 (changelog, source)
Search

Module TranslateModels

Translates models-as-data provenance information into a format that can be used in tests.

Import path

import codeql.dataflow.test.ProvenancePathGraph

Predicates

models

Lists the renumbered and pretty-printed models used in the edges relation.

translateModels

Holds if the model model1 should be translated to model2.

Parameters

interpretModelForTest0interpretModelForTestSig
provenanceprovenanceSig