Class SourceRegion
java.lang.Object
com.ibm.wala.cast.js.html.SourceRegion
Represents a region of source code, with source locations. Regions can be added to other
SourceRegion
s, with nested source location information maintained.-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
dump
(PrintWriter ps) void
void
print
(String text, CAstSourcePositionMap.Position originalPos, URL url, boolean bogusURL) void
void
println
(String text, CAstSourcePositionMap.Position originalPos, URL url, boolean bogusURL) void
write
(SourceRegion otherRegion)
-
Constructor Details
-
SourceRegion
public SourceRegion()
-
-
Method Details
-
print
public void print(String text, CAstSourcePositionMap.Position originalPos, URL url, boolean bogusURL) -
println
public void println(String text, CAstSourcePositionMap.Position originalPos, URL url, boolean bogusURL) -
print
-
println
-
writeToFile
-
write
-
dump
-