Source Code Cross Referenced for Exception.java in  » Testing » KeY » java » lang » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package java.lang;
02:
03:        public class Exception extends Throwable {
04:            public Exception() {
05:            }
06:
07:            public Exception(String s) {
08:            }
09:
10:            public Exception(String s, Throwable cause) {
11:            }
12:
13:            public Exception(Throwable cause) {
14:            }
15:        }