Java example source code file (T6227617.java)

This example Java source code file (T6227617.java) is included in the alvinalexander.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Learn more about this Java project at its project page.

Java - Java tags/keywords

foo, hashmap, integer, object, string, t6227617, util

The T6227617.java Java example source code

/*
 * @test  /nodynamiccopyright/
 * @bug 6227617
 * @summary Lint option for redundant casts
 * @compile -Werror T6227617.java
 * @compile/ref=T6227617.out -XDrawDiagnostics -Xlint:cast T6227617.java
 */
import java.util.HashMap;
import java.util.Map;

class T6227617 {
    void m() {
        int i1 = 2;
        int i2 = (int) i1;  // warn

        float f1 = 1f;
        int i3 = (int) f1;

        String s = (String) ""; // warn
        Object o = (Object) "";

        Map<String, Integer> m = new HashMap();
        Integer I1 = (Integer) m.get(""); // warn
    }

    // The following cause NPE in Attr with an Attr-based solution for -Xlint:cast
    static final int i1 = Foo.i1;
    static final String s = Foo.s;
}

class Foo
{
    static final int i1 = (int) 1;
    static final int i2 = (int) 1L;

    static final String s = (String) "abc";
}