The getBla method in the following code is marked as NotNull. An attempt to directly return null (Problem 1) or returning a field marked as Nullable (Problem2) is not detected.
public class NullReturnTest
{
@Nullable
privateString bla;
public NullReturnTest(@Nullable String bla)
{
this.bla = bla;
}
@NotNull
publicString getBla()
{
try
{
Integer.parseInt("abc");
returnnull;//Problem 1
}
catch (NumberFormatException e)
{
System.out.println("can be expected");
}
return bla;//Problem 2
}
}
Description
The getBla method in the following code is marked as NotNull. An attempt to directly return null (Problem 1) or returning a field marked as Nullable (Problem2) is not detected.
public class NullReturnTest
{
@Nullable
privateString bla;
public NullReturnTest(@Nullable String bla)
{
this.bla = bla;
}
@NotNull
publicString getBla()
{
try
{
Integer.parseInt("abc");
returnnull;//Problem 1
}
catch (NumberFormatException e)
{
System.out.println("can be expected");
}
return bla;//Problem 2
}
}
Bug
Open
Major
NotNull Nullable conflict not detected