Package org.sonar.python.semantic.v2.types

Class FlowSensitiveTypeInference

java.lang.Object

org.sonar.python.cfg.fixpoint.ForwardAnalysis

org.sonar.python.semantic.v2.types.FlowSensitiveTypeInference

public class FlowSensitiveTypeInference
extends ForwardAnalysis

Nested Class Summary

Nested classes/interfaces inherited from class org.sonar.python.cfg.fixpoint.ForwardAnalysis

ForwardAnalysis.ProgramStateAtBlock

Field Summary

Fields inherited from class org.sonar.python.cfg.fixpoint.ForwardAnalysis

programStateByBlock

Constructor Summary

Constructors

Constructor	Description
FlowSensitiveTypeInference(TypeTable typeTable, Set<SymbolV2> trackedVars, Map<Statement,Assignment> assignmentsByAssignmentStatement, Map<Statement,Set<Definition>> definitionsByDefinitionStatement, Map<String,PythonType> parameterTypesByName)

Method Summary

Modifier and Type	Method	Description
TypeInferenceProgramState	compute(ControlFlowGraph cfg)
ProgramState	initialState()
void	updateProgramState(Tree element, ProgramState programState)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FlowSensitiveTypeInference

public FlowSensitiveTypeInference(TypeTable typeTable,
 Set<SymbolV2> trackedVars,
 Map<Statement,Assignment> assignmentsByAssignmentStatement,
 Map<Statement,Set<Definition>> definitionsByDefinitionStatement,
 Map<String,PythonType> parameterTypesByName)

Method Details

initialState

public ProgramState initialState()

Specified by:

initialState in class ForwardAnalysis

updateProgramState

public void updateProgramState(Tree element,
 ProgramState programState)

Specified by:

updateProgramState in class ForwardAnalysis

compute

public TypeInferenceProgramState compute(ControlFlowGraph cfg)

Overrides:

compute in class ForwardAnalysis