com.ibm.wala.shrikeCT

Class SourcePositionTableReader

java.lang.Object

com.ibm.wala.shrikeCT.AttributeReader

com.ibm.wala.shrikeCT.SourcePositionTableReader

public final class SourcePositionTableReader
extends AttributeReader

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SourcePositionTableReader.Position

Field Summary

Fields inherited from class com.ibm.wala.shrikeCT.AttributeReader

attr, cr, length

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SourcePositionTableReader(ClassReader.AttrIterator attr)

Method Summary

Modifier and Type	Method and Description
static SourcePositionTableReader.Position	findParameterPosition(int methodNr, CodeReader code)
static SourcePositionTableReader.Position[]	makeBytecodeToPositionMap(CodeReader code)
static SourcePositionTableReader.Position[]	makeLineNumberToPositionMap(int[] lineNumberMap)

Methods inherited from class com.ibm.wala.shrikeCT.AttributeReader

checkSize, checkSizeEquals, getClassReader, getRawOffset, getRawSize

Methods inherited from class java.lang.Object

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

Constructor Detail

SourcePositionTableReader

protected SourcePositionTableReader(ClassReader.AttrIterator attr)
                             throws InvalidClassFileException

Throws:

InvalidClassFileException

Method Detail

findParameterPosition

public static SourcePositionTableReader.Position findParameterPosition(int methodNr,
                                                                       CodeReader code)
                                                                throws InvalidClassFileException,
                                                                       java.io.IOException

Throws:

InvalidClassFileException

java.io.IOException

makeBytecodeToPositionMap

public static SourcePositionTableReader.Position[] makeBytecodeToPositionMap(CodeReader code)
                                                                      throws InvalidClassFileException,
                                                                             java.io.IOException

Throws:

InvalidClassFileException

java.io.IOException

makeLineNumberToPositionMap

public static SourcePositionTableReader.Position[] makeLineNumberToPositionMap(int[] lineNumberMap)