Browsable ControllerUML 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/ControllerUML/extracted
Source used for this grammar: Youssef Srour, ControllerUML 1.0, ControllerUML.ecore, 2006/07/28

Summary

• Total 14 production rules with 15 top alternatives and 83 symbols.
• Vocabulary: 26 = 12 nonterminals + 2 terminals + 12 labels + 0 markers.
• Total 12 nonterminal symbols: 12 defined (String, Boolean, Integer, ControllerAttribute, Controller, StateMachine, State, SubControllerState, ViewState, StateTransition, StateMachineAction, Event), 0 root (—), 3 top (String, Boolean, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 12 labels: [controller] ², [controllerAttribute], [behavior], [states], [substates] ², [theContainer] ², [outGoing] ², [incoming] ², [source], [target], [trigger], [effect].

Syntax

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

ControllerAttribute ::=
	[controller]::Controller

Controller ::=
	[controllerAttribute]::ControllerAttribute+ [behavior]::StateMachine

StateMachine ::=
	[states]::State+

State ::=
	SubControllerState

State ::=
	ViewState

State ::=
	[substates]::State+ [theContainer]::State [outGoing]::StateTransition+ [incoming]::StateTransition+

SubControllerState ::=
	[controller]::Controller

ViewState ::=
	[substates]::State+ [theContainer]::State [outGoing]::StateTransition+ [incoming]::StateTransition+

StateTransition ::=
	[source]::State [target]::State [trigger]::Event [effect]::StateMachineAction

StateMachineAction ::=
	ε

Event ::=
	ε

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