Lines Matching defs:file
92 * Construct object from file stream.
93 * @param file Input stream
96 CodeException(DataInputStream file) throws IOException
98 this(file.readUnsignedShort(), file.readUnsignedShort(),
99 file.readUnsignedShort(), file.readUnsignedShort());
132 * Dump code exception to file stream in binary format.
134 * @param file Output file stream
137 public final void dump(DataOutputStream file) throws IOException
139 file.writeShort(start_pc);
140 file.writeShort(end_pc);
141 file.writeShort(handler_pc);
142 file.writeShort(catch_type);