| /* |
| * reserved comment block |
| * DO NOT REMOVE OR ALTER! |
| */ |
| package com.sun.org.apache.bcel.internal.util; |
| |
| import com.sun.org.apache.bcel.internal.generic.*; |
| import com.sun.org.apache.bcel.internal.classfile.Utility; |
| import com.sun.org.apache.bcel.internal.Constants; |
| import java.io.PrintWriter; |
| import java.util.*; |
| |
| /* ==================================================================== |
| * The Apache Software License, Version 1.1 |
| * |
| * Copyright (c) 2002 The Apache Software Foundation. All rights |
| * reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in |
| * the documentation and/or other materials provided with the |
| * distribution. |
| * |
| * 3. The end-user documentation included with the redistribution, |
| * if any, must include the following acknowledgment: |
| * "This product includes software developed by the |
| * Apache Software Foundation (http://www.apache.org/)." |
| * Alternately, this acknowledgment may appear in the software itself, |
| * if and wherever such third-party acknowledgments normally appear. |
| * |
| * 4. The names "Apache" and "Apache Software Foundation" and |
| * "Apache BCEL" must not be used to endorse or promote products |
| * derived from this software without prior written permission. For |
| * written permission, please contact apache@apache.org. |
| * |
| * 5. Products derived from this software may not be called "Apache", |
| * "Apache BCEL", nor may "Apache" appear in their name, without |
| * prior written permission of the Apache Software Foundation. |
| * |
| * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED |
| * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
| * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
| * DISCLAIMED. IN NO EVENT SHALL THE APACHE SOFTWARE FOUNDATION OR |
| * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF |
| * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
| * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, |
| * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT |
| * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF |
| * SUCH DAMAGE. |
| * ==================================================================== |
| * |
| * This software consists of voluntary contributions made by many |
| * individuals on behalf of the Apache Software Foundation. For more |
| * information on the Apache Software Foundation, please see |
| * <http://www.apache.org/>. |
| */ |
| |
| /** |
| * Factory creates il.append() statements, and sets instruction targets. |
| * A helper class for BCELifier. |
| * |
| * @see BCELifier |
| * @author <A HREF="mailto:markus.dahm@berlin.de">M. Dahm</A> |
| */ |
| class BCELFactory extends EmptyVisitor { |
| private MethodGen _mg; |
| private PrintWriter _out; |
| private ConstantPoolGen _cp; |
| |
| BCELFactory(MethodGen mg, PrintWriter out) { |
| _mg = mg; |
| _cp = mg.getConstantPool(); |
| _out = out; |
| } |
| |
| private HashMap branch_map = new HashMap(); // Map<Instruction, InstructionHandle> |
| |
| public void start() { |
| if(!_mg.isAbstract() && !_mg.isNative()) { |
| for(InstructionHandle ih = _mg.getInstructionList().getStart(); |
| ih != null; ih = ih.getNext()) { |
| Instruction i = ih.getInstruction(); |
| |
| if(i instanceof BranchInstruction) { |
| branch_map.put(i, ih); // memorize container |
| } |
| |
| if(ih.hasTargeters()) { |
| if(i instanceof BranchInstruction) { |
| _out.println(" InstructionHandle ih_" + ih.getPosition() + ";"); |
| } else { |
| _out.print(" InstructionHandle ih_" + ih.getPosition() + " = "); |
| } |
| } else { |
| _out.print(" "); |
| } |
| |
| if(!visitInstruction(i)) |
| i.accept(this); |
| } |
| |
| updateBranchTargets(); |
| updateExceptionHandlers(); |
| } |
| } |
| |
| private boolean visitInstruction(Instruction i) { |
| short opcode = i.getOpcode(); |
| |
| if((InstructionConstants.INSTRUCTIONS[opcode] != null) && |
| !(i instanceof ConstantPushInstruction) && |
| !(i instanceof ReturnInstruction)) { // Handled below |
| _out.println("il.append(InstructionConstants." + |
| i.getName().toUpperCase() + ");"); |
| return true; |
| } |
| |
| return false; |
| } |
| |
| public void visitLocalVariableInstruction(LocalVariableInstruction i) { |
| short opcode = i.getOpcode(); |
| Type type = i.getType(_cp); |
| |
| if(opcode == Constants.IINC) { |
| _out.println("il.append(new IINC(" + i.getIndex() + ", " + |
| ((IINC)i).getIncrement() + "));"); |
| } else { |
| String kind = (opcode < Constants.ISTORE)? "Load" : "Store"; |
| _out.println("il.append(_factory.create" + kind + "(" + |
| BCELifier.printType(type) + ", " + |
| i.getIndex() + "));"); |
| } |
| } |
| |
| public void visitArrayInstruction(ArrayInstruction i) { |
| short opcode = i.getOpcode(); |
| Type type = i.getType(_cp); |
| String kind = (opcode < Constants.IASTORE)? "Load" : "Store"; |
| |
| _out.println("il.append(_factory.createArray" + kind + "(" + |
| BCELifier.printType(type) + "));"); |
| } |
| |
| public void visitFieldInstruction(FieldInstruction i) { |
| short opcode = i.getOpcode(); |
| |
| String class_name = i.getClassName(_cp); |
| String field_name = i.getFieldName(_cp); |
| Type type = i.getFieldType(_cp); |
| |
| _out.println("il.append(_factory.createFieldAccess(\"" + |
| class_name + "\", \"" + field_name + "\", " + |
| BCELifier.printType(type) + ", " + |
| "Constants." + Constants.OPCODE_NAMES[opcode].toUpperCase() + |
| "));"); |
| } |
| |
| public void visitInvokeInstruction(InvokeInstruction i) { |
| short opcode = i.getOpcode(); |
| String class_name = i.getClassName(_cp); |
| String method_name = i.getMethodName(_cp); |
| Type type = i.getReturnType(_cp); |
| Type[] arg_types = i.getArgumentTypes(_cp); |
| |
| _out.println("il.append(_factory.createInvoke(\"" + |
| class_name + "\", \"" + method_name + "\", " + |
| BCELifier.printType(type) + ", " + |
| BCELifier.printArgumentTypes(arg_types) + ", " + |
| "Constants." + Constants.OPCODE_NAMES[opcode].toUpperCase() + |
| "));"); |
| } |
| |
| public void visitAllocationInstruction(AllocationInstruction i) { |
| Type type; |
| |
| if(i instanceof CPInstruction) { |
| type = ((CPInstruction)i).getType(_cp); |
| } else { |
| type = ((NEWARRAY)i).getType(); |
| } |
| |
| short opcode = ((Instruction)i).getOpcode(); |
| int dim = 1; |
| |
| switch(opcode) { |
| case Constants.NEW: |
| _out.println("il.append(_factory.createNew(\"" + |
| ((ObjectType)type).getClassName() + "\"));"); |
| break; |
| |
| case Constants.MULTIANEWARRAY: |
| dim = ((MULTIANEWARRAY)i).getDimensions(); |
| |
| case Constants.ANEWARRAY: |
| case Constants.NEWARRAY: |
| _out.println("il.append(_factory.createNewArray(" + |
| BCELifier.printType(type) + ", (short) " + dim + "));"); |
| break; |
| |
| default: |
| throw new RuntimeException("Oops: " + opcode); |
| } |
| } |
| |
| private void createConstant(Object value) { |
| String embed = value.toString(); |
| |
| if(value instanceof String) |
| embed = '"' + Utility.convertString(value.toString()) + '"'; |
| else if(value instanceof Character) |
| embed = "(char)0x" + Integer.toHexString(((Character)value).charValue()); |
| |
| _out.println("il.append(new PUSH(_cp, " + embed + "));"); |
| } |
| |
| public void visitLDC(LDC i) { |
| createConstant(i.getValue(_cp)); |
| } |
| |
| public void visitLDC2_W(LDC2_W i) { |
| createConstant(i.getValue(_cp)); |
| } |
| |
| public void visitConstantPushInstruction(ConstantPushInstruction i) { |
| createConstant(i.getValue()); |
| } |
| |
| public void visitINSTANCEOF(INSTANCEOF i) { |
| Type type = i.getType(_cp); |
| |
| _out.println("il.append(new INSTANCEOF(_cp.addClass(" + |
| BCELifier.printType(type) + ")));"); |
| } |
| |
| public void visitCHECKCAST(CHECKCAST i) { |
| Type type = i.getType(_cp); |
| |
| _out.println("il.append(_factory.createCheckCast(" + |
| BCELifier.printType(type) + "));"); |
| } |
| |
| public void visitReturnInstruction(ReturnInstruction i) { |
| Type type = i.getType(_cp); |
| |
| _out.println("il.append(_factory.createReturn(" + |
| BCELifier.printType(type) + "));"); |
| } |
| |
| // Memorize BranchInstructions that need an update |
| private ArrayList branches = new ArrayList(); |
| |
| public void visitBranchInstruction(BranchInstruction bi) { |
| BranchHandle bh = (BranchHandle)branch_map.get(bi); |
| int pos = bh.getPosition(); |
| String name = bi.getName() + "_" + pos; |
| |
| if(bi instanceof Select) { |
| Select s = (Select)bi; |
| branches.add(bi); |
| |
| StringBuffer args = new StringBuffer("new int[] { "); |
| int[] matchs = s.getMatchs(); |
| |
| for(int i=0; i < matchs.length; i++) { |
| args.append(matchs[i]); |
| |
| if(i < matchs.length - 1) |
| args.append(", "); |
| } |
| |
| args.append(" }"); |
| |
| _out.print(" Select " + name + " = new " + |
| bi.getName().toUpperCase() + "(" + args + |
| ", new InstructionHandle[] { "); |
| |
| for(int i=0; i < matchs.length; i++) { |
| _out.print("null"); |
| |
| if(i < matchs.length - 1) |
| _out.print(", "); |
| } |
| |
| _out.println(");"); |
| } else { |
| int t_pos = bh.getTarget().getPosition(); |
| String target; |
| |
| if(pos > t_pos) { |
| target = "ih_" + t_pos; |
| } else { |
| branches.add(bi); |
| target = "null"; |
| } |
| |
| _out.println(" BranchInstruction " + name + |
| " = _factory.createBranchInstruction(" + |
| "Constants." + bi.getName().toUpperCase() + ", " + |
| target + ");"); |
| } |
| |
| if(bh.hasTargeters()) |
| _out.println(" ih_" + pos + " = il.append(" + name + ");"); |
| else |
| _out.println(" il.append(" + name + ");"); |
| } |
| |
| public void visitRET(RET i) { |
| _out.println("il.append(new RET(" + i.getIndex() + ")));"); |
| } |
| |
| private void updateBranchTargets() { |
| for(Iterator i = branches.iterator(); i.hasNext(); ) { |
| BranchInstruction bi = (BranchInstruction)i.next(); |
| BranchHandle bh = (BranchHandle)branch_map.get(bi); |
| int pos = bh.getPosition(); |
| String name = bi.getName() + "_" + pos; |
| int t_pos = bh.getTarget().getPosition(); |
| |
| _out.println(" " + name + ".setTarget(ih_" + t_pos + ");"); |
| |
| if(bi instanceof Select) { |
| InstructionHandle[] ihs = ((Select)bi).getTargets(); |
| |
| for(int j = 0; j < ihs.length; j++) { |
| t_pos = ihs[j].getPosition(); |
| |
| _out.println(" " + name + ".setTarget(" + j + |
| ", ih_" + t_pos + ");"); |
| } |
| } |
| } |
| } |
| |
| private void updateExceptionHandlers() { |
| CodeExceptionGen[] handlers = _mg.getExceptionHandlers(); |
| |
| for(int i=0; i < handlers.length; i++) { |
| CodeExceptionGen h = handlers[i]; |
| String type = (h.getCatchType() == null)? |
| "null" : BCELifier.printType(h.getCatchType()); |
| |
| _out.println(" method.addExceptionHandler(" + |
| "ih_" + h.getStartPC().getPosition() + ", " + |
| "ih_" + h.getEndPC().getPosition() + ", " + |
| "ih_" + h.getHandlerPC().getPosition() + ", " + |
| type + ");"); |
| } |
| } |
| } |