Browsable Amble Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: ml/ocaml/amble/extracted
Source used for this grammar: David Touzet, Amble.ecore, 2005/05/30

Summary

• Total 27 production rules with 28 top alternatives and 146 symbols.
• Vocabulary: 42 = 17 nonterminals + 2 terminals + 23 labels + 0 markers.
• Total 17 nonterminal symbols: 17 defined (Boolean, String, Integer, Element, Program, Process, State, Transition, Trans, Strans, Transall, Guard, Action, Network, Channel, Message, Variable), 0 root (—), 1 top (Element), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 23 labels: [processes], [networks], [minId], [maxId], [instancesNb], [states], [transitions], [initial], [variables], [connectedTo], [isInitial], [incoming], [outgoing], [waitFor] ², [guard], [action], [source] ², [target] ², [name] ³, [channels], [messages], [type], [initValue].

Syntax

Boolean ::=
	"true"
	"false"

String ::=
	string

Integer ::=
	integer

Element ::=
	Program

Element ::=
	Process

Element ::=
	State

Element ::=
	Guard

Element ::=
	Action

Element ::=
	Network

Element ::=
	Channel

Element ::=
	Message

Element ::=
	Variable

Program ::=
	[processes]::Process+ [networks]::Network+

Process ::=
	[minId]::Integer [maxId]::Integer [instancesNb]::Integer [states]::State+ [transitions]::Transition+ [initial]::Action [variables]::Variable+ [connectedTo]::Network+

State ::=
	[isInitial]::Boolean [incoming]::Transition+ [outgoing]::Transition+

Transition ::=
	Trans

Transition ::=
	Strans

Transition ::=
	Transall

Trans ::=
	[waitFor]::Message

Strans ::=
	[guard]::Guard [action]::Action [source]::State [target]::State

Transall ::=
	[waitFor]::Message

Guard ::=
	[name]::String

Action ::=
	[name]::String

Network ::=
	[channels]::Channel+

Channel ::=
	[messages]::Message+ [source]::Process [target]::Process

Message ::=
	[name]::String

Variable ::=
	[type]::String [initValue]::String

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