Class SourceBuffer

java.lang.Object

com.ibm.wala.cast.util.SourceBuffer

public class SourceBuffer
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final CAstSourcePositionMap.Position	detail

Constructor Summary

Constructors

Constructor	Description
SourceBuffer(CAstSourcePositionMap.Position p)

Method Summary

Modifier and Type	Method	Description
void	substitute(CAstSourcePositionMap.Position range, String newText)
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

detail

public final CAstSourcePositionMap.Position detail

Constructor Details

SourceBuffer

public SourceBuffer(CAstSourcePositionMap.Position p)
             throws IOException

Throws:

IOException

Method Details

toString

public String toString()

Overrides:

toString in class Object

substitute

public void substitute(CAstSourcePositionMap.Position range,
 String newText)