Package org.locationtech.jts.jump.io

Class JMLReader

java.lang.Object

org.locationtech.jts.jump.io.JMLReader

All Implemented Interfaces:

JUMPReader

public class JMLReader
extends Object
implements JUMPReader

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

Constructors

Constructor	Description
JMLReader()	Creates new JMLReader

Method Summary

Modifier and Type	Method	Description
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

JMLReader

public JMLReader()

Creates new JMLReader

Method Detail

read

public FeatureCollection read(DriverProperties dp)
                       throws IllegalParametersException,
                              Exception

Read a JML file - passes the work off to GMLReader.

Specified by:

read in interface JUMPReader

Parameters:

dp - 'InputFile' or 'DefaultValue' for the input JML file

Throws:

IllegalParametersException

Exception