Browsable Reqtify 0.1 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/Reqtify/extracted
Source used for this grammar: Pauline Brunel, Reqtify 0.1, Reqtify.ecore, 2005/07/21

Summary

• Total 17 production rules with 17 top alternatives and 82 symbols.
• Vocabulary: 26 = 12 nonterminals + 0 terminals + 14 labels + 0 markers.
• Total 12 nonterminal symbols: 12 defined (Project, TypedElement, ElementWithIL, Document, TextElement, Section, AbstractRequirement, Requirement, MacroRequirement, CoverLink, Attribute, String), 0 root (—), 1 top (TypedElement), 0 bottom (—).
• Total 14 labels: [documents], [project], [sections], [document], [sectionChildren], [sectionParent], [requirements], [section], [isContained], [coverLinks], [attribute], [contains], [linkWith], [value].

Syntax

Project ::=
	[documents]::Document+

TypedElement ::=
	ElementWithIL

TypedElement ::=
	CoverLink

TypedElement ::=
	Attribute

ElementWithIL ::=
	Document

ElementWithIL ::=
	TextElement

Document ::=
	[project]::Project [sections]::Section+

TextElement ::=
	Section

TextElement ::=
	AbstractRequirement

Section ::=
	[document]::Document [sectionChildren]::Section+ [sectionParent]::Section [requirements]::AbstractRequirement+

AbstractRequirement ::=
	Requirement

AbstractRequirement ::=
	MacroRequirement

Requirement ::=
	[section]::Section [isContained]::MacroRequirement [coverLinks]::CoverLink+ [attribute]::Attribute+

MacroRequirement ::=
	[contains]::AbstractRequirement+

CoverLink ::=
	[linkWith]::AbstractRequirement

Attribute ::=
	[value]::String

String ::=
	string

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