/* License (BSD Style License):
*  Copyright (c) 2009, 2011
*  Software Technology Group
*  Department of Computer Science
*  Technische Universität Darmstadt
*  All rights reserved.
*
*  Redistribution and use in source and binary forms, with or without
*  modification, are permitted provided that the following conditions are met:
*
*  - Redistributions of source code must retain the above copyright notice,
*    this list of conditions and the following disclaimer.
*  - Redistributions in binary form must reproduce the above copyright notice,
*    this list of conditions and the following disclaimer in the documentation
*    and/or other materials provided with the distribution.
*  - Neither the name of the Software Technology Group or Technische
*    Universität Darmstadt nor the names of its contributors may be used to
*    endorse or promote products derived from this software without specific
*    prior written permission.
*
*  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
*  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
*  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
*  ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
*  LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
*  CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
*  SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
*  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
*  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
*  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
*  POSSIBILITY OF SUCH DAMAGE.
*/
package de.tud.cs.st.bat
package reader

import java.io.DataInputStream

import de.tud.cs.st.util.ControlAbstractions.repeat

/**
 * '''From the Specification'''
 * <pre>
 * RuntimeInvisibleParameterAnnotations_attribute {
 * 	u2 attribute_name_index;
 * 	u4 attribute_length;
 * 	u1 num_parameters;
 * 	{
 * 		u2 num_annotations;
 * 		annotation annotations[num_annotations];
 * 	} parameter_annotations[num_parameters];
 * }
 * </pre>
 *
 * @author Michael Eichberg
 */
trait RuntimeInvisibleParameterAnnotations_attributeReader extends AttributeReader {

    type RuntimeInvisibleParameterAnnotations_attribute <: Attribute
    type ParameterAnnotations

    /**
     * Method that delegates to another reader to read in the annotations of the parameters.
     */
    protected def ParameterAnnotations(in: DataInputStream, cp: Constant_Pool): ParameterAnnotations

    /**
     * Factory method to create a representation of a RuntimeInvisibleParameterAnnotations_attribute.
     */
    protected def RuntimeInvisibleParameterAnnotations_attribute(attribute_name_index: Constant_Pool_Index,
                                                                 attribute_length: Int,
                                                                 parameter_annotations: ParameterAnnotations)(
                                                                     implicit constant_pool: Constant_Pool): RuntimeInvisibleParameterAnnotations_attribute

    register(
        RuntimeInvisibleParameterAnnotations_attributeReader.ATTRIBUTE_NAME ->
            ((ap: AttributeParent, cp: Constant_Pool, attribute_name_index: Constant_Pool_Index, in: DataInputStream) ? {
                val attribute_length = in.readInt()
                RuntimeInvisibleParameterAnnotations_attribute(
                    attribute_name_index, attribute_length, ParameterAnnotations(in, cp)
                )(cp)
            })
    )

}

object RuntimeInvisibleParameterAnnotations_attributeReader {

    val ATTRIBUTE_NAME = "RuntimeInvisibleParameterAnnotations"

}