📄 optionaldataexception.java
字号:
package java.io;/* * Java core library component. * * Copyright (c) 1997, 1998 * Transvirtual Technologies, Inc. All rights reserved. * * See the file "license.terms" for information on usage and redistribution * of this file. */public class OptionalDataException extends ObjectStreamException{ // part of serial form public int length; public boolean eof; /* The JDK doc doesn't show any constructors, but javap shows * two package private constructors. This may be because Sun * implements serialization within java.io. * We need to be able to construct OptionalDataExceptions from * kaffe.io, hence the public constructors for now. * * XXX fix this * XXX hardcode serialVersionUID for this class */ public OptionalDataException(boolean eof) { this.eof = eof; } public OptionalDataException(int length) { this.length = length; this.eof = false; /* ??? */ }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -