/src/main/scala/de/tud/cs/st/bat/reader/RuntimeInvisibleParameterAnnotations_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 * RuntimeInvisibleParameterAnnotations_attribute {
44 * 	u2 attribute_name_index;
45 * 	u4 attribute_length;
46 * 	u1 num_parameters;
47 * 	{
48 * 		u2 num_annotations;
49 * 		annotation annotations[num_annotations];
50 * 	} parameter_annotations[num_parameters];
51 * }
52 * </pre>
53 *
54 * @author Michael Eichberg
55 */
56trait RuntimeInvisibleParameterAnnotations_attributeReader extends AttributeReader {
57
58    type RuntimeInvisibleParameterAnnotations_attribute <: Attribute
59    type ParameterAnnotations
60
61    /**
62     * Method that delegates to another reader to read in the annotations of the parameters.
63     */
64    protected def ParameterAnnotations(in: DataInputStream, cp: Constant_Pool): ParameterAnnotations
65
66    /**
67     * Factory method to create a representation of a RuntimeInvisibleParameterAnnotations_attribute.
68     */
69    protected def RuntimeInvisibleParameterAnnotations_attribute(attribute_name_index: Constant_Pool_Index,
70                                                                 attribute_length: Int,
71                                                                 parameter_annotations: ParameterAnnotations)(
72                                                                     implicit constant_pool: Constant_Pool): RuntimeInvisibleParameterAnnotations_attribute
73
74    register(
75        RuntimeInvisibleParameterAnnotations_attributeReader.ATTRIBUTE_NAME ->
76            ((ap: AttributeParent, cp: Constant_Pool, attribute_name_index: Constant_Pool_Index, in: DataInputStream) ? {
77                val attribute_length = in.readInt()
78                RuntimeInvisibleParameterAnnotations_attribute(
79                    attribute_name_index, attribute_length, ParameterAnnotations(in, cp)
80                )(cp)
81            })
82    )
83
84}
85
86object RuntimeInvisibleParameterAnnotations_attributeReader {
87
88    val ATTRIBUTE_NAME = "RuntimeInvisibleParameterAnnotations"
89
90}
91