# Expression.AddChecked Method

## Definition

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)

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

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

#### Exceptions

`left`

or `right`

is `null`

.

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)

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

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

#### Exceptions

`left`

or `right`

is `null`

.

`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.

`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.