com.ibm.wala.cast.js.html

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 and Description
NestedRangeMapping(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine, FileMapping innerMapping)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NestedRangeMapping

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

Method Detail

getIncludedPosition

public IncludedPosition getIncludedPosition(com.ibm.wala.cast.tree.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