Validate Model

Repository:

Specify the name of the open repository that holds the model to validate. Repository names are case sensitive.
When activating the Select button, the name of all open repositories will be displayed in the related selection list.

Model:

Specify the name of the model to validate. Model names are case sensitive.
When activating the Select button, the name of all models located in the repository(ies) specified by the <Repository> argument will be displayed in the related selection list.

Rule Schema:

Specify the name of Rule schema(ta) in the EDMdatabase that defines the applicable rules. Schema names are case insensitive.
When this argument is blank, the actual instance will be validated against the rules defined in the underlying EXPRESS schema.
When activating the Select button, the names of all existing schemata will be displayed in the related selection list.

Diagnostic file:

Specify the name of a file to write the result of the validation into. The result will be in ASCII format. The default file extension is ".dia". When this argument is empty (blank), the diagnostic report will be displayed in the EDMsupervisor output window.
When activating the Select button, a window is opened to allow browsing the directory structure and select/specify the desired file.

User output file:

Output produced by the edm extension xpxPrintf function, can be directed to a file.
When activating the Select button, a window is opened to allow browsing the directory structure and select/specify the desired file.

accumulating command output:

A global option that appends the command output to the EDMsupervisor output window. Otherwise the output window is refreshed and only the last command output is displayed.

clear all options:

Setting this option disable all other Data>Validate>Model options except [accumulating command output] option.

match selected input:

A global option that specifies that only items that partly or exactly matches the string in the related argument input field when activating a Select button, will be in the selection list. An empty (blank) string will match all items.
This option has no effect on file name arguments.

full validation:

Specifies that all instances in the actual model will be validated against all rules and constrains that are applicable for these instances.

global rules:

Specifies that the actual model will be validated against all applicable global rules.

local rules:

Where rules, i.e., rules that are local to entities and types.

inverse rules:

Specifies that all Inverse constraints defined in the actual model will be validated.
This option has no effect when a rule schema is specified in the <Rule Schema> parameter.

uniqueness rules:

Specifies that all Uniqueness rules defined in the actual model will be validated.

required attributes:

Specifies that all mandatory attributes of all instances in the model will be checked for a defined value, i.e., checked that the attribute value is set.
This option has no effect when a rule schema is specified in the <Rule Schema> parameter.

attribute data type:

Specifies that all attribute values of all instances in the actual model will be checked for legal data type.
This option has no effect when a rule schema is specified in the <Rule Schema> parameter.

aggregate data type:

Specifies that all element values in all aggregates in the actual model will be checked for legal data type.
This option has no effect when a rule schema is specified in the <Rule Schema> parameter.

aggregate size:

Specifies that the number of elements in all aggregates in the actual model, are according to the related aggregate declaration.
This option has no effect when a rule schema is specified in the <Rule Schema> parameter.

array required elements:

Specifies that all elements in all arrays in the actual model will be checked for a defined value, i.e., checked that no unset elements exists.
This option has no effect when a rule schema is specified in the <Rule Schema> parameter.

aggregate uniqueness:

Specifies that all aggregates in the actual model will be validated for uniqueness violation. Aggregates that have an uniqueness constraints are all SET aggregates, and ARRAY and LIST that are declared with the optional keyword UNIQUE.
This option has no effect when a rule schema is specified in the <Rule Schema> parameter.

unset derive attributes:

Specifies that warnings will be issued if unset derived attributes are found.

output stepid:

Specifies that the stepID corresponding to the instanceID will be written to the validation report when the actual correspondence exists in a STEP Identifier model.

full output:

Specifies that all possible information about the source of the errors will be recorded in the diagnostic report from this command.

stop on first error:

Specifies that the validation process should terminate when the first error is detected.

activate debugger:

The EDMdebugger will be invoked when the first statement or expression will be executed by the EDMexpressVM.

user parameters:

When this option is enabled, a new dialogue will be shown when the OK-button on the actual dialogue is pushed. In the new dialogue the number of arguments have to be specified, and for each argument the argument data type and argument data value have to be specified.
The number of related input field in the new dialogue limits the number of arguments that can be supplied to the validation process.

populate validation result model:

If this option is checked, data about the validation is stored in a separate model named EDM ValidationResults in the SystemRepository in the EDMdatabase.