Lines Matching defs:file
91 * Initialize instance from file data.
93 * @param file Input stream
96 ConstantDouble(DataInputStream file) throws IOException
98 this(file.readDouble());
112 * Dump constant double to file stream in binary format.
114 * @param file Output file stream
117 public final void dump(DataOutputStream file) throws IOException
119 file.writeByte(tag);
120 file.writeDouble(bytes);