#719 JSR 305 @Nonnegative false positive

[Peter Franzen]

Findbugs 1.3.7 reports

TQ Value that might not carry the @@javax.annotation.Nonnegative annotation reaches a use requiring that annotation

for the test class below (the assignment in the setIntValue() method):

import javax.annotation.CheckForSigned;
import javax.annotation.Nonnegative;

public class TestSigned
{
@Nonnegative
private int fIntValue = 4711;

@Nonnegative
public int getIntValue()
{
return fIntValue;
}

public void setIntValue(@CheckForSigned int pIntValue)
{
if (pIntValue >= 0)
fIntValue = pIntValue;
}
}

[Mark Daly]

Test case committed, reassigning for further investigation.