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 |
TClassMethod |
Represents an instance of |
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 |
|
TFloat |
The float |
TInt |
The integer |
TNone |
|
TPackageObject |
Package objects |
TProperty |
Represents an instance of |
TPropertySetterOrDeleter |
Represents the |
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 |
TSpecificInstance |
An instance of |
TStaticMethod |
Represents an instance of |
TSubscriptedType |
Represents a subscript operation applied to a type. For type-hint analysis |
TSuperInstance |
Represents an instance of |
TSysVersionInfo |
Represents |
TTrue |
|
TType |
|
TUndefined |
Represents the absence of a value. Used by points-to for tracking undefined variables |
TUnicode |
The unicode string |
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 |
TClassMethod |
Represents an instance of |
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 |
|
TFloat |
The float |
TInt |
The integer |
TNone |
|
TPackageObject |
Package objects |
TProperty |
Represents an instance of |
TPropertySetterOrDeleter |
Represents the |
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 |
TSpecificInstance |
An instance of |
TStaticMethod |
Represents an instance of |
TSubscriptedType |
Represents a subscript operation applied to a type. For type-hint analysis |
TSuperInstance |
Represents an instance of |
TSysVersionInfo |
Represents |
TTrue |
|
TType |
|
TUndefined |
Represents the absence of a value. Used by points-to for tracking undefined variables |
TUnicode |
The unicode string |
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 |