Package org.sonar.python.cfg.fixpoint

Class ReachingDefinitionsAnalysis

java.lang.Object

org.sonar.python.cfg.fixpoint.ReachingDefinitionsAnalysis

public class ReachingDefinitionsAnalysis
extends Object

https://en.wikipedia.org/wiki/Reaching_definition Data flow analysis to determinate what definitions may reach a given point in the code. Program state is represented by a map where: - key is symbol - value is set of possible expressions that symbol may have been assigned to

Constructor Summary

Constructors

Constructor	Description
ReachingDefinitionsAnalysis(PythonFile pythonFile)

Method Summary

Modifier and Type	Method	Description
Set<Expression>	valuesAtLocation(Name variable)

Methods inherited from class java.lang.Object

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

Constructor Details

ReachingDefinitionsAnalysis

public ReachingDefinitionsAnalysis(PythonFile pythonFile)

Method Details

valuesAtLocation

public Set<Expression> valuesAtLocation(Name variable)