Checking InfoSets

Use

You use the Check function to trigger a global syntax check. Unlike the Generate function, this function does not generate a version of the InfoSet and store it on the database.

Prerequisites

You can access the function from various screens:

  • from the initial screen of the InfoSets component.
  • from the Change InfoSet screen.

Procedure

There are two ways of running a check:

Check function from the Change InfoSet screen.
  • If you want to check several InfoSets in a single step, got to the initial screen of the InfoSets component, select the InfoSets that you want to check, and choose the menu path Goto -> More Functions -> Check and Generate.

See also:

Generating InfoSets