org.jikesrvm.compilers.opt.controlflow
Class DominatorOperator

java.lang.Object
  extended by org.jikesrvm.compilers.opt.dfsolver.DF_Operator
      extended by org.jikesrvm.compilers.opt.controlflow.DominatorOperator

 class DominatorOperator
extends DF_Operator

This class implements the MEET operation for the dataflow equations for the dominator calculation.


Field Summary
(package private) static DominatorOperator MEET
          A singleton instance of this class.
 
Constructor Summary
DominatorOperator()
           
 
Method Summary
 boolean evaluate(DF_LatticeCell[] operands)
          Evaluate an equation with the MEET operation
 String toString()
          Return a String representation of the operator
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

MEET

static final DominatorOperator MEET
A singleton instance of this class.

Constructor Detail

DominatorOperator

DominatorOperator()
Method Detail

evaluate

public boolean evaluate(DF_LatticeCell[] operands)
Evaluate an equation with the MEET operation

Specified by:
evaluate in class DF_Operator
Parameters:
operands - the lhs(operands[0]) and rhs(operands[1]) of the equation.
Returns:
true if the value of the lhs changes. false otherwise

toString

public String toString()
Return a String representation of the operator

Overrides:
toString in class Object
Returns:
"MEET"