Class FunctionValue
A function in the Python program, both Python and built-in. Note that this does not include other callables such as bound-methods.
Import path
import python
Direct supertypes
Known direct subtypes
Predicates
descriptiveString |
Gets a longer, more descriptive version of toString() |
getAFunctionCall |
Gets a call-site from where this function is called as a function |
getAMethodCall |
Gets a call-site from where this function is called as a method |
getARaisedType |
Gets a class that may be raised by this function |
getAnInferredReturnType |
Gets a class that this function may return |
getQualifiedName |
Gets the qualified name for this function. Should return the same name as the |
isLambda |
Holds if this function represents a lambda. |
isLegalArgumentName |
Whether |
isNormalMethod |
Whether this is a “normal” method, that is, it is exists as a class attribute which is not a lambda and not the new method. |
isOverriddenMethod | |
isOverridingMethod | |
maxParameters |
Gets the maximum number of parameters that can be correctly passed to this function |
minParameters |
Gets the minimum number of parameters that can be correctly passed to this function |
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 |