/src/main/scala/de/tud/cs/st/bat/reader/InterfacesReader.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.reader
34
35import java.io.DataInputStream
36
37import de.tud.cs.st.util.ControlAbstractions.repeat
38
39/**
40 * Implements a template method to read in the interfaces implemented by a
41 * class.
42 *
43 * @author Michael Eichberg
44 */
45trait InterfacesReader extends Constant_PoolAbstractions {
46
47    //
48    // ABSTRACT DEFINITIONS
49    //
50
51    type Interface
52    implicit val InterfaceManifest: ClassManifest[Interface]
53
54    def Interface(interface_index: Constant_Pool_Index)(implicit constant_pool: Constant_Pool): Interface
55
56    //
57    // IMPLEMENTATION
58    //
59
60    type Interfaces = IndexedSeq[Interface]
61
62    private val NO_INTERFACES: Interfaces = Vector.empty
63
64    def Interfaces(in: DataInputStream, cp: Constant_Pool): Interfaces = {
65        val interfaces_count = in.readUnsignedShort
66        if (interfaces_count == 0) return NO_INTERFACES
67
68        repeat(interfaces_count) {
69            Interface(in.readUnsignedShort)(cp)
70        }
71    }
72
73}