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 java.io.PrintStream; 30 import java.util.Hashtable; 31 32 /** 33 * WARNING: The contents of this source file are not part of any 34 * supported API. Code that depends on them does so at its own risk: 35 * they are subject to change or removal without notice. 36 */ 37 public 38 class UnaryExpression extends Expression { 39 Expression right; 40 41 /** 42 * Constructor 43 */ UnaryExpression(int op, long where, Type type, Expression right)44 UnaryExpression(int op, long where, Type type, Expression right) { 45 super(op, where, type); 46 this.right = right; 47 } 48 49 /** 50 * Order the expression based on precedence 51 */ order()52 public Expression order() { 53 if (precedence() > right.precedence()) { 54 UnaryExpression e = (UnaryExpression)right; 55 right = e.right; 56 e.right = order(); 57 return e; 58 } 59 return this; 60 } 61 62 /** 63 * Select the type of the expression 64 */ selectType(Environment env, Context ctx, int tm)65 void selectType(Environment env, Context ctx, int tm) { 66 throw new CompilerError("selectType: " + opNames[op]); 67 } 68 69 /** 70 * Check a unary expression 71 */ checkValue(Environment env, Context ctx, Vset vset, Hashtable<Object, Object> exp)72 public Vset checkValue(Environment env, Context ctx, Vset vset, Hashtable<Object, Object> exp) { 73 vset = right.checkValue(env, ctx, vset, exp); 74 75 int tm = right.type.getTypeMask(); 76 selectType(env, ctx, tm); 77 if (((tm & TM_ERROR) == 0) && type.isType(TC_ERROR)) { 78 env.error(where, "invalid.arg", opNames[op]); 79 } 80 return vset; 81 } 82 83 /** 84 * Check if constant 85 */ isConstant()86 public boolean isConstant() { 87 switch (op) { 88 case POS: 89 case NEG: 90 case BITNOT: 91 case NOT: 92 case EXPR: 93 case CONVERT: // generated inside of CastExpression 94 return right.isConstant(); 95 } 96 return false; 97 } 98 99 /** 100 * Evaluate 101 */ eval(int a)102 Expression eval(int a) { 103 return this; 104 } eval(long a)105 Expression eval(long a) { 106 return this; 107 } eval(float a)108 Expression eval(float a) { 109 return this; 110 } eval(double a)111 Expression eval(double a) { 112 return this; 113 } eval(boolean a)114 Expression eval(boolean a) { 115 return this; 116 } eval(String a)117 Expression eval(String a) { 118 return this; 119 } eval()120 Expression eval() { 121 switch (right.op) { 122 case BYTEVAL: 123 case CHARVAL: 124 case SHORTVAL: 125 case INTVAL: 126 return eval(((IntegerExpression)right).value); 127 case LONGVAL: 128 return eval(((LongExpression)right).value); 129 case FLOATVAL: 130 return eval(((FloatExpression)right).value); 131 case DOUBLEVAL: 132 return eval(((DoubleExpression)right).value); 133 case BOOLEANVAL: 134 return eval(((BooleanExpression)right).value); 135 case STRINGVAL: 136 return eval(((StringExpression)right).value); 137 } 138 return this; 139 } 140 141 /** 142 * Inline 143 */ inline(Environment env, Context ctx)144 public Expression inline(Environment env, Context ctx) { 145 return right.inline(env, ctx); 146 } inlineValue(Environment env, Context ctx)147 public Expression inlineValue(Environment env, Context ctx) { 148 right = right.inlineValue(env, ctx); 149 try { 150 return eval().simplify(); 151 } catch (ArithmeticException e) { 152 // Got rid of this error message. It isn't illegal to 153 // have a program which does a constant division by 154 // zero. We return `this' to make the compiler to 155 // generate code here. 156 // (bugs 4019304, 4089107). 157 // 158 // I am not positive that this catch is ever reached. 159 // 160 // env.error(where, "arithmetic.exception"); 161 return this; 162 } 163 } 164 165 /** 166 * Create a copy of the expression for method inlining 167 */ copyInline(Context ctx)168 public Expression copyInline(Context ctx) { 169 UnaryExpression e = (UnaryExpression)clone(); 170 if (right != null) { 171 e.right = right.copyInline(ctx); 172 } 173 return e; 174 } 175 176 /** 177 * The cost of inlining this expression 178 */ costInline(int thresh, Environment env, Context ctx)179 public int costInline(int thresh, Environment env, Context ctx) { 180 return 1 + right.costInline(thresh, env, ctx); 181 } 182 183 /** 184 * Print 185 */ print(PrintStream out)186 public void print(PrintStream out) { 187 out.print("(" + opNames[op] + " "); 188 right.print(out); 189 out.print(")"); 190 } 191 } 192