RecoverForPythonFile
Performs type recovery from the root of a compilation unit level
Attributes
- builder
the graph builder
- cu
a compilation unit, e.g. file.
- Graph
- Supertypes
- class RecoverForXCompilationUnit[File]class RecursiveTask[Unit]class ForkJoinTask[Unit]trait Serializabletrait Future[Unit]class Objecttrait Matchableclass Any
Members list
Value members
Concrete methods
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.
- Definition Classes
Attributes
- Returns:
the import nodes of this computational unit.
- Definition Classes
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
- Definition Classes
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.
- Definition Classes
Inherited methods
Attributes
- Inherited from:
- ForkJoinTask
Attributes
- Inherited from:
- ForkJoinTask
Attributes
- Inherited from:
- ForkJoinTask
Attributes
- Inherited from:
- ForkJoinTask
Attributes
- Definition Classes
- RecoverForXCompilationUnit -> RecursiveTask
- Inherited from:
- RecoverForXCompilationUnit
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
- cu
the current computational unit.
- Returns:
the methods defined within this computational unit.
- Inherited from:
- RecoverForXCompilationUnit
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
Inherited fields
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
- Inherited from:
- RecoverForXCompilationUnit