public override SemanticCheckResult VisitDynamicMethodCall(ASTDynamicMethodCallNode MethodCall) { var onResult = MethodCall.InvokeOnExpresion.Accept(this); MethodCall.SemanticCheckResult.Ensure(onResult); var isdef = CompilationUnit.MethodEnvironment.GetMethodIfDef(onResult.Type, MethodCall.MethodName, out var method); MethodCall.SemanticCheckResult.Ensure(isdef, new Lazy <Error>(() => new Error($"Missing declaration for method {MethodCall.MethodName}.", ErrorKind.MethodError, MethodCall.Method.Line, MethodCall.Method.Column))); if (isdef) { MethodCall.SemanticCheckResult.Ensure(method.EnsureParametersCount(MethodCall.Arguments.Length), new Lazy <Error>(() => new Error($"Mismatch parameters and argument count. Expected {method.CountParams} and provided {MethodCall.Arguments.Length}", ErrorKind.MethodError, MethodCall.Method.Line, MethodCall.Method.Column))); for (int i = 0; i < MethodCall.Arguments.Length; i++) { var r = MethodCall.Arguments[i].Accept(this); MethodCall.SemanticCheckResult.Ensure(r, r.Type.IsIt(method.GetParam(i)), new Lazy <Error>(() => new Error($"Paremeter {i} type mismatch. Type {r.Type} does not inherit from type {method.GetParam(i)}.", ErrorKind.TypeError, MethodCall.Method.Line, MethodCall.Method.Column))); } var returntype = (method.ReturnType is SelfType) ? onResult.Type : method.ReturnType; MethodCall.SemanticCheckResult.EnsureReturnType(returntype); } return(MethodCall.SemanticCheckResult); }
public ASTCILNode VisitDynamicMethodCall(ASTDynamicMethodCallNode MethodCall) { var type = MethodCall.InvokeOnExpresion.SemanticCheckResult.Type; if (type is SelfType self) { type = self.ContextType; } var invoke = (ASTCILExpressionNode)MethodCall.InvokeOnExpresion.Accept(this); ASTCILExpressionNode invokeOn = invoke; if (MethodCall.InvokeOnExpresion.SemanticCheckResult.Type == compilationUnit.TypeEnvironment.Int || MethodCall.InvokeOnExpresion.SemanticCheckResult.Type == compilationUnit.TypeEnvironment.Bool) { invokeOn = new ASTCILBoxingNode(invoke, MethodCall.InvokeOnExpresion.SemanticCheckResult.Type); } var args = new[] { invokeOn } .Concat(MethodCall.Arguments.Select((param, i) => { var exp = (ASTCILExpressionNode)param.Accept(this); ASTCILExpressionNode arg = exp; var coolMethod = compilationUnit.MethodEnvironment.GetMethod(type, MethodCall.MethodName); if (coolMethod.GetParam(i) == compilationUnit.TypeEnvironment.Object && (param.SemanticCheckResult.Type == compilationUnit.TypeEnvironment.Int || param.SemanticCheckResult.Type == compilationUnit.TypeEnvironment.Bool)) { arg = new ASTCILBoxingNode(exp, param.SemanticCheckResult.Type); } return(arg); })); return(new ASTCILFuncVirtualCallNode(type, MethodCall.MethodName, args)); }
public virtual T VisitDynamicMethodCall(ASTDynamicMethodCallNode MethodCall) { MethodCall.InvokeOnExpresion.Accept(this); foreach (var item in MethodCall.Arguments) { item.Accept(this); } return(default(T)); }