1 /* 2 * Copyright (C) 2007 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 package com.android.dx.rop.code; 18 19 import com.android.dx.rop.cst.Constant; 20 import com.android.dx.rop.cst.CstString; 21 import com.android.dx.rop.type.Type; 22 import com.android.dx.rop.type.TypeList; 23 24 /** 25 * Instruction which contains an explicit reference to a constant 26 * and which might throw an exception. 27 */ 28 public final class ThrowingCstInsn 29 extends CstInsn { 30 /** {@code non-null;} list of exceptions caught */ 31 private final TypeList catches; 32 33 /** 34 * Constructs an instance. 35 * 36 * @param opcode {@code non-null;} the opcode 37 * @param position {@code non-null;} source position 38 * @param sources {@code non-null;} specs for all the sources 39 * @param catches {@code non-null;} list of exceptions caught 40 * @param cst {@code non-null;} the constant 41 */ ThrowingCstInsn(Rop opcode, SourcePosition position, RegisterSpecList sources, TypeList catches, Constant cst)42 public ThrowingCstInsn(Rop opcode, SourcePosition position, 43 RegisterSpecList sources, 44 TypeList catches, Constant cst) { 45 super(opcode, position, null, sources, cst); 46 47 if (opcode.getBranchingness() != Rop.BRANCH_THROW) { 48 throw new IllegalArgumentException("opcode with invalid branchingness: " + opcode.getBranchingness()); 49 } 50 51 if (catches == null) { 52 throw new NullPointerException("catches == null"); 53 } 54 55 this.catches = catches; 56 } 57 58 /** {@inheritDoc} */ 59 @Override getInlineString()60 public String getInlineString() { 61 Constant cst = getConstant(); 62 String constantString = cst.toHuman(); 63 if (cst instanceof CstString) { 64 constantString = ((CstString) cst).toQuoted(); 65 } 66 return constantString + " " + ThrowingInsn.toCatchString(catches); 67 } 68 69 /** {@inheritDoc} */ 70 @Override getCatches()71 public TypeList getCatches() { 72 return catches; 73 } 74 75 /** {@inheritDoc} */ 76 @Override accept(Visitor visitor)77 public void accept(Visitor visitor) { 78 visitor.visitThrowingCstInsn(this); 79 } 80 81 /** {@inheritDoc} */ 82 @Override withAddedCatch(Type type)83 public Insn withAddedCatch(Type type) { 84 return new ThrowingCstInsn(getOpcode(), getPosition(), 85 getSources(), catches.withAddedType(type), 86 getConstant()); 87 } 88 89 /** {@inheritDoc} */ 90 @Override withRegisterOffset(int delta)91 public Insn withRegisterOffset(int delta) { 92 return new ThrowingCstInsn(getOpcode(), getPosition(), 93 getSources().withOffset(delta), 94 catches, 95 getConstant()); 96 } 97 98 /** {@inheritDoc} */ 99 @Override withNewRegisters(RegisterSpec result, RegisterSpecList sources)100 public Insn withNewRegisters(RegisterSpec result, 101 RegisterSpecList sources) { 102 103 return new ThrowingCstInsn(getOpcode(), getPosition(), 104 sources, 105 catches, 106 getConstant()); 107 } 108 109 110 } 111