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

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

DomainModel:
	importSection=XImportSection?
	features+=Feature*;
	


Feature:
	Property | Operation;

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

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

class DomainmodelJvmModelInferrer extends AbstractModelInferrer {
	
	@Inject extension JvmTypesBuilder
	@Inject extension IQualifiedNameProvider

	def dispatch infer(DomainModel model, IJvmDeclaredTypeAcceptor acceptor, boolean prelinkingPhase) {
		val name = model.eResource.URI.trimFileExtension.lastSegment.toFirstUpper
		acceptor.accept(
			model.toClass( name)
		).initializeLater [
			
			
			val fields = <JvmField>newArrayList()
			for ( f : model.features ) {
				switch f {
			
					Property : {
						val field = f.toField(f.name, f.type)
						field.static = true
						fields += field
						members += field
						
					}
			
					Operation : {
						members += f.toMethod(f.name, f.type ?: inferredType) [
							documentation = f.documentation
							static = true
							for (p : f.params) {
								parameters += p.toParameter(p.name, p.parameterType)
							}
							body = f.body
						]
					}
				}
			}
			
		]
	}
	
}

import "http://www.eclipse.org/xtext/xbase/Xbase" as xbase


Model:
	imports = XImportSection?
	elements+=Elementi* 
	body = XBlockExpressionWithoutBraces
;


Elementi:
	Function | Variabili
;

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

Variabili:
	type = JvmTypeReference name = ID ';'
;

XBlockExpressionWithoutBraces returns xbase::XExpression:
	{xbase::XBlockExpression}
		(expressions+=XExpressionOrVarDeclaration ';'?)*
;

def dispatch void infer(Model model, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {
   		acceptor.accept(
   			model.toClass("pippo")
   		).initializeLater [
   				
   				//Variabili   				
   				for(elem : model.elements){
   					switch(elem)
   					{
   						Function:{
   							members += elem.toMethod(elem.name, elem.type ?: inferredType) [
								for (p : elem.params) {
									parameters += p.toParameter(p.name, p.parameterType)
								}							
								body = elem.body
							]
   						}
   						
   						Variabili:{
   							members += model.toField(elem.name, elem.type);
		   					members += model.toGetter(elem.name, elem.type);
		   					members += model.toSetter(elem.name, elem.type); 
   						}	
   						
   					}					
   				}
   				
   				members += model.toMethod("main", model.newTypeRef(Void::TYPE)) [   					
        			parameters += model.toParameter("args", model.newTypeRef(typeof(String)).addArrayTypeDimension)
    				setStatic(true)
   					body = model.body   					
   					]
   				]
   	}

Model:
	imports = XImportSection?
	(elements+=Elementi*) | 
	(body = XBlockExpressionWithoutBraces)
;