Module PointsTo::PointsTo::API

Predicates

class_method

INTERNAL – Use ClassMethod instead

class_method_call

INTERNAL – Use ClassMethod.getACall() instead

function_call

INTERNAL – Use FunctionObject.getAFunctionCall().

function_never_returns

INTERNAL – Use FunctionObject.neverReturns() instead. Whether function func never returns. Slightly conservative approximation, this predicate may be false for a function that can never return.

get_a_call

INTERNAL – Use FunctionObject.getACall().

get_named_argument_for_call

INTERNAL – Use FunctionObject.getNamedArgumentForCall(call, name) instead.

get_positional_argument_for_call

INTERNAL – Use FunctionObject.getArgumentForCall(call, position) instead.

getattr

Holds if call is of the form getattr(arg, "name").

instantiation

Holds if f is the instantiation of an object, cls(...).

method_call

INTERNAL – Use FunctionObject.getAMethodCall().

module_defines_name

INTERNAL – Use ModuleObject.hasAttribute(name)

module_imported_as

INTERNAL – Use m.importedAs(name) instead.

package_attribute_points_to

INTERNAL – Do not use.

points_to

INTERNAL – Use f.refersTo(value, cls, origin) instead.

py_module_attributes

INTERNAL – Use m.attributeRefersTo(name, obj, origin) instead.

ssa_variable_points_to

Holds if var refers to (value, cls, origin) given the context context.

test_evaluates_boolean

Gets the value that expr evaluates to (when converted to a boolean) when use refers to (val, cls, origin) and expr is a test (a branch) and contains use.

version_const

INTERNAL – Use Version.isTrue() instead.