/**
 * Grinnell's version of a thingy used to compare values.
 */
public class StringComparator
  implements GComparator
{
  public boolean mayPrecede(Object left, Object right)
  {
    // compareTo returns a negative number if the first may
    // precede the second
    return left.toString().compareTo(right.toString()) <= 0;
  } // mayPrecede(Object, Object)
} // class StringComparator