module MODULE_NAME{
    entity ENTITY_NAME {
         int code,
         text name
    }

    function FUNCTION_NAME(){
         var VAR_NAME as MODULE_NAME.ENTITY_NAME ; // Working
         var.code = 1 // How achieve this ?
    }
}

VarDeclaration :
    declaration='var' name='ID' ('as' type=[Entity|QualifiedName]) ('=' exp=Expression)?
;

grammar org.example.domainmodel.Domainmodel with org.eclipse.xtext.common.Terminals

generate domainmodel "http://www.example.org/domainmodel/Domainmodel"
import "http://www.eclipse.org/emf/2002/Ecore" as ecore

ModuleDeclaration:
	'module' name=QualifiedName '{'
	(elements+=AbstractElement)*
	'}';

AbstractElement:
	Import |Entity | ModuleFunction;

QualifiedName:
	ID ('.' ID)*;

Import:
	'import' importedNamespace=QualifiedNameWithWildcard ';';

QualifiedNameWithWildcard:
	QualifiedName '.*'?;

Type:
	DataType | Entity;

DataType:
	'int'
	| 'STRING';

Entity:
	'entity' name=ID
	('extends' superType=[Entity])?
	'{'
	features+=Feature ((',' features+=Feature)*)?
	'}';

Feature:
	name=ID featureType=[Type];

VariableDeclaration:
	name=ID 'as' variableType=[Entity] ('=' assignament=ID)?;

PathDefinition:
	PathHead ('=' assignament=ID)?;

PathHead:
	entity=[VariableDeclaration] (tail=PathTail)?;

PathTail:
	'/' feature=[Feature] (pathTail=PathTail)?;

ModuleFunction:
	'function' name=ID functionImplmenentation=FunctionImplementation;

FunctionImplementation:
	parameterDeclaration=FunctionParametersDeclaration codeBlock=CodeBlock;

FunctionParametersDeclaration:
	'(' (args+=ID (',' args+=ID)*)? ')';

CodeBlock:
	'{' (statements+=Statement)* '}';

Statement:
	(CallFunction | VariableDeclaration | PathDefinition) ';';

CallFunction:
	ModuleFunctionCall //|
;

ModuleFunctionCall:
	function=[ModuleFunction | QualifiedName] parametersInvocation=FunctionParametersInvocation;

FunctionParametersInvocation:
	'(' args+=Expression ((',' args+=Expression)*)? ')';

Expression:
	ID*;
	

	IScope scope_PathTail_feature(final EObject context, EReference ref) {
	    EObject parent = context.eContainer();
		
	    if( parent instanceof PathHead ) {
	        return org.eclipse.xtext.scoping.Scopes.scopeFor(((PathHead) parent).getEntity().getVariableType().getFeatures());
	    }
	    
	    if( parent instanceof PathTail ) {
	
	    	Type type = ((PathTail) parent).getFeature().getFeatureType();

	    	if(type instanceof Entity){
	    		return org.eclipse.xtext.scoping.Scopes.scopeFor(((Entity)type).getFeatures() );    			
	    	}else{
	    		EList<Feature> features = (EList<Feature>) new ArrayList<Feature>();
	        	return org.eclipse.xtext.scoping.Scopes.scopeFor(features);
	    	}	                
	    }
	   
	    // Fall-through? Probably a programmer error...
	    throw new RuntimeException("don't know how to compute scope for 'feature' of PathTail");
	}
	

PathTail:
	'/' feature=[Feature] (pathTail=PathTail)?;

PathTail:
	'.' feature=[ecore::EObject] (pathTail=PathTail)?;

ModuleFunctionCall:
	function=[ModuleFunction | QualifiedName] parametersInvocation=FunctionParametersInvocation;

ModuleFunctionCall:
	function=[ModuleFunction] parametersInvocation=FunctionParametersInvocation;

grammar org.xtext.example.eal.Eal with org.eclipse.xtext.common.Terminals

generate eal "http://www.xtext.org/example/eal/Eal"
import "http://www.eclipse.org/emf/2002/Ecore" as ecore

/**************************************/
/*************** Module ***************/
/**************************************/

ModuleModel:
	'module' name=QualifiedName '{'
	('description' description=STRING)? ';'
	(Entities+=Entity
	| Functions+=UserFunction
	| Imports+=Import)*
	'}';
	
Import:
	imp='import' importedNamespace=QualifiedNameWithWildcard ';' ;
	
