public bool TryMakeConversion(Expression valueExpression, out Expression expression, bool checkedConversion) { if (valueExpression == null) { throw new ArgumentNullException("valueExpression"); } expression = null; var method = this.member as MethodInfo; if (method == null) { return(false); } var valueType = TypeDescription.GetTypeDescription(valueExpression.Type); var resultType = TypeDescription.GetTypeDescription(method.ReturnType); var liftedConversion = valueType.IsNullable; if (resultType.CanBeNull == false) { resultType = liftedConversion ? resultType.GetNullableType() : resultType; } expression = checkedConversion ? Expression.ConvertChecked(valueExpression, resultType, method) : Expression.Convert(valueExpression, resultType, method); return(true); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } boundExpression = null; bindingError = null; var typeName = node.GetTypeName(throwOnError: true); var type = default(Type); if (bindingContext.TryResolveType(typeName, out type) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVETYPE, typeName), node); return(false); } var typeDescription = TypeDescription.GetTypeDescription(type); boundExpression = typeDescription.DefaultExpression; return(true); }
private static bool TryBindToMethod(SyntaxTreeNode node, object methodName, ArgumentsTree arguments, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { boundExpression = null; bindingError = null; var constructorDescription = default(MemberDescription); if (bindingContext.TryResolveMember(methodName, out constructorDescription) == false || constructorDescription.IsConstructor == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOBINDCONSTRUCTOR, methodName), node); return(false); } var typeDescription = TypeDescription.GetTypeDescription(constructorDescription.DeclaringType); // feature: lambda building via new Func() var lambdaArgument = default(SyntaxTreeNode); if (typeDescription.IsDelegate && arguments.Count == 1 && (lambdaArgument = arguments.Values.Single()).GetExpressionType(throwOnError: true) == Constants.EXPRESSION_TYPE_LAMBDA) { return(LambdaBinder.TryBind(lambdaArgument, bindingContext, typeDescription, out boundExpression, out bindingError)); } var constructorQuality = MemberDescription.QUALITY_INCOMPATIBLE; if (constructorDescription.TryMakeCall(null, arguments, bindingContext, out boundExpression, out constructorQuality)) { return(true); } bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOBINDCONSTRUCTOR, constructorDescription.DeclaringType), node); return(false); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } if (TryBindMethodCall(node, bindingContext, expectedType, out boundExpression, out bindingError)) { return(true); } var targetNode = node.GetExpression(throwOnError: true); var arguments = node.GetArguments(throwOnError: false); var target = default(Expression); if (AnyBinder.TryBind(targetNode, bindingContext, TypeDescription.ObjectType, out target, out bindingError) == false) { return(false); } Debug.Assert(target != null, "target != null"); var typeDescription = TypeDescription.GetTypeDescription(target.Type); if (typeDescription.IsDelegate == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOINVOKENONDELEG, target.Type), node); return(false); } var methodDescription = typeDescription.GetMembers(Constants.DELEGATE_INVOKE_NAME).FirstOrDefault(m => m.IsMethod && !m.IsStatic); if (methodDescription == null) { throw new MissingMethodException(string.Format(Properties.Resources.EXCEPTION_BIND_MISSINGMETHOD, target.Type.FullName, Constants.DELEGATE_INVOKE_NAME)); } var expressionQuality = 0.0f; if (methodDescription.TryMakeCall(target, arguments, bindingContext, out boundExpression, out expressionQuality) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOBINDDELEG, target.Type, methodDescription), node); return(false); } return(true); }
private static bool TryBindToType(SyntaxTreeNode node, object typeName, ArgumentsTree arguments, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { boundExpression = null; bindingError = null; var type = default(Type); if (bindingContext.TryResolveType(typeName, out type) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVETYPE, typeName), node); return(false); } var typeDescription = TypeDescription.GetTypeDescription(type); // feature: lambda building via new Func() var lambdaArgument = default(SyntaxTreeNode); if (typeDescription.IsDelegate && arguments.Count == 1 && (lambdaArgument = arguments.Values.Single()).GetExpressionType(throwOnError: true) == Constants.EXPRESSION_TYPE_LAMBDA) { return(LambdaBinder.TryBind(lambdaArgument, bindingContext, typeDescription, out boundExpression, out bindingError)); } var selectedConstructorQuality = MemberDescription.QUALITY_INCOMPATIBLE; foreach (var constructorDescription in typeDescription.Constructors) { var constructorQuality = MemberDescription.QUALITY_INCOMPATIBLE; var constructorCall = default(Expression); if (constructorDescription.TryMakeCall(null, arguments, bindingContext, out constructorCall, out constructorQuality) == false) { continue; } if (float.IsNaN(constructorQuality) || constructorQuality <= selectedConstructorQuality) { continue; } boundExpression = constructorCall; selectedConstructorQuality = constructorQuality; if (Math.Abs(constructorQuality - MemberDescription.QUALITY_EXACT_MATCH) < float.Epsilon) { break; // best match } } if (boundExpression == null) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOBINDCONSTRUCTOR, type), node); return(false); } return(true); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } bindingError = null; boundExpression = null; var test = node.GetTestExpression(throwOnError: true); var ifTrue = node.GetIfTrueExpression(throwOnError: true); var ifFalse = node.GetIfFalseExpression(throwOnError: true); var testExpression = default(Expression); var ifTrueBranch = default(Expression); var ifFalseBranch = default(Expression); if (AnyBinder.TryBindInNewScope(test, bindingContext, TypeDescription.GetTypeDescription(typeof(bool)), out testExpression, out bindingError) == false) { return(false); } if (AnyBinder.TryBindInNewScope(ifTrue, bindingContext, TypeDescription.ObjectType, out ifTrueBranch, out bindingError) == false) { return(false); } if (AnyBinder.TryBindInNewScope(ifFalse, bindingContext, TypeDescription.ObjectType, out ifFalseBranch, out bindingError) == false) { return(false); } Debug.Assert(testExpression != null, "testExpression != null"); Debug.Assert(ifTrueBranch != null, "ifTrueBranch != null"); Debug.Assert(ifFalseBranch != null, "ifFalseBranch != null"); if (ExpressionUtils.TryPromoteBinaryOperation(ref ifTrueBranch, ref ifFalseBranch, ExpressionType.Conditional, out boundExpression) == false) { if (ifTrueBranch.Type != ifFalseBranch.Type) { float quality; ExpressionUtils.TryMorphType(ref ifTrueBranch, ifFalseBranch.Type, out quality); } boundExpression = Expression.Condition(testExpression, ifTrueBranch, ifFalseBranch); } return(true); }
internal static bool TryGetListInitializers(SyntaxTreeNode listNode, BindingContext bindingContext, out ElementInit[] initializers, out Exception bindingError) { if (listNode == null) { throw new ArgumentNullException("listNode"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } bindingError = null; var initializerNodes = listNode.GetInitializers(throwOnError: true); initializers = new ElementInit[initializerNodes.Count]; for (var i = 0; i < initializers.Length; i++) { var index = Constants.GetIndexAsString(i); var initializerObj = default(object); if (initializerNodes.TryGetValue(index, out initializerObj) == false || initializerObj is SyntaxTreeNode == false) { return(false); // failed to get initializer #i } var initializerNode = (SyntaxTreeNode)initializerObj; var addMethodName = initializerNode.GetMethodName(throwOnError: true); var addMethod = default(MemberDescription); if (bindingContext.TryResolveMember(addMethodName, out addMethod) == false || addMethod.IsMethod == false) { return(false); // failed to resolve 'Add' method } var argumentNodes = initializerNode.GetArguments(throwOnError: true); var arguments = new Expression[argumentNodes.Count]; for (var p = 0; p < arguments.Length; p++) { var parameter = addMethod.GetParameter(p); var parameterType = TypeDescription.GetTypeDescription(parameter.ParameterType); var argumentNode = default(SyntaxTreeNode); if (argumentNodes.TryGetValue(p, out argumentNode) == false && argumentNodes.TryGetValue(parameter.Name, out argumentNode) == false) { return(false); // failed to find argument #p } if (AnyBinder.TryBindInNewScope(argumentNode, bindingContext, parameterType, out arguments[p], out bindingError) == false) { return(false); // failed to bind argument #p } } initializers[i] = Expression.ElementInit(addMethod, arguments); } return(true); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } boundExpression = null; bindingError = null; var typeName = node.GetTypeName(throwOnError: true); var type = default(Type); if (bindingContext.TryResolveType(typeName, out type) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVETYPE, typeName), node); return(false); } var elementType = TypeDescription.GetTypeDescription(type); var arguments = node.GetArguments(throwOnError: true); var argumentExpressions = new Expression[arguments.Count]; for (var i = 0; i < arguments.Count; i++) { var argument = default(SyntaxTreeNode); if (arguments.TryGetValue(i, out argument) == false) { bindingError = new ExpressionParserException(Properties.Resources.EXCEPTION_BOUNDEXPR_ARGSDOESNTMATCHPARAMS, node); return(false); } if (AnyBinder.TryBindInNewScope(argument, bindingContext, elementType, out argumentExpressions[i], out bindingError) == false) { return(false); } } boundExpression = Expression.NewArrayInit(type, argumentExpressions); return(true); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } boundExpression = null; bindingError = null; var target = default(Expression); var targetNode = node.GetExpression(throwOnError: false); var propertyOrFieldName = node.GetPropertyOrFieldName(throwOnError: true); var useNullPropagation = node.GetUseNullPropagation(throwOnError: false); var targetType = default(Type); var isStatic = false; if (bindingContext.TryResolveType(targetNode, out targetType)) { target = null; isStatic = true; } else if (targetNode == null) { target = bindingContext.Global; targetType = target != null ? target.Type : null; isStatic = false; switch (propertyOrFieldName) { case Constants.VALUE_NULL_STRING: boundExpression = ExpressionUtils.NullConstant; return(true); case Constants.VALUE_TRUE_STRING: boundExpression = ExpressionUtils.TrueConstant; return(true); case Constants.VALUE_FALSE_STRING: boundExpression = ExpressionUtils.TrueConstant; return(false); default: if (bindingContext.TryGetParameter(propertyOrFieldName, out boundExpression)) { return(true); } break; } } else if (AnyBinder.TryBind(targetNode, bindingContext, TypeDescription.ObjectType, out target, out bindingError)) { Debug.Assert(target != null, "target != null"); targetType = target.Type; isStatic = false; } else { target = null; targetType = null; } if (target == null && targetType == null) { if (bindingError == null) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVENAME, propertyOrFieldName), node); } return(false); } Debug.Assert(targetType != null, "type != null"); var targetTypeDescription = TypeDescription.GetTypeDescription(targetType); if (isStatic && targetTypeDescription.IsEnum) { var fieldMemberDescription = targetTypeDescription.GetMembers(propertyOrFieldName).FirstOrDefault(m => m.IsStatic); if (fieldMemberDescription == null) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVEMEMBERONTYPE, propertyOrFieldName, targetType), node); return(false); } boundExpression = fieldMemberDescription.ConstantValueExpression; } else { foreach (var member in targetTypeDescription.GetMembers(propertyOrFieldName)) { if (member.IsStatic != isStatic || member.IsPropertyOrField == false) { continue; } if (member.TryMakeAccessor(target, out boundExpression)) { break; } } } if (boundExpression == null) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVEMEMBERONTYPE, propertyOrFieldName, targetType), node); return(false); } if (useNullPropagation && isStatic) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOAPPLYNULLCONDITIONALOPERATORONTYPEREF, targetType)); return(false); } if (useNullPropagation && targetTypeDescription.CanBeNull) { bindingContext.RegisterNullPropagationTarget(target); } return(true); }
public bool TryResolveMember(object memberName, out MemberDescription member) { member = null; if (memberName is SyntaxTreeNode == false) { return(false); } var memberNode = (SyntaxTreeNode)memberName; var typeName = memberNode.GetTypeName(throwOnError: false); var type = default(Type); if (typeName == null || this.TryResolveType(typeName, out type) == false) { return(false); } var name = memberNode.GetName(throwOnError: false); var nameRef = default(TypeReference); if (name == null || TryGetTypeReference(name, out nameRef) == false) { return(false); } var genericArguments = default(Type[]); if (nameRef.IsGenericType) { genericArguments = new Type[nameRef.TypeArguments.Count]; for (var i = 0; i < genericArguments.Length; i++) { var typeArgument = nameRef.TypeArguments[i]; if (this.TryResolveType(typeArgument, out genericArguments[i]) == false) { return(false); } } } var typeDescription = TypeDescription.GetTypeDescription(type); var argumentNames = memberNode.GetArgumentNames(throwOnError: false); var members = nameRef.Name == ".ctor" ? typeDescription.Constructors : typeDescription.GetMembers(nameRef.Name); foreach (var declaredMember in members) { if ((declaredMember.IsMethod || declaredMember.IsConstructor) && argumentNames != null) { var paramsCount = declaredMember.GetParametersCount(); if (paramsCount != argumentNames.Count) { continue; } else if (paramsCount > 0) { for (var i = 0; i < paramsCount; i++) { var parameter = declaredMember.GetParameter(i); var parameterIndex = Constants.GetIndexAsString(parameter.Position); var argumentName = default(string); if (argumentNames.TryGetValue(parameterIndex, out argumentName) == false) { break; } if (string.Equals(argumentName, parameter.Name, StringComparison.OrdinalIgnoreCase) == false && string.Equals(argumentName, parameterIndex, StringComparison.OrdinalIgnoreCase) == false) { break; } if (i == paramsCount - 1) { member = declaredMember; return(TryMakeGenericMethod(ref member, genericArguments)); } } } else { member = declaredMember; return(TryMakeGenericMethod(ref member, genericArguments)); } } else if (nameRef.TypeArguments.Count == declaredMember.GenericArgumentsCount) { member = declaredMember; return(TryMakeGenericMethod(ref member, genericArguments)); } } return(false); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } boundExpression = null; bindingError = null; var expressionType = node.GetExpressionType(throwOnError: true); var left = node.GetLeftExpression(throwOnError: true); var right = node.GetRightExpression(throwOnError: true); var leftOperand = default(Expression); var rightOperand = default(Expression); if (AnyBinder.TryBindInNewScope(left, bindingContext, TypeDescription.ObjectType, out leftOperand, out bindingError) == false) { return(false); } if (AnyBinder.TryBindInNewScope(right, bindingContext, TypeDescription.ObjectType, out rightOperand, out bindingError) == false) { return(false); } Debug.Assert(leftOperand != null, "leftOperand != null"); Debug.Assert(rightOperand != null, "rightOperand != null"); switch (expressionType) { case Constants.EXPRESSION_TYPE_ADD: if (leftOperand.Type == typeof(string) || rightOperand.Type == typeof(string)) { boundExpression = Expression.Call ( StringConcat.Method, Expression.Convert(leftOperand, typeof(object)), Expression.Convert(rightOperand, typeof(object)) ); break; } else { if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Add, out boundExpression) == false) { boundExpression = Expression.Add(leftOperand, rightOperand); } break; } case Constants.EXPRESSION_TYPE_ADD_CHECKED: if (leftOperand.Type == typeof(string) || rightOperand.Type == typeof(string)) { boundExpression = Expression.Call ( StringConcat.Method, Expression.Convert(leftOperand, typeof(object)), Expression.Convert(rightOperand, typeof(object)) ); break; } else { if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.AddChecked, out boundExpression) == false) { boundExpression = Expression.AddChecked(leftOperand, rightOperand); } break; } case Constants.EXPRESSION_TYPE_SUBTRACT: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Subtract, out boundExpression) == false) { boundExpression = Expression.Subtract(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_SUBTRACT_CHECKED: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.SubtractChecked, out boundExpression) == false) { boundExpression = Expression.SubtractChecked(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_LEFTSHIFT: ExpressionUtils.TryPromoteUnaryOperation(ref leftOperand, ExpressionType.LeftShift, out boundExpression); ExpressionUtils.TryPromoteUnaryOperation(ref rightOperand, ExpressionType.LeftShift, out boundExpression); boundExpression = Expression.LeftShift(leftOperand, rightOperand); break; case Constants.EXPRESSION_TYPE_RIGHTSHIFT: ExpressionUtils.TryPromoteUnaryOperation(ref leftOperand, ExpressionType.RightShift, out boundExpression); ExpressionUtils.TryPromoteUnaryOperation(ref rightOperand, ExpressionType.RightShift, out boundExpression); boundExpression = Expression.RightShift(leftOperand, rightOperand); break; case Constants.EXPRESSION_TYPE_GREATERTHAN: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.GreaterThan, out boundExpression) == false) { boundExpression = Expression.GreaterThan(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_GREATERTHAN_OR_EQUAL: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.GreaterThanOrEqual, out boundExpression) == false) { boundExpression = Expression.GreaterThanOrEqual(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_LESSTHAN: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.LessThan, out boundExpression) == false) { boundExpression = Expression.LessThan(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_LESSTHAN_OR_EQUAL: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.LessThanOrEqual, out boundExpression) == false) { boundExpression = Expression.LessThanOrEqual(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_POWER: var resultType = TypeDescription.GetTypeDescription(leftOperand.Type); var resultTypeUnwrap = resultType.IsNullable ? resultType.UnderlyingType : resultType; if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Power, out boundExpression) == false) { var operandsType = TypeDescription.GetTypeDescription(leftOperand.Type); var operandTypeUnwrap = operandsType.IsNullable ? operandsType.UnderlyingType : operandsType; var promoteToNullable = resultType.IsNullable || operandsType.IsNullable; if (operandTypeUnwrap != typeof(double) && leftOperand.Type == rightOperand.Type) { leftOperand = Expression.ConvertChecked(leftOperand, promoteToNullable ? typeof(double?) : typeof(double)); rightOperand = Expression.ConvertChecked(rightOperand, promoteToNullable ? typeof(double?) : typeof(double)); } boundExpression = Expression.Power(leftOperand, rightOperand); if (resultType != typeof(double)) { boundExpression = Expression.ConvertChecked(boundExpression, promoteToNullable ? resultTypeUnwrap.GetNullableType() : resultTypeUnwrap); } } break; case Constants.EXPRESSION_TYPE_DIVIDE: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Divide, out boundExpression) == false) { boundExpression = Expression.Divide(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_MULTIPLY: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Multiply, out boundExpression) == false) { boundExpression = Expression.Multiply(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_MULTIPLY_CHECKED: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.MultiplyChecked, out boundExpression) == false) { boundExpression = Expression.MultiplyChecked(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_MODULO: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Modulo, out boundExpression) == false) { boundExpression = Expression.Modulo(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_EQUAL: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Equal, out boundExpression) == false) { boundExpression = Expression.Equal(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_NOTEQUAL: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.NotEqual, out boundExpression) == false) { boundExpression = Expression.NotEqual(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_AND: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.And, out boundExpression) == false) { boundExpression = Expression.And(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_OR: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Or, out boundExpression) == false) { boundExpression = Expression.Or(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_EXCLUSIVEOR: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.ExclusiveOr, out boundExpression) == false) { boundExpression = Expression.ExclusiveOr(leftOperand, rightOperand); } break; case Constants.EXPRESSION_TYPE_ANDALSO: boundExpression = Expression.AndAlso(leftOperand, rightOperand); break; case Constants.EXPRESSION_TYPE_ORELSE: boundExpression = Expression.OrElse(leftOperand, rightOperand); break; case Constants.EXPRESSION_TYPE_COALESCE: if (ExpressionUtils.TryPromoteBinaryOperation(ref leftOperand, ref rightOperand, ExpressionType.Coalesce, out boundExpression) == false) { boundExpression = Expression.Coalesce(leftOperand, rightOperand); } break; default: bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNKNOWNEXPRTYPE, expressionType), node); return(false); } return(true); }
public bool TryMakeCall(Expression target, ArgumentsTree argumentsTree, BindingContext bindingContext, out Expression expression, out float expressionQuality) { if (argumentsTree == null) { throw new ArgumentNullException("argumentsTree"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (!this.IsStatic && !this.IsConstructor && target == null) { throw new ArgumentNullException("target"); } expression = null; expressionQuality = QUALITY_INCOMPATIBLE; if (this.parameters == null) // not a method, constructor, indexer { return(false); } // check argument count if (argumentsTree.Count > this.parameters.Length) { return(false); // not all arguments are bound to parameters } var requiredParametersCount = this.parameters.Length - this.parameters.Count(p => p.IsOptional); if (argumentsTree.Count < requiredParametersCount) { return(false); // not all required parameters has values } // bind arguments var parametersQuality = 0.0f; var arguments = default(Expression[]); foreach (var argumentName in argumentsTree.Keys) { var parameter = default(ParameterInfo); var parameterIndex = 0; if (HasDigitsOnly(argumentName)) { parameterIndex = int.Parse(argumentName, Constants.DefaultFormatProvider); if (parameterIndex >= this.parameters.Length) { return(false); // position out of range } parameter = this.parameters[parameterIndex]; if (argumentsTree.ContainsKey(parameter.Name)) { return(false); // positional intersects named } } else { if (this.parametersByName.TryGetValue(argumentName, out parameter) == false) { return(false); // parameter is not found } parameterIndex = parameter.Position; } var expectedType = TypeDescription.GetTypeDescription(parameter.ParameterType); var argValue = default(Expression); var bindingError = default(Exception); if (AnyBinder.TryBindInNewScope(argumentsTree[argumentName], bindingContext, expectedType, out argValue, out bindingError) == false) { return(false); } Debug.Assert(argValue != null, "argValue != null"); var quality = 0.0f; if (ExpressionUtils.TryMorphType(ref argValue, expectedType, out quality) == false || quality <= 0) { return(false); // failed to bind parameter } parametersQuality += quality; // casted if (arguments == null) { arguments = new Expression[this.parameters.Length]; } arguments[parameterIndex] = argValue; } if (this.parameters.Length > 0) { if (arguments == null) { arguments = new Expression[this.parameters.Length]; } for (var i = 0; i < arguments.Length; i++) { if (arguments[i] != null) { continue; } var parameter = this.parameters[i]; if (parameter.IsOptional == false) { return(false); // missing required parameter } var typeDescription = TypeDescription.GetTypeDescription(parameter.ParameterType); arguments[i] = typeDescription.DefaultExpression; parametersQuality += TypeConversion.QUALITY_SAME_TYPE; } expressionQuality = parametersQuality / this.parameters.Length; } else { expressionQuality = QUALITY_EXACT_MATCH; } if (this.member is MethodInfo) { if (this.IsStatic) { expression = Expression.Call(this, arguments); } else if (this.Name == Constants.DELEGATE_INVOKE_NAME && this.DeclaringType.IsDelegate) { expression = Expression.Invoke(target, arguments); } else { expression = Expression.Call(target, this, arguments); } return(true); } else if (this.member is ConstructorInfo) { expression = Expression.New((ConstructorInfo)this.member, arguments); return(true); } else if (this.member is PropertyInfo) { if (this.IsStatic) { expression = Expression.Call(this, arguments); } else { expression = Expression.Call(target, this, arguments); } return(true); } expressionQuality = QUALITY_INCOMPATIBLE; return(false); }
public static bool TryBindMethodCall(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } // bindingError could return null from this method bindingError = null; boundExpression = null; var methodNameNode = node.GetExpression(throwOnError: true); var methodNameNodeType = methodNameNode.GetExpressionType(throwOnError: true); if (methodNameNodeType != Constants.EXPRESSION_TYPE_PROPERTY_OR_FIELD && methodNameNodeType != Constants.EXPRESSION_TYPE_MEMBER_RESOLVE) { return(false); } var methodTargetNode = methodNameNode.GetExpression(throwOnError: false); var methodTarget = default(Expression); var type = default(Type); var typeReference = default(TypeReference); var isStatic = false; if (methodTargetNode == null && bindingContext.Global != null) { methodTarget = bindingContext.Global; type = methodTarget.Type; isStatic = false; } else if (methodTargetNode == null) { var methodName = methodNameNode.GetMemberName(throwOnError: false); bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVENAME, methodName ?? "<unknown>"), node); return(false); } else if (BindingContext.TryGetTypeReference(methodTargetNode, out typeReference) && bindingContext.TryResolveType(typeReference, out type)) { isStatic = true; } else if (AnyBinder.TryBind(methodTargetNode, bindingContext, TypeDescription.ObjectType, out methodTarget, out bindingError)) { Debug.Assert(methodTarget != null, "methodTarget != null"); isStatic = false; type = methodTarget.Type; } else { if (typeReference != null && bindingError == null) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVETYPE, typeReference), node); } return(false); } var methodRef = default(TypeReference); if (type == null || BindingContext.TryGetMethodReference(methodNameNode, out methodRef) == false) { return(false); } var typeDescription = TypeDescription.GetTypeDescription(type); foreach (var member in typeDescription.GetMembers(methodRef.Name)) { if (member.IsMethod == false || member.IsStatic != isStatic) { continue; } var callNode = new SyntaxTreeNode(new Dictionary <string, object> { { Constants.EXPRESSION_ATTRIBUTE, methodTarget ?? (object)type }, { Constants.ARGUMENTS_ATTRIBUTE, node.GetValueOrDefault(Constants.ARGUMENTS_ATTRIBUTE, default(object)) }, { Constants.METHOD_ATTRIBUTE, methodRef }, { Constants.USE_NULL_PROPAGATION_ATTRIBUTE, methodNameNode.GetValueOrDefault(Constants.USE_NULL_PROPAGATION_ATTRIBUTE, default(object)) }, { Constants.EXPRESSION_POSITION, methodNameNode.GetPosition(throwOnError: false) } }); return(CallBinder.TryBind(callNode, bindingContext, expectedType, out boundExpression, out bindingError)); } return(false); }
private static bool TryGetBinding(object bindingNode, BindingContext bindingContext, out MemberBinding memberBinding, out Exception bindingError) { bindingError = null; memberBinding = null; var bindingNodeTree = bindingNode as SyntaxTreeNode; if (bindingNodeTree == null) { return(false); } var bindingType = (string)bindingNodeTree.GetTypeName(throwOnError: true); var memberObj = bindingNodeTree.GetMember(throwOnError: true); var member = default(MemberDescription); if (bindingContext.TryResolveMember(memberObj, out member) == false) { return(false); } var memberValueType = TypeDescription.GetTypeDescription(member.ResultType); // ReSharper disable once SwitchStatementMissingSomeCases switch (bindingType) { case "Assignment": var expressionNode = bindingNodeTree.GetExpression(throwOnError: true); var expression = default(Expression); if (AnyBinder.TryBindInNewScope(expressionNode, bindingContext, memberValueType, out expression, out bindingError) == false) { return(false); // file to bind member's value } if (member.IsMethod) { memberBinding = Expression.Bind((MethodInfo)member, expression); } else { memberBinding = Expression.Bind((MemberInfo)member, expression); } return(true); case "MemberBinding": var bindings = default(MemberBinding[]); if (TryGetBindings(bindingNodeTree, bindingContext, out bindings, out bindingError) == false) { return(false); // failed to resolve bindings } if (member.IsMethod) { memberBinding = Expression.MemberBind((MethodInfo)member, bindings); } else { memberBinding = Expression.MemberBind((MemberInfo)member, bindings); } return(true); case "ListBinding": var initializers = default(ElementInit[]); if (ListInitBinder.TryGetListInitializers(bindingNodeTree, bindingContext, out initializers, out bindingError) == false) { return(false); // failed to resolve list initializers } if (member.IsMethod) { memberBinding = Expression.ListBind((MethodInfo)member, initializers); } else { memberBinding = Expression.ListBind((MemberInfo)member, initializers); } return(true); } return(false); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } boundExpression = null; bindingError = null; var target = default(Expression); var arguments = node.GetArguments(throwOnError: false); var methodName = node.GetMethodName(throwOnError: true); var useNullPropagation = node.GetUseNullPropagation(throwOnError: false); var methodMember = default(MemberDescription); if (bindingContext.TryResolveMember(methodName, out methodMember)) { if (methodMember.IsMethod == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_CALLMEMBERISNOTMETHOD, methodMember.Name, methodMember.DeclaringType), node); return(false); } var targetNode = node.GetExpression(throwOnError: true); if (AnyBinder.TryBind(targetNode, bindingContext, TypeDescription.ObjectType, out target, out bindingError) == false) { return(false); } float methodQuality; if (methodMember.TryMakeCall(target, arguments, bindingContext, out boundExpression, out methodQuality) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOBINDMETHOD, methodMember.Name, target.Type, arguments.Count), node); return(false); } return(true); } var methodRef = default(TypeReference); if (BindingContext.TryGetMethodReference(methodName, out methodRef) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVENAME, methodName), node); return(false); } var targetType = default(Type); if (TryBindTarget(node, bindingContext, out target, out targetType, out bindingError) == false) { return(false); } var isStatic = target == null; var selectedMethodQuality = MemberDescription.QUALITY_INCOMPATIBLE; var hasGenericParameters = methodRef.IsGenericType; var genericArguments = default(Type[]); if (hasGenericParameters) { genericArguments = new Type[methodRef.TypeArguments.Count]; for (var i = 0; i < genericArguments.Length; i++) { var typeArgument = methodRef.TypeArguments[i]; if (bindingContext.TryResolveType(typeArgument, out genericArguments[i]) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVETYPE, typeArgument), node); return(false); } } } var targetTypeDescription = TypeDescription.GetTypeDescription(targetType); var foundMethod = default(MethodInfo); foreach (var memberDescription in targetTypeDescription.GetMembers(methodRef.Name)) { if (memberDescription.IsMethod == false) { continue; } var methodDescription = memberDescription; var method = (MethodInfo)memberDescription; foundMethod = foundMethod ?? method; if (method.IsStatic != isStatic || method.IsGenericMethod != hasGenericParameters) { continue; } if (hasGenericParameters && memberDescription.GenericArgumentsCount != methodRef.TypeArguments.Count) { continue; } if (hasGenericParameters) { try { methodDescription = methodDescription.MakeGenericMethod(genericArguments); method = methodDescription; } catch (ArgumentException exception) { bindingError = exception; continue; /* An element of typeArguments does not satisfy the constraints specified for the corresponding type parameter of the current generic method definition. */ } } var methodQuality = 0.0f; var methodCallExpression = default(Expression); if (methodDescription.TryMakeCall(target, arguments, bindingContext, out methodCallExpression, out methodQuality) == false) { continue; } if (float.IsNaN(methodQuality) || methodQuality <= selectedMethodQuality) { continue; } boundExpression = methodCallExpression; selectedMethodQuality = methodQuality; if (Math.Abs(methodQuality - MemberDescription.QUALITY_EXACT_MATCH) < float.Epsilon) { break; // best match } } if (bindingError != null) { return(false); } if (boundExpression == null) { if (foundMethod != null) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOBINDMETHOD, methodRef.Name, targetType, arguments.Count), node); } else { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOBINDCALL, methodRef.Name, targetType, arguments.Count), node); } return(false); } if (useNullPropagation && target == null) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETOAPPLYNULLCONDITIONALOPERATORONTYPEREF, targetType)); return(false); } if (useNullPropagation && targetTypeDescription.CanBeNull) { bindingContext.RegisterNullPropagationTarget(target); } if (targetTypeDescription.IsAssignableFrom(typeof(Type)) && bindingContext.IsKnownType(typeof(Type)) == false && (bindingContext.IsKnownType(targetType) == false || methodRef.Name.Equals("InvokeMember", StringComparison.Ordinal))) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_RESTRICTED_MEMBER_INVOCATION, methodName, targetType, typeof(ITypeResolver)), node); return(false); } return(true); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { if (node == null) { throw new ArgumentNullException("node"); } if (bindingContext == null) { throw new ArgumentNullException("bindingContext"); } if (expectedType == null) { throw new ArgumentNullException("expectedType"); } boundExpression = null; bindingError = null; // try get type of lambda from node var lambdaTypeName = node.GetTypeName(throwOnError: false); var lambdaType = default(Type); if (lambdaTypeName != null) { if (bindingContext.TryResolveType(lambdaTypeName, out lambdaType) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_UNABLETORESOLVETYPE, lambdaTypeName), node); return(false); } else { expectedType = TypeDescription.GetTypeDescription(lambdaType); } } if (expectedType.HasGenericParameters || !expectedType.IsDelegate) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_VALIDDELEGATETYPEISEXPECTED, expectedType.ToString())); return(false); } var expressionType = node.GetExpressionType(throwOnError: true); var bodyNode = node.GetExpression(throwOnError: true); var argumentsTree = node.GetArguments(throwOnError: false); var lambdaInvokeMethod = expectedType.GetMembers(Constants.DELEGATE_INVOKE_NAME).FirstOrDefault(m => m.IsMethod && !m.IsStatic); if (lambdaInvokeMethod == null) { bindingError = new MissingMethodException(string.Format(Resources.EXCEPTION_BIND_MISSINGMETHOD, expectedType.ToString(), Constants.DELEGATE_INVOKE_NAME)); return(false); } if (lambdaInvokeMethod.GetParametersCount() != argumentsTree.Count) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_INVALIDLAMBDAARGUMENTS, expectedType)); return(false); } var argumentNames = new string[argumentsTree.Count]; for (var i = 0; i < argumentNames.Length; i++) { var argumentNameTree = default(SyntaxTreeNode); var argumentNameTreeType = default(string); if (argumentsTree.TryGetValue(i, out argumentNameTree) == false || argumentNameTree == null || (argumentNameTreeType = argumentNameTree.GetExpressionType(throwOnError: true)) == null || (argumentNameTreeType == Constants.EXPRESSION_TYPE_PROPERTY_OR_FIELD || argumentNameTreeType == Constants.EXPRESSION_TYPE_MEMBER_RESOLVE || argumentNameTreeType == Constants.EXPRESSION_TYPE_PARAMETER) == false) { bindingError = new ExpressionParserException(string.Format(Properties.Resources.EXCEPTION_BIND_MISSINGATTRONNODE, Constants.EXPRESSION_ATTRIBUTE, expressionType), node); return(false); } argumentNames[i] = argumentNameTree.GetMemberName(throwOnError: true); } var lambdaParameters = new ParameterExpression[argumentsTree.Count]; for (var i = 0; i < argumentsTree.Count; i++) { lambdaParameters[i] = Expression.Parameter(lambdaInvokeMethod.GetParameter(i).ParameterType, argumentNames[i]); } var currentParameters = bindingContext.Parameters; var newParameters = new List <ParameterExpression>(lambdaParameters.Length + currentParameters.Count); // add all lambda's parameters newParameters.AddRange(lambdaParameters); // add closure parameters foreach (var parameterExpr in currentParameters) { if (Array.IndexOf(argumentNames, parameterExpr.Name) < 0) { newParameters.Add(parameterExpr); } } var nestedBindingContext = bindingContext.CreateNestedContext(newParameters.AsReadOnly(), lambdaInvokeMethod.ResultType); var body = default(Expression); if (AnyBinder.TryBindInNewScope(bodyNode, nestedBindingContext, TypeDescription.GetTypeDescription(lambdaInvokeMethod.ResultType), out body, out bindingError) == false) { return(false); } Debug.Assert(body != null, "body != null"); boundExpression = Expression.Lambda(expectedType, body, lambdaParameters); return(true); }
public static bool TryBind(SyntaxTreeNode node, BindingContext bindingContext, TypeDescription expectedType, out Expression boundExpression, out Exception bindingError) { boundExpression = null; bindingError = null; var useNullPropagation = node.GetUseNullPropagation(throwOnError: false); var arguments = node.GetArguments(throwOnError: true); var targetNode = node.GetExpression(throwOnError: true); var target = default(Expression); if (AnyBinder.TryBind(targetNode, bindingContext, TypeDescription.ObjectType, out target, out bindingError) == false) { return(false); } Debug.Assert(target != null, "target != null"); var targetTypeDescription = TypeDescription.GetTypeDescription(target.Type); if (target.Type.IsArray) { var indexType = TypeDescription.Int32Type; var indexingExpressions = new Expression[arguments.Count]; for (var i = 0; i < indexingExpressions.Length; i++) { var argument = default(SyntaxTreeNode); if (arguments.TryGetValue(i, out argument) == false) { bindingError = new ExpressionParserException(string.Format(Resources.EXCEPTION_BIND_MISSINGMETHODPARAMETER, i), node); return(false); } if (AnyBinder.TryBindInNewScope(argument, bindingContext, indexType, out indexingExpressions[i], out bindingError) == false) { return(false); } Debug.Assert(indexingExpressions[i] != null, "indexingExpressions[i] != null"); } try { if (indexingExpressions.Length == 1) { boundExpression = Expression.ArrayIndex(target, indexingExpressions[0]); } else { boundExpression = Expression.ArrayIndex(target, indexingExpressions); } } catch (Exception exception) { bindingError = new ExpressionParserException(exception.Message, exception, node); return(false); } } else { var selectedIndexerQuality = MemberDescription.QUALITY_INCOMPATIBLE; foreach (var indexer in targetTypeDescription.Indexers) { var indexerQuality = MemberDescription.QUALITY_INCOMPATIBLE; var indexerCall = default(Expression); if (indexer.TryMakeCall(target, arguments, bindingContext, out indexerCall, out indexerQuality) == false) { continue; } if (indexerQuality <= selectedIndexerQuality) { continue; } boundExpression = indexerCall; selectedIndexerQuality = indexerQuality; } } if (boundExpression == null) { bindingError = new ExpressionParserException(string.Format(Resources.EXCEPTION_BIND_UNABLETOBINDINDEXER, target.Type), node); return(false); } if (useNullPropagation && targetTypeDescription.CanBeNull) { bindingContext.RegisterNullPropagationTarget(target); } return(true); }