1 /*
2  * Copyright (c) 1994, 2003, Oracle and/or its affiliates. All rights reserved.
3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4  *
5  * This code is free software; you can redistribute it and/or modify it
6  * under the terms of the GNU General Public License version 2 only, as
7  * published by the Free Software Foundation.  Oracle designates this
8  * particular file as subject to the "Classpath" exception as provided
9  * by Oracle in the LICENSE file that accompanied this code.
10  *
11  * This code is distributed in the hope that it will be useful, but WITHOUT
12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14  * version 2 for more details (a copy is included in the LICENSE file that
15  * accompanied this code).
16  *
17  * You should have received a copy of the GNU General Public License version
18  * 2 along with this work; if not, write to the Free Software Foundation,
19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20  *
21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22  * or visit www.oracle.com if you need additional information or have any
23  * questions.
24  */
25 
26 package sun.tools.tree;
27 
28 import sun.tools.java.*;
29 import sun.tools.asm.Assembler;
30 import java.io.PrintStream;
31 import java.util.Hashtable;
32 
33 /**
34  * WARNING: The contents of this source file are not part of any
35  * supported API.  Code that depends on them does so at its own risk:
36  * they are subject to change or removal without notice.
37  */
38 public
39 class ConvertExpression extends UnaryExpression {
40     /**
41      * Constructor
42      */
ConvertExpression(long where, Type type, Expression right)43     public ConvertExpression(long where, Type type, Expression right) {
44         super(CONVERT, where, type, right);
45     }
46 
47     /**
48      * Check the value
49      */
checkValue(Environment env, Context ctx, Vset vset, Hashtable exp)50     public Vset checkValue(Environment env, Context ctx, Vset vset, Hashtable exp) {
51         return right.checkValue(env, ctx, vset, exp);
52     }
53 
54     /**
55      * Simplify
56      */
simplify()57     Expression simplify() {
58         switch (right.op) {
59           case BYTEVAL:
60           case CHARVAL:
61           case SHORTVAL:
62           case INTVAL: {
63             int value = ((IntegerExpression)right).value;
64             switch (type.getTypeCode()) {
65               case TC_BYTE:     return new ByteExpression(right.where, (byte)value);
66               case TC_CHAR:     return new CharExpression(right.where, (char)value);
67               case TC_SHORT:    return new ShortExpression(right.where, (short)value);
68               case TC_INT:      return new IntExpression(right.where, (int)value);
69               case TC_LONG:     return new LongExpression(right.where, (long)value);
70               case TC_FLOAT:    return new FloatExpression(right.where, (float)value);
71               case TC_DOUBLE:   return new DoubleExpression(right.where, (double)value);
72             }
73             break;
74           }
75           case LONGVAL: {
76             long value = ((LongExpression)right).value;
77             switch (type.getTypeCode()) {
78               case TC_BYTE:     return new ByteExpression(right.where, (byte)value);
79               case TC_CHAR:     return new CharExpression(right.where, (char)value);
80               case TC_SHORT:    return new ShortExpression(right.where, (short)value);
81               case TC_INT:      return new IntExpression(right.where, (int)value);
82               case TC_FLOAT:    return new FloatExpression(right.where, (float)value);
83               case TC_DOUBLE:   return new DoubleExpression(right.where, (double)value);
84             }
85             break;
86           }
87           case FLOATVAL: {
88             float value = ((FloatExpression)right).value;
89             switch (type.getTypeCode()) {
90               case TC_BYTE:     return new ByteExpression(right.where, (byte)value);
91               case TC_CHAR:     return new CharExpression(right.where, (char)value);
92               case TC_SHORT:    return new ShortExpression(right.where, (short)value);
93               case TC_INT:      return new IntExpression(right.where, (int)value);
94               case TC_LONG:     return new LongExpression(right.where, (long)value);
95               case TC_DOUBLE:   return new DoubleExpression(right.where, (double)value);
96             }
97             break;
98           }
99           case DOUBLEVAL: {
100             double value = ((DoubleExpression)right).value;
101             switch (type.getTypeCode()) {
102               case TC_BYTE:     return new ByteExpression(right.where, (byte)value);
103               case TC_CHAR:     return new CharExpression(right.where, (char)value);
104               case TC_SHORT:    return new ShortExpression(right.where, (short)value);
105               case TC_INT:      return new IntExpression(right.where, (int)value);
106               case TC_LONG:     return new LongExpression(right.where, (long)value);
107               case TC_FLOAT:    return new FloatExpression(right.where, (float)value);
108             }
109             break;
110           }
111         }
112         return this;
113     }
114 
115     /**
116      * Check if the expression is equal to a value
117      */
equals(int i)118     public boolean equals(int i) {
119         return right.equals(i);
120     }
equals(boolean b)121     public boolean equals(boolean b) {
122         return right.equals(b);
123     }
124 
125     /**
126      * Inline
127      */
inline(Environment env, Context ctx)128     public Expression inline(Environment env, Context ctx) {
129         // super.inline throws away the op.
130         // This is sometimes incorrect, since casts can have side effects.
131         if (right.type.inMask(TM_REFERENCE) && type.inMask(TM_REFERENCE)) {
132             try {
133                 if (!env.implicitCast(right.type, type))
134                     return inlineValue(env, ctx);
135             } catch (ClassNotFound e) {
136                 throw new CompilerError(e);
137             }
138         }
139         return super.inline(env, ctx);
140     }
141 
142     /**
143      * Code
144      */
codeValue(Environment env, Context ctx, Assembler asm)145     public void codeValue(Environment env, Context ctx, Assembler asm) {
146         right.codeValue(env, ctx, asm);
147         codeConversion(env, ctx, asm, right.type, type);
148     }
149 
150     /**
151      * Print
152      */
print(PrintStream out)153     public void print(PrintStream out) {
154         out.print("(" + opNames[op] + " " + type.toString() + " ");
155         right.print(out);
156         out.print(")");
157     }
158 }
159