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 }