1917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul/* 2917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Copyright (C) 2007 The Android Open Source Project 3917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 4917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Licensed under the Apache License, Version 2.0 (the "License"); 5917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * you may not use this file except in compliance with the License. 6917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * You may obtain a copy of the License at 7917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 8917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * http://www.apache.org/licenses/LICENSE-2.0 9917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 10917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Unless required by applicable law or agreed to in writing, software 11917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * distributed under the License is distributed on an "AS IS" BASIS, 12917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * See the License for the specific language governing permissions and 14917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * limitations under the License. 15917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 16917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 17917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulpackage com.android.dexgen.rop.code; 18917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 19917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.type.Type; 20917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.type.TypeList; 21917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 22917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul/** 23917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Instruction which possibly throws. The {@code successors} list in the 24917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * basic block an instance of this class is inside corresponds in-order to 25917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * the list of exceptions handled by this instruction, with the 26917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * no-exception case appended as the final target. 27917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 28917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulpublic final class ThrowingInsn 29917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul extends Insn { 30917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@code non-null;} list of exceptions caught */ 31917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul private final TypeList catches; 32917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 33917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** 34917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Gets the string form of a register spec list to be used as a catches 35917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * list. 36917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 37917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param catches {@code non-null;} the catches list 38917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @return {@code non-null;} the string form 39917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 40917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public static String toCatchString(TypeList catches) { 41917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul StringBuffer sb = new StringBuffer(100); 42917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 43917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul sb.append("catch"); 44917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 45917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul int sz = catches.size(); 46917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul for (int i = 0; i < sz; i++) { 47917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul sb.append(" "); 48917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul sb.append(catches.getType(i).toHuman()); 49917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 50917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 51917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return sb.toString(); 52917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 53917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 54917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** 55917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Constructs an instance. 56917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 57917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param opcode {@code non-null;} the opcode 58917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param position {@code non-null;} source position 59917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param sources {@code non-null;} specs for all the sources 60917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param catches {@code non-null;} list of exceptions caught 61917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 62917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public ThrowingInsn(Rop opcode, SourcePosition position, 63917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul RegisterSpecList sources, 64917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul TypeList catches) { 65917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul super(opcode, position, null, sources); 66917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 67917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul if (opcode.getBranchingness() != Rop.BRANCH_THROW) { 68917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul throw new IllegalArgumentException("bogus branchingness"); 69917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 70917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 71917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul if (catches == null) { 72917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul throw new NullPointerException("catches == null"); 73917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 74917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 75917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul this.catches = catches; 76917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 77917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 78917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 79917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 80917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public String getInlineString() { 81917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return toCatchString(catches); 82917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 83917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 84917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 85917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 86917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public TypeList getCatches() { 87917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return catches; 88917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 89917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 90917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 91917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 92917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public void accept(Visitor visitor) { 93917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul visitor.visitThrowingInsn(this); 94917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 95917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 96917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 97917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 98917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public Insn withAddedCatch(Type type) { 99917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return new ThrowingInsn(getOpcode(), getPosition(), 100917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul getSources(), catches.withAddedType(type)); 101917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 102917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 103917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 104917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 105917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public Insn withRegisterOffset(int delta) { 106917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return new ThrowingInsn(getOpcode(), getPosition(), 107917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul getSources().withOffset(delta), 108917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul catches); 109917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 110917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 111917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 112917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 113917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public Insn withNewRegisters(RegisterSpec result, 114917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul RegisterSpecList sources) { 115917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 116917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return new ThrowingInsn(getOpcode(), getPosition(), 117917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul sources, 118917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul catches); 119917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 120917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul} 121