Browsable Box Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/box-rascal/extracted
Source used for this grammar: Bert Lisser, Jurgen Vinju, lang::box::syntax::Box, 2011–2012 [GitHub]

Summary

• Total 35 production rules with 35 top alternatives and 192 symbols.
• Vocabulary: 50 = 13 nonterminals + 33 terminals + 4 labels + 0 markers.
• Total 13 nonterminal symbols: 10 defined (BoxOperator, Context, Boxx, GroupOption, FontOperator, SpaceSymbol, SpaceOption, AlignmentOptions, AlignmentOption, Main), 0 root (—), 3 top (Context, GroupOption, Main), 3 bottom (StrCon ⁵, WhitespaceAndComment, NatCon ²).
• Total 33 terminal symbols: 19 keywords ("HOV", "WD", "HV", "REF", "LBL", "CNT", "gs", "op", "VAR", "MATH", "COMM", "KW", "NUM", "ESC", "STRING", "vs", "ts", "hs", "is"), 8 letters ("A", "R", "H" ², "I", "V" ², "r", "l", "c"), 0 numerics (—), 6 signs ("[" ⁵, "," ⁴, "]" ⁵, "=" ³, "(", ")").
• Total 4 labels: [options] ⁹, [alignments], [operator] ², [list] ².

Syntax

BoxOperator ::=
	"HOV" [options]::SpaceOption*

BoxOperator ::=
	"WD"

BoxOperator ::=
	"A" [alignments]::AlignmentOptions [options]::SpaceOption*

BoxOperator ::=
	"HV" [options]::SpaceOption*

BoxOperator ::=
	"R"

BoxOperator ::=
	"H" [options]::SpaceOption*

BoxOperator ::=
	"I" [options]::SpaceOption*

BoxOperator ::=
	"V" [options]::SpaceOption*

Context ::=
	"H"

Context ::=
	"V"

Boxx ::=
	"REF" "[" StrCon "," Boxx "]"

Boxx ::=
	"LBL" "[" StrCon "," Boxx "]"

Boxx ::=
	[operator]::BoxOperator "[" [list]::Boxx* "]"

Boxx ::=
	StrCon

Boxx ::=
	"CNT" "[" StrCon "," StrCon "]"

Boxx ::=
	[operator]::FontOperator "[" [list]::Boxx* "]"

GroupOption ::=
	"gs" "=" NatCon

GroupOption ::=
	"op" "=" BoxOperator

FontOperator ::=
	"VAR"

FontOperator ::=
	"MATH"

FontOperator ::=
	"COMM"

FontOperator ::=
	"KW"

FontOperator ::=
	"NUM"

FontOperator ::=
	"ESC"

FontOperator ::=
	"STRING"

SpaceSymbol ::=
	"vs"

SpaceSymbol ::=
	"ts"

SpaceSymbol ::=
	"hs"

SpaceSymbol ::=
	"is"

SpaceOption ::=
	SpaceSymbol "=" NatCon

AlignmentOptions ::=
	"(" {AlignmentOption ","}* ")"

AlignmentOption ::=
	"r" [options]::SpaceOption*

AlignmentOption ::=
	"l" [options]::SpaceOption*

AlignmentOption ::=
	"c" [options]::SpaceOption*

Main ::=
	Boxx WhitespaceAndComment*

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