package ordering;

/**
 * Represents the standard ordering on integers.
 */
public class OrderInt extends AOrder {
    public static final OrderInt Singleton = new OrderInt ();

    private OrderInt() {
    }

    public boolean lt(Object x, Object y) {
        return ((Integer)x).intValue () < ((Integer)y).intValue ();
    }

    public boolean eq (Object x, Object y) {
        return x.equals (y);
    }
}