View Javadoc
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       */
43      public ConvertExpression(long where, Type type, Expression right) {
44          super(CONVERT, where, type, right);
45      }
46  
47      /**
48       * Check the value
49       */
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       */
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      */
118     public boolean equals(int i) {
119         return right.equals(i);
120     }
121     public boolean equals(boolean b) {
122         return right.equals(b);
123     }
124 
125     /**
126      * Inline
127      */
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      */
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      */
153     public void print(PrintStream out) {
154         out.print("(" + opNames[op] + " " + type.toString() + " ");
155         right.print(out);
156         out.print(")");
157     }
158 }