java.io.Closeable
, java.lang.AutoCloseable
, Document
public class DocumentFile extends java.lang.Object implements Document, java.io.Closeable
Constructor | Description |
---|---|
DocumentFile(java.io.File file,
java.nio.charset.Charset charset) |
Modifier and Type | Method | Description |
---|---|---|
void |
close() |
|
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 regionByLine,
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.
|
public DocumentFile(java.io.File file, java.nio.charset.Charset charset) throws java.io.IOException
java.io.IOException
public void insert(int beginLine, int beginColumn, java.lang.String textToInsert)
Document
public void replace(RegionByLine regionByLine, java.lang.String textToReplace)
Document
public void delete(RegionByLine regionByOffset)
Document
public void close() throws java.io.IOException
close
in interface java.lang.AutoCloseable
close
in interface java.io.Closeable
java.io.IOException
Copyright © 2002–2018 PMD. All rights reserved.