/** * Dump constant pool to file stream in binary format. * * @param file Output file stream * @throws IOException */ public void dump(DataOutputStream file) throws IOException { file.writeShort(constant_pool_count); for(int i=1; i < constant_pool_count; i++) if(constant_pool[i] != null) constant_pool[i].dump(file); }
/** * Dump constant pool to file stream in binary format. * * @param file Output file stream * @throws IOException */ public void dump( final DataOutputStream file ) throws IOException { file.writeShort(constant_pool.length); for (int i = 1; i < constant_pool.length; i++) { if (constant_pool[i] != null) { constant_pool[i].dump(file); } } }