grammar org.eclipse.xtext.example.domainmodel.Domainmodel with org.eclipse.xtext.xbase.Xbase

generate domainmodel "http://www.xtext.org/example/Domainmodel"

DomainModel:
	importSection=XImportSection?
	elements+=AbstractElement*;
	
AbstractElement:
	PackageDeclaration | Entity;

PackageDeclaration:
	'package' name=QualifiedName '{'
		elements+=AbstractElement*
	'}';

Entity:
	'entity' name=ValidID ('extends' superType=JvmParameterizedTypeReference)? '{'
	('features'
		features+=Feature*)?
	('vars'
		vars+=XVariableDeclaration*)?
	'}';

Feature:
	Property | Operation ;

Property:
	name=ValidID ':' type=JvmTypeReference;

Operation:
	'op' name=ValidID '(' (params+=FullJvmFormalParameter (',' params+=FullJvmFormalParameter)*)? ')' (':' type=JvmTypeReference)? 
		body=XBlockExpression;

package blabla
{
	entity foo
	{
		features
			myprop : int
			op op1 (int param1, int param2) : int
			{
				return param1;
			}
		vars
			val implicit1 = 4
			val implicit2 = 5
			val float explicit = 5.0
			val Integer integerObject = new Integer(5)
			val foobar =  implicit1 + implicit2
	}
}   

('vars'
        vars+=Constant*)?
...
Constant:
    "val" (type=JvmParameterizedTypeReference)? name=ID "=" init=XExpression 
;

for (v : entity.vars) {
			    members+=v.toField(v.name, v.type ?: inferredType) [
			         final = true
			        static = true
			        visibility = JvmVisibility.PUBLIC
			        initializer = v.init
			        
			    ]
			}

Entity:
	'entity' name=ValidID ('extends' superType=JvmParameterizedTypeReference)? '{'
	('features'
		features+=Feature*)?
	(vars=Vars)?
	'}';
	
	
	Vars returns xbase::XBlockExpression:
		{Vars}'vars'
		expressions+=XVariableDeclaration*
	;

if (entity.vars != null) {
				members+=entity.toMethod("vars", Void.TYPE.typeRef()) [
			         body = entity.vars
			        
			    ]
			}

class ProcessLogicDefault implements IProcessLogic
{
	@Inject extension JvmTypesBuilder
	@Inject extension IQualifiedNameProvider
	
	@Inject XbaseInterpreter interpreter
	
	
	override process(PackageDeclaration pkg) {
		println ("package" + pkg)
		pkg.elements.filter(Entity).forEach[e | processEntity (e)]
	}
	
	def processEntity(Entity entity) {
		val ctx = new DefaultEvaluationContext()
		entity.vars.expressions.filter(XVariableDeclaration).forEach[v | processVar(v, ctx)]
	}
	
	def processVar(XVariableDeclaration v, IEvaluationContext ctx) {
		try {
			val IEvaluationResult r = interpreter.evaluate(v, ctx, CancelIndicator.NullImpl)
			println(v.name + " = " + ctx.getValue(QualifiedName.create(v.name)))
		} catch(Exception e) {
			e.printStackTrace
		}
		
	}
	
	
	

	
}