Browsable Clafer Grammar

Grammar connected by Vadim Zaytsev, see the Grammar Zoo entry for details: clafer/unknown/connected
Source used for this grammar: Source unknown, This grammar looks like it was copy-pasted from a PDF, 15 June 2012

Summary

• Total 47 production rules with 104 top alternatives and 389 symbols.
• Vocabulary: 102 = 50 nonterminals + 52 terminals + 0 labels + 0 markers.
• Total 50 nonterminal symbols: 47 defined (Module, Declaration, Clafer, Constraint, Abstract, Elements, Element, Super, GCard, Card, GNCard, NCard, ExInteger, Name, LExp, LExp1, LExp2, LExp3, LExp4, LExp5, LExp6, Term, CmpExp, Exp, Quant, ExQuant, SExp, SExp1, SExp2, SExp3, SExp4, SExp5, Decl, AExp, AExp1, AExp2, StrExp, EnumId, ModId, LocId, ListDeclaration, ListEnumId, ListElement, ListLExp, ListDecl, ListLocId, ListModId), 0 root (—), 1 top (Module), 3 bottom (Integer ⁴, String, Ident ⁷).
• Total 52 terminal symbols: 16 keywords ("enum", "abstract", "extends", "xor" ², "or", "mux", "opt", "else", "in" ², "not", "no", "lone", "one", "some", "all", "disj"), 0 letters (—), 0 numerics (—), 36 signs ("=" ², "[", "]", "{", "}", "‘", ":" ², "−>", "<" ², ">" ², "?", "+" ², "*" ³, "−" ², "..", "<=>", "=>" ², "||", "&&", "~", "(" ³, ")" ³, "|" ², "==", "<=", ">=", "!=", "/=", "++" ², "&", "<:", ":>", ".", "#", "," ², "/").

Syntax

Module ::=
	ListDeclaration

Declaration ::=
	"enum" Ident "=" ListEnumId
	Clafer
	Constraint

Clafer ::=
	Abstract GCard Ident Super Card Elements

Constraint ::=
	"[" ListLExp "]"

Abstract ::=
	ε
	"abstract"

Elements ::=
	ε
	"{" ListElement "}"

Element ::=
	Clafer
	"‘" Name Card Elements
	Constraint

Super ::=
	ε
	":" Name
	"extends" Name
	"−>" ListModId SExp

GCard ::=
	ε
	"xor"
	"or"
	"mux"
	"opt"
	"<" GNCard ">"

Card ::=
	ε
	"?"
	"+"
	"*"
	NCard

GNCard ::=
	Integer "−" ExInteger

NCard ::=
	Integer ".." ExInteger

ExInteger ::=
	"*"
	Integer

Name ::=
	ListModId Ident

LExp ::=
	LExp "<=>" LExp1
	LExp1

LExp1 ::=
	LExp1 "=>" LExp2
	LExp1 "=>" LExp2 "else" LExp2
	LExp2

LExp2 ::=
	LExp2 "||" LExp3
	LExp3

LExp3 ::=
	LExp3 "xor" LExp4
	LExp4

LExp4 ::=
	LExp4 "&&" LExp5
	LExp5

LExp5 ::=
	"~" LExp6
	LExp6

LExp6 ::=
	Term
	"(" LExp ")"

Term ::=
	CmpExp
	SExp
	Quant SExp
	ListDecl "|" LExp

CmpExp ::=
	Exp "<" Exp
	Exp ">" Exp
	Exp "=" Exp
	Exp "==" Exp
	Exp "<=" Exp
	Exp ">=" Exp
	Exp "!=" Exp
	Exp "/=" Exp
	Exp "in" Exp
	Exp "not" "in" Exp

Exp ::=
	AExp
	StrExp

Quant ::=
	"no"
	"lone"
	"one"
	"some"

ExQuant ::=
	"all"
	Quant

SExp ::=
	SExp "++" SExp1
	SExp1

SExp1 ::=
	SExp1 "&" SExp2
	SExp2

SExp2 ::=
	SExp2 "<:" SExp3
	SExp3

SExp3 ::=
	SExp3 ":>" SExp4
	SExp4

SExp4 ::=
	SExp4 "." SExp5
	SExp5

SExp5 ::=
	Ident
	"(" SExp ")"

Decl ::=
	ExQuant "disj"? ListLocId ":" SExp

AExp ::=
	AExp "+" AExp1
	AExp "−" AExp1
	AExp1

AExp1 ::=
	AExp1 "*" AExp2
	AExp2

AExp2 ::=
	"#" SExp
	SExp
	Integer
	"(" AExp ")"

StrExp ::=
	StrExp "++" StrExp
	String

EnumId ::=
	Ident

ModId ::=
	Ident

LocId ::=
	Ident

ListDeclaration ::=
	Declaration*

ListEnumId ::=
	(EnumId "|")* EnumId

ListElement ::=
	Element*

ListLExp ::=
	LExp*

ListDecl ::=
	(Decl ",")* Decl

ListLocId ::=
	(LocId ",")* LocId

ListModId ::=
	(ModId "/")*

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