Non-terminal symbol DefinitionKind

rule(s)occurrences


Description

This non-terminal denotes statements used to declare or define various AQL language concepts:
  • Operator definition: ('operator')
    To define a new, or redefine an existing, operator symbol.

  • Signature definition: ('signature')
    To declare the type of a yet to be defined symbol (an Operator).


Defining rules for nonterminal symbol DefinitionKind:

DefinitionKind 'operatorOperator  SPECIFIER  INT 
'signatureOperator  Typing 
'type'  'aliasID  TypeParameters_opt  '=Type 
'type'  'nameID  TypeParameters_opt  '=Type 
'valueDefinition 
Definition 


Occurrences of symbol DefinitionKind in body of other rules:

DefinitionStatement 'defineDefinitionKind  EOS 


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