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

Class SourceRegion

java.lang.Object

com.ibm.wala.cast.js.html.SourceRegion

public class SourceRegion
extends Object

Represents a region of source code, with source locations. Regions can be added to other SourceRegions, with nested source location information maintained.

Constructor Summary

Constructors

Constructor	Description
SourceRegion()

Method Summary

Modifier and Type	Method	Description
void	dump(PrintWriter ps)
void	print(String text)
void	print(String text, CAstSourcePositionMap.Position originalPos, URL url, boolean bogusURL)
void	println(String text)
void	println(String text, CAstSourcePositionMap.Position originalPos, URL url, boolean bogusURL)
void	write(SourceRegion otherRegion)
FileMapping	writeToFile(PrintWriter ps)

Methods inherited from class java.lang.Object

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

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

public void print(String text)

println

public void println(String text)

writeToFile

public FileMapping writeToFile(PrintWriter ps)

write

public void write(SourceRegion otherRegion)

dump

public void dump(PrintWriter ps)