public class JMLReader extends Object implements JUMPReader
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
|
public FeatureCollection read(DriverProperties dp) throws IllegalParametersException, Exception
GMLReader.read in interface JUMPReaderdp - 'InputFile' or 'DefaultValue' for the input JML fileIllegalParametersExceptionExceptionCopyright © 2015. All rights reserved.