public class SourceBuffer extends Object
Constructor and Description |
---|
SourceBuffer(CAstSourcePositionMap.Position p) |
Modifier and Type | Method and Description |
---|---|
void |
substitute(CAstSourcePositionMap.Position range,
String newText) |
String |
toString() |
public SourceBuffer(CAstSourcePositionMap.Position p) throws IOException
IOException
public void substitute(CAstSourcePositionMap.Position range, String newText)