Validating Logic

Validate logic using the Validate command.

To validate logic in Logic Editor, perform the following:

  1. Open the Logic Editor for the method you want to validate.

  2. From the Build menu, select Validate.

To validate logic in Class View, perform the following:

  1. In the Class View, select the methods you want to validate.

    You can also select one or more classes if you want to validate all the methods they own.

  2. From the Build menu, select Validate.

Note: You can also use the shortcut key Ctrl+F7 to validate logic in the class view and in the logic editor.

The validation process inspects both the syntax and semantics of the logic.

Syntax checking

Checks that each non-empty line of logic contains a valid logic command, and that each logic command contains an appropriate number of parameters.

Semantic validation

Validates each logic command, in the context of checking that any attributes and/or classes referred to by the logic command exist and have valid attributes. For example, whether arguments of an Add logic command are number-primitives.

Any insertable classes are expanded before the validation process begins. Insertable classes are not required to be semantically complete. Refer to Validating Insertable Classes in Isolation for more informatioin on validating insertable classes in isolation.

Validation Errors are displayed in the error list.