com.ibm.wala.cast.js.html

Class RangeFileMapping

java.lang.Object

com.ibm.wala.cast.js.html.RangeFileMapping

All Implemented Interfaces:

FileMapping

public class RangeFileMapping
extends Object
implements FileMapping

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	RangeFileMapping.Range

Constructor Summary

Constructors

Constructor and Description
RangeFileMapping(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine, com.ibm.wala.cast.tree.CAstSourcePositionMap.Position parentPosition, URL url)

Method Summary

Methods

Modifier and Type	Method and Description
IncludedPosition	getIncludedPosition(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position offset)
Reader	getInputStream()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

RangeFileMapping

public RangeFileMapping(int rangeStart,
                int rangeEnd,
                int rangeStartingLine,
                int rangeEndingLine,
                com.ibm.wala.cast.tree.CAstSourcePositionMap.Position parentPosition,
                URL url)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getIncludedPosition

public IncludedPosition getIncludedPosition(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position offset)

Specified by:

getIncludedPosition in interface FileMapping

Returns:

Null if no mapping for the given line.

getInputStream

public Reader getInputStream()
                      throws IOException

Throws:

IOException