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 © 2012 by Hassan Aït-Kaci; All Rights Reserved.