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 java.lang.Object
implements FileMapping

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	RangeFileMapping.Range

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
IncludedPosition	getIncludedPosition(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position offset)
java.io.Reader	getInputStream()
java.lang.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,
                        java.net.URL url)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.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 java.io.Reader getInputStream()
                              throws java.io.IOException

Throws:

java.io.IOException