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 and Description
SourceRegion()

Method Summary

Methods

Modifier and Type	Method and Description
void	dump(PrintWriter ps)
void	print(String text)
void	print(String text, com.ibm.wala.cast.tree.CAstSourcePositionMap.Position originalPos, URL url, boolean bogusURL)
void	println(String text)
void	println(String text, com.ibm.wala.cast.tree.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 Detail

SourceRegion

public SourceRegion()

Method Detail

print

public void print(String text,
         com.ibm.wala.cast.tree.CAstSourcePositionMap.Position originalPos,
         URL url,
         boolean bogusURL)

println

public void println(String text,
           com.ibm.wala.cast.tree.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)