terminal FREESTRING:  (('\\')?('a'..'z'|'A'..'Z'|'0'..'9'|','))*;

Env: 'ENV' name=ID ':' value=NL '.';

Env: ('ENV' => name=ID) ':' value=NL '.';

The system SHALL save all the data;
ENV size: 16Gb.
ENV maxFiles: 32.

Requirements:
	requirements+=Requirement+;

Requirement:
	(root+=Sentence)+ ';' ;
	
Sentence:
	(root+=StringValue)+ & '.'?;

terminal FREESTRING:  (('\\')?('a'..'z'|'A'..'Z'|'0'..'9'|','))*;

NL hidden(WS): FREESTRING ( FREESTRING)*;

StringValue:value=NL;

Sentence:
	(root+=General)+ & '.'?;

Requirements:
	(requirements+=Requirement ';')+;
	
	Properties:
	property=Env|Mon|Dep|Rel
;

Env: ('ENV' => name=FREESTRING) ':' value=NL '.';
Mon: ('MON' => name=FREESTRING) ':' value=NL '.';
Rel: 'REL:' mon=[Mon]'-'env=[Env] '.';
Dep: 'DEP:' NL '.';

Requirement:
	(root+=General ('.' root+=General)* '.'?)  (properties+=Properties)*;
	
//declaramos tipos ainda nao existentes
terminal BOOLEAN returns ecore::EBoolean:'true'|'false';
//a primeira parte eh o escape
terminal FREESTRING:  (('\\')?('a'..'z'|'A'..'Z'|'0'..'9'|','))*;

//Natural Language, trechos que serao em LN
NL hidden(WS): FREESTRING ( FREESTRING)*;

//Essa eh a regra mae da gramatica, ja tratando a recursividade a esquerda 
General:
	rest = Rest =>({UntilOperator.left=current}('UNTIL'|'until') right=General)*;

//aqui se encontram as demais regras da gramatica
Rest:
	rule = Primitive|ShallOperator|MayOperator|EventuallyOperator|BeforeOperator|AfterOperator|InOperator|AsCloseOperator|AsOperator
;
// tipos primitivos, como boleanos (previstos na gramatica original) e os trechos em LN
Primitive:
	BooleanValue | StringValue
;
//novamente os operadores primitivos
BooleanValue:value=BOOLEAN;
StringValue:value=NL;

//aqui sao tratados todos os operandos (exceto o UNTIL) 
ShallOperator:
	('SHALL'|'shall') elements=General;

MayOperator:
	("MAY"|'may') action1=General ('OR' 'MAY'|'or' 'may') action2=General;

EventuallyOperator:
	('EVENTUALLY'|'eventually') element=General;

BeforeOperator:
	('BEFORE'|'before') event=NL;// other=General;

AfterOperator:
	('AFTER'|'after') event=NL;// other=General;

InOperator:
	('IN'|'in') t=NL; //other=General;
	
//Frquencia ou Quantidade f or q
AsCloseOperator:
	('AS' 'CLOSE' 'AS' 'POSSIBLE' 'TO'|'as' 'close' 'as' 'possible' 'to') ForQ=NL //other=General 
;
//quebramos todos os operadores AS
AsOperator:
	AsEarlyOperator|AsLateOperator|AsManyOperator|AsFewOperator;

AsEarlyOperator:
	('AS' 'EARLY' 'AS' 'POSSIBLE'|'as' 'early' 'as' 'possible') value=General;
AsLateOperator:
	('AS' 'LATE' 'AS' 'POSSIBLE'|'as' 'late' 'as' 'possible') value=General;
AsManyOperator:
	('AS' 'MANY'|'as' 'many') (element=NL)? ('AS' 'POSSIBLE'|'as' 'possible') value=General;
AsFewOperator:
	('AS' 'FEW'|'as' 'few') (element=NL)? ('AS' 'POSSIBLE'|'as' 'possible') value=General;