Package org.locationtech.jts.jump.io

Class JMLWriter

java.lang.Object

org.locationtech.jts.jump.io.JMLWriter

All Implemented Interfaces:

JUMPWriter

public class JMLWriter
extends Object
implements JUMPWriter

JMLWriter is a JUMPWriter specialized to write JML.

This is a simple class that passes the work off to the GMLWriter class that knows how to auto-generate a JML compatible GMLOutputTemplate.

DataProperties for the JMLWriter write(DataProperties) interface:

Parameter	Meaning
OutputFile or DefaultValue	File name for the output JML file

Constructor Summary

Constructors

Constructor	Description
JMLWriter()	Creates new JMLWriter

Method Summary

Modifier and Type	Method	Description
void	write(FeatureCollection featureCollection, DriverProperties dp)	Writes the feature collection to the specified file in JML format.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JMLWriter

public JMLWriter()

Creates new JMLWriter

Method Detail

write

public void write(FeatureCollection featureCollection,
                  DriverProperties dp)
           throws IllegalParametersException,
                  Exception

Writes the feature collection to the specified file in JML format.

Specified by:

write in interface JUMPWriter

Parameters:

featureCollection - features to write

dp - 'OutputFile' or 'DefaultValue' to specify what file to write.

Throws:

IllegalParametersException

Exception