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
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static DefinedVariablesAnalysis.DefinedVariablesbuild(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
-
-
-
-
Method Detail
-
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()
-
-