    001    /* Copyright 2000, 2001, Compaq Computer Corporation */
    002
    003    package javafe.util;
    004
    005    /**
    006     * This exception is used by <code>Assert</code> to signal that an
    007     * unimplemented feature has been encountered.  It should only be
    008     * created by <code>Assert</code>, but may be caught by anyone.
    009     *
    010     * @see Assert
    011     */
    012
    013    public class NotImplementedException extends RuntimeException {
    014      private static final long serialVersionUID = 582846680511107743L;
    015
    016      //@ normal_behavior
    017      //@ requires s != null;
    018      //@ modifies this.*;
    019      /*package*/ NotImplementedException(String s) {
    020        super(s);
    021      }
    022    }