framework/tests/value/minints-stub.astub

// That the Value Checker can parse this stub file is a test case for
// https://github.com/typetools/checker-framework/issues/2830

import org.checkerframework.common.value.qual.IntVal;

package java.lang;

class Long {
     static @IntVal(-9223372036854775808L) Long MIN_VALUE;
}

class Integer {
    static @IntVal(-2147483648) Integer MIN_VALUE;
}

class Short {
    static @IntVal(-32768) Short MIN_VALUE;
}

class Byte {
    static @IntVal(-128) Byte MIN_VALUE;
}

class Character {
    static @IntVal(0) Character MIN_VALUE;
}