¿Cómo indico que un método no devuelve un valor nulo a través de contratos de código?

Question

¿Cómo indico que un método no devuelve un valor nulo? Actualmente este es mi código.

La línea 19 recibe un mensaje Asegura no está comprobado, a pesar de que createFunction asume que el resultado no es nada.

1         <Pure()> Public Function CreateFunction(Of TArg1, TArg2, TResult)(ByVal body As Func(Of Expression, Expression, BinaryExpression)) As Func(Of TArg1, TArg2, TResult)   
2             Contract.RequiresAlways(body IsNot Nothing)   
3             Contract.Assume(Contract.Result(Of Func(Of TArg1, TArg2, TResult))() IsNot Nothing)   
4   
5             Dim arg1 = Expression.Parameter(GetType(Integer), "arg1")   
6             Dim arg2 = Expression.Parameter(GetType(Integer), "arg2")   
7   
8   
9             Dim temp = Expression.Lambda(body(arg1, arg2), arg1, arg2)   
10             Contract.Assume(temp IsNot Nothing)   
11             Return DirectCast(temp.Compile, Global.System.Func(Of TArg1, TArg2, TResult))   
12         End Function  
13   
14         <Pure()> Public Function Add() As Func(Of T, T, T)   
15             Contract.Ensures(Contract.Result(Of Func(Of T, T, T))() IsNot Nothing)   
16   
17             Dim temp = CreateFunction(Of T, T, T)(AddressOf Expression.AddChecked)   
18             Return temp   
19         End Function  

Answer 1

¿Tiene

Contract.Ensures(Contract.Result() != null);

trabajar? Básicamente, me gustaría probar rasurándola hasta encontrar el caso más simple que no funciona como era de esperar e ir de allí.

- MarkusQ

Answer 2

Es necesario cambiar la Assume en CreateFunction a un Ensures. Después de que usted debe estar bien. Recuerde, Assume es para supuestos internos con el fin de ayudar a la de electricidad estática a nivel local. Ellos no son visibles desde otros métodos. Sólo Requires y Ensures son contratos-método cruzado.