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 final CfgBlock	block
protected final Set<Symbol>	gen	variables that are being read in the block
protected final Set<Symbol>	kill	variables that are being written in the block
protected final Map<Tree,Map<Symbol,ReadWriteVisitor.SymbolReadWrite>>	variableReadWritesPerElement

Method Summary

Modifier and Type	Method	Description
Set<Symbol>	getGen()
Set<Symbol>	getKill()
Map<Symbol,ReadWriteVisitor.SymbolReadWrite>	getSymbolReadWrites(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 Details

block

protected final CfgBlock block

variableReadWritesPerElement

protected final Map<Tree,Map<Symbol,ReadWriteVisitor.SymbolReadWrite>> variableReadWritesPerElement

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 Details

getSymbolReadWrites

public Map<Symbol,ReadWriteVisitor.SymbolReadWrite> getSymbolReadWrites(Tree tree)

init

protected void init(CfgBlock block)

getGen

public Set<Symbol> getGen()

getKill

public Set<Symbol> getKill()

isSymbolUsedInBlock

public boolean isSymbolUsedInBlock(Symbol symbol)