CodeQL library for Python
codeql/python-all 2.2.1-dev (changelog, source)
Search

Module FindModel

A utility module for finding models of endpoints.

Chiefly the hasModel predicate is used to determine if a scope has a model.

Import path

import modeling.Util

Predicates

hasModel

Holds if the given scope has a model as identified by the provided predicate model.

pathToScope

Holds if (type,path) identifies scope.

possibleMemberPathPrefix

returns the prefix of path that might be a path to member

Parameters