org.jruby.ir.dataflow.analyses

Class DefinedVariableNode

java.lang.Object

org.jruby.ir.dataflow.FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

org.jruby.ir.dataflow.analyses.DefinedVariableNode

public class DefinedVariableNode
extends FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

Field Summary

Fields inherited from class org.jruby.ir.dataflow.FlowGraphNode

basicBlock, problem

Constructor Summary

Constructors

Constructor and Description
DefinedVariableNode(DefinedVariablesProblem prob, BasicBlock n)

Method Summary

Methods

Modifier and Type	Method and Description
void	applyPreMeetHandler() Initialize this data flow node to compute the new solution This is done before iteratively calling the MEET operator.
void	applyTransferFunction(Instr i) Apply transfer function to the instruction
void	buildDataFlowVars(Instr i) Builds the data-flow variables (or facts) for a particular instruction.
void	compute_MEET(org.jruby.dirgra.Edge e, DefinedVariableNode pred) "MEET" current solution of "IN/OUT" with "OUT/IN(pred)", where "pred" is a predecessor of the current node! The choice of "IN/OUT" is determined by the direction of data flow.
void	finalizeSolution() Any required cleanup of state after applying transfer function
void	identifyInits(Set<Variable> undefinedVars)
void	init() Initialize this data flow node for solving the current problem This is done after building dataflow variables for the problem.
void	initSolution() Any setting up of state/initialization before applying transfer function
boolean	solutionChanged() Did dataflow solution for this node change from last time?
String	toString()

Methods inherited from class org.jruby.ir.dataflow.FlowGraphNode

buildDataFlowVars, computeDataFlowInfo, computeDataFlowInfoBackward, computeDataFlowInfoForward, getBB, getCFG, getExceptionTargetNode, hasExceptionsRescued

Methods inherited from class java.lang.Object

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

Constructor Detail

DefinedVariableNode

public DefinedVariableNode(DefinedVariablesProblem prob,
                   BasicBlock n)

Method Detail

init

public void init()

Description copied from class: FlowGraphNode

Initialize this data flow node for solving the current problem This is done after building dataflow variables for the problem.

Overrides:

init in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

buildDataFlowVars

public void buildDataFlowVars(Instr i)

Description copied from class: FlowGraphNode

Builds the data-flow variables (or facts) for a particular instruction.

Specified by:

buildDataFlowVars in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

applyPreMeetHandler

public void applyPreMeetHandler()

Description copied from class: FlowGraphNode

Initialize this data flow node to compute the new solution This is done before iteratively calling the MEET operator.

Specified by:

applyPreMeetHandler in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

compute_MEET

public void compute_MEET(org.jruby.dirgra.Edge e,
                DefinedVariableNode pred)

Description copied from class: FlowGraphNode

"MEET" current solution of "IN/OUT" with "OUT/IN(pred)", where "pred" is a predecessor of the current node! The choice of "IN/OUT" is determined by the direction of data flow.

Specified by:

compute_MEET in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

initSolution

public void initSolution()

Description copied from class: FlowGraphNode

Any setting up of state/initialization before applying transfer function

Overrides:

initSolution in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

applyTransferFunction

public void applyTransferFunction(Instr i)

Description copied from class: FlowGraphNode

Apply transfer function to the instruction

Specified by:

applyTransferFunction in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

identifyInits

public void identifyInits(Set<Variable> undefinedVars)

solutionChanged

public boolean solutionChanged()

Description copied from class: FlowGraphNode

Did dataflow solution for this node change from last time?

Specified by:

solutionChanged in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

finalizeSolution

public void finalizeSolution()

Description copied from class: FlowGraphNode

Any required cleanup of state after applying transfer function

Overrides:

finalizeSolution in class FlowGraphNode<DefinedVariablesProblem,DefinedVariableNode>

toString

public String toString()

Overrides:

toString in class Object