Parameters

There are two different types of parameters that you can pass to the program: ‘settings’ parameters and ‘command line’ parameters.

The ‘settings’ parameters control the input and output file. These parameters can be set with the MarEnvUtil program.

The parameter for input is:

SB_INPUT1

That parameter must point to an XML file that describes which objects to verify. See section Input for further information on the format of the XML file.

The parameter for output is:

SB_OUTPUT1

That parameter must point to a log file where to write the result of the verification.

Note:
The log file will get overwritten, in case it already exists.

If the output file is not defined or an empty string and the output type is plain text, then the output will not be written to a file but directly to the console.

There are three different command line parameters.

• -ns : Do not verify XML syntax of input file.

• -nx : Use plain text as output format, and not XML.

• -v : Show verbose/wordy output (works only together with the -nx switch).

The ‘-ns’ switch tells the program not to verify the syntax of the XML input file. But it will still check for parse errors, such as missing end tags and so on. Normally any XML file is checked against the schema file MarHullVerify.xsd. But you can use this switch if you want to use an XML file that does not strictly follow the syntax that MarHullVerify requires. This will enable the use of an XML file generated by Curved Hull as input. for further information on XML input see section Input.

The ‘-nx’ switch tells the program not to use XML as output format. Instead the result of the verification is written in plain text format.

The ‘-v’ switch tells the program to use verbose output. Normally, in plain text mode, the program only writes erroneous references to the log file. But with the ‘-v’ switch it will write every encountered reference, erroneous or not.

Note: This switch works only in plain text mode. XML output is always verbose.