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.
You can access the function from various screens:
- from the initial screen of the InfoSets component.
- from the Change InfoSet screen.
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