SourceBuffer (API Reference for wala 1.3.9)

public class SourceBuffer
extends Object

Constructors
Constructor and Description
`SourceBuffer(CAstSourcePositionMap.Position p)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`substitute(CAstSourcePositionMap.Position range, String newText)`
`String`	`toString()`

public SourceBuffer(CAstSourcePositionMap.Position p)
             throws IOException

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

Class SourceBuffer