scale.jcr
Class LineNumberTableAttribute

java.lang.Object
  scale.jcr.AttributeInfo
      scale.jcr.LineNumberTableAttribute

public class LineNumberTableAttribute
extends AttributeInfo

This class is used to both represent a Java class file line number table and to read that class file line number table.

$Id: LineNumberTableAttribute.java,v 1.11 2007-10-04 19:58:16 burrill Exp $

Copyright 2007 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

Constructor Summary

LineNumberTableAttribute(int nameIndex, LineNumberEntry[] lineNumberTable)

Method Summary

LineNumberEntry	getLineNumberEntry(int i)
LineNumberEntry[]	getLineNumberTable()
int	getLineNumberTableLength()
static LineNumberTableAttribute	read(ClassFile cf, java.io.DataInputStream reader, int nameIndex)

Methods inherited from class scale.jcr.AttributeInfo

getNameIndex, read

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LineNumberTableAttribute

public LineNumberTableAttribute(int nameIndex,
                                LineNumberEntry[] lineNumberTable)

Method Detail

getLineNumberTableLength

public int getLineNumberTableLength()

getLineNumberTable

public LineNumberEntry[] getLineNumberTable()

getLineNumberEntry

public LineNumberEntry getLineNumberEntry(int i)

read

public static LineNumberTableAttribute read(ClassFile cf,
                                            java.io.DataInputStream reader,
                                            int nameIndex)
                                     throws java.io.IOException

Throws:

java.io.IOException