Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members

UncaughtException.java

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public class UncaughtException extends RuntimeException {
00004   public UncaughtException(String name) {
00005     super(name);
00006   }  
00007 }

Generated at Thu Feb 7 06:58:55 2002 for Bandera by