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