dk.brics.tajs.analysis.uneval

Class Decorator

java.lang.Object

dk.brics.tajs.analysis.uneval.Decorator

public class Decorator
extends Object

Constructor Summary

Constructors

Constructor and Description
Decorator(FlowGraph flowGraph)

Method Summary

Methods

Modifier and Type	Method and Description
Set<AbstractNode>	getAllPredecessorNodes(AbstractNode node) Returns the set of predecessor nodes, either the node occurring immediately before the given node, or the last node occurring in each predecessor basic block
Set<AbstractNode>	getAllSuccessorNodes(AbstractNode node) Returns the set of successor nodes, either the node occurring immediately after the given node, or the set of nodes occurring in the following basic blocks
static Set<String>	getDeclaredVariables(Function function) Returns the set of variables declared in a given function.
Set<String>	getInnerVariablesWritten(Function function) Returns the set of variables potentially (over)written by inner functions for the given function.
Set<BasicBlock>	getPredecessorBlocks(BasicBlock basicBlock) Returns the set of basic blocks occurring immediately before the given basic block.
AbstractNode	getPredecessorNode(AbstractNode node) Returns the node occurring immediately before the given node.
AbstractNode	getSuccessorNode(AbstractNode node) Returns the node occuring immediate after the given node.
static void	replaceVariable(BasicBlock basicBlock, int targetVar, int replacementVar) Replace targetVar by replacementVar in the BasicBlock and all successors.

Methods inherited from class java.lang.Object

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

Constructor Detail

Decorator

public Decorator(FlowGraph flowGraph)

Method Detail

getAllPredecessorNodes

public Set<AbstractNode> getAllPredecessorNodes(AbstractNode node)

Returns the set of predecessor nodes, either the node occurring immediately before the given node, or the last node occurring in each predecessor basic block

getAllSuccessorNodes

public Set<AbstractNode> getAllSuccessorNodes(AbstractNode node)

Returns the set of successor nodes, either the node occurring immediately after the given node, or the set of nodes occurring in the following basic blocks

getDeclaredVariables

public static Set<String> getDeclaredVariables(Function function)

Returns the set of variables declared in a given function.

getInnerVariablesWritten

public Set<String> getInnerVariablesWritten(Function function)

Returns the set of variables potentially (over)written by inner functions for the given function.

getPredecessorBlocks

public Set<BasicBlock> getPredecessorBlocks(BasicBlock basicBlock)

Returns the set of basic blocks occurring immediately before the given basic block.

getPredecessorNode

public AbstractNode getPredecessorNode(AbstractNode node)

Returns the node occurring immediately before the given node.

getSuccessorNode

public AbstractNode getSuccessorNode(AbstractNode node)

Returns the node occuring immediate after the given node.

replaceVariable

public static void replaceVariable(BasicBlock basicBlock,
                   int targetVar,
                   int replacementVar)

Replace targetVar by replacementVar in the BasicBlock and all successors.