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 Object

Constructor Summary

Constructors

Constructor and Description
RangeFileMapping.Range(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RangeFileMapping.Range

public RangeFileMapping.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 String toString()

Overrides:

toString in class Object