Module CrossProjectDefinitions

Symbols for crosss-project jump-to-definition resolution.

Import path

analysis.CrossProjectDefinitions

Imports

PointsTo

Part of the combined points-to, call-graph and type-inference library. The main relation points_to(node, context, object, cls, origin) relates a control flow node to the possible objects it points-to the inferred types of those objects and the ‘origin’ of those objects. The ‘origin’ is the point in source code that the object can be traced back to.

SSA

Library for SSA representation (Static Single Assignment form).

python

Classes

Symbol

A “symbol” referencing an object in another module Symbols are represented by the module name and the dotted name by which the object would be referred to in that module. For example for the code: class C: def m(self): pass If the code were in a module mod, then symbol for the method m would be “mod/C.m”