DF_Operator.java

/*
 *  This file is part of the Jikes RVM project (http://jikesrvm.org).
 *
 *  This file is licensed to You under the Eclipse Public License (EPL);
 *  You may not use this file except in compliance with the License. You
 *  may obtain a copy of the License at
 *
 *      http://www.opensource.org/licenses/eclipse-1.0.php
 *
 *  See the COPYRIGHT.txt file distributed with this work for information
 *  regarding copyright ownership.
 */
package org.jikesrvm.compilers.opt.dfsolver;

/**
 * DF_Operator.java
 *
 * represents a function for DF_LatticeCell values
 */
public abstract class DF_Operator {

  /**
   * Evaluate this equation, setting a new value for the
   * left-hand side.
   *
   * @param operands The operands for this operator.  operands[0]
   *                is the left-hand side.
   * @return true if the lhs value changes. false otherwise.
   */
  public abstract boolean evaluate(DF_LatticeCell[] operands);
}