Package org.sonar.python.cfg.fixpoint

Class DefinedVariablesAnalysis.DefinedVariables

java.lang.Object

org.sonar.python.cfg.fixpoint.CfgBlockState

org.sonar.python.cfg.fixpoint.DefinedVariablesAnalysis.DefinedVariables

Enclosing class:

DefinedVariablesAnalysis

public static class DefinedVariablesAnalysis.DefinedVariables
extends CfgBlockState

Field Summary

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

block, gen, kill, variableReadWritesPerElement

Method Summary

Modifier and Type	Method	Description
static DefinedVariablesAnalysis.DefinedVariables	build(CfgBlock block, Map<Symbol,DefinedVariablesAnalysis.VariableDefinition> initialState)	Builds a new DefinedVariables instance for the given block and initializes the 'kill' symbol sets.
Map<Symbol,DefinedVariablesAnalysis.VariableDefinition>	getIn()
Map<Symbol,DefinedVariablesAnalysis.VariableDefinition>	getOut()

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

getGen, getKill, getSymbolReadWrites, init, isSymbolUsedInBlock

Methods inherited from class java.lang.Object

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

Method Details

build

public static DefinedVariablesAnalysis.DefinedVariables build(CfgBlock block,
 Map<Symbol,DefinedVariablesAnalysis.VariableDefinition> initialState)

Builds a new DefinedVariables instance for the given block and initializes the 'kill' symbol sets.

getIn

public Map<Symbol,DefinedVariablesAnalysis.VariableDefinition> getIn()

getOut

public Map<Symbol,DefinedVariablesAnalysis.VariableDefinition> getOut()