Browsable AsFix Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/asfix-sdf/extracted
Source used for this grammar: Jurgen Vinju, Taeke Kooiker, asfix/syntax/*.sdf, February 2006 – March 2007

Summary

• Total 24 production rules with 24 top alternatives and 157 symbols.
• Vocabulary: 49 = 15 nonterminals + 21 terminals + 13 labels + 0 markers.
• Total 15 nonterminal symbols: 11 defined (Tree, Attributes, Attrs, Attr, Associativity, Symbol, Symbols, CharRanges, CharRange, Args, Production), 0 root (—), 3 top (CharRanges, Args, Production), 4 bottom (StrCon, Annotation, ATerm, NatCon ³).
• Total 21 terminal symbols: 13 keywords ("attrs", "assoc" ², "term", "id", "bracket", "reject", "prefer", "avoid", "left", "right", "empty", "layout", "prod"), 0 letters (—), 0 numerics (—), 5 signs ("(" ⁶, ")" ⁶, "[" ⁴, "," ⁸, "]" ⁴).
• Total 13 labels: [attributes] ², [associativity], [aterm], [module-name], [symbol], [comma1] ², [separator], [comma2] ², [number], [integer], [character], [lhs], [rhs].

Syntax

Tree ::=
	Tree Annotation

Attributes ::=
	"no-attrs"

Attributes ::=
	"attrs" "(" [attributes]::Attrs ")"

Attrs ::=
	"[" (Attr ("," Attr)*) "]"

Attr ::=
	"assoc" "(" [associativity]::Associativity ")"

Attr ::=
	"term" "(" [aterm]::ATerm ")"

Attr ::=
	"id" "(" [module-name]::StrCon ")"

Attr ::=
	"bracket"

Attr ::=
	"reject"

Attr ::=
	"prefer"

Attr ::=
	"avoid"

Associativity ::=
	"left"

Associativity ::=
	"right"

Associativity ::=
	"assoc"

Associativity ::=
	"non-assoc"

Symbol ::=
	"empty"

Symbol ::=
	"iter-sep-n" "(" [symbol]::Symbol [comma1]::"," [separator]::Symbol [comma2]::"," [number]::NatCon ")"

Symbol ::=
	"layout"

Symbols ::=
	"[" (Symbol ("," Symbol)*)? "]"

CharRanges ::=
	"[" (CharRange ("," CharRange)*)? "]"

CharRange ::=
	[integer]::NatCon

Tree ::=
	[character]::NatCon

Args ::=
	"[" (Tree ("," Tree)*)? "]"

Production ::=
	"prod" "(" [lhs]::Symbols [comma1]::"," [rhs]::Symbol [comma2]::"," [attributes]::Attributes ")"

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