Class Value
A value in the Python program.
Each Value
is a static approximation to a set of one or more real objects.
Import path
import python
Direct supertypes
Known direct subtypes
Predicates
attr |
Gets a |
getABooleanValue |
Gets the boolean interpretation of this value. Could be both |
getACall |
Gets a call to this object |
getACall |
Gets a call to this object with the given |
getAReference |
Gets a |
getClass |
Gets the class of this object. Strictly, the |
getDefiniteBooleanValue |
Gets the boolean interpretation of this value, only if we can determine the result precisely. The result can be |
getName |
Gets the name of this value, if it has one. Note this is the innate name of the object, not necessarily all the names by which it can be called. |
getOrigin |
Gets the origin CFG node for this value. |
hasAttribute |
Holds if this value has the attribute |
hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
isAbsent |
Whether this value is absent from the database, but has been inferred to likely exist |
isBuiltin |
Holds if this value is builtin. Applies to built-in functions and methods, but also integers and strings. |
overrides |
Whether this overrides v. In this context, “overrides” means that this object is a named attribute of a some class C and |
toString |
Gets a textual representation of this element. |