CodeQL library for Python
Search

Datatype TObject

Internal type backing ObjectInternal and Value See ObjectInternal.qll for an explanation of the API.

Import path

import semmle.python.objects.TObject

Known direct subtypes

Branch types

TAbsentModule

Represents a module that is inferred to perhaps exist, but is not present in the database.

TAbsentModuleAttribute

Represents an attribute of a module that is inferred to perhaps exist, but is not present in the database.

TBoundMethod

A bound method

TBuiltinClassObject

Builtin class objects

TBuiltinFunctionObject

Builtin function objects (module members)

TBuiltinMethodObject

Builtin method objects (class members)

TBuiltinModuleObject

Builtin module objects

TBuiltinOpaqueObject

Other builtin objects from the interpreter

TBuiltinTuple

Represents a builtin tuple

TBytes

The byte string s

TClassMethod

Represents an instance of classmethod

TDecoratedFunction

Opaque object representing the result of calling a decorator on a function that we don’t understand

TDynamicClass

Represents a dynamically created class

TFalse

False

TFloat

The float f

TInt

The integer n

TNone

None

TPackageObject

Package objects

TProperty

Represents an instance of property

TPropertySetterOrDeleter

Represents the setter or deleter method of a property object.

TPythonClassObject

Python class objects

TPythonFunctionObject

Python function objects (including lambdas)

TPythonModule

Python module objects

TPythonTuple

Represents a tuple in the Python source

TSelfInstance

A non-specific instance cls which enters the scope at def given the callee context.

TSpecificInstance

An instance of cls, instantiated at instantiation given the context.

TStaticMethod

Represents an instance of staticmethod

TSubscriptedType

Represents a subscript operation applied to a type. For type-hint analysis

TSuperInstance

Represents an instance of super

TSysVersionInfo

Represents sys.version_info. Acts like a tuple with a range of values depending on the version being analysed.

TTrue

True

TType

type

TUndefined

Represents the absence of a value. Used by points-to for tracking undefined variables

TUnicode

The unicode string s

TUnknown

Represents any value about which nothing useful is known

TUnknownClass

Represents any value known to be a class, but not known to be any specific class

TUnknownInstance

Represents any value whose class is known, but nothing else

TVarargsTuple

Varargs tuple

Injectors

TAbsentModule

Represents a module that is inferred to perhaps exist, but is not present in the database.

TAbsentModuleAttribute

Represents an attribute of a module that is inferred to perhaps exist, but is not present in the database.

TBoundMethod

A bound method

TBuiltinClassObject

Builtin class objects

TBuiltinFunctionObject

Builtin function objects (module members)

TBuiltinMethodObject

Builtin method objects (class members)

TBuiltinModuleObject

Builtin module objects

TBuiltinOpaqueObject

Other builtin objects from the interpreter

TBuiltinTuple

Represents a builtin tuple

TBytes

The byte string s

TClassMethod

Represents an instance of classmethod

TDecoratedFunction

Opaque object representing the result of calling a decorator on a function that we don’t understand

TDynamicClass

Represents a dynamically created class

TFalse

False

TFloat

The float f

TInt

The integer n

TNone

None

TPackageObject

Package objects

TProperty

Represents an instance of property

TPropertySetterOrDeleter

Represents the setter or deleter method of a property object.

TPythonClassObject

Python class objects

TPythonFunctionObject

Python function objects (including lambdas)

TPythonModule

Python module objects

TPythonTuple

Represents a tuple in the Python source

TSelfInstance

A non-specific instance cls which enters the scope at def given the callee context.

TSpecificInstance

An instance of cls, instantiated at instantiation given the context.

TStaticMethod

Represents an instance of staticmethod

TSubscriptedType

Represents a subscript operation applied to a type. For type-hint analysis

TSuperInstance

Represents an instance of super

TSysVersionInfo

Represents sys.version_info. Acts like a tuple with a range of values depending on the version being analysed.

TTrue

True

TType

type

TUndefined

Represents the absence of a value. Used by points-to for tracking undefined variables

TUnicode

The unicode string s

TUnknown

Represents any value about which nothing useful is known

TUnknownClass

Represents any value known to be a class, but not known to be any specific class

TUnknownInstance

Represents any value whose class is known, but nothing else

TVarargsTuple

Varargs tuple