jjg@1521: /*
darcy@1534:  * Copyright (c) 2009, Oracle and/or its affiliates. All rights reserved.
jjg@1521:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
jjg@1521:  *
jjg@1521:  * This code is free software; you can redistribute it and/or modify it
jjg@1521:  * under the terms of the GNU General Public License version 2 only, as
jjg@1521:  * published by the Free Software Foundation.
jjg@1521:  *
jjg@1521:  * This code is distributed in the hope that it will be useful, but WITHOUT
jjg@1521:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
jjg@1521:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
jjg@1521:  * version 2 for more details (a copy is included in the LICENSE file that
jjg@1521:  * accompanied this code).
jjg@1521:  *
jjg@1521:  * You should have received a copy of the GNU General Public License version
jjg@1521:  * 2 along with this work; if not, write to the Free Software Foundation,
jjg@1521:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
jjg@1521:  *
jjg@1521:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
jjg@1521:  * or visit www.oracle.com if you need additional information or have any
jjg@1521:  * questions.
jjg@1521:  */
jjg@1521: 
jjg@1521: import static com.sun.tools.classfile.TypeAnnotation.TargetType.*;
jjg@1521: 
jjg@1521: /*
jjg@1521:  * @test
jjg@1521:  * @summary Test population of reference info for type casts
jjg@1521:  * @compile -g Driver.java ReferenceInfoUtil.java TypeCasts.java
jjg@1521:  * @run main Driver TypeCasts
jjg@1521:  */
jjg@1521: public class TypeCasts {
jjg@1521: 
jjg@1563:     @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:             typeIndex = 0)
jjg@1521:     public String returnObject() {
jjg@1521:         return "Object returnObject() { return (@TA String)null; }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 0, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TC", type = CAST,
jjg@1563:                 genericLocation = { 0, 0, 0, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String returnObjectArray() {
jjg@1521:         return "Object returnObjectArray() { return (@TC String @TA [] @TB [])null; }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 3, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String returnObjectGeneric() {
jjg@1521:         return "Object returnObjectGeneric() { return (@TA List<@TB String>)null; }";
jjg@1521:     }
jjg@1521: 
jjg@1563:     @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:             typeIndex = 0)
jjg@1521:     public String returnPrim() {
jjg@1521:         return "Object returnPrim() { return (@TA int)0; }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 0, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String returnPrimArray() {
jjg@1521:         return "Object returnPrimArray() { return (@TB int @TA [])null; }";
jjg@1521:     }
jjg@1521: 
jjg@1563:     @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:             typeIndex = 0)
jjg@1521:     public String initObject() {
jjg@1521:         return "void initObject() { Object a =  (@TA String)null; }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 0, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String initObjectArray() {
jjg@1521:         return "void initObjectArray() { Object a = (@TB String @TA [])null; }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 3, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String initObjectGeneric() {
jjg@1521:         return "void initObjectGeneric() { Object a = (@TA List<@TB String>)null; }";
jjg@1521:     }
jjg@1521: 
jjg@1563:     @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:             typeIndex = 0)
jjg@1521:     public String initPrim() {
jjg@1521:         return "void initPrim() { Object a =  (@TA int)0; }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 0, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String initPrimArray() {
jjg@1521:         return "void initPrimArray() { Object a = (@TB int @TA [])null; }";
jjg@1521:     }
jjg@1521: 
jjg@1563:     @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:             typeIndex = 0)
jjg@1521:     public String eqtestObject() {
jjg@1521:         return "void eqtestObject() { if (null == (@TA String)null); }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 0, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String eqtestObjectArray() {
jjg@1521:         return "void eqtestObjectArray() { if (null == (@TB String @TA [])null); }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 3, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String eqtestObjectGeneric() {
jjg@1521:         return "void eqtestObjectGeneric() { if (null == (@TA List<@TB String >)null); }";
jjg@1521:     }
jjg@1521: 
jjg@1563:     @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:             typeIndex = 0)
jjg@1521:     // compiler optimizes away compile time constants casts
jjg@1521:     public String eqtestPrim() {
jjg@1521:         return "void eqtestPrim(int a) { if (0 == (@TA int)a); }";
jjg@1521:     }
jjg@1521: 
jjg@1521:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0),
jjg@1521:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 genericLocation = { 0, 0 }, offset = ReferenceInfoUtil.IGNORE_VALUE,
jjg@1563:                 typeIndex = 0)
jjg@1521:     })
jjg@1521:     public String eqtestPrimArray() {
jjg@1521:         return "void eqtestPrimArray() { if (null == (@TB int @TA [])null); }";
jjg@1521:     }
jjg@1521: 
jjg@1563:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST,
jjg@1563:                 offset = ReferenceInfoUtil.IGNORE_VALUE, typeIndex = 0),
jjg@1563:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 offset = ReferenceInfoUtil.IGNORE_VALUE, typeIndex = 1),
jjg@1563:         @TADescription(annotation = "TC", type = CAST,
jjg@1563:                 offset = ReferenceInfoUtil.IGNORE_VALUE, typeIndex = 1,
jjg@1563:                 genericLocation = {3, 0})
jjg@1563:     })
jjg@1563:     public String intersection1() {
jjg@1563:         return "void intersection() { Object o = (@TA String & @TB Comparable<@TC String>) null; }";
jjg@1563:     }
jjg@1563: 
jjg@1563:     @TADescriptions({
jjg@1563:         @TADescription(annotation = "TA", type = CAST,
jjg@1563:                 offset = ReferenceInfoUtil.IGNORE_VALUE, typeIndex = 0),
jjg@1563:         @TADescription(annotation = "TB", type = CAST,
jjg@1563:                 offset = ReferenceInfoUtil.IGNORE_VALUE, typeIndex = 1),
jjg@1563:         @TADescription(annotation = "TC", type = CAST,
jjg@1563:                 offset = ReferenceInfoUtil.IGNORE_VALUE, typeIndex = 1,
jjg@1563:                 genericLocation = {3, 0}),
jjg@1563:         @TADescription(annotation = "TD", type = CAST,
jjg@1563:                 offset = ReferenceInfoUtil.IGNORE_VALUE, typeIndex = 2),
jjg@1563:     })
jjg@1563:     public String intersection2() {
jjg@1563:         return "void intersection() { Object o = (@TA String & @TB Comparable<@TC String> & @TD CharSequence) null; }";
jjg@1563:     }
jjg@1521: }