org.jikesrvm.compilers.opt.dfsolver
Class DF_Operator

java.lang.Object
  extended by org.jikesrvm.compilers.opt.dfsolver.DF_Operator
Direct Known Subclasses:
DominatorOperator, IndexPropagationSystem.MeetOperator, IndexPropagationSystem.UpdateDefArrayOperator, IndexPropagationSystem.UpdateDefObjectOperator, IndexPropagationSystem.UpdateUseArrayOperator, IndexPropagationSystem.UpdateUseObjectOperator

public abstract class DF_Operator
extends Object

Represents a function for DF_LatticeCell values.


Constructor Summary
DF_Operator()
           
 
Method Summary
abstract  boolean evaluate(DF_LatticeCell[] operands)
          Evaluate this equation, setting a new value for the left-hand side.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DF_Operator

public DF_Operator()
Method Detail

evaluate

public abstract boolean evaluate(DF_LatticeCell[] operands)
Evaluate this equation, setting a new value for the left-hand side.

Parameters:
operands - The operands for this operator. operands[0] is the left-hand side.
Returns:
true if the lhs value changes. false otherwise.