public final class GlossaryReaderTSV
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
append(java.io.File file,
GlossaryEntry newEntry)
Appends entry to glossary file.
|
static boolean |
createEmpty(java.io.File file)
Create a new empty TSV glossary file with a leading comment
|
static java.lang.String |
getFileEncoding(java.io.File file) |
static java.lang.String |
getFileEncoding(java.io.File file,
java.lang.String defaultEncoding) |
static java.util.List<GlossaryEntry> |
read(java.io.File file,
boolean priorityGlossary) |
public static boolean createEmpty(java.io.File file) throws java.io.IOException
file
- java.io.IOException
public static java.lang.String getFileEncoding(java.io.File file) throws java.io.IOException
java.io.IOException
public static java.lang.String getFileEncoding(java.io.File file, java.lang.String defaultEncoding) throws java.io.IOException
java.io.IOException
public static java.util.List<GlossaryEntry> read(java.io.File file, boolean priorityGlossary) throws java.io.IOException
java.io.IOException
public static void append(java.io.File file, GlossaryEntry newEntry) throws java.io.IOException
file
- The file to (create and) append tonewEntry
- the entry to append.java.io.IOException