Class NestedRangeMapping

java.lang.Object

com.ibm.wala.cast.js.html.NestedRangeMapping

All Implemented Interfaces:

FileMapping

public class NestedRangeMapping
extends Object
implements FileMapping

Constructor Summary

Constructors

Constructor	Description
NestedRangeMapping(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine, FileMapping innerMapping)

Method Summary

Modifier and Type	Method	Description
IncludedPosition	getIncludedPosition(CAstSourcePositionMap.Position pos)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

NestedRangeMapping

public NestedRangeMapping(int rangeStart,
 int rangeEnd,
 int rangeStartingLine,
 int rangeEndingLine,
 FileMapping innerMapping)

Method Details

getIncludedPosition

public IncludedPosition getIncludedPosition(CAstSourcePositionMap.Position pos)

Specified by:

getIncludedPosition in interface FileMapping

Returns:

Null if no mapping for the given line.

toString

public String toString()

Overrides:

toString in class Object