io.joern.x2cpg.passes.frontend.RecoverForXCompilationUnit
abstract class RecoverForXCompilationUnit [ComputationalUnit <: AstNode ](cu : ComputationalUnit , builder : DiffGraphBuilder ) extends RecursiveTask [Unit ] Performs type recovery from the root of a compilation unit level
Attributes ComputationalUnit the AstNode type used to represent a computational unit of the language.
builder the graph builder
cu a compilation unit, e.g. file, procedure, type, etc.
Graph Reset zoom Hide graph Show graph
Supertypes class RecursiveTask [Unit ]
class ForkJoinTask [Unit ]
trait Serializable
trait Future [Unit ]
class Object
trait Matchable
class Any
Known subtypes Members list Concise view
Value members
Generates a task to create an import task.
Generates a task to create an import task.
Attributes node the import node or method definition node.
symbolTable the local table.
Returns: a forkable SetXProcedureDefTask task.
Attributes Returns: the import nodes of this computational unit.
Using assignment and import information (in the global symbol table), will propagate these types in the symbol
table.
Using assignment and import information (in the global symbol table), will propagate these types in the symbol
table.
Attributes assignment assignment call pointer.
Attributes Definition Classes RecursiveTask
Attributes cu the current computational unit.
Returns: the methods defined within this computational unit.
The initial import setting is over-approximated, so this step checks the CPG for any matches and prunes against
these findings. If there are no findings, it will leave the table as is. The latter is significant for external
types or methods.
The initial import setting is over-approximated, so this step checks the CPG for any matches and prunes against
these findings. If there are no findings, it will leave the table as is. The latter is significant for external
types or methods.
Attributes
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: RecursiveTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Attributes Inherited from: ForkJoinTask
Stores type information for local structures that live within this compilation unit, e.g. local variables.
Stores type information for local structures that live within this compilation unit, e.g. local variables.
Attributes