Class BoundMethodValue
A bound-method, such as o.func, where o is an instance
of a class that has a callable attribute func.
Import path
import semmle.python.objects.ObjectAPIDirect supertypes
Predicates
| getFunction | Gets the callable that will be used when |
| getSelf | Gets the value that will be used for the |
| getSelfParameter | Gets the parameter node that will be used for |
Inherited predicates
| attr | Gets a | from Value |
| getABooleanValue | Gets the boolean interpretation of this value. Could be both | from Value |
| getACall | Gets a call to this object | from Value |
| getACall | Gets a call to this object with the given | from Value |
| getAReference | Gets a | from Value |
| getArgumentForCall | Gets the argument in | from CallableValue |
| getClass | Gets the class of this object. Strictly, the | from Value |
| getDefiniteBooleanValue | Gets the boolean interpretation of this value, only if we can determine the result precisely. The result can be | from Value |
| 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. | from Value |
| getNamedArgumentForCall | Gets the argument in | from CallableValue |
| getOrigin | Gets the origin CFG node for this value. | from Value |
| getParameter | Gets the | from CallableValue |
| getParameterByName | Gets the | from CallableValue |
| getScope | Gets the scope for this function, provided that it is a Python function. | from CallableValue |
| hasAttribute | Holds if this value has the attribute | from Value |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Value |
| isAbsent | Whether this value is absent from the database, but has been inferred to likely exist | from Value |
| isBuiltin | Holds if this value is builtin. Applies to built-in functions and methods, but also integers and strings. | from Value |
| neverReturns | Holds if this callable never returns once called. For example, | from CallableValue |
| overrides | Whether this overrides v. In this context, “overrides” means that this object is a named attribute of a some class C and | from Value |
| toString | Gets a textual representation of this element. | from Value |