public void SomeDelegateToNamedMethod()
{
Action act = () => DelegatesSample.GetSomeDelegateToNamedMethod()(null /*Expect:AssignNullToNotNullAttribute[MIn]*/);
act.Should().Throw <ArgumentNullException>("because the delegate *method* parameter is implicitly NotNull")
.And.ParamName.Should().Be("a");
}
public void SomeDelegateWithCanBeNullToNamedMethod()
{
Action act = () => DelegatesSample.GetSomeDelegateWithCanBeNullToNamedMethod()(null);
act.Should().Throw <ArgumentNullException>("because the delegate *method* parameter is (implicitly) NotNull")
.And.ParamName.Should().Be("a");
}
public void SomeFunctionDelegateWithEndInvokeWithNullArgument()
{
var @delegate = DelegatesSample.GetSomeFunctionDelegate();
Action act = () => @delegate.EndInvoke(null /*Expect:AssignNullToNotNullAttribute[MIn]*/);
act.Should().Throw <RemotingException>("because the IAsyncResult argument is null");
}
public void SomeAsyncFunctionDelegateWithCanBeNull()
{
Action act = () =>
{
DelegatesSample.SomeAsyncFunctionDelegateWithCanBeNull @delegate = DelegatesSample.GetSomeAsyncFunctionDelegateWithCanBeNull();
var result = @delegate();
TestValueAnalysis(result /* REPORTED false negative https://youtrack.jetbrains.com/issue/RSRP-446852 */, result == null);
};
act.Should().NotThrow();
}
public void SomeFunctionDelegateWithNotNull()
{
Action act = () =>
{
DelegatesSample.SomeFunctionDelegateWithNotNull @delegate = DelegatesSample.GetSomeFunctionDelegateWithNotNull();
var result = @delegate();
TestValueAnalysis(result, result == null /* REPORTED false negative https://youtrack.jetbrains.com/issue/RSRP-446852 */);
};
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void GetSomeDelegateWithCanBeNullWithInvokeAndBeginInvokeCalls()
{
Action act = () =>
{
var someDelegate = DelegatesSample.GetSomeDelegateWithCanBeNull();
someDelegate.Invoke(null);
someDelegate.BeginInvoke(null, null, null).AsyncWaitHandle.WaitOne();
};
act.Should().NotThrow();
}
public void SomeFunctionDelegate()
{
Action act = () =>
{
DelegatesSample.SomeFunctionDelegate @delegate = DelegatesSample.GetSomeFunctionDelegate();
var result = @delegate();
// This false negative is analog to SomeFunctionDelegateWithNotNull and even requires an exemption for the delegate Invoke() method,
// but it is necessary because the developer can't opt out of the implicit annotation with [CanBeNull]:
TestValueAnalysis(result, result == null);
};
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void SomeDelegateWithInvokeAndBeginInvokeCalls()
{
Action act = () =>
{
var someDelegate = DelegatesSample.GetSomeDelegate();
someDelegate.Invoke(null /*Expect:AssignNullToNotNullAttribute[MIn]*/);
var asyncResult = someDelegate.BeginInvoke(null, null, null);
// The BeginInvoke() result is made implicitly NotNull by ReSharper's CodeAnnotationsCache:
TestValueAnalysis(asyncResult, asyncResult == null /*Expect:ConditionIsAlwaysTrueOrFalse*/);
asyncResult.AsyncWaitHandle.WaitOne();
};
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void SomeFunctionDelegateWithInvokeAndBeginInvokeCalls()
{
Action act = () =>
{
var @delegate = DelegatesSample.GetSomeFunctionDelegate();
var result = @delegate.Invoke();
TestValueAnalysis(result, result == null /* REPORTED false negative https://youtrack.jetbrains.com/issue/RSRP-446852 */);
var asyncResult = @delegate.BeginInvoke(null, null);
var endInvokeResult = @delegate.EndInvoke(asyncResult);
TestValueAnalysis(endInvokeResult, endInvokeResult == null);
};
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void Initialize()
{
if (_delegate)
{
var delg = new DelegatesSample();
delg.Execute();
}
if (_asynAwait)
{
var asaw = new AsynAwait();
asaw.Execute();
}
if (_others)
{
var others = new Others();
others.Execute();
}
if (_timers)
{
var timers = new Timers();
timers.Execute();
}
}
public void SomeNotNullDelegateOfExternalCode()
{
Action act = () => DelegatesSample.GetSomeNotNullDelegateOfExternalCode()(null /*Expect:AssignNullToNotNullAttribute*/);
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void SomeDelegateWithCanBeNullToNamedMethodWithCanBeNull()
{
Action act = () => DelegatesSample.GetSomeDelegateWithCanBeNullToNamedMethodWithCanBeNull()(null);
act.Should().NotThrow();
}
public void SomeDelegateOfExternalCode()
{
Action act = () => DelegatesSample.GetSomeDelegateOfExternalCode()(null /* no warning because the delegate is external */);
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void SomeDelegateToNamedMethodWithCanBeNull()
{
Action act = () => DelegatesSample.GetSomeDelegateToNamedMethodWithCanBeNull()(null /*Expect:AssignNullToNotNullAttribute[MIn]*/);
act.Should().NotThrow();
}
public void GetSomeDelegateToLambda()
{
Action act = () => DelegatesSample.GetSomeDelegate()(null /*Expect:AssignNullToNotNullAttribute[MIn]*/);
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void GetSomeActionToAnonymousMethod()
{
Action act = () => DelegatesSample.GetSomeActionToAnonymousMethod()(null);
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous);
}
public void TestDelegatesSample(int number)
{
DelegatesSample DelegatesSample = new DelegatesSample(number);
var results = DelegatesSample.run();
}
public void SomeActionWithClosedValues()
{
Action act = () => DelegatesSample.GetSomeActionWithClosedValues()(null);
act.Should().NotThrow(BecauseDelegateMethodIsAnonymous + " (implemented using a display class)");
}