QualifiedName:
	ID ('.' ID)*;
	
QualifiedNameWithWildcard:
	QualifiedName '.*'?;
	
/**************************************/
/*************** Entity ***************/
/**************************************/

Entity:
	entity='entity' name=ID ('table' tableName=ID)? '{'
	attributes+=Attribute ((',' attributes+=Attribute)?)*
	'}';

Attribute:
	(dataType=DataType | entityType=[Entity])
	name=ID (identifier='identifier')? (discriminator='discriminator')?
	(('column') columnId+=ID (',' columnId+=ID)* | ('attribute') attributeId+=ID (',' attributeId+=ID)*)?;

/**************************************/
/************** Datatype **************/
/**************************************/

DataType:
	(date='date'
	| bool='bool'
	| time='time'
	| int='int'
	| numeric='numeric' '[' INT ',' INT ']'
	| string='string' '[' INT ']'
	| list='list' '<' entity=[Entity] '>'
	);	
	
/**************************************/
/************ UserFunction ************/
/**************************************/
	
UserFunction:
	'function' name=ID implementation=FunctionImplementation;

FunctionImplementation:
	functionParametersDeclaration=FunctionParametersDeclaration codeblock=Codeblock;

FunctionParametersDeclaration:
	'(' (args+=ParameterDeclaration (',' args+=ParameterDeclaration)*)? ')';
	
Codeblock:
	'{' (satements+=Statement)* '}'
;

ParameterDeclaration:
	AbstractParameterDeclaration | ParameterDeclarationType
;

AbstractParameterDeclaration:
	name=ID
;

ParameterDeclarationType:
	name=ID 'as' type=[Entity]
;

/**************************************/
/********** PathExpressions ***********/
/**************************************/ 

QualifiedNameDefinition:
	QualifiedNameHead
;

QualifiedNameHead:
	ID (tail=QualifiedNameTail)?
;

QualifiedNameTail:
	'.' attribute=[ecore::EObject ] (tail=QualifiedNameTail)?
;
	
/**************************************/
/************* Variables **************/
/**************************************/ 

VariableDeclaration:
	AbstractVariableDeclaration | VariableDeclarationType
;

AbstractVariableDeclaration:
	QualifiedNameDefinition
;

VariableDeclarationType:
 	'var' name=ID 'as' type=[Entity]
;

VariableAssignment:
	VariableDeclaration ('=' expression=Expression)? 
;

/**************************************/
/************* Statement **************/
/**************************************/ 

Statement:
	VariableAssignment ';'
;

/**************************************/
/************ Expression **************/
/**************************************/ 


Expression:
	(expression+=ExpAnd) ('||' expression+=ExpAnd)*;

ExpAnd:
	(expAnd+=ExpComp)
	('&&' expAnd+=ExpComp)*;

ExpComp:
	(expComp+=ExpMasMenos)
	('==' expComp+=ExpMasMenos
	| 'like' expComp+=ExpMasMenos
	| '!=' expComp+=ExpMasMenos
	| '<' expComp+=ExpMasMenos
	| '>' expComp+=ExpMasMenos
	| '>=' expComp+=ExpMasMenos
	| '<=' expComp+=ExpMasMenos)*;

ExpMasMenos:
	(expMasMenos+=ExpMultDiv)
	('+' expMasMenos+=ExpMultDiv
	| '-' expMasMenos+=ExpMultDiv)*;

ExpMultDiv:
	(expMultDiv+=ExpMenos)
	('*' expMultDiv+=ExpMenos
	| '/' expMultDiv+=ExpMenos
	| '\\' expMultDiv+=ExpMenos
	| '^' expMultDiv+=ExpMenos
	| '%' expMultDiv+=ExpMenos)*;

ExpMenos:
	'-' ExpNo
	| ExpNo;

ExpNo:
	'!' QualifiedNameDefinition
	| QualifiedNameDefinition;

var NAME as [Entity] = Expression

NAME. //-> In the scope I get all the features of the Entity in the cross reference.

variable = data.data

function CalcPrice(){
variable = something.something // I get error because something.something is not a EObject
}

module Module{

function someFunction(){
//return something
}

}

module OtherModule {

entity Customer{
int code
}

function getSomething(){
var aux is Customer = Module.someFunction(); // 'var' ID 'is' [Entity] = [UserFunction] 
var otherAux is Customer = data; // 'var' ID 'is' [Entity] = ID
aux.code = something ; // ID.attribute = ID
}

}