/** * Dump line number table attribute to file stream in binary format. * * @param file Output file stream * @throws IOException */ public final void dump(DataOutputStream file) throws IOException { super.dump(file); file.writeShort(line_number_table_length); for(int i=0; i < line_number_table_length; i++) line_number_table[i].dump(file); }
/** * Dump line number table attribute to file stream in binary format. * * @param file Output file stream * @throws IOEXception if an I/O Exception occurs in writeShort */ @Override public final void dump( final DataOutputStream file ) throws IOException { super.dump(file); file.writeShort(line_number_table.length); for (final LineNumber lineNumber : line_number_table) { lineNumber.dump(file); } }