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(ProjectLevelTypeTable projectLevelTypeTable, Set<SymbolV2> trackedVars, Map<Statement,Assignment> assignmentsByAssignmentStatement, Map<Statement,Set<Definition>> definitionsByDefinitionStatement, Map<String,PythonType> parameterTypesByName)

Method Summary

Modifier and Type	Method	Description
ProgramState	initialState()
void	updateProgramState(Tree element, ProgramState programState)

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

compute

Methods inherited from class java.lang.Object

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

Constructor Details

FlowSensitiveTypeInference

public FlowSensitiveTypeInference(ProjectLevelTypeTable projectLevelTypeTable,
 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