Browsable LCF Grammar

CC-BY

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

Summary

Syntax

configuration ::=
	([shortcut]::shortcutType | [tool]::toolType | [source]::sourceType | [target]::targetType)*
shortcutType ::=
	[name]::string [definition]::([expand]::string | string)*
commandtype ::=
	([expand]::string | string)*
sourceType ::=
	[name]::string [extraction]::([name]::([expand]::string | string)* [argument]::([expand]::string | string)*+) [parsing]::[command]::commandtype? [evaluation]::[command]::commandtype?
targetType ::=
	[name]::string [branch]::([input]::string [perform]::string*)+
toolType ::=
	[name]::tools [command]::commandtype
tools ::=
	[validation]::ε
	[comparison]::ε
	[testset]::ε
	[transformation]::ε

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