Model:
	calls+=ServiceCall*;
	
ServiceCall:
'call' type=JvmTypeReference method=XRestrictedFeatureCall;

XRestrictedFeatureCall returns xbase::XExpression:
	{xbase::XFeatureCall}
	('<' typeArguments+=JvmArgumentTypeReference (',' typeArguments+=JvmArgumentTypeReference)* '>')? 
	feature=[types::JvmIdentifiableElement|IdOrSuper] 
	(=>explicitOperationCall?='(' 
		(
		    featureCallArguments+=XShortClosure
		  |	featureCallArguments+=XExpression (',' featureCallArguments+=XExpression)*
		)? 
	')');

def dispatch void infer(Model element, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {
		acceptor.accept(element.toClass("demo.Demo")) [
			var i = 0;
			for (call : element.calls) {
				i = i + 1
				members += call.toField("field"+i, call.type.cloneWithProxies) [
					annotations += Inject.annotationRef()
				]
				
				val m1 = call.toMethod("executeIntern"+i, inferredType) [
					visibility = JvmVisibility.PRIVATE
					parameters+=call.toParameter("it", call.type.cloneWithProxies) => [
						
					]
					body = call.method
				]
				members += m1
				
				val ifinal = i
				members += call.toMethod("execute"+i, call.method.inferredType) [
					body = '''
					«IF m1.returnType.qualifiedName != Void.TYPE.typeRef.qualifiedName»return «ENDIF»executeIntern«ifinal»(field«ifinal»);'''
				]
			}
		]
	}