Browsable LCF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/scientific/lcf/v13.0-xsd/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite, LCF, shared/xsd/lcf.xsd, 2008–2011, Version 13 [Explore]

Summary

• Total 9 production rules with 16 top alternatives and 123 symbols.
• Vocabulary: 38 = 10 nonterminals + 0 terminals + 28 labels + 0 markers.
• Total 10 nonterminal symbols: 9 defined (configuration, actionType, shortcutType, expansion, commandtype, sourceType, targetType, toolType, Tools), 1 root (configuration), 0 top (—), 1 bottom (mixedType).
• Total 28 labels: [shortcut], [tool], [action], [source], [target], [comment] ², [name] ⁶, [command] ⁴, [definition] ², [expand], [expand-action], [expand-input], [expand-output], [expand-context], [expand-yields], [err], [out], [argument], [arguments], [extractor], [parser], [evaluator], [input], [perform], [branch], [validator], [diff], [testset].

Syntax

configuration ::=
	([shortcut]::shortcutType | [tool]::toolType | [action]::actionType | [source]::sourceType | [target]::targetType | [comment]::mixedType)*

actionType ::=
	[comment]::string? [name]::string+ [definition]::[command]::commandtype+

shortcutType ::=
	[name]::string [definition]::(expansion | string)*

expansion ::=
	[expand]::string
	[expand-action]::ε
	[expand-input]::ε
	[expand-output]::ε
	[expand-context]::ε
	[expand-yields]::ε

commandtype ::=
	(expansion | string)* [err]::string? [out]::string?

sourceType ::=
	[name]::string [extractor]::([name]::(expansion | string)* [arguments]::[argument]::(expansion | string)*+) [parser]::[command]::commandtype? [evaluator]::[command]::commandtype?

targetType ::=
	[name]::string [branch]::([input]::string [perform]::string*)+

toolType ::=
	[name]::Tools [command]::commandtype

Tools ::=
	[validator]::ε
	[diff]::ε
	[testset]::ε

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