Class RangeFileMapping
java.lang.Object
com.ibm.wala.cast.js.html.RangeFileMapping
- All Implemented Interfaces:
FileMapping
-
Nested Class Summary
-
Constructor Summary
ConstructorDescriptionRangeFileMapping
(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine, CAstSourcePositionMap.Position parentPosition, URL url) -
Method Summary
-
Constructor Details
-
RangeFileMapping
public RangeFileMapping(int rangeStart, int rangeEnd, int rangeStartingLine, int rangeEndingLine, CAstSourcePositionMap.Position parentPosition, URL url)
-
-
Method Details
-
toString
-
getIncludedPosition
- Specified by:
getIncludedPosition
in interfaceFileMapping
- Returns:
- Null if no mapping for the given line.
-
getInputStream
- Throws:
IOException
-