*modelcheck_runchecks
Runs model checker checks.
Syntax
*modelcheck_runchecks ?check_display_name? ?entity_type? ?error_type? ?mark_id?
Type
HyperMesh Tcl Modify Command
Description
Runs model checker checks.
If executed with no arguments, then all checks for all entity types in the profile are run.
Inputs
- check_display_name
- The GUI display name of the check. This is case sensitive.
- entity_type
- The type of entity to be checked.
- error_type
- The type of errors to check, ERROR, WARNING, INFO or ALL.
- mark_id
- The ID of the mark of entities for which model checker is to be run. Valid values are 1 and 2.
Examples
Run the check named "checkname":
*modelcheck_runchecks checkname
Run all checks on properties 1-10 :
*createmark props 1 1-10
*modelcheck_runchecks "" props "" 1
Errors
if { [ catch {command_name...} ] } {
# Handle error
}
Version History
2019