com.vividsolutions.jump.io
Class JMLWriter

java.lang.Object
  extended by com.vividsolutions.jump.io.JMLWriter
All Implemented Interfaces:
JUMPWriter

public class JMLWriter
extends java.lang.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
JMLWriter()
          Creates new JMLWriter
 
Method Summary
 void write(FeatureCollection featureCollection, DriverProperties dp)
          Writes the feature collection to the specified file in JML format.
 
Methods inherited from class java.lang.Object
equals, 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,
                  java.lang.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
java.lang.Exception