TopLevel:
	(transformations+=Transformation)*;

Transformation:
	'transformation' name=ID
	'('
	modelDeclarations+=ModelDeclaration (',' modelDeclarations+=ModelDeclaration)*
	')'
	('extends' superTransformation=[Transformation])?
	'{'
	(keyDeclarations+=KeyDeclaration)*
	(relations+=Relation | functions+=Function)*
	'}';

ModelDeclaration:
	name=ID ':'
	metaModelIds+=MetaModelId
	|
	('{' metaModelIds+=MetaModelId (',' metaModelIds+=MetaModelId)* '}');

MetaModelId:
	name=ID;

KeyDeclaration:
	'key' classId=ClassId
	'{'
	keyProperties+=KeyProperty (',' keyProperties+=KeyProperty)*
	'}'
	';';

ClassId:
	name=ID;

KeyProperty:
	PrimitiveKeyProperty | OppositeKeyProperty;

PrimitiveKeyProperty:
	name=ID;

OppositeKeyProperty:
	'opposite'
	'('
	classId=ClassId '.' name=ID
	')';

Relation:
	('top')? 'relation' name=ID
	('overrides' superRelation=[Relation])?
	'{'
	(variableDeclarations+=VariableDeclaration)*
	(domains+=Domain)+
	(whenStatement=WhenStatement)?
	(whereStatement=WhereStatement)?
	'}';

VariableDeclaration:
	name+=VariableName (',' name+=VariableName)* ':' type=TypeCS ';';

VariableName:
	name=ID;

TypeCS:
	name=ID;

Domain:
	PrimitiveTypeDomain | ComplexDomain;

PrimitiveTypeDomain:
	'primitive' 'domain' name=VariableName ':' type=TypeCS ';';

ComplexDomain:
	('checkonly' | 'enforce')? 'domain'
	modelId=[ModelDeclaration]
	template=Template
	('default_values' '{' (assignmentExpressions+=AssignmentExpression)+ '}')?
	';';

AssignmentExpression:
	name=ID '=' oclExpression=OclExpressionCS ';';

Template:
	(name=VariableName)? ':' classId=ClassId
	'{'
	(propertyTemplateList=PropertyTemplateList)?
	'}'
	('{' oclExpression=OclExpressionCS '}')?;

PropertyTemplateList:
	propertyTemplates+=PropertyTemplate (',' propertyTemplates+=PropertyTemplate)*;

PropertyTemplate:
	PrimitivePropertyTemplate | OppositePropertyTemplate;

PrimitivePropertyTemplate:
	name=ID '=' oclExpression=OclExpressionCS;

OppositePropertyTemplate:
	'opposite'
	'('
	classId=ClassId '.' name=ID
	')'
	'=' oclExpression=OclExpressionCS;

WhenStatement:
	{WhenStatement}
	'when'
	'{'
	(oclExpressions+=OclExpressionCS ';')*
	'}';

WhereStatement:
	{WhereStatement}
	'where'
	'{'
	(oclExpressions+=OclExpressionCS ';')*
	'}';

Function:
	'function' name=ID
	'('
	(parameters+=ParameterDeclaration (',' parameters+=ParameterDeclaration)*)?
	')'
	':' type=TypeCS
	(';' | '{' oclExpression=OclExpressionCS '}');

ParameterDeclaration:
	name=VariableName ':' type=TypeCS;

OclExpressionCS:
	concatenatedOclExpressions+=ConcatenatedOclExpression
	('=' concatenatedOclExpressions+=ConcatenatedOclExpression)?;

ConcatenatedOclExpression:
	oclExpressionTerms+=OclExpressionTerm ('+' oclExpressionTerms+=OclExpressionTerm)*;

OclExpressionTerm:
	'(' OclExpressionCS ')' | Template | IfExpCS | VariableExpCS | CallExpCS | LiteralExpCS;

IfExpCS:
	'if' ifOclExpression=OclExpressionCS
	'then' thenOclExpression=OclExpressionCS
	'else' elseOclExpression=OclExpressionCS
	'endif';

VariableExpCS:
	name=[VariableName];

CallExpCS:
	PropertyCallExpCS | CodeCallExp;

PropertyCallExpCS:
	name=[VariableName] '.' properties+=Property ('.' properties+=Property)*;

Property:
	name=ID;

CodeCallExp:
	name=[CallableCode]
	'('
	(parameters+=CodeCallExpParameter)? (',' parameters+=CodeCallExpParameter)*
	')';

CallableCode:
	Relation | Function;

CodeCallExpParameter:
	name=[VariableName];

LiteralExpCS:
	StringLiteralExp | IntLiteralExp | FloatLiteralExp;

StringLiteralExp:
	name=STRING;

IntLiteralExp:
	name=INT;

FloatLiteralExp:
	name=FLOAT;

terminal FLOAT returns ecore::EFloat:
	('0'..'9')+ '.' ('0'..'9')+;
	

transformation <...> {

	<...>

	top relation ClassToTable {

		cn, prefix:String;

		checkonly domain uml c:Class {
			namespace = p:Package {},
			kind = 'Persistent',
			name = cn
		};

		enforce domain rdbms t:Table {
			schema = s:Schema {},
			name = cn,
			column = cl:Column {
				name = cn + '_tid',
				type = 'NUMBER'
			},
			theKey = k:Key {
				name = cn + '_pk',
				column = cl ####### ERROR ########
			}
		};

		when {
			PackageToSchema (p, s); ####### ERROR ########
		}
		where {
			prefix = '';
			AttributeToColumn (c, t, prefix); ####### OKAY ####### 
		}
	}

        <...>

}

column = cl

name=[VariableName];

name=[VariableDeclaration];