code-contracts

1열

2답변

메소드가 코드 계약을 사용하여 null을 반환하지 않는다는 것을 어떻게 나타 냅니까?

메서드가 null을 반환하지 않는다는 것을 어떻게 나타 냅니까? 현재 이것은 내 코드입니다. Line 19는 CreateFunction이 결과가 아무 것도 아니라고 가정하더라도 확인되지 않은 메시지를 가져옵니다. 1 <Pure()> Public Function CreateFunction(Of TArg1, TArg2, TResult)(ByVal body

.net .net-4.0 code-contracts microsoft-contracts 2009-02-25

---