1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
import org.checkerframework.checker.interning.qual.*;
/**
* This class illustrates an incorrect use of the @{@link Interned} type annotation. The class
* doesn't do anything -- it is merely meant to be compiled. Compilation will produce warning
* messages.
*
* <p>Also see {@link InterningExample}, an example of correct use of the @Interned type annotation.
* See the Interning Checker documentation for larger examples of annotated code.
*/
public class InterningExampleWithWarnings {
public void example() {
// This type annotation is redundant -- the Interning Checker will
// infer it, but it is written here in the example for emhpasis.
// In general, you do not have to annotate local variables.
@Interned String foo = "foo";
String bar = new String("bar");
if (foo == bar) {
System.out.println("foo == bar");
}
}
}
|
