Dynamic: Sync ApiGraphModels.qll

This commit is contained in:
Asger F
2024-04-09 14:37:20 +02:00
parent 82101434fd
commit f5355cfa98
2 changed files with 4 additions and 4 deletions

View File

@@ -267,7 +267,7 @@ private predicate summaryModel(string type, string path, string input, string ou
}
/** Holds if a type model exists for the given parameters. */
private predicate typeModel(string type1, string type2, string path) {
predicate typeModel(string type1, string type2, string path) {
exists(string row |
typeModel(row) and
row.splitAt(";", 0) = type1 and
@@ -435,7 +435,7 @@ private API::Node getNodeFromType(string type) {
* Gets the API node identified by the first `n` tokens of `path` in the given `(type, path)` tuple.
*/
pragma[nomagic]
private API::Node getNodeFromPath(string type, AccessPath path, int n) {
API::Node getNodeFromPath(string type, AccessPath path, int n) {
isRelevantFullPath(type, path) and
(
n = 0 and