/** * Creates a new LineNumberInfoAdder that will copy line numbers into the * given target line number table. */ public LineNumberInfoAdder(LineNumberTableAttribute targetLineNumberTableAttribute) { this.lineNumberTableAttributeEditor = new LineNumberTableAttributeEditor(targetLineNumberTableAttribute); }
/** * Creates a new LineNumberInfoAdder that will copy line numbers into the * given target line number table. */ public LineNumberInfoAdder(LineNumberTableAttribute targetLineNumberTableAttribute) { this.lineNumberTableAttributeEditor = new LineNumberTableAttributeEditor(targetLineNumberTableAttribute); }
/** * Creates a new LineNumberInfoAdder that will copy line numbers into the * given target line number table. */ public LineNumberInfoAdder(LineNumberTableAttribute targetLineNumberTableAttribute) { this.lineNumberTableAttributeEditor = new LineNumberTableAttributeEditor(targetLineNumberTableAttribute); }
/** * Creates a new LineNumberInfoAdder that will copy line numbers into the * given target line number table. */ public LineNumberInfoAdder(LineNumberTableAttribute targetLineNumberTableAttribute) { this.lineNumberTableAttributeEditor = new LineNumberTableAttributeEditor(targetLineNumberTableAttribute); }