// 'Element' and 'QualifiedName' definition is left

Assertion:
	'assert that ' element=[Element|QualifiedName] condition=Condition
;

Condition:
	EqualsCondition | IsCondition
;

EqualsCondition:
	'equals' value=STRING
;

IsCondition:
	'is' state=StateType
;

enum StateType:
	PRESENT='present' | VISIBLE='visible'
;

assert that Login.login is present

IsCondition:
	'was' state=StateType
;

assert that Login.login was present

grammar de.is24.test.Dsl with org.eclipse.xtext.common.Terminals

generate dsl "htttp://www.is24.de/test/Dsl"

Model:
	(pageObjects+=PageObject)+
	(givens+=GivenNotation)*
	(tests+=TestNotation)*
	// (conditions+=Assertion)*
;

TestNotation: 
	'test ' name=ID '{'
		'given ' given=GivenTestAction
		'when user ' when=Action
		'then ' assertion=Assertion
	'}'
;

Assertion:
	'assert that ' element=[Element|QualifiedName] condition=Condition
;

Condition:
	EqualsCondition | IsCondition
;

EqualsCondition:
	'equals' value=STRING
;

IsCondition:
	'was' state=StateType
;

enum StateType:
	PRESENT='present' | VISIBLE='visible'
;


GivenTestAction: 
	(action=Action | given=[GivenNotation])
;
	
PageObject:
	'object ' name=ID ('extends ' extends=[PageObject])? '{'
		(elements+=Element)+
	'}';

Location: 
	'xpath ' xpath=STRING | 'id ' elementId=ID | 'name ' elementName=ID
;

GivenNotation:
	'given ' name=ID '{'
		('given ' given=[GivenNotation|ID] )?
		(actions+=Action)+
	'}'	
;

Element:	
	SimpleElement | LinkElement | InputElement | ButtonElement | ImageElement
;

Action :
	GotoAction | ClickAction | TypeAction
;

GotoAction:
	'goto ' url=STRING
;

ClickAction: 
	'click ' element=[Element|QualifiedName] 
;

TypeAction:
	'type ' text=STRING ' into ' element=[Element|QualifiedName]
;

SimpleElement: 
	'elem ' name=ID location=Location
;

LinkElement: 
	'link' name=ID location=Location
;

InputElement: 
	'input' name=ID location=Location
;

ButtonElement: 
	'button' name=ID location=Location
;

ImageElement: 
	'image' name=ID location=Location
;

QualifiedName:
	ID ('.' ID)*
;