File: BinaryDefaultTest.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (16 lines) | stat: -rw-r--r-- 513 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
/*
 * @test
 * @summary Test the defaulting mechanism for binary files.
 *
 * @compile -XDrawDiagnostics -Xlint:unchecked BinaryDefaultTestBinary.java
 * @compile -XDrawDiagnostics -Xlint:unchecked -processor lubglb.LubGlbChecker BinaryDefaultTest.java -AuseDefaultsForUncheckedCode=-source,bytecode
 */

import lubglb.quals.B;
import lubglb.quals.F;

class BinaryDefaultTest {
    void test1(@B BinaryDefaultTestInterface bar) {
        @F BinaryDefaultTestBinary foo = BinaryDefaultTestBinary.foo(bar);
    }
}