Library | Module

Class pfcModelCheckInstructions



Description

This class describes ModelCheck instructions details.



Property Summary

/* optional */ stringConfigDir
Specifies the directory which contains the ModelCheck configuration directory (which must be named 'config'). If null then the default ModelCheck configuration directory will be used.
/* optional */ pfcModelCheckModeMode
Specifies the mode to use when executing ModelCheck. If null, the non-graphic mode will be used.
/* optional */ stringOutputDir
Specifies the directory where the report will be written. If null then default ModelCheck output directory ,as per config_init.mc , will be used.
/* optional */ booleanShowInBrowser
Specifies if the results report should be shown in the browser. If null (the default) it will not be shown.



Method Summary

static pfcModelCheckInstructionsCreate ()
Creates a new pfcModelCheckInstructions object.



Property Detail


/* optional */ stringConfigDir

Specifies the directory which contains the ModelCheck configuration directory (which must be named 'config'). If null then the default ModelCheck configuration directory will be used.




/* optional */ pfcModelCheckModeMode

Specifies the mode to use when executing ModelCheck. If null, the non-graphic mode will be used.




/* optional */ stringOutputDir

Specifies the directory where the report will be written. If null then default ModelCheck output directory ,as per config_init.mc , will be used.




/* optional */ booleanShowInBrowser

Specifies if the results report should be shown in the browser. If null (the default) it will not be shown.





Method Detail


static pfcModelCheckInstructionsCreate ()

Creates a new pfcModelCheckInstructions object.
Returns:
The new object.