CodeQL library for Python

codeql/python-all 1.0.5-dev (changelog, source)

Module ObjectInternal

Internal object API. For use by points-to and testing only.

Import path

import semmle.python.objects.ObjectInternal

Imports

Callables
Classes
Constants
Descriptors
Instances
Modules
Sequences

Predicates

bounded_toString	Returns a string representation of `obj`. Because some classes have (mutually) recursive `toString` implementations, this predicate acts as a stop for these classes, preventing an unbounded `toString` from being materialized.
maybe	Helper for boolean predicates returning both `true` and `false`
receiver_type	Helper for attributes

Classes

BuiltinOpaqueObjectInternal
DecoratedFunction
ObjectInternal
UndefinedInternal
UnknownInternal

Modules