/src/main/scala/de/tud/cs/st/bat/reader/RuntimeVisibleAnnotations_attributeReader.scala

 1/* License (BSD Style License):
 2*  Copyright (c) 2009, 2011
 3*  Software Technology Group
 4*  Department of Computer Science
 5*  Technische Universität Darmstadt
 6*  All rights reserved.
 7*
 8*  Redistribution and use in source and binary forms, with or without
 9*  modification, are permitted provided that the following conditions are met:
10*
11*  - Redistributions of source code must retain the above copyright notice,
12*    this list of conditions and the following disclaimer.
13*  - Redistributions in binary form must reproduce the above copyright notice,
14*    this list of conditions and the following disclaimer in the documentation
15*    and/or other materials provided with the distribution.
16*  - Neither the name of the Software Technology Group or Technische
17*    Universität Darmstadt nor the names of its contributors may be used to
18*    endorse or promote products derived from this software without specific
19*    prior written permission.
20*
21*  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
22*  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23*  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24*  ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
25*  LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
26*  CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
27*  SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
28*  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
29*  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
30*  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
31*  POSSIBILITY OF SUCH DAMAGE.
32*/
33package de.tud.cs.st.bat
34package reader
35
36import java.io.DataInputStream
37
38import de.tud.cs.st.util.ControlAbstractions.repeat
39
40/**
41 * '''From the Specification'''
42 * <pre>
43 * RuntimeVisibleAnnotations_attribute {
44 * 	u2 attribute_name_index;
45 * 	u4 attribute_length;
46 * 	u2 num_annotations;
47 * 	annotation annotations[num_annotations];
48 * }
49 * </pre>
50 * @author Michael Eichberg
51 */
52trait RuntimeVisibleAnnotations_attributeReader extends AttributeReader {
53
54    type RuntimeVisibleAnnotations_attribute <: Attribute
55    type Annotations
56
57    def Annotations(in: DataInputStream, cp: Constant_Pool): Annotations
58
59    def RuntimeVisibleAnnotations_attribute(attribute_name_index: Constant_Pool_Index,
60                                            attribute_length: Int,
61                                            annotations: Annotations)(
62                                                implicit constant_pool: Constant_Pool): RuntimeVisibleAnnotations_attribute
63
64    register(
65        RuntimeVisibleAnnotations_attributeReader.ATTRIBUTE_NAME ->
66            ((ap: AttributeParent, cp: Constant_Pool, attribute_name_index: Constant_Pool_Index, in: DataInputStream) ? {
67                val attribute_length = in.readInt()
68                RuntimeVisibleAnnotations_attribute(
69                    attribute_name_index, attribute_length, Annotations(in, cp)
70                )(cp)
71            })
72    )
73}
74
75object RuntimeVisibleAnnotations_attributeReader {
76
77    val ATTRIBUTE_NAME = "RuntimeVisibleAnnotations"
78
79}