Expression.AddChecked Method

Definition

Namespace:

System.Linq.Expressions

Assembly:

System.Linq.Expressions.dll

Creates a BinaryExpression that represents an arithmetic addition operation that has overflow checking.

Overloads

AddChecked(Expression, Expression)	Creates a BinaryExpression that represents an arithmetic addition operation that has overflow checking.
AddChecked(Expression, Expression, MethodInfo)	Creates a BinaryExpression that represents an arithmetic addition operation that has overflow checking. The implementing method can be specified.

AddChecked(Expression, Expression)

Source:

BinaryExpression.cs

Creates a BinaryExpression that represents an arithmetic addition operation that has overflow checking.

public:
 static System::Linq::Expressions::BinaryExpression ^ AddChecked(System::Linq::Expressions::Expression ^ left, System::Linq::Expressions::Expression ^ right);

public static System.Linq.Expressions.BinaryExpression AddChecked (System.Linq.Expressions.Expression left, System.Linq.Expressions.Expression right);

static member AddChecked : System.Linq.Expressions.Expression * System.Linq.Expressions.Expression -> System.Linq.Expressions.BinaryExpression

Public Shared Function AddChecked (left As Expression, right As Expression) As BinaryExpression

Parameters

left

Expression

A Expression to set the Left property equal to.

right

Expression

A Expression to set the Right property equal to.

Returns

BinaryExpression

A BinaryExpression that has the NodeType property equal to AddChecked and the Left and Right properties set to the specified values.

Exceptions

ArgumentNullException

left or right is null.

InvalidOperationException

The addition operator is not defined for left.Type and right.Type.

Remarks

The resulting BinaryExpression has the Method property set to the implementing method. The Type property is set to the type of the node. If the node is lifted, the IsLifted and IsLiftedToNull properties are both true. Otherwise, they are false. The Conversion property is null.

The following information describes the implementing method, the node type, and whether a node is lifted.

Implementing Method

The following rules determine the implementing method for the operation:

• If the Type property of either left or right represents a user-defined type that overloads the addition operator, the MethodInfo that represents that method is the implementing method.

• Otherwise, if left.Type and right.Type are numeric types, the implementing method is null.

Node Type and Lifted versus Non-Lifted

If the implementing method is not null:

• If left.Type and right.Type are assignable to the corresponding argument types of the implementing method, the node is not lifted. The type of the node is the return type of the implementing method.

• If the following two conditions are satisfied, the node is lifted and the type of the node is the nullable type that corresponds to the return type of the implementing method:

  • left.Type and right.Type are both value types of which at least one is nullable and the corresponding non-nullable types are equal to the corresponding argument types of the implementing method.

  • The return type of the implementing method is a non-nullable value type.

If the implementing method is null:

• If left.Type and right.Type are both non-nullable, the node is not lifted. The type of the node is the result type of the predefined addition operator.

• If left.Type and right.Type are both nullable, the node is lifted. The type of the node is the nullable type that corresponds to the result type of the predefined addition operator.

AddChecked(Expression, Expression, MethodInfo)

Source:

BinaryExpression.cs

Creates a BinaryExpression that represents an arithmetic addition operation that has overflow checking. The implementing method can be specified.

public:
 static System::Linq::Expressions::BinaryExpression ^ AddChecked(System::Linq::Expressions::Expression ^ left, System::Linq::Expressions::Expression ^ right, System::Reflection::MethodInfo ^ method);

public static System.Linq.Expressions.BinaryExpression AddChecked (System.Linq.Expressions.Expression left, System.Linq.Expressions.Expression right, System.Reflection.MethodInfo? method);

static member AddChecked : System.Linq.Expressions.Expression * System.Linq.Expressions.Expression * System.Reflection.MethodInfo -> System.Linq.Expressions.BinaryExpression

Public Shared Function AddChecked (left As Expression, right As Expression, method As MethodInfo) As BinaryExpression

Parameters

left

Expression

A Expression to set the Left property equal to.

right

Expression

A Expression to set the Right property equal to.

method

MethodInfo

A MethodInfo to set the Method property equal to.

Returns

BinaryExpression

A BinaryExpression that has the NodeType property equal to AddChecked and the Left, Right and Method properties set to the specified values.

Exceptions

ArgumentNullException

left or right is null.

ArgumentException

method is not null and the method it represents returns void, is not static (Shared in Visual Basic), or does not take exactly two arguments.

InvalidOperationException

method is null and the addition operator is not defined for left.Type and right.Type.

Remarks

The resulting BinaryExpression has the Method property set to the implementing method. The Type property is set to the type of the node. If the node is lifted, the IsLifted and IsLiftedToNull properties are both true. Otherwise, they are false. The Conversion property is null.

The following information describes the implementing method, the node type, and whether a node is lifted.

Implementing Method

The implementing method for the operation is chosen based on the following rules:

• If method is not null and it represents a non-void, static (Shared in Visual Basic) method that takes two arguments, it is the implementing method for the node.

• Otherwise, if the Type property of either left or right represents a user-defined type that overloads the addition operator, the MethodInfo that represents that method is the implementing method.

• Otherwise, if left.Type and right.Type are numeric types, the implementing method is null.

Node Type and Lifted versus Non-Lifted

If the implementing method is not null:

• If left.Type and right.Type are assignable to the corresponding argument types of the implementing method, the node is not lifted. The type of the node is the return type of the implementing method.

• If the following two conditions are satisfied, the node is lifted and the type of the node is the nullable type that corresponds to the return type of the implementing method:

  • left.Type and right.Type are both value types of which at least one is nullable and the corresponding non-nullable types are equal to the corresponding argument types of the implementing method.

  • The return type of the implementing method is a non-nullable value type.

If the implementing method is null:

• If left.Type and right.Type are both non-nullable, the node is not lifted. The type of the node is the result type of the predefined addition operator.

• If left.Type and right.Type are both nullable, the node is lifted. The type of the node is the nullable type that corresponds to the result type of the predefined addition operator.