Browsable Occam Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: occam/occam/srour/extracted
Source used for this grammar: Youssef Srour, OCCAM 0.1, OCCAM.ecore, 2006/07/25 [Atlantic]

Summary

• Total 36 production rules with 37 top alternatives and 243 symbols.
• Vocabulary: 50 = 24 nonterminals + 2 terminals + 24 labels + 0 markers.
• Total 24 nonterminal symbols: 24 defined (OCCAM_Program, OCCAM_Element, Process, Channel, Action, Assignment, Input, Output, Constructor, Buckel, If, While, Condition, Sequential, Parallel, Alternative, DataType, Library, File, Server, Declaration, String, Boolean, Integer), 0 root (—), 3 top (OCCAM_Program, Boolean, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 24 labels: [occam_Elements], [files], [name] ⁶, [declaration], [constructors], [parameters], [libraries], [toChannel] ², [type], [toServer], [toProcess], [constructor] ⁵, [while] ⁵, [if] ⁵, [process] ⁵, [actions] ⁶, [buckels] ⁴, [childrens] ⁴, [conditions] ², [elementRight], [elementLeft], [typeCondition], [dataType], [elements].

Syntax

OCCAM_Program ::=
	[occam_Elements]::OCCAM_Element+ [files]::File+

OCCAM_Element ::=
	Process

OCCAM_Element ::=
	Action

OCCAM_Element ::=
	Constructor

OCCAM_Element ::=
	DataType

OCCAM_Element ::=
	[name]::String

Process ::=
	[declaration]::Declaration [constructors]::Constructor+ [parameters]::DataType+ [libraries]::Library+ [toChannel]::Channel

Channel ::=
	[name]::String [type]::String [toServer]::Server [toProcess]::Process

Action ::=
	Assignment

Action ::=
	Input

Action ::=
	Output

Action ::=
	[constructor]::Constructor [while]::While [if]::If

Assignment ::=
	[constructor]::Constructor [while]::While [if]::If

Input ::=
	[constructor]::Constructor [while]::While [if]::If

Output ::=
	[constructor]::Constructor [while]::While [if]::If

Constructor ::=
	Sequential

Constructor ::=
	Parallel

Constructor ::=
	Alternative

Constructor ::=
	[process]::Process [actions]::Action+ [buckels]::Buckel+ [childrens]::Constructor+

Buckel ::=
	If

Buckel ::=
	While

Buckel ::=
	[constructor]::Constructor

If ::=
	[conditions]::Condition+ [actions]::Action+

While ::=
	[conditions]::Condition+ [actions]::Action+

Condition ::=
	[elementRight]::String [elementLeft]::String [typeCondition]::String [if]::If [while]::While

Sequential ::=
	[process]::Process [actions]::Action+ [buckels]::Buckel+ [childrens]::Constructor+

Parallel ::=
	[process]::Process [actions]::Action+ [buckels]::Buckel+ [childrens]::Constructor+

Alternative ::=
	[process]::Process [actions]::Action+ [buckels]::Buckel+ [childrens]::Constructor+

DataType ::=
	[dataType]::String

Library ::=
	[name]::String

File ::=
	[name]::String

Server ::=
	[name]::String [toChannel]::Channel

Declaration ::=
	[name]::String [process]::Process [elements]::DataType+

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

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