(reader: &mut BlockReader)
| 737 | } |
| 738 | |
| 739 | fn read_annotation(reader: &mut BlockReader) -> Annotation { |
| 740 | Annotation { |
| 741 | type_index: ConstantPoolIndex::new(reader.get_u16() as usize), |
| 742 | element_value_pairs: { |
| 743 | let en = reader.get_u16(); |
| 744 | (0..en).map(|_| ElementValuePair { |
| 745 | element_name_index: ConstantPoolIndex::new(reader.get_u16() as usize), |
| 746 | value: ClassReader::read_element_value(reader) |
| 747 | }).collect() |
| 748 | } |
| 749 | } |
| 750 | } |
| 751 | |
| 752 | fn read_type_annotation(reader: &mut BlockReader) -> TypeAnnotation { |
| 753 | TypeAnnotation { |