Class SpecificInstanceInternal
A class representing instances instantiated at a specific point in the program (statically)
For example the code C()
would be a specific instance of C
.
Import path
import semmle.python.objects.Instances
Direct supertypes
Indirect supertypes
Predicates
attributesUnknown | Holds if the attributes of this object are wholly or partly unknowable |
binds | Holds if attribute lookup on this object may “bind” |
booleanValue | Gets the boolean value of this object. This may be both true and false if the “object” represents a set of possible objects. |
callResult | Holds if |
callResult | Holds if |
calleeAndOffset | Holds if the function |
descriptorGetClass | Holds if the result of attribute access on the class holding this descriptor is |
descriptorGetInstance | Holds if the result of attribute access on an instance of a class holding this descriptor is |
getBuiltin | Gets the |
getClass | Gets the class of this object. |
getClassDeclaration | Gets the class declaration for this object, if it is a declared class. |
getOrigin | Gets a control flow node that represents the source origin of this objects. All objects (except unknown and undefined values) should return exactly one result for either this method or |
initializer | Holds if |
intValue | Gets the integer value of things that have integer values and whose integer value is tracked. That is, some ints, mainly small numbers, and bools. |
introducedAt | Holds if this object is introduced into the code base at |
isClass | True if this “object” is a class. That is, its class inherits from |
isDescriptor | Holds if this object is a descriptor. Holds, for example, for functions and properties and not for integers. |
length | Gets the length of the sequence that this “object” represents. Always returns a value for a sequence, will be -1 if the object has no fixed length. |
notTestableForEquality | True if this “object” can be meaningfully analyzed to determine the boolean value of equality tests on it. For example, |
strValue | Gets the string value of things that have string values. That is, strings. |
subscriptUnknown | Holds if the result of subscripting this object are wholly or partly unknowable |
toString | Gets a textual representation of this element. |
useOriginAsLegacyObject | Holds if this ‘object’ represents an entity that should be exposed to the legacy points_to API This should hold for almost all objects that do not have an underlying DB object representing their source, for example |
Inherited predicates
attribute | Holds if the result of getting the attribute | from InstanceObject |
contextSensitiveCallee | from InstanceObject | |
functionAndOffset | Holds if the object | from ObjectInternal |
getIterNext | Gets the ‘object’ resulting from iterating over this object. Used in the context | from InstanceObject |
getName | Gets the name of this of this object if it has a meaningful name. Note that the name of an object is not necessarily the name by which it is called For example the function named | from InstanceObject |
getSource | For backwards compatibility shim – Not all objects have a “source”. Objects (except unknown and undefined values) should attempt to return exactly one result for this method. | from ObjectInternal |
hasAttribute | Holds if this value has the attribute | from ObjectInternal |
isBuiltin | from ObjectInternal | |
isNotSubscriptedType | from InstanceObject |