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

1:        package java.io;
2:
3:        public class OptionalDataException extends ObjectStreamException {
4:            public boolean eof;
5:            public int length;
6:
7:            OptionalDataException(boolean eof, int count) {
8:            }
9:        }