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 analyzed.
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 analyzed.
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