|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.vividsolutions.jump.io.JMLReader
public class JMLReader
JMLReader is a 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 Summary | |
|---|---|
JMLReader()
Creates new JMLReader |
|
| Method Summary | |
|---|---|
FeatureCollection |
read(DriverProperties dp)
Read a JML file - passes the work off to GMLReader. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public JMLReader()
| Method Detail |
|---|
public FeatureCollection read(DriverProperties dp)
throws IllegalParametersException,
java.lang.Exception
GMLReader.
read in interface JUMPReaderdp - 'InputFile' or 'DefaultValue' for the input JML file
IllegalParametersException
java.lang.Exception
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||