Package 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	Description
static final class	RangeFileMapping.Range

Constructor Summary

Constructors

Constructor	Description
RangeFileMapping(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine, CAstSourcePositionMap.Position parentPosition, URL url)

Method Summary

Modifier and Type	Method	Description
IncludedPosition	getIncludedPosition(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 Details

RangeFileMapping

public RangeFileMapping(int rangeStart,
 int rangeEnd,
 int rangeStartingLine,
 int rangeEndingLine,
 CAstSourcePositionMap.Position parentPosition,
 URL url)

Method Details

toString

public String toString()

Overrides:

toString in class Object

getIncludedPosition

public IncludedPosition getIncludedPosition(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