[typetools/checker-framework] 32d4ce: `@SignedPositive` corresponds to `@NonNegative`

0 views

Skip to first unread message

unread,

Apr 27, 2022, 5:45:17 PM4/27/22

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 32d4ce681c4bca2378898b9d32bb7a374776cce3
https://github.com/typetools/checker-framework/commit/32d4ce681c4bca2378898b9d32bb7a374776cce3
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2022-04-27 (Wed, 27 Apr 2022)

Changed paths:
M checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/SignedPositive.java
M checker/src/main/java/org/checkerframework/checker/index/lowerbound/LowerBoundAnnotatedTypeFactory.java

Log Message:
-----------
`@SignedPositive` corresponds to `@NonNegative`

Reply all

Reply to author

Forward

0 new messages