@Test def void testExponentiation() {
		"2**3**4".assertRepr("(2 ** (3 ** 4))")
	}

	def private String stringRepr(Expression e) {
		switch (e) {
			Plus: '''(«e.left.stringRepr» + «e.right.stringRepr»)'''
			Minus: '''(«e.left.stringRepr» - «e.right.stringRepr»)'''
			MulOrDiv: '''(«e.left.stringRepr» «e.op» «e.right.stringRepr»)'''
			Exponent: '''(«e.left.stringRepr» ** «e.right.stringRepr»)'''
			Comparison: '''(«e.left.stringRepr» «e.op» «e.right.stringRepr»)'''
			Equality: '''(«e.left.stringRepr» «e.op» «e.right.stringRepr»)'''
			And: '''(«e.left.stringRepr» AND «e.right.stringRepr»)'''
			Or: '''(«e.left.stringRepr» OR «e.right.stringRepr»)'''
			Not: '''(NOT «e.expression.stringRepr»)'''
			IntConstant: '''«e.value»'''
			StringConstant: '''«e.value»'''
			BoolConstant: '''«e.value»'''
		}.toString
	}

Model:
	expressions+=AbstractExpression*
;

AbstractExpression:
	'EVAL' 'foo' '=' expression=Expression ';';

Expression: Or;

Or returns Expression:
	And (
		{Or.left=current} 'OR'
		right=And
	)*;

And returns Expression:
	Equality (
		{And.left=current} 'AND'
		right=Equality
	)*;

Equality returns Expression:
	Comparison (
		{Equality.left=current} op=('=' | '<>')
		right=Comparison
	)*;

Comparison returns Expression:
	PlusOrMinus (
		{Comparison.left=current} op=('>=' | '<=' | '>' | '<')
		right=PlusOrMinus
	)*;

PlusOrMinus returns Expression:
	MulOrDiv (
		({Plus.left=current} '+' | {Minus.left=current} '-')
		right=MulOrDiv
	)*;

MulOrDiv returns Expression:
	Exponent (
		({MulOrDiv.left=current} op=('*' | '/'))
		right=Exponent
	)*;

Exponent returns Expression:
	Primary (
		{Exponent.left=current} '**' right=Primary)?;
		
Primary returns Expression:
	'(' Expression ')' |
	{Not} 'NOT' expression=Primary |
	Atomic;

Atomic returns Expression:
	{IntConstant} value=INT	|
	{StringConstant} value=STRING |
	{BoolConstant} value=('*ON' | '*OFF') ;

Exponent returns Expression:
	Primary (
		{Exponent.left=current} '**'
		right=Primary
	)*;

	@Test def void testByteSize_DataTypeWithBytes_00() {
		
		'''DCL-S foo varchar(1  )'''.parse => [ m |	m.assertNoErrors]
		'''DCL-S foo varchar(1:2)'''.parse => [ m |	m.assertNoErrors]
		'''DCL-S foo varchar(1:4)'''.parse => [ m |	m.assertNoErrors]
		
		'''DCL-S foo vargraph(1  )'''.parse => [ m | m.assertNoErrors]
		'''DCL-S foo vargraph(1:2)'''.parse => [ m | m.assertNoErrors]
		'''DCL-S foo vargraph(1:4)'''.parse => [ m | m.assertNoErrors]
		
		'''DCL-S foo varucs2(1  )'''.parse => [ m |	m.assertNoErrors]
		'''DCL-S foo varucs2(1:2)'''.parse => [ m |	m.assertNoErrors]
		'''DCL-S foo varucs2(1:4)'''.parse => [ m |	m.assertNoErrors]
	}