1 // 2 // Copyright (C) 2005 United States Government as represented by the 3 // Administrator of the National Aeronautics and Space Administration 4 // (NASA). All Rights Reserved. 5 // 6 // This software is distributed under the NASA Open Source Agreement 7 // (NOSA), version 1.3. The NOSA has been approved by the Open Source 8 // Initiative. See the file NOSA-1.3-JPF at the top of the distribution 9 // directory tree for the complete NOSA document. 10 // 11 // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY 12 // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT 13 // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO 14 // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR 15 // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT 16 // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT 17 // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE. 18 // 19 20 /** This example causes an uncaught arithmetic exception. 21 * The <CODE>-no-exception</CODE> option can be used to supress the reporting 22 * of this exception by JPF. 23 * @author Masoud Mansouri-Samani 24 */ 25 class ExceptionCheck { 26 public static void main (String[] args) { 27 System.out.println("Before the exception!"); 28 29 int i = 1 / 0; 30 System.out.println("After the exception!"); 31 } 32 }