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

1:        package java.lang;
2:
3:        public abstract class VirtualMachineError extends Error {
4:            public VirtualMachineError() {
5:            }
6:
7:            public VirtualMachineError(String s) {
8:            }
9:        }