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. |
getExceptionspublic FeatureCollection read(DriverProperties dp) throws IllegalParametersException, java.lang.Exception
GMLReader.read in interface JUMPReaderread in class AbstractJUMPReaderdp - 'InputFile' or 'DefaultValue' for the input JML fileIllegalParametersExceptionjava.lang.Exception