AQLDoc/AQL_NT_74.html

# Non-terminal symbol `Statement`

rule(s) | occurrences

#### Description

This is the main compilation unit, an element of the sequence of statements that make up an AQL program. It consists of one of: Pragma statement: (`Pragma`) Extra-language commands for user interaction conveniences such as tracing etc... Definition statement: (`DefinitionStatement`) To define various kinds of terms, types and values. Typing statement: ('`?`') To type an `Expression` (and display all its most general types). Expression evaluation statement: (`Expression`) To type and evaluate an expression (with possible side effects). Error statement: (error) To enable error recovery à la yacc. Empty statement: ('`;`') Has no effect; simply skipped.

Defining rules for nonterminal symbol `Statement`:

`Statement` |  | '`#`' `Pragma` `PragmaArgument_opt` `EOS`
|  | `DefinitionStatement`
|  | '`?`' `Expression` `EOS`
|  | `Expression` `EOS`
|  | `error` `EOS`
|  | '`;`'

Occurrences of symbol `Statement` in body of other rules:

`Statements_opt` |  | `Statements_opt` `Statement`

Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.