001 /* Copyright 2000, 2001, Compaq Computer Corporation */ 002 003 package javafe.util; 004 005 public class AssertionFailureException extends RuntimeException { 006 private static final long serialVersionUID = 6988776634359056514L; 007 008 //@ modifies this.*; 009 AssertionFailureException() { } 010 011 //@ modifies this.*; 012 AssertionFailureException(String msg) { super(msg); } 013 }