Browsable Rascal Type Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: api/rascal/type/extracted
Source used for this grammar: Jurgen J. Vinju, Type, 2009–2013 [Explore]

Summary

• Total 7 production rules with 31 top alternatives and 180 symbols.
• Vocabulary: 50 = 4 nonterminals + 0 terminals + 29 labels + 17 markers.
• Total 4 nonterminal symbols: 4 defined (Symbol, Production, Attr, Exception), 0 root (—), 1 top (Exception), 0 bottom (—).
• Total 29 labels: [int], [bool], [real], [rat], [str], [num], [node], [void], [value], [loc], [datetime], [label], [set], [rel], [lrel], [tuple], [list], [map], [bag], [adt], [cons] ², [alias], [func] ², [var-func], [reified], [parameter], [choice], [tag], [typeCastException].
• Total 17 markers: ⟨name⟩ ⁵, ⟨symbol⟩ ⁵, ⟨symbols⟩ ⁵, ⟨from⟩ ², ⟨to⟩ ², ⟨parameters⟩ ⁵, ⟨adt⟩, ⟨aliased⟩, ⟨ret⟩ ², ⟨varArg⟩, ⟨bound⟩, ⟨def⟩ ³, ⟨kwTypes⟩ ², ⟨kwDefaults⟩ ², ⟨attributes⟩ ², ⟨alternatives⟩, ⟨tag⟩.

Syntax

Symbol ::=
	[int]::ε
	[bool]::ε
	[real]::ε
	[rat]::ε
	[str]::ε
	[num]::ε
	[node]::ε
	[void]::ε
	[value]::ε
	[loc]::ε
	[datetime]::ε

Symbol ::=
	[label]::(⟨name⟩:string ⟨symbol⟩:Symbol)

Symbol ::=
	[set]::⟨symbol⟩:Symbol
	[rel]::⟨symbols⟩:Symbol*
	[lrel]::⟨symbols⟩:Symbol*
	[tuple]::⟨symbols⟩:Symbol*
	[list]::⟨symbol⟩:Symbol
	[map]::(⟨from⟩:Symbol ⟨to⟩:Symbol)
	[bag]::⟨symbol⟩:Symbol
	[adt]::(⟨name⟩:string ⟨parameters⟩:Symbol*)
	[cons]::(⟨adt⟩:Symbol ⟨name⟩:string ⟨parameters⟩:Symbol*)
	[alias]::(⟨name⟩:string ⟨parameters⟩:Symbol* ⟨aliased⟩:Symbol)
	[func]::(⟨ret⟩:Symbol ⟨parameters⟩:Symbol*)
	[var-func]::(⟨ret⟩:Symbol ⟨parameters⟩:Symbol* ⟨varArg⟩:Symbol)
	[reified]::⟨symbol⟩:Symbol

Symbol ::=
	[parameter]::(⟨name⟩:string ⟨bound⟩:Symbol)

Production ::=
	[cons]::(⟨def⟩:Symbol ⟨symbols⟩:Symbol* ⟨kwTypes⟩:Symbol* ⟨kwDefaults⟩:(string (string α)*)* ⟨attributes⟩:Attr*)
	[func]::(⟨def⟩:Symbol ⟨symbols⟩:Symbol* ⟨kwTypes⟩:Symbol* ⟨kwDefaults⟩:(string (string α)*)* ⟨attributes⟩:Attr*)
	[choice]::(⟨def⟩:Symbol ⟨alternatives⟩:Production*)

Attr ::=
	[tag]::⟨tag⟩:α

Exception ::=
	[typeCastException]::(⟨from⟩:Symbol ⟨to⟩:φ)

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]