Package org.sonar.python.cfg.fixpoint

Class CfgBlockState

java.lang.Object

org.sonar.python.cfg.fixpoint.CfgBlockState

Direct Known Subclasses:

DefinedVariablesAnalysis.DefinedVariables, LiveVariablesAnalysis.LiveVariables

public abstract class CfgBlockState
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected CfgBlock	block
protected Set<Symbol>	gen	variables that are being read in the block
protected Set<Symbol>	kill	variables that are being written in the block
protected Map<Tree,Map<Symbol,UsageVisitor.SymbolUsage>>	variableUsagesPerElement

Method Summary

Modifier and Type	Method	Description
Set<Symbol>	getGen()
Set<Symbol>	getKill()
Map<Symbol,UsageVisitor.SymbolUsage>	getVariableUsages(Tree tree)
protected void	init(CfgBlock block)
boolean	isSymbolUsedInBlock(Symbol symbol)

Methods inherited from class java.lang.Object

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

Field Detail

block

protected final CfgBlock block

variableUsagesPerElement

protected final Map<Tree,Map<Symbol,UsageVisitor.SymbolUsage>> variableUsagesPerElement

gen

protected final Set<Symbol> gen

variables that are being read in the block

kill

protected final Set<Symbol> kill

variables that are being written in the block

Method Detail

getVariableUsages

public Map<Symbol,UsageVisitor.SymbolUsage> getVariableUsages(Tree tree)

init

protected void init(CfgBlock block)

getGen

public Set<Symbol> getGen()

getKill

public Set<Symbol> getKill()

isSymbolUsedInBlock

public boolean isSymbolUsedInBlock(Symbol symbol)