Elementi:
	Function | Variabili
;

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

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

@Check(CheckType.NORMAL)
	def void checkIfMainExist(Model function) {
		var found = false
		 
		for(elem : function.elements){
				switch(elem)
				{
					Function:{
						if(elem.name == "main")
						{
							found = true;												
						}						
					}			
				}
		}
		if(!found)
		{
			warning('Method Main is not defined', DomainmodelPackage$Literals::ELEMENTI__NAME);			
		}
	}