xpfValidateGlobalRuleBN

 
SYNTAX:
 
xpfValidateGlobalRuleBN (modelId : GENERIC;
                         globalRuleName : STRING;
                         ruleSchemaId   : GENERIC;
                         userOutputFile : STRING)
                         result         : LOGICAL;
 
The xpfValidateGlobalRuleBN function invokes the EDMmodelChecker^TM to validate the specified data model against the specified global rule. The specified global rule must be defined in the dictionary model (Express schema) that is the underlying schema of the specified data model, or the global rule must be defined in an EDMruleSchema appropriate to the specified data model.
The actual data model must be open before this operation can be successfully performed.
 
The expressions logging can be used to log (trace) the execution of the global rule in the EDMexpressVM^TM. The EDMsupervisor^TM and the interactive EDMdebugger^TM can be used for testing and debugging global rules as well as getting detailed information of a validation process.
This function is equivalent to the EDMinterface^TM function edmiValidateGlobalRuleBN.