1 /*
2 * Copyright (c) 2008, 2020, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
25
26
27 package com.sun.tools.classfile;
28
29 import java.io.ByteArrayOutputStream;
30 import java.io.DataOutputStream;
31 import java.io.File;
32 import java.io.FileOutputStream;
33 import java.io.IOException;
34 import java.io.OutputStream;
35
36 import static com.sun.tools.classfile.Annotation.*;
37 import static com.sun.tools.classfile.ConstantPool.*;
38 import static com.sun.tools.classfile.StackMapTable_attribute.*;
39 import static com.sun.tools.classfile.StackMapTable_attribute.verification_type_info.*;
40
41 /**
42 * Write a ClassFile data structure to a file or stream.
43 *
44 * <p><b>This is NOT part of any supported API.
45 * If you write code that depends on this, you do so at your own risk.
46 * This code and its internal interfaces are subject to change or
47 * deletion without notice.</b>
48 */
49 public class ClassWriter {
50 public ClassWriter() {
51 attributeWriter = new AttributeWriter();
52 constantPoolWriter = new ConstantPoolWriter();
53 out = new ClassOutputStream();
54 }
55
56 /**
57 * Write a ClassFile data structure to a file.
58 * @param classFile the classfile object to be written
59 * @param f the file
60 * @throws IOException if an error occurs while writing the file
61 */
62 public void write(ClassFile classFile, File f) throws IOException {
63 try (FileOutputStream f_out = new FileOutputStream(f)) {
64 write(classFile, f_out);
65 }
66 }
67
68 /**
69 * Write a ClassFile data structure to a stream.
70 * @param classFile the classfile object to be written
71 * @param s the stream
72 * @throws IOException if an error occurs while writing the file
73 */
74 public void write(ClassFile classFile, OutputStream s) throws IOException {
75 this.classFile = classFile;
76 out.reset();
77 write();
78 out.writeTo(s);
79 }
80
81 protected void write() throws IOException {
82 writeHeader();
83 writeConstantPool();
84 writeAccessFlags(classFile.access_flags);
85 writeClassInfo();
86 writeFields();
87 writeMethods();
88 writeAttributes(classFile.attributes);
89 }
90
91 protected void writeHeader() {
92 out.writeInt(classFile.magic);
93 out.writeShort(classFile.minor_version);
94 out.writeShort(classFile.major_version);
95 }
96
97 protected void writeAccessFlags(AccessFlags flags) {
98 out.writeShort(flags.flags);
99 }
100
101 protected void writeAttributes(Attributes attributes) {
102 int size = attributes.size();
103 out.writeShort(size);
104 for (Attribute attr: attributes)
105 attributeWriter.write(attr, out);
106 }
107
108 protected void writeClassInfo() {
109 out.writeShort(classFile.this_class);
110 out.writeShort(classFile.super_class);
111 int[] interfaces = classFile.interfaces;
112 out.writeShort(interfaces.length);
113 for (int i: interfaces)
114 out.writeShort(i);
115 }
116
117 protected void writeDescriptor(Descriptor d) {
118 out.writeShort(d.index);
119 }
120
121 protected void writeConstantPool() {
122 ConstantPool pool = classFile.constant_pool;
123 int size = pool.size();
124 out.writeShort(size);
125 for (CPInfo cpInfo: pool.entries())
126 constantPoolWriter.write(cpInfo, out);
127 }
128
129 protected void writeFields() throws IOException {
130 Field[] fields = classFile.fields;
131 out.writeShort(fields.length);
132 for (Field f: fields)
133 writeField(f);
134 }
135
136 protected void writeField(Field f) throws IOException {
137 writeAccessFlags(f.access_flags);
138 out.writeShort(f.name_index);
139 writeDescriptor(f.descriptor);
140 writeAttributes(f.attributes);
141 }
142
143 protected void writeMethods() throws IOException {
144 Method[] methods = classFile.methods;
145 out.writeShort(methods.length);
146 for (Method m: methods) {
147 writeMethod(m);
148 }
149 }
150
151 protected void writeMethod(Method m) throws IOException {
152 writeAccessFlags(m.access_flags);
153 out.writeShort(m.name_index);
154 writeDescriptor(m.descriptor);
155 writeAttributes(m.attributes);
156 }
157
158 protected ClassFile classFile;
159 protected ClassOutputStream out;
160 protected AttributeWriter attributeWriter;
161 protected ConstantPoolWriter constantPoolWriter;
162
163 /**
164 * Subtype of ByteArrayOutputStream with the convenience methods of
165 * a DataOutputStream. Since ByteArrayOutputStream does not throw
166 * IOException, there are no exceptions from the additional
167 * convenience methods either,
168 */
169 protected static class ClassOutputStream extends ByteArrayOutputStream {
170 public ClassOutputStream() {
171 d = new DataOutputStream(this);
172 }
173
174 public void writeByte(int value) {
175 try {
176 d.writeByte(value);
177 } catch (IOException ignore) {
178 }
179 }
180
181 public void writeShort(int value) {
182 try {
183 d.writeShort(value);
184 } catch (IOException ignore) {
185 }
186 }
187
188 public void writeInt(int value) {
189 try {
190 d.writeInt(value);
191 } catch (IOException ignore) {
192 }
193 }
194
195 public void writeLong(long value) {
196 try {
197 d.writeLong(value);
198 } catch (IOException ignore) {
199 }
200 }
201
202 public void writeFloat(float value) {
203 try {
204 d.writeFloat(value);
205 } catch (IOException ignore) {
206 }
207 }
208
209 public void writeDouble(double value) {
210 try {
211 d.writeDouble(value);
212 } catch (IOException ignore) {
213 }
214 }
215
216 public void writeUTF(String value) {
217 try {
218 d.writeUTF(value);
219 } catch (IOException ignore) {
220 }
221 }
222
223 public void writeTo(ClassOutputStream s) {
224 try {
225 super.writeTo(s);
226 } catch (IOException ignore) {
227 }
228 }
229
230 private final DataOutputStream d;
231 }
232
233 /**
234 * Writer for the entries in the constant pool.
235 */
236 protected static class ConstantPoolWriter
237 implements ConstantPool.Visitor<Integer,ClassOutputStream> {
238 protected int write(CPInfo info, ClassOutputStream out) {
239 out.writeByte(info.getTag());
240 return info.accept(this, out);
241 }
242
243 @Override
244 public Integer visitClass(CONSTANT_Class_info info, ClassOutputStream out) {
245 out.writeShort(info.name_index);
246 return 1;
247 }
248
249 @Override
250 public Integer visitDouble(CONSTANT_Double_info info, ClassOutputStream out) {
251 out.writeDouble(info.value);
252 return 2;
253 }
254
255 @Override
256 public Integer visitFieldref(CONSTANT_Fieldref_info info, ClassOutputStream out) {
257 writeRef(info, out);
258 return 1;
259 }
260
261 @Override
262 public Integer visitFloat(CONSTANT_Float_info info, ClassOutputStream out) {
263 out.writeFloat(info.value);
264 return 1;
265 }
266
267 @Override
268 public Integer visitInteger(CONSTANT_Integer_info info, ClassOutputStream out) {
269 out.writeInt(info.value);
270 return 1;
271 }
272
273 @Override
274 public Integer visitInterfaceMethodref(CONSTANT_InterfaceMethodref_info info, ClassOutputStream out) {
275 writeRef(info, out);
276 return 1;
277 }
278
279 @Override
280 public Integer visitInvokeDynamic(CONSTANT_InvokeDynamic_info info, ClassOutputStream out) {
281 out.writeShort(info.bootstrap_method_attr_index);
282 out.writeShort(info.name_and_type_index);
283 return 1;
284 }
285
286 public Integer visitDynamicConstant(CONSTANT_Dynamic_info info, ClassOutputStream out) {
287 out.writeShort(info.bootstrap_method_attr_index);
288 out.writeShort(info.name_and_type_index);
289 return 1;
290 }
291
292 @Override
293 public Integer visitLong(CONSTANT_Long_info info, ClassOutputStream out) {
294 out.writeLong(info.value);
295 return 2;
296 }
297
298 @Override
299 public Integer visitMethodHandle(CONSTANT_MethodHandle_info info, ClassOutputStream out) {
300 out.writeByte(info.reference_kind.tag);
301 out.writeShort(info.reference_index);
302 return 1;
303 }
304
305 @Override
306 public Integer visitMethodType(CONSTANT_MethodType_info info, ClassOutputStream out) {
307 out.writeShort(info.descriptor_index);
308 return 1;
309 }
310
311 @Override
312 public Integer visitMethodref(CONSTANT_Methodref_info info, ClassOutputStream out) {
313 return writeRef(info, out);
314 }
315
316 @Override
317 public Integer visitModule(CONSTANT_Module_info info, ClassOutputStream out) {
318 out.writeShort(info.name_index);
319 return 1;
320 }
321
322 @Override
323 public Integer visitNameAndType(CONSTANT_NameAndType_info info, ClassOutputStream out) {
324 out.writeShort(info.name_index);
325 out.writeShort(info.type_index);
326 return 1;
327 }
328
329 @Override
330 public Integer visitPackage(CONSTANT_Package_info info, ClassOutputStream out) {
331 out.writeShort(info.name_index);
332 return 1;
333 }
334
335 @Override
336 public Integer visitString(CONSTANT_String_info info, ClassOutputStream out) {
337 out.writeShort(info.string_index);
338 return 1;
339 }
340
341 @Override
342 public Integer visitUtf8(CONSTANT_Utf8_info info, ClassOutputStream out) {
343 out.writeUTF(info.value);
344 return 1;
345 }
346
347 protected Integer writeRef(CPRefInfo info, ClassOutputStream out) {
348 out.writeShort(info.class_index);
349 out.writeShort(info.name_and_type_index);
350 return 1;
351 }
352 }
353
354 /**
355 * Writer for the different types of attribute.
356 */
357 protected static class AttributeWriter implements Attribute.Visitor<Void,ClassOutputStream> {
358 public void write(Attributes attributes, ClassOutputStream out) {
359 int size = attributes.size();
360 out.writeShort(size);
361 for (Attribute a: attributes)
362 write(a, out);
363 }
364
365 public void write(Attribute attr, ClassOutputStream out) {
366 out.writeShort(attr.attribute_name_index);
367 ClassOutputStream nestedOut = new ClassOutputStream();
368 attr.accept(this, nestedOut);
369 out.writeInt(nestedOut.size());
370 nestedOut.writeTo(out);
371 }
372
373 protected AnnotationWriter annotationWriter = new AnnotationWriter();
374
375 @Override
376 public Void visitDefault(DefaultAttribute attr, ClassOutputStream out) {
377 out.write(attr.info, 0, attr.info.length);
378 return null;
379 }
380
381 @Override
382 public Void visitAnnotationDefault(AnnotationDefault_attribute attr, ClassOutputStream out) {
383 annotationWriter.write(attr.default_value, out);
384 return null;
385 }
386
387 @Override
388 public Void visitBootstrapMethods(BootstrapMethods_attribute attr, ClassOutputStream out) {
389 out.writeShort(attr.bootstrap_method_specifiers.length);
390 for (BootstrapMethods_attribute.BootstrapMethodSpecifier bsm : attr.bootstrap_method_specifiers) {
391 out.writeShort(bsm.bootstrap_method_ref);
392 int bsm_args_count = bsm.bootstrap_arguments.length;
393 out.writeShort(bsm_args_count);
394 for (int i : bsm.bootstrap_arguments) {
395 out.writeShort(i);
396 }
397 }
398 return null;
399 }
400
401 @Override
402 public Void visitCharacterRangeTable(CharacterRangeTable_attribute attr, ClassOutputStream out) {
403 out.writeShort(attr.character_range_table.length);
404 for (CharacterRangeTable_attribute.Entry e: attr.character_range_table)
405 writeCharacterRangeTableEntry(e, out);
406 return null;
407 }
408
409 protected void writeCharacterRangeTableEntry(CharacterRangeTable_attribute.Entry entry, ClassOutputStream out) {
410 out.writeShort(entry.start_pc);
411 out.writeShort(entry.end_pc);
412 out.writeInt(entry.character_range_start);
413 out.writeInt(entry.character_range_end);
414 out.writeShort(entry.flags);
415 }
416
417 @Override
418 public Void visitCode(Code_attribute attr, ClassOutputStream out) {
419 out.writeShort(attr.max_stack);
420 out.writeShort(attr.max_locals);
421 out.writeInt(attr.code.length);
422 out.write(attr.code, 0, attr.code.length);
423 out.writeShort(attr.exception_table.length);
424 for (Code_attribute.Exception_data e: attr.exception_table)
425 writeExceptionTableEntry(e, out);
426 new AttributeWriter().write(attr.attributes, out);
427 return null;
428 }
429
430 protected void writeExceptionTableEntry(Code_attribute.Exception_data exception_data, ClassOutputStream out) {
431 out.writeShort(exception_data.start_pc);
432 out.writeShort(exception_data.end_pc);
433 out.writeShort(exception_data.handler_pc);
434 out.writeShort(exception_data.catch_type);
435 }
436
437 @Override
438 public Void visitCompilationID(CompilationID_attribute attr, ClassOutputStream out) {
439 out.writeShort(attr.compilationID_index);
440 return null;
441 }
442
443 @Override
444 public Void visitConstantValue(ConstantValue_attribute attr, ClassOutputStream out) {
445 out.writeShort(attr.constantvalue_index);
446 return null;
447 }
448
449 @Override
450 public Void visitDeprecated(Deprecated_attribute attr, ClassOutputStream out) {
451 return null;
452 }
453
454 @Override
455 public Void visitEnclosingMethod(EnclosingMethod_attribute attr, ClassOutputStream out) {
456 out.writeShort(attr.class_index);
457 out.writeShort(attr.method_index);
458 return null;
459 }
460
461 @Override
462 public Void visitExceptions(Exceptions_attribute attr, ClassOutputStream out) {
463 out.writeShort(attr.exception_index_table.length);
464 for (int i: attr.exception_index_table)
465 out.writeShort(i);
466 return null;
467 }
468
469 @Override
470 public Void visitInnerClasses(InnerClasses_attribute attr, ClassOutputStream out) {
471 out.writeShort(attr.classes.length);
472 for (InnerClasses_attribute.Info info: attr.classes)
473 writeInnerClassesInfo(info, out);
474 return null;
475 }
476
477 protected void writeInnerClassesInfo(InnerClasses_attribute.Info info, ClassOutputStream out) {
478 out.writeShort(info.inner_class_info_index);
479 out.writeShort(info.outer_class_info_index);
480 out.writeShort(info.inner_name_index);
481 writeAccessFlags(info.inner_class_access_flags, out);
482 }
483
484 @Override
485 public Void visitLineNumberTable(LineNumberTable_attribute attr, ClassOutputStream out) {
486 out.writeShort(attr.line_number_table.length);
487 for (LineNumberTable_attribute.Entry e: attr.line_number_table)
488 writeLineNumberTableEntry(e, out);
489 return null;
490 }
491
492 protected void writeLineNumberTableEntry(LineNumberTable_attribute.Entry entry, ClassOutputStream out) {
493 out.writeShort(entry.start_pc);
494 out.writeShort(entry.line_number);
495 }
496
497 @Override
498 public Void visitLocalVariableTable(LocalVariableTable_attribute attr, ClassOutputStream out) {
499 out.writeShort(attr.local_variable_table.length);
500 for (LocalVariableTable_attribute.Entry e: attr.local_variable_table)
501 writeLocalVariableTableEntry(e, out);
502 return null;
503 }
504
505 protected void writeLocalVariableTableEntry(LocalVariableTable_attribute.Entry entry, ClassOutputStream out) {
506 out.writeShort(entry.start_pc);
507 out.writeShort(entry.length);
508 out.writeShort(entry.name_index);
509 out.writeShort(entry.descriptor_index);
510 out.writeShort(entry.index);
511 }
512
513 @Override
514 public Void visitLocalVariableTypeTable(LocalVariableTypeTable_attribute attr, ClassOutputStream out) {
515 out.writeShort(attr.local_variable_table.length);
516 for (LocalVariableTypeTable_attribute.Entry e: attr.local_variable_table)
517 writeLocalVariableTypeTableEntry(e, out);
518 return null;
519 }
520
521 protected void writeLocalVariableTypeTableEntry(LocalVariableTypeTable_attribute.Entry entry, ClassOutputStream out) {
522 out.writeShort(entry.start_pc);
523 out.writeShort(entry.length);
524 out.writeShort(entry.name_index);
525 out.writeShort(entry.signature_index);
526 out.writeShort(entry.index);
527 }
528
529 @Override
530 public Void visitNestHost(NestHost_attribute attr, ClassOutputStream out) {
531 out.writeShort(attr.top_index);
532 return null;
533 }
534
535 @Override
536 public Void visitMethodParameters(MethodParameters_attribute attr, ClassOutputStream out) {
537 out.writeByte(attr.method_parameter_table.length);
538 for (MethodParameters_attribute.Entry e : attr.method_parameter_table) {
539 out.writeShort(e.name_index);
540 out.writeShort(e.flags);
541 }
542 return null;
543 }
544
545 @Override
546 public Void visitModule(Module_attribute attr, ClassOutputStream out) {
547 out.writeShort(attr.module_name);
548 out.writeShort(attr.module_flags);
549 out.writeShort(attr.module_version_index);
550
551 out.writeShort(attr.requires.length);
552 for (Module_attribute.RequiresEntry e: attr.requires) {
553 out.writeShort(e.requires_index);
554 out.writeShort(e.requires_flags);
555 out.writeShort(e.requires_version_index);
556 }
557
558 out.writeShort(attr.exports.length);
559 for (Module_attribute.ExportsEntry e: attr.exports) {
560 out.writeShort(e.exports_index);
561 out.writeShort(e.exports_flags);
562 out.writeShort(e.exports_to_index.length);
563 for (int index: e.exports_to_index)
564 out.writeShort(index);
565 }
566
567 out.writeShort(attr.opens.length);
568 for (Module_attribute.OpensEntry e: attr.opens) {
569 out.writeShort(e.opens_index);
570 out.writeShort(e.opens_flags);
571 out.writeShort(e.opens_to_index.length);
572 for (int index: e.opens_to_index)
573 out.writeShort(index);
574 }
575
576 out.writeShort(attr.uses_index.length);
577 for (int index: attr.uses_index) {
578 out.writeShort(index);
579 }
580
581 out.writeShort(attr.provides.length);
582 for (Module_attribute.ProvidesEntry e: attr.provides) {
583 out.writeShort(e.provides_index);
584 out.writeShort(e.with_count);
585 for (int with : e.with_index) {
586 out.writeShort(with);
587 }
588 }
589
590 return null;
591 }
592
593 @Override
594 public Void visitModuleHashes(ModuleHashes_attribute attr, ClassOutputStream out) {
595 out.writeShort(attr.algorithm_index);
596 out.writeShort(attr.hashes_table.length);
597 for (ModuleHashes_attribute.Entry e: attr.hashes_table) {
598 out.writeShort(e.module_name_index);
599 out.writeShort(e.hash.length);
600 for (byte b: e.hash) {
601 out.writeByte(b);
602 }
603 }
604 return null;
605 }
606
607 @Override
608 public Void visitModuleMainClass(ModuleMainClass_attribute attr, ClassOutputStream out) {
609 out.writeShort(attr.main_class_index);
610 return null;
611 }
612
613 @Override
614 public Void visitModulePackages(ModulePackages_attribute attr, ClassOutputStream out) {
615 out.writeShort(attr.packages_count);
616 for (int i: attr.packages_index)
617 out.writeShort(i);
618 return null;
619 }
620
621 @Override
622 public Void visitModuleResolution(ModuleResolution_attribute attr, ClassOutputStream out) {
623 out.writeShort(attr.resolution_flags);
624 return null;
625 }
626
627 @Override
628 public Void visitModuleTarget(ModuleTarget_attribute attr, ClassOutputStream out) {
629 out.writeShort(attr.target_platform_index);
630 return null;
631 }
632
633 @Override
634 public Void visitNestMembers(NestMembers_attribute attr, ClassOutputStream out) {
635 out.writeShort(attr.members_indexes.length);
636 for (int i : attr.members_indexes) {
637 out.writeShort(i);
638 }
639 return null;
640 }
641
642 @Override
643 public Void visitRecord(Record_attribute attr, ClassOutputStream out) {
644 out.writeShort(attr.component_count);
645 for (Record_attribute.ComponentInfo info: attr.component_info_arr) {
646 out.writeShort(info.name_index);
647 out.writeShort(info.descriptor.index);
648 int size = info.attributes.size();
649 out.writeShort(size);
650 for (Attribute componentAttr: info.attributes)
651 write(componentAttr, out);
652 }
653 return null;
654 }
655
656 @Override
657 public Void visitRuntimeInvisibleAnnotations(RuntimeInvisibleAnnotations_attribute attr, ClassOutputStream out) {
658 annotationWriter.write(attr.annotations, out);
659 return null;
660 }
661
662 @Override
663 public Void visitRuntimeInvisibleParameterAnnotations(RuntimeInvisibleParameterAnnotations_attribute attr, ClassOutputStream out) {
664 out.writeByte(attr.parameter_annotations.length);
665 for (Annotation[] annos: attr.parameter_annotations)
666 annotationWriter.write(annos, out);
667 return null;
668 }
669
670 @Override
671 public Void visitRuntimeInvisibleTypeAnnotations(RuntimeInvisibleTypeAnnotations_attribute attr, ClassOutputStream out) {
672 annotationWriter.write(attr.annotations, out);
673 return null;
674 }
675
676 @Override
677 public Void visitRuntimeVisibleAnnotations(RuntimeVisibleAnnotations_attribute attr, ClassOutputStream out) {
678 annotationWriter.write(attr.annotations, out);
679 return null;
680 }
681
682 @Override
683 public Void visitRuntimeVisibleParameterAnnotations(RuntimeVisibleParameterAnnotations_attribute attr, ClassOutputStream out) {
684 out.writeByte(attr.parameter_annotations.length);
685 for (Annotation[] annos: attr.parameter_annotations)
686 annotationWriter.write(annos, out);
687 return null;
688 }
689
690 @Override
691 public Void visitRuntimeVisibleTypeAnnotations(RuntimeVisibleTypeAnnotations_attribute attr, ClassOutputStream out) {
692 annotationWriter.write(attr.annotations, out);
693 return null;
694 }
695
696 @Override
697 public Void visitPermittedSubclasses(PermittedSubclasses_attribute attr, ClassOutputStream out) {
698 int n = attr.subtypes.length;
699 out.writeShort(n);
700 for (int i = 0 ; i < n ; i++) {
701 out.writeShort(attr.subtypes[i]);
702 }
703 return null;
704 }
705
706 @Override
707 public Void visitSignature(Signature_attribute attr, ClassOutputStream out) {
708 out.writeShort(attr.signature_index);
709 return null;
710 }
711
712 @Override
713 public Void visitSourceDebugExtension(SourceDebugExtension_attribute attr, ClassOutputStream out) {
714 out.write(attr.debug_extension, 0, attr.debug_extension.length);
715 return null;
716 }
717
718 @Override
719 public Void visitSourceFile(SourceFile_attribute attr, ClassOutputStream out) {
720 out.writeShort(attr.sourcefile_index);
721 return null;
722 }
723
724 @Override
725 public Void visitSourceID(SourceID_attribute attr, ClassOutputStream out) {
726 out.writeShort(attr.sourceID_index);
727 return null;
728 }
729
730 @Override
731 public Void visitStackMap(StackMap_attribute attr, ClassOutputStream out) {
732 if (stackMapWriter == null)
733 stackMapWriter = new StackMapTableWriter();
734
735 out.writeShort(attr.entries.length);
736 for (stack_map_frame f: attr.entries)
737 stackMapWriter.write(f, out);
738 return null;
739 }
740
741 @Override
742 public Void visitStackMapTable(StackMapTable_attribute attr, ClassOutputStream out) {
743 if (stackMapWriter == null)
744 stackMapWriter = new StackMapTableWriter();
745
746 out.writeShort(attr.entries.length);
747 for (stack_map_frame f: attr.entries)
748 stackMapWriter.write(f, out);
749 return null;
750 }
751
752 @Override
753 public Void visitSynthetic(Synthetic_attribute attr, ClassOutputStream out) {
754 return null;
755 }
756
757 @Override
758 public Void visitLoadableDescriptors(LoadableDescriptors_attribute attr, ClassOutputStream out) {
759 out.writeShort(attr.descriptors.length);
760 for (int index: attr.descriptors)
761 out.writeShort(index);
762 return null;
763 }
764
765 protected void writeAccessFlags(AccessFlags flags, ClassOutputStream out) {
766 out.writeShort(flags.flags);
767 }
768
769 protected StackMapTableWriter stackMapWriter;
770 }
771
772 /**
773 * Writer for the frames of StackMap and StackMapTable attributes.
774 */
775 protected static class StackMapTableWriter
776 implements stack_map_frame.Visitor<Void,ClassOutputStream> {
777
778 public void write(stack_map_frame frame, ClassOutputStream out) {
779 out.write(frame.frame_type);
780 frame.accept(this, out);
781 }
782
783 @Override
784 public Void visit_same_frame(same_frame frame, ClassOutputStream p) {
785 return null;
786 }
787
788 @Override
789 public Void visit_same_locals_1_stack_item_frame(same_locals_1_stack_item_frame frame, ClassOutputStream out) {
790 writeVerificationTypeInfo(frame.stack[0], out);
791 return null;
792 }
793
794 @Override
795 public Void visit_same_locals_1_stack_item_frame_extended(same_locals_1_stack_item_frame_extended frame, ClassOutputStream out) {
796 out.writeShort(frame.offset_delta);
797 writeVerificationTypeInfo(frame.stack[0], out);
798 return null;
799 }
800
801 @Override
802 public Void visit_chop_frame(chop_frame frame, ClassOutputStream out) {
803 out.writeShort(frame.offset_delta);
804 return null;
805 }
806
807 @Override
808 public Void visit_same_frame_extended(same_frame_extended frame, ClassOutputStream out) {
809 out.writeShort(frame.offset_delta);
810 return null;
811 }
812
813 @Override
814 public Void visit_append_frame(append_frame frame, ClassOutputStream out) {
815 out.writeShort(frame.offset_delta);
816 for (verification_type_info l: frame.locals)
817 writeVerificationTypeInfo(l, out);
818 return null;
819 }
820
821 @Override
822 public Void visit_full_frame(full_frame frame, ClassOutputStream out) {
823 out.writeShort(frame.offset_delta);
824 out.writeShort(frame.locals.length);
825 for (verification_type_info l: frame.locals)
826 writeVerificationTypeInfo(l, out);
827 out.writeShort(frame.stack.length);
828 for (verification_type_info s: frame.stack)
829 writeVerificationTypeInfo(s, out);
830 return null;
831 }
832
833 protected void writeVerificationTypeInfo(verification_type_info info,
834 ClassOutputStream out) {
835 out.write(info.tag);
836 switch (info.tag) {
837 case ITEM_Top:
838 case ITEM_Integer:
839 case ITEM_Float:
840 case ITEM_Long:
841 case ITEM_Double:
842 case ITEM_Null:
843 case ITEM_UninitializedThis:
844 break;
845
846 case ITEM_Object:
847 Object_variable_info o = (Object_variable_info) info;
848 out.writeShort(o.cpool_index);
849 break;
850
851 case ITEM_Uninitialized:
852 Uninitialized_variable_info u = (Uninitialized_variable_info) info;
853 out.writeShort(u.offset);
854 break;
855
856 default:
857 throw new Error();
858 }
859 }
860 }
861
862 /**
863 * Writer for annotations and the values they contain.
864 */
865 protected static class AnnotationWriter
866 implements Annotation.element_value.Visitor<Void,ClassOutputStream> {
867 public void write(Annotation[] annos, ClassOutputStream out) {
868 out.writeShort(annos.length);
869 for (Annotation anno: annos)
870 write(anno, out);
871 }
872
873 public void write(TypeAnnotation[] annos, ClassOutputStream out) {
874 out.writeShort(annos.length);
875 for (TypeAnnotation anno: annos)
876 write(anno, out);
877 }
878
879 public void write(Annotation anno, ClassOutputStream out) {
880 out.writeShort(anno.type_index);
881 out.writeShort(anno.element_value_pairs.length);
882 for (element_value_pair p: anno.element_value_pairs)
883 write(p, out);
884 }
885
886 public void write(TypeAnnotation anno, ClassOutputStream out) {
887 write(anno.position, out);
888 write(anno.annotation, out);
889 }
890
891 public void write(element_value_pair pair, ClassOutputStream out) {
892 out.writeShort(pair.element_name_index);
893 write(pair.value, out);
894 }
895
896 public void write(element_value ev, ClassOutputStream out) {
897 out.writeByte(ev.tag);
898 ev.accept(this, out);
899 }
900
901 @Override
902 public Void visitPrimitive(Primitive_element_value ev, ClassOutputStream out) {
903 out.writeShort(ev.const_value_index);
904 return null;
905 }
906
907 @Override
908 public Void visitEnum(Enum_element_value ev, ClassOutputStream out) {
909 out.writeShort(ev.type_name_index);
910 out.writeShort(ev.const_name_index);
911 return null;
912 }
913
914 @Override
915 public Void visitClass(Class_element_value ev, ClassOutputStream out) {
916 out.writeShort(ev.class_info_index);
917 return null;
918 }
919
920 @Override
921 public Void visitAnnotation(Annotation_element_value ev, ClassOutputStream out) {
922 write(ev.annotation_value, out);
923 return null;
924 }
925
926 @Override
927 public Void visitArray(Array_element_value ev, ClassOutputStream out) {
928 out.writeShort(ev.num_values);
929 for (element_value v: ev.values)
930 write(v, out);
931 return null;
932 }
933
934 // TODO: Move this to TypeAnnotation to be closer with similar logic?
935 private void write(TypeAnnotation.Position p, ClassOutputStream out) {
936 out.writeByte(p.type.targetTypeValue());
937 switch (p.type) {
938 // instanceof
939 case INSTANCEOF:
940 // new expression
941 case NEW:
942 // constructor/method reference receiver
943 case CONSTRUCTOR_REFERENCE:
944 case METHOD_REFERENCE:
945 out.writeShort(p.offset);
946 break;
947 // local variable
948 case LOCAL_VARIABLE:
949 // resource variable
950 case RESOURCE_VARIABLE:
951 int table_length = p.lvarOffset.length;
952 out.writeShort(table_length);
953 for (int i = 0; i < table_length; ++i) {
954 out.writeShort(1); // for table length
955 out.writeShort(p.lvarOffset[i]);
956 out.writeShort(p.lvarLength[i]);
957 out.writeShort(p.lvarIndex[i]);
958 }
959 break;
960 // exception parameter
961 case EXCEPTION_PARAMETER:
962 out.writeShort(p.exception_index);
963 break;
964 // method receiver
965 case METHOD_RECEIVER:
966 // Do nothing
967 break;
968 // type parameters
969 case CLASS_TYPE_PARAMETER:
970 case METHOD_TYPE_PARAMETER:
971 out.writeByte(p.parameter_index);
972 break;
973 // type parameters bounds
974 case CLASS_TYPE_PARAMETER_BOUND:
975 case METHOD_TYPE_PARAMETER_BOUND:
976 out.writeByte(p.parameter_index);
977 out.writeByte(p.bound_index);
978 break;
979 // class extends or implements clause
980 case CLASS_EXTENDS:
981 out.writeShort(p.type_index);
982 break;
983 // throws
984 case THROWS:
985 out.writeShort(p.type_index);
986 break;
987 // method parameter
988 case METHOD_FORMAL_PARAMETER:
989 out.writeByte(p.parameter_index);
990 break;
991 // type cast
992 case CAST:
993 // method/constructor/reference type argument
994 case CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT:
995 case METHOD_INVOCATION_TYPE_ARGUMENT:
996 case CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT:
997 case METHOD_REFERENCE_TYPE_ARGUMENT:
998 out.writeShort(p.offset);
999 out.writeByte(p.type_index);
1000 break;
1001 // We don't need to worry about these
1002 case METHOD_RETURN:
1003 case FIELD:
1004 break;
1005 case UNKNOWN:
1006 throw new AssertionError("ClassWriter: UNKNOWN target type should never occur!");
1007 default:
1008 throw new AssertionError("ClassWriter: Unknown target type for position: " + p);
1009 }
1010
1011 { // Append location data for generics/arrays.
1012 // TODO: check for overrun?
1013 out.writeByte((byte)p.location.size());
1014 for (int i : TypeAnnotation.Position.getBinaryFromTypePath(p.location))
1015 out.writeByte((byte)i);
1016 }
1017 }
1018 }
1019 }