Browsable XASM Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/xasm/extracted
Source used for this grammar: Davide Di Ruscio, ASM.ecore, 2006/05/1

Summary

• Total 67 production rules with 70 top alternatives and 347 symbols.
• Vocabulary: 91 = 40 nonterminals + 2 terminals + 49 labels + 0 markers.
• Total 40 nonterminal symbols: 40 defined (String, Integer, Boolean, LocatedElement, XAsmFile, XAsmSpec, Asm, Signature, Argument, Body, MetaInformation, AccessUpdateFunction, Declaration, Function, Parameter, Universe, Initialization, Term, Constant, FunctionOrVariableTerm, OperatorTerm, BooleanConstant, IntegerConstant, StringConstant, UndefConstant, Rule, SkipRule, AsmInvocation, UpdateRule, ChooseRule, DoForallRule, ConditionalRule, ElseIf, ExtendRule, ElementDecl, VariableDecl, Extension, ReturnRule, AccessUpdateType, AsmType), 0 root (—), 1 top (LocatedElement), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 49 labels: [Asm], [signature], [returnType] ², [metaInformation], [body], [isMain], [name] ³, [arguments] ², [type] ³, [declarations], [initialization], [rules] ³, [usedAsIn], [usedAs], [accessUpdateFunctions], [functions], [parameters], [initTerm], [isExternal], [contents], [superUniverses], [declaration], [terms], [opName], [leftExp], [rightExp], [value] ³, [inSequence], [asmName], [function] ², [updateTerm], [chooseId], [inSet] ², [guard], [ifChoosenRules], [ifNotChoosenRule], [id], [condition] ³, [doRule], [thenRule] ², [elseRule] ², [elseIfRule] ², [extensions], [elements], [universe], [term], [access], [update], [subasm].

Syntax

String ::=
	string

Integer ::=
	integer

Boolean ::=
	"true"
	"false"

LocatedElement ::=
	XAsmFile

LocatedElement ::=
	Asm

LocatedElement ::=
	Signature

LocatedElement ::=
	MetaInformation

LocatedElement ::=
	AccessUpdateFunction

LocatedElement ::=
	Declaration

LocatedElement ::=
	Parameter

LocatedElement ::=
	Initialization

LocatedElement ::=
	Term

LocatedElement ::=
	Rule

LocatedElement ::=
	ElseIf

LocatedElement ::=
	ElementDecl

LocatedElement ::=
	Extension

XAsmFile ::=
	XAsmSpec

XAsmFile ::=
	Body

XAsmSpec ::=
	[Asm]::Asm+

Asm ::=
	[signature]::Signature [returnType]::String [metaInformation]::MetaInformation [body]::Body

Signature ::=
	[isMain]::Boolean [name]::String [arguments]::Argument+

Argument ::=
	[type]::String

Body ::=
	[declarations]::Declaration+ [initialization]::Initialization [rules]::Rule+

MetaInformation ::=
	[usedAsIn]::Signature+ [usedAs]::AsmType [accessUpdateFunctions]::AccessUpdateFunction+

AccessUpdateFunction ::=
	[type]::AccessUpdateType [functions]::Function+

Declaration ::=
	Universe

Declaration ::=
	Function

Function ::=
	[parameters]::Parameter+ [returnType]::String [initTerm]::Term [isExternal]::Boolean

Parameter ::=
	[name]::String [type]::String

Universe ::=
	[name]::String [contents]::String+ [superUniverses]::Universe+

Initialization ::=
	[rules]::Rule+

Term ::=
	Constant

Term ::=
	FunctionOrVariableTerm

Term ::=
	OperatorTerm

Constant ::=
	BooleanConstant

Constant ::=
	IntegerConstant

Constant ::=
	StringConstant

Constant ::=
	UndefConstant

FunctionOrVariableTerm ::=
	[declaration]::ElementDecl [terms]::Term+

OperatorTerm ::=
	[opName]::String [leftExp]::Term [rightExp]::Term

BooleanConstant ::=
	[value]::Boolean

IntegerConstant ::=
	[value]::Integer

StringConstant ::=
	[value]::String

UndefConstant ::=
	ε

Rule ::=
	SkipRule

Rule ::=
	AsmInvocation

Rule ::=
	UpdateRule

Rule ::=
	ChooseRule

Rule ::=
	DoForallRule

Rule ::=
	ConditionalRule

Rule ::=
	ExtendRule

Rule ::=
	ReturnRule

SkipRule ::=
	[inSequence]::Boolean

AsmInvocation ::=
	[asmName]::String [arguments]::Term+

UpdateRule ::=
	[function]::FunctionOrVariableTerm [updateTerm]::Term

ChooseRule ::=
	[chooseId]::VariableDecl [inSet]::Universe [guard]::Term [ifChoosenRules]::Rule+ [ifNotChoosenRule]::Rule

DoForallRule ::=
	[id]::VariableDecl [inSet]::Universe [condition]::Term [doRule]::Rule+

ConditionalRule ::=
	[condition]::Term [thenRule]::Rule+ [elseRule]::Rule [elseIfRule]::ElseIf

ElseIf ::=
	[condition]::Term [thenRule]::Rule+ [elseRule]::Rule [elseIfRule]::ElseIf

ExtendRule ::=
	[extensions]::Extension+ [rules]::Rule+

ElementDecl ::=
	VariableDecl

ElementDecl ::=
	Function

VariableDecl ::=
	Argument

Extension ::=
	[elements]::VariableDecl+ [universe]::Universe

ReturnRule ::=
	[term]::Term

AccessUpdateType ::=
	[access]::ε
	[update]::ε

AsmType ::=
	[function]::ε
	[subasm]::ε

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