| // Test case for issue #2366: |
| // https://github.com/typetools/checker-framework/issues/2366 |
| |
| import org.checkerframework.checker.signedness.qual.*; |
| |
| public class TestPrintln { |
| public static void main(String[] args) { |
| // The first call produces the intended result, but the next two do not. |
| |
| @Unsigned int a = Integer.parseUnsignedInt("2147483647"); |
| System.out.println(a); |
| @Unsigned int b = Integer.parseUnsignedInt("2147483648"); |
| // :: error: (argument) |
| System.out.println(b); |
| @Unsigned int c = Integer.parseUnsignedInt("4000000000"); |
| // :: error: (argument) |
| System.out.println(c); |
| } |
| } |