com.android.dx.rop.code
Class ThrowingInsn

java.lang.Object
  com.android.dx.rop.code.Insn
      com.android.dx.rop.code.ThrowingInsn

All Implemented Interfaces:

ToHuman

public final class ThrowingInsn
extends Insn

Instruction which possibly throws. The successors list in the basic block an instance of this class is inside corresponds in-order to the list of exceptions handled by this instruction, with the no-exception case appended as the final target.

Nested Class Summary

Nested classes/interfaces inherited from class com.android.dx.rop.code.Insn

Insn.BaseVisitor, Insn.Visitor

Constructor Summary

ThrowingInsn(Rop opcode, SourcePosition position, RegisterSpecList sources, TypeList catches)
Constructs an instance.

Method Summary

void	accept(Insn.Visitor visitor) Calls the appropriate method on the given visitor, depending on the class of this instance.
TypeList	getCatches() Gets the list of possibly-caught exceptions.
String	getInlineString() Gets an "inline" string portion for toHuman(), if available.
static String	toCatchString(TypeList catches) Gets the string form of a register spec list to be used as a catches list.
Insn	withAddedCatch(Type type) Returns an instance that is just like this one, except that it has a catch list with the given item appended to the end.
Insn	withNewRegisters(RegisterSpec result, RegisterSpecList sources) Returns an instance that is just like this one, except with new result and source registers.
Insn	withRegisterOffset(int delta) Returns an instance that is just like this one, except that all register references have been offset by the given delta.

Methods inherited from class com.android.dx.rop.code.Insn

canThrow, contentEquals, copy, equals, getLocalAssignment, getOpcode, getPosition, getResult, getSources, hashCode, toHuman, toHumanWithInline, toString, toStringWithInline, withSourceLiteral

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ThrowingInsn

public ThrowingInsn(Rop opcode,
                    SourcePosition position,
                    RegisterSpecList sources,
                    TypeList catches)

Constructs an instance.

Parameters:

opcode - non-null; the opcode

position - non-null; source position

sources - non-null; specs for all the sources

catches - non-null; list of exceptions caught

Method Detail

toCatchString

public static String toCatchString(TypeList catches)

Gets the string form of a register spec list to be used as a catches list.

Parameters:

catches - non-null; the catches list

Returns:

non-null; the string form

getInlineString

public String getInlineString()

Gets an "inline" string portion for toHuman(), if available. This is the portion that appears after the Rop opcode

Overrides:

getInlineString in class Insn

Returns:

null-ok; if non-null, the inline text for toHuman()

getCatches

public TypeList getCatches()

Gets the list of possibly-caught exceptions. This returns StdTypeList.EMPTY if this instruction has no handlers, which can be either if this instruction can't possibly throw or if it merely doesn't handle any of its possible exceptions. To determine whether this instruction can throw, use Insn.canThrow().

Specified by:

getCatches in class Insn

Returns:

non-null; the catches list

accept

public void accept(Insn.Visitor visitor)

Calls the appropriate method on the given visitor, depending on the class of this instance. Subclasses must override this.

Specified by:

accept in class Insn

Parameters:

visitor - non-null; the visitor to call on

withAddedCatch

public Insn withAddedCatch(Type type)

Returns an instance that is just like this one, except that it has a catch list with the given item appended to the end. This method throws an exception if this instance can't possibly throw. To determine whether this instruction can throw, use Insn.canThrow().

Specified by:

withAddedCatch in class Insn

Parameters:

type - non-null; type to append to the catch list

Returns:

non-null; an appropriately-constructed instance

withRegisterOffset

public Insn withRegisterOffset(int delta)

Returns an instance that is just like this one, except that all register references have been offset by the given delta.

Specified by:

withRegisterOffset in class Insn

Parameters:

delta - the amount to offset register references by

Returns:

non-null; an appropriately-constructed instance

withNewRegisters

public Insn withNewRegisters(RegisterSpec result,
                             RegisterSpecList sources)

Returns an instance that is just like this one, except with new result and source registers.

Specified by:

withNewRegisters in class Insn

Parameters:

result - null-ok; new result register

sources - non-null; new sources registers

Returns:

non-null; an appropriately-constructed instance