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  ']
'forallTypeParameters  '.Type 


Occurrences of symbol Type in body of other rules:

DefinitionKind 'type'  'aliasID  TypeParameters_opt  '=Type 
DefinitionKind 'type'  'nameID  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  'asType 
Allocation 'newType  Dimensions_opt 
Allocation 'newType  Dimensions  '=Expression 


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