Browsable HAL 1 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/publishing/hal/hillairet/extracted
Source used for this grammar: Guillaume Hillairet, HAL 1, HAL.ecore, 2006/05/12

Summary

• Total 62 production rules with 76 top alternatives and 409 symbols.
• Vocabulary: 114 = 48 nonterminals + 2 terminals + 64 labels + 0 markers.
• Total 48 nonterminal symbols: 48 defined (Boolean, Integer, String, HAL, Connexion, Entry, Article, ArticleRecent, ArticleRetro, Notice, ReferenceBiblioType, ArtRevueType, WorkshopType, ArtOuvrageType, OuvrageType, TheseType, BrevetType, AutreType, ArtRevue, ArtJournal, Workshop, Communication, Conference, ArtOuvrage, Ouvrage, Brevet, Autre, These, MetaType, MetaArtType, MetaArtNoticeType, AutLabType, Auteur, Laboratoire, AbstractMetaLab, MetaLab, AffiliationType, TamponType, DateVisibleEnum, AbstractDepot, Depot, FormatEnum, DepotWeb, FormatWebEnum, AbstractDepotType, DepotsType, WebLink, Server), 0 root (—), 8 top (Boolean, HAL, MetaType, AutLabType, AffiliationType, TamponType, DateVisibleEnum, AbstractDepotType), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 64 labels: [connexion], [contents], [login], [password], [fichiers] ², [dateRedaction], [metaArtNotice], [urldoi] ⁸, [journal] ², [volume] ², [page] ⁷, [annee] ⁸, [titconf] ³, [ville] ³, [pays] ⁴, [edcom] ⁵, [edsci] ⁴, [serie] ⁴, [titouv], [datebrevet], [numbrevet], [description], [orgthe], [niveau], [defencedate], [directeur], [codirecteur], [domain] ², [abstract] ², [referenceBiblio] ², [auteurs], [laboratoires], [nom], [prenom], [autrePrenom], [email], [urlPerso], [lab], [id] ³, [metas], [institution], [prive], [ecole], [universite], [15J], [1M], [3M], [1A], [2A], [JAMAIS], [format] ², [PDF], [TEX], [DOC], [RTF], [TXT], [PS], [ANNEX], [XML], [HTML], [HTM], [depots], [identifiant], [server].

Syntax

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

HAL ::=
	[connexion]::Connexion [contents]::Entry+

Connexion ::=
	[login]::String [password]::String

Entry ::=
	Article

Entry ::=
	Notice

Article ::=
	ArticleRecent

Article ::=
	ArticleRetro

ArticleRecent ::=
	[fichiers]::DepotsType

ArticleRetro ::=
	[dateRedaction]::String [fichiers]::AbstractDepot

Notice ::=
	[metaArtNotice]::MetaArtNoticeType

ReferenceBiblioType ::=
	ArtRevueType

ReferenceBiblioType ::=
	WorkshopType

ReferenceBiblioType ::=
	ArtOuvrageType

ReferenceBiblioType ::=
	OuvrageType

ReferenceBiblioType ::=
	TheseType

ReferenceBiblioType ::=
	BrevetType

ReferenceBiblioType ::=
	AutreType

ArtRevueType ::=
	ArtRevue

ArtRevueType ::=
	ArtJournal

WorkshopType ::=
	Workshop

WorkshopType ::=
	Communication

WorkshopType ::=
	Conference

ArtOuvrageType ::=
	ArtOuvrage

OuvrageType ::=
	Ouvrage

TheseType ::=
	These

BrevetType ::=
	Brevet

AutreType ::=
	Autre

ArtRevue ::=
	[urldoi]::String [journal]::String [volume]::String [page]::String [annee]::String

ArtJournal ::=
	[urldoi]::String [journal]::String [volume]::String [page]::String [annee]::String

Workshop ::=
	[urldoi]::String [titconf]::String [ville]::String [pays]::String [edcom]::String [annee]::String [page]::String [edsci]::String [serie]::String

Communication ::=
	[urldoi]::String [titconf]::String [ville]::String [pays]::String [edcom]::String [annee]::String [page]::String [edsci]::String [serie]::String

Conference ::=
	[urldoi]::String [titconf]::String [ville]::String [pays]::String [edcom]::String [annee]::String [page]::String [edsci]::String [serie]::String

ArtOuvrage ::=
	[urldoi]::String [titouv]::String [edcom]::String [annee]::String [edsci]::String [serie]::String

Ouvrage ::=
	[urldoi]::String [edcom]::String [annee]::String [page]::String

Brevet ::=
	[datebrevet]::String [numbrevet]::String [page]::String [pays]::String

Autre ::=
	[urldoi]::String [annee]::String [description]::String

These ::=
	[orgthe]::String [niveau]::String [defencedate]::String [directeur]::String [codirecteur]::String

MetaType ::=
	MetaArtType

MetaType ::=
	MetaArtNoticeType

MetaArtType ::=
	[domain]::String [abstract]::String [referenceBiblio]::ReferenceBiblioType

MetaArtNoticeType ::=
	[domain]::String [abstract]::String [referenceBiblio]::ReferenceBiblioType

AutLabType ::=
	[auteurs]::Auteur+ [laboratoires]::Laboratoire+

Auteur ::=
	[nom]::String [prenom]::String [autrePrenom]::String [email]::String [urlPerso]::String [lab]::Laboratoire

Laboratoire ::=
	[id]::Integer [metas]::AbstractMetaLab

AbstractMetaLab ::=
	MetaLab

MetaLab ::=
	[id]::String

AffiliationType ::=
	[institution]::String+ [prive]::String+ [ecole]::String+ [universite]::String+

TamponType ::=
	[id]::String

DateVisibleEnum ::=
	[15J]::ε
	[1M]::ε
	[3M]::ε
	[1A]::ε
	[2A]::ε
	[JAMAIS]::ε

AbstractDepot ::=
	Depot

AbstractDepot ::=
	DepotWeb

Depot ::=
	[format]::FormatEnum

FormatEnum ::=
	[PDF]::ε
	[TEX]::ε
	[DOC]::ε
	[RTF]::ε
	[TXT]::ε
	[PS]::ε
	[ANNEX]::ε

DepotWeb ::=
	[format]::FormatWebEnum

FormatWebEnum ::=
	[XML]::ε
	[HTML]::ε
	[HTM]::ε

AbstractDepotType ::=
	DepotsType

AbstractDepotType ::=
	WebLink

DepotsType ::=
	[depots]::AbstractDepot+

WebLink ::=
	[identifiant]::String [server]::Server

Server ::=
	ε

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