CodeQL library for Python

codeql/python-all 6.0.1-dev (changelog, source)

Class CallableValue

A callable in the Python program. Callables include Python functions, built-in functions and bound-methods, but not classes.

Import path

import semmle.python.objects.ObjectAPI

Direct supertypes

Value

Indirect supertypes

TObject

Known direct subtypes

Predicates

getArgumentForCall	Gets the argument in `call` corresponding to the `n`’th positional parameter of this callable.
getNamedArgumentForCall	Gets the argument in `call` corresponding to the `name`d keyword parameter of this callable.
getParameter	Gets the `n`th parameter node of this callable.
getParameterByName	Gets the `name`d parameter node of this callable.
getScope	Gets the scope for this function, provided that it is a Python function.
neverReturns	Holds if this callable never returns once called. For example, `sys.exit`

Inherited predicates

attr	Gets a `Value` that represents the attribute `name` of this object.	from Value
getABooleanValue	Gets the boolean interpretation of this value. Could be both `true` and `false`, if we can’t determine the result more precisely.	from Value
getACall	Gets a call to this object	from Value
getACall	Gets a call to this object with the given `caller` context.	from Value
getAReference	Gets a `ControlFlowNode` that refers to this object.	from Value
getClass	Gets the class of this object. Strictly, the `Value` representing the class of the objects represented by this Value.	from Value
getDefiniteBooleanValue	Gets the boolean interpretation of this value, only if we can determine the result precisely. The result can be `none()`, but never both `true` and `false`.	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
getOrigin	Gets the origin CFG node for this value.	from Value
hasAttribute	Holds if this value has the attribute `name`	from Value
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	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
overrides	Whether this overrides v. In this context, “overrides” means that this object is a named attribute of a some class C and `v` is a named attribute of another class S, both attributes having the same name, and S is a super class of C.	from Value
toString	Gets a textual representation of this element.	from Value

Charpred