1579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/* 2579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Copyright (C) 2007 The Android Open Source Project 3579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 4579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Licensed under the Apache License, Version 2.0 (the "License"); 5579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * you may not use this file except in compliance with the License. 6579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * You may obtain a copy of the License at 7579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 8579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * http://www.apache.org/licenses/LICENSE-2.0 9579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 10579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Unless required by applicable law or agreed to in writing, software 11579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * distributed under the License is distributed on an "AS IS" BASIS, 12579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * See the License for the specific language governing permissions and 14579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * limitations under the License. 15579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 16579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 17579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonpackage com.android.dx.rop.code; 18579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 19579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.type.Type; 20579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.type.TypeList; 21579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 22579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/** 23579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Instruction which possibly throws. The {@code successors} list in the 24579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * basic block an instance of this class is inside corresponds in-order to 25579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * the list of exceptions handled by this instruction, with the 26579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * no-exception case appended as the final target. 27579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 28579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonpublic final class ThrowingInsn 29579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson extends Insn { 30579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@code non-null;} list of exceptions caught */ 31579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private final TypeList catches; 32579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 33579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 34579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Gets the string form of a register spec list to be used as a catches 35579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * list. 36579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 37579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param catches {@code non-null;} the catches list 38579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @return {@code non-null;} the string form 39579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 40579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public static String toCatchString(TypeList catches) { 41579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson StringBuffer sb = new StringBuffer(100); 42579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 43579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson sb.append("catch"); 44579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 45579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson int sz = catches.size(); 46579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson for (int i = 0; i < sz; i++) { 47579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson sb.append(" "); 48579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson sb.append(catches.getType(i).toHuman()); 49579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 50579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 51579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return sb.toString(); 52579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 53579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 54579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 55579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Constructs an instance. 56579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 57579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param opcode {@code non-null;} the opcode 58579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param position {@code non-null;} source position 59579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param sources {@code non-null;} specs for all the sources 60579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param catches {@code non-null;} list of exceptions caught 61579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 62579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public ThrowingInsn(Rop opcode, SourcePosition position, 63579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson RegisterSpecList sources, 64579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson TypeList catches) { 65579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson super(opcode, position, null, sources); 66579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 67579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (opcode.getBranchingness() != Rop.BRANCH_THROW) { 68579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson throw new IllegalArgumentException("bogus branchingness"); 69579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 70579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 71579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (catches == null) { 72579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson throw new NullPointerException("catches == null"); 73579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 74579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 75579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson this.catches = catches; 76579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 77579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 78579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 79579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson @Override 80579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public String getInlineString() { 81579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return toCatchString(catches); 82579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 83579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 84579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 85579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson @Override 86579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public TypeList getCatches() { 87579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return catches; 88579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 89579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 90579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 91579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson @Override 92579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public void accept(Visitor visitor) { 93579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson visitor.visitThrowingInsn(this); 94579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 95579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 96579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 97579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson @Override 98579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public Insn withAddedCatch(Type type) { 99579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return new ThrowingInsn(getOpcode(), getPosition(), 100579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson getSources(), catches.withAddedType(type)); 101579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 102579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 103579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 104579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson @Override 105579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public Insn withRegisterOffset(int delta) { 106579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return new ThrowingInsn(getOpcode(), getPosition(), 107579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson getSources().withOffset(delta), 108579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson catches); 109579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 110579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 111579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 112579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson @Override 113579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public Insn withNewRegisters(RegisterSpec result, 114579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson RegisterSpecList sources) { 115579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 116579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return new ThrowingInsn(getOpcode(), getPosition(), 117579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson sources, 118579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson catches); 119579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 120579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson} 121