com.ibm.wala.cast.util

Class SourceBuffer

java.lang.Object

com.ibm.wala.cast.util.SourceBuffer

public class SourceBuffer
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SourceBuffer(CAstSourcePositionMap.Position p)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SourceBuffer

public SourceBuffer(CAstSourcePositionMap.Position p)
             throws java.io.IOException

Throws:

java.io.IOException

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

substitute

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