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    }