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.Label; 30 import sun.tools.asm.Assembler; 31 import java.io.PrintStream; 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 InlineMethodExpression extends Expression { 40 MemberDefinition field; 41 Statement body; 42 43 /** 44 * Constructor 45 */ InlineMethodExpression(long where, Type type, MemberDefinition field, Statement body)46 InlineMethodExpression(long where, Type type, MemberDefinition field, Statement body) { 47 super(INLINEMETHOD, where, type); 48 this.field = field; 49 this.body = body; 50 } 51 /** 52 * Inline 53 */ inline(Environment env, Context ctx)54 public Expression inline(Environment env, Context ctx) { 55 body = body.inline(env, new Context(ctx, this)); 56 if (body == null) { 57 return null; 58 } else if (body.op == INLINERETURN) { 59 Expression expr = ((InlineReturnStatement)body).expr; 60 if (expr != null && type.isType(TC_VOID)) { 61 throw new CompilerError("value on inline-void return"); 62 } 63 return expr; 64 } else { 65 return this; 66 } 67 } inlineValue(Environment env, Context ctx)68 public Expression inlineValue(Environment env, Context ctx) { 69 // When this node was constructed, "copyInline" walked the body 70 // with a "valNeeded" flag which made all returns either void 71 // or value-bearing. The type of this node reflects that 72 // earlier choice. The present inline/inlineValue distinction 73 // is ignored. 74 return inline(env, ctx); 75 } 76 77 /** 78 * Create a copy of the expression for method inlining 79 */ copyInline(Context ctx)80 public Expression copyInline(Context ctx) { 81 InlineMethodExpression e = (InlineMethodExpression)clone(); 82 if (body != null) { 83 e.body = body.copyInline(ctx, true); 84 } 85 return e; 86 } 87 88 /** 89 * Code 90 */ code(Environment env, Context ctx, Assembler asm)91 public void code(Environment env, Context ctx, Assembler asm) { 92 // pop the result if there is any (usually, type is already void) 93 super.code(env, ctx, asm); 94 } codeValue(Environment env, Context ctx, Assembler asm)95 public void codeValue(Environment env, Context ctx, Assembler asm) { 96 CodeContext newctx = new CodeContext(ctx, this); 97 body.code(env, newctx, asm); 98 asm.add(newctx.breakLabel); 99 } 100 101 /** 102 * Print 103 */ print(PrintStream out)104 public void print(PrintStream out) { 105 out.print("(" + opNames[op] + "\n"); 106 body.print(out, 1); 107 out.print(")"); 108 } 109 } 110