/** * @return intermediate constant pool */ public ConstantPool getConstantPool() { return new ConstantPool(constants); }
/** * Read constant pool entries. * @throws IOException * @throws ClassFormatException */ private final void readConstantPool() throws IOException, ClassFormatException { constant_pool = new ConstantPool(file); }
/** * Read constant pool entries. * @throws IOException * @throws ClassFormatException */ private void readConstantPool() throws IOException, ClassFormatException { constant_pool = new ConstantPool(dataInputStream); }
/** * @return intermediate constant pool */ public ConstantPool getConstantPool() { return new ConstantPool(constants); }
/** * @return constant pool with proper length */ public ConstantPool getFinalConstantPool() { final Constant[] cs = new Constant[index]; System.arraycopy(constants, 0, cs, 0, index); return new ConstantPool(cs); }
/** * @return constant pool with proper length */ public ConstantPool getFinalConstantPool() { Constant[] cs = new Constant[index]; System.arraycopy(constants, 0, cs, 0, index); return new ConstantPool(cs); }