Class JMLReader

All Implemented Interfaces:
JUMPReader, TaskMonitorSupport, ContentHandler, DTDHandler, EntityResolver, ErrorHandler

public class JMLReader extends GMLReader
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 Details

    • JMLReader

      public JMLReader()