DocumentFilepublic interface Document
| Modifier and Type | Method | Description |
|---|---|---|
void |
delete(RegionByLine regionByOffset) |
Delete a region in the document, removing all text which contains it.
|
void |
insert(int beginLine,
int beginColumn,
java.lang.String textToInsert) |
Insert a text at a line at the position/column specified.
|
void |
replace(RegionByLine regionByOffset,
java.lang.String textToReplace) |
Replace a specific region in the document which contains text by another text, which not necessarily is the same
length as the region's one.
|
void insert(int beginLine,
int beginColumn,
java.lang.String textToInsert)
beginLine - the line in which to insert the textbeginColumn - the position in the line in which to insert the texttextToInsert - the text to be addedvoid replace(RegionByLine regionByOffset, java.lang.String textToReplace)
regionByOffset - the region in which a text will be inserted to replace the current document's contentstextToReplace - the text to insertvoid delete(RegionByLine regionByOffset)
regionByOffset - the region in which to erase all the textCopyright © 2002–2018 PMD. All rights reserved.