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

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