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)
|
|