DF_Solution.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;

import java.util.HashMap;

/**
 * Represents the solution to a system of Data Flow equations.
 * Namely, a function mapping Objects to DF_LatticeCells
 */
public class DF_Solution extends HashMap<Object, DF_LatticeCell> {
  /** Support for serialization */
  static final long serialVersionUID = -335649266901802532L;

  /**
   * Return a string representation of the dataflow solution
   * @return a string representation of the dataflow solution
   */
  @Override
  public String toString() {
    StringBuilder result = new StringBuilder();
    for (DF_LatticeCell cell : values()) {
      result.append(cell);
      result.append("\n");
    }
    return result.toString();
  }

  /**
   * Return the lattice cell corresponding to an object
   * @param k the object to look up
   * @return its lattice cell
   */
  public Object lookup(Object k) {
    return get(k);
  }
}