| Description |
| To run ModelCheck and extract the results. |
| Replacement in Object TOOLKIT: | pfcBaseSession::ExecuteModelCheck |
| Synopsis |
| #include <ProMdlChk.h> |
| ProError | 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. |
| */ |
| ) |
| Returns |
|
|