AQLDoc/AQL_NT_06.html

# Non-terminal symbol `Type`

rule(s) | occurrences

Defining rules for nonterminal symbol `Type`:

`Type` |  | `TypeConstant`
|  | `FunctionType`
|  | `TupleType`
|  | `ArrayType`
|  | `CollectionType`
|  | `IntRangeType`
|  | `RealRangeType`
|  | `TypeTerm`
|  | '`(`' `Type_opt` '`)`'
|  | '`[`' `PrimitiveType` '`]`'
|  | '`forall`' `TypeParameters` '`.`' `Type`

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

`DefinitionKind` |  | '`type`' '`alias`' `ID` `TypeParameters_opt` '`=`' `Type`
`DefinitionKind` |  | '`type`' '`name`' `ID` `TypeParameters_opt` '`=`' `Type`
`Typing` |  | '`:`' `Type`
`Type_opt` |  | `Type`
`FunctionType` |  | `Type` '`->`' `Type`
`FunctionType` |  | '`(`' `Types_opt` '`)`' '`->`' `Type`
`ArrayType` |  | `Type` '`[`' `IndexType` '`]`'
`Types` |  | `Type`
`Types` |  | `Types` '`,`' `Type`
`Expression` |  | `Expression` '`as`' `Type`
`Allocation` |  | '`new`' `Type` `Dimensions_opt`
`Allocation` |  | '`new`' `Type` `Dimensions` '`=`' `Expression`

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