de.viadee.bpm.vPAV.processing.model.data

Class OutSetCFG

java.lang.Object

de.viadee.bpm.vPAV.processing.model.data.OutSetCFG

public class OutSetCFG
extends Object

helper class storing information for Data-flow analysis algorithm

Constructor Summary

Constructors

Constructor and Description
OutSetCFG(List<VariableBlock> vbs)

Method Summary

Modifier and Type	Method and Description
void	addVariableBlock(VariableBlock vb)
com.google.common.collect.ListMultimap<String,ProcessVariableOperation>	getAllProcessVariables()
List<VariableBlock>	getAllVariableBlocks()
VariableBlock	getVariableBlock(soot.toolkits.graph.Block b)

Methods inherited from class java.lang.Object

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

Constructor Detail

OutSetCFG

public OutSetCFG(List<VariableBlock> vbs)

Method Detail

getVariableBlock

public VariableBlock getVariableBlock(soot.toolkits.graph.Block b)

addVariableBlock

public void addVariableBlock(VariableBlock vb)

getAllProcessVariables

public com.google.common.collect.ListMultimap<String,ProcessVariableOperation> getAllProcessVariables()

getAllVariableBlocks

public List<VariableBlock> getAllVariableBlocks()