public class WKTFileReader
extends java.lang.Object
Geometry
s in WKT format
from a text file.
The geometries in the file may be separated by any amount
of whitespace and newlines.Modifier and Type | Field and Description |
---|---|
private int |
count |
private java.io.File |
file |
private int |
limit |
private static int |
MAX_LOOKAHEAD |
private int |
offset |
private java.io.Reader |
reader |
private WKTReader |
wktReader |
Constructor and Description |
---|
WKTFileReader(java.io.File file,
WKTReader wktReader)
Creates a new WKTFileReader given the File to read from
and a WKTReader to use to parse the geometries.
|
WKTFileReader(java.io.Reader reader,
WKTReader wktReader)
Creates a new WKTFileReader, given a
Reader to read from. |
WKTFileReader(java.lang.String filename,
WKTReader wktReader)
Creates a new WKTFileReader, given the name of the file to read from.
|
Modifier and Type | Method and Description |
---|---|
private boolean |
isAtEndOfFile(java.io.BufferedReader bufferedReader)
Tests if reader is at EOF.
|
private boolean |
isAtLimit(java.util.List geoms) |
java.util.List |
read()
Reads a sequence of geometries.
|
private java.util.List |
read(java.io.BufferedReader bufferedReader) |
void |
setLimit(int limit)
Sets the maximum number of geometries to read.
|
void |
setOffset(int offset)
Sets the number of geometries to skip before storing.
|
private java.io.File file
private java.io.Reader reader
private WKTReader wktReader
private int count
private int limit
private int offset
private static final int MAX_LOOKAHEAD
public WKTFileReader(java.io.File file, WKTReader wktReader)
file
- the File to read fromwktReader
- the geometry reader to usepublic WKTFileReader(java.lang.String filename, WKTReader wktReader)
filename
- the name of the file to read fromwktReader
- the geometry reader to usepublic WKTFileReader(java.io.Reader reader, WKTReader wktReader)
Reader
to read from.reader
- the reader to read fromwktReader
- the geometry reader to usepublic void setLimit(int limit)
limit
- the maximum number of geometries to readpublic void setOffset(int offset)
offset
- the number of geometries to skippublic java.util.List read() throws java.io.IOException, ParseException
java.io.IOException
- if an I/O exception was encounteredParseException
- if an error occurred reading a geometryprivate java.util.List read(java.io.BufferedReader bufferedReader) throws java.io.IOException, ParseException
java.io.IOException
ParseException
private boolean isAtLimit(java.util.List geoms)
private boolean isAtEndOfFile(java.io.BufferedReader bufferedReader) throws java.io.IOException
java.io.IOException