Examples with MustCall org.checkerframework.checker.mustcall.qual.MustCall used on opensource projects

Example 1 with MustCall

use of org.checkerframework.checker.mustcall.qual.MustCall in project checker-framework by typetools.

the class SimpleSocketField method test.

void test() {
    @MustCall("close") Socket s = mySock;
    // :: error: assignment
    @MustCall({}) Socket s1 = mySock;
}