Replacement in Object TOOLKIT:

ProModelcheckExecute

(

ProMdl mdl

/* (In)

The model on which ModelCheck is to be executed

*/

ProBoolean show_ui

/* (In)

PRO_B_TRUE to show the ModelCheck results in the browser, PRO_B_FALSE to skip this. ModelCheck configuration "SHOW_REPORT" in config_init.mc file overrides show_ui value.

*/

ProMCMode mc_mode

/* (In)

The mode used to execute ModelCheck.

*/

ProPath config_dir

/* (In)

The location of the ModelCheck configuration directory. The configuration directory should be named 'config'. If NULL, the default ModelCheck config directory will be used.

*/

ProPath output_dir

/* (In)

The directory to which the reports files should be written. If NULL, the default ModelCheck output directory will be used.

*/

int* errors

/* (Out)

The number of errors found

*/

int* warnings

/* (Out)

The number of warnings found

*/

ProBoolean* model_saved

/* (Out)

PRO_B_TRUE if the model is saved with updates and PRO_B_FALSE otherwise.

*/

)

The function succeeded.

One or more input arguments was invalid.

The function failed to find config directoy specified.

Failure due to any other reasons

Creo Parametric is missing the license to execute ModelCheck.