Package com.ibm.wala.cast.js.html

Class RangeFileMapping.Range

java.lang.Object

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

Enclosing class:

RangeFileMapping

public static final class RangeFileMapping.Range
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
Range(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine)

Method Summary

Modifier and Type	Method	Description
int	getEnd()
int	getEndingLine()
int	getStart()
int	getStartingLine()
boolean	includes(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position offset)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Range

public Range(int rangeStart,
             int rangeEnd,
             int rangeStartingLine,
             int rangeEndingLine)

Method Detail

includes

public boolean includes(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position offset)

getStart

public int getStart()

getEnd

public int getEnd()

getStartingLine

public int getStartingLine()

getEndingLine

public int getEndingLine()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object