File: ( Specification NewLine )* .
Specification:
    [ TokenName ':' ]
    Pattern
    [ '(' AuxiliaryScannerName ')' ]
    [ '[' TokenProcessorName ']' ] .
Pattern: RegularExpression / CannedSpecificationName .
TokenName: Identifier .
CannedSpecificationName: Identifier .
AuxiliaryScannerName: Identifier .
TokenProcessorName: Identifier .

File:
	( specifications += Specification )+ ;

Specification:
	 ( tokenName = ID ':')? 
	 pattern=Pattern 
	 ( '(' auxScanner = AuxiliaryScannerName ')' )? 
	 ( '[' tokenScanner = TokenProcessorName ']' )?
;
Pattern:
	CannedExpr | RegExpr
;

RegExpr:
	'$' regex+ 
;
terminal regex:
    'a'..'z'|'A'..'Z'|'0'..'9'|'-'
    |','|'.'|'?'|'\''|':'|'\"'|'>'
    |'<'|'/'|'_'|'='|';'|'('|')'
    |'&'|'!'|'#'|'%'|'*'|'+'|'['|']'; 


terminal CannedExpr:
	'ADA_COMMENT' |  'ADA_IDENTIFIER' |  'AWK_COMMENT' | 'C_COMMENT' | 'C_CHAR_CONSTANT' | 'C_FLOAT'
    | 'C_IDENTIFIER' | 'C_INTEGER' | 'C_INT_DENOTATION' | 'C_STRING_LIT' | 'MODULA_INTEGER' | 'MODULA2_COMMENT' 
    | 'MODULA3_COMMENT' | 'MODULA2_CHARINT' | 'MODULA2_INTEGER' | 'MODULA2_LITERALDQ' | 'MODULA2_LITERALSQ' 
    | 'PASCAL_COMMENT' | 'PASCAL_IDENTIFIER' | 'PASCAL_INTEGER' | 'PASCAL_REAL' | 'PASCAL_STRING' | 'SPACES' | 'TAB' | 'NEW_LINE'
;

AuxiliaryScannerName:
	auxiliaryScannerName=('auxEOF'| 'coordAdjust'| 'auxNewLine' | 'auxTab' | 'auxEOL'| 'auxPascalString' | 'auxPascalComment'
     | 'auxNoEOL' | 'auxCString' | 'auxCChar' | 'auxCComment' | 'auxM2String'| 'auxM3Comment' | 'Ctext')
;

grammar <your grammar name> hidden(<your whitespace and comment rules here>)
import "http://www.eclipse.org/emf/2002/Ecore" as ecore

grammar de.sabram.upb.specs.Gla hidden(WS, ML_COMMENT)
import "http://www.eclipse.org/emf/2002/Ecore" as ecore
generate gla "//www.sabram.de/upb/specs/Gla"


File:
	specifications+=Specification(('\n' |'\r' )specifications+=Specification)*;

Specification returns Specifications:
	 ( tokenName = ID ':')? 
	 pattern=Pattern
	 ('('auxiliaryScannerName=AuxiliaryScannerName')')? 
	 ('['tokenProcessorName=TokenProcessorName']')?
;
Pattern: CannedExpression | RegularExpression;

CannedExpression returns Pattern:
	value=('ADA_COMMENT' |  'ADA_IDENTIFIER' |  'AWK_COMMENT' | 'C_COMMENT' | 'C_CHAR_CONSTANT' | 'C_FLOAT'
    | 'C_IDENTIFIER' | 'C_INTEGER' | 'C_INT_DENOTATION' | 'C_STRING_LIT' | 'MODULA_INTEGER' | 'MODULA2_COMMENT' 
    | 'MODULA3_COMMENT' | 'MODULA2_CHARINT' | 'MODULA2_INTEGER' | 'MODULA2_LITERALDQ' | 'MODULA2_LITERALSQ' 
    | 'PASCAL_COMMENT' | 'PASCAL_IDENTIFIER' | 'PASCAL_INTEGER' | 'PASCAL_REAL' | 'PASCAL_STRING' | 'SPACES' | 'TAB' | 'NEW_LINE')	
;
RegularExpression returns Pattern: value=REGEX;	

AuxiliaryScannerName: 
	value=('auxEOF'| 'coordAdjust'| 'auxNewLine' | 'auxTab' | 'auxEOL'| 'auxPascalString' | 'auxPascalComment'
	| 'auxNoEOL' | 'auxCString' | 'auxCChar' | 'auxCComment' | 'auxM2String'| 'auxM3Comment' | 'Ctext')
;

TokenProcessorName: 
	value=('c_mkchar' | 'c_mkint' | 'c_mkstr' | 'EndOfText' | 'lexerr' | 'mkidn'| 'mkint' | 'mkstr' | 'modula_mkint')
;

/********************************************************************
 ******** TERMINALS
 ******** No rules below this line, only terminals
 ********************************************************************/
 
/*
 * RegularExpression Terminal for Eli/GLA. Beginning with a $ followed by the body of a regularExpression
 * the regularExpression is split into seperate parts, to make it readable
 * - all possible digits: REGEX_NUMBER
 * - all possible characters: REGEX_DIGIT
 * - all possible cardinality operators : REGEX_CARDINALITY
 * - all possible symbols within a regular expression  
*/
terminal REGEX: '$' REGEX_BODY+;
terminal fragment REGEX_BODY: (REGEX_STRING|REGEX_DIGIT|REGEX_CARDINALITY|REGEX_SYMBOL);
terminal fragment REGEX_DIGIT: ('0'..'9');
terminal fragment REGEX_STRING: ('a'..'z'|'A'..'Z');
terminal fragment REGEX_CARDINALITY: ('*'|'+'|'-'|'?');
terminal fragment REGEX_SYMBOL: (','|'.'|'\''|':'|'\"'|'>'|'<'|'/'|'_'|'='|';'|'('|')'|'&'|'!'|'#'|'%'|'['|']'|'\\');
/*
 * TERMINALS OUT OF DEFAULT
 */										
terminal ID  		: '^'?('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
terminal INT returns ecore::EInt: ('0'..'9')+;
terminal STRING	: 
			'"' ( '\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\') | !('\\'|'"') )* '"' |
			"'" ( '\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\') | !('\\'|"'") )* "'"
		; 
terminal ML_COMMENT: '/*' -> '*/';
terminal WS			: (' '|'\t'|'\r'|'\n')+;
terminal ANY_OTHER: .;

/*
* this is a small gla Example file
* which simply defines 3 different tokens by using CannedExpressions
*/
Identifier: 	C_IDENTIFIER
Number:		C_INTEGER
      		C_COMMENT