6. Verification/execution phases

The Syntax paragraph in the user documentation is an exact reflection of the order catalog. This catalog is a file that includes, written in the language of the supervisor, all the rules on keywords: presence, exclusion, involvement, content…

The editor EFICAS uses this command catalog and allows the user, if in the end the composed file is valid, to obtain a correct set of commands.

At the execution of the study, the Code_Aster supervisor reproduces the same syntactic verification task: either globally for the entire file, or alternating with execution, command by command.

In addition, during the actual execution of the commands (entered in part FORTRAN of the source code), additional checks can be made. These are constraints that are impossible to manage at the level of the command language (equality of cardinals from different lists…).