public class JMLReader extends AbstractJUMPReader
JUMPReader
specialized to read JML.
This is a simple class that passes the work off to the GMLReader
class which
already has support for auto-generating a JML input template
(see GMLInputTemplate
).
DataProperties for the JMLReader load(DataProperties) interface:
Parameter | Meaning |
---|---|
File or DefaultValue | File name for the input JML file |
CompressedFile | File name (a .zip or .gz) with a .jml/.xml/.gml inside (specified by File) |
CompressedFileTemplate | File name (.zip or .gz) with the input template in (specified by InputTemplateFile) |
Constructor and Description |
---|
JMLReader()
Creates new JMLReader
|
Modifier and Type | Method and Description |
---|---|
FeatureCollection |
read(DriverProperties dp)
Read a JML file - passes the work off to
GMLReader . |
getExceptions
public FeatureCollection read(DriverProperties dp) throws IllegalParametersException, java.lang.Exception
GMLReader
.read
in interface JUMPReader
read
in class AbstractJUMPReader
dp
- 'InputFile' or 'DefaultValue' for the input JML fileIllegalParametersException
java.lang.Exception