Dexmaker 1.5 · org.droidparts.dexmaker.dx.rop.code.RopMethod

Field Summary

Modifier and Type	Field and Description
private final BasicBlockList	blocks `non-null;` basic block list of the method
private IntList	exitPredecessors `null-ok;` the predecessors for the implicit "exit" block, that is the labels for the blocks that return, if calculated
private final int	firstLabel `>= 0;` label for the block which starts the method
private IntList[]	predecessors `null-ok;` array of predecessors for each block, indexed by block label

Constructor Summary

Access	Constructor and Description
public	RopMethod(BasicBlockList `non-null;` basic block list of the method blocks, int `>= 0;` the label of the first block to execute firstLabel) Constructs an instance.

Method Summary

Modifier and Type	Method and Description
private void	calcPredecessors() Calculates the predecessor sets for each block as well as for the exit.
public BasicBlockList	Returns: `non-null;` the list getBlocks() Gets the basic block list for this method.
public IntList	Returns: `non-null;` the exit predecessors getExitPredecessors() Gets the exit predecessors for this instance.
public int	Returns: `>= 0;` the first-block label getFirstLabel() Gets the label for the first block in the method that this list represents.
public IntList	Returns: `non-null;` the predecessors of that block labelToPredecessors(int `>= 0;` the label of the block in question label) Gets the predecessors associated with the given block.
public RopMethod	Returns: `non-null;` an appropriately-constructed instance withRegisterOffset(int the amount to offset register numbers by delta) Returns an instance that is identical to this one, except that the registers in each instruction are offset by the given amount.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

blocks	back to summary
private final BasicBlockList blocks `non-null;` basic block list of the method

exitPredecessors	back to summary
private IntList exitPredecessors `null-ok;` the predecessors for the implicit "exit" block, that is the labels for the blocks that return, if calculated

firstLabel	back to summary
private final int firstLabel `>= 0;` label for the block which starts the method

predecessors	back to summary
private IntList[] predecessors `null-ok;` array of predecessors for each block, indexed by block label

Constructor Detail

RopMethod back to summary

RopMethod	back to summary
public RopMethod(BasicBlockList blocks, int firstLabel) Constructs an instance. Parameters blocks:BasicBlockList `non-null;` basic block list of the method firstLabel:int `>= 0;` the label of the first block to execute

public RopMethod(BasicBlockList blocks, int firstLabel)

Constructs an instance.

Parameters

blocks:BasicBlockList: non-null; basic block list of the method
firstLabel:int: >= 0; the label of the first block to execute

Method Detail

calcPredecessors	back to summary
private void calcPredecessors() Calculates the predecessor sets for each block as well as for the exit.

getBlocks back to summary

getBlocks	back to summary
public BasicBlockList getBlocks() Gets the basic block list for this method. Returns:BasicBlockList `non-null;` the list

public BasicBlockList getBlocks()

Gets the basic block list for this method.

Returns:BasicBlockList: non-null; the list

getExitPredecessors back to summary

getExitPredecessors	back to summary
public IntList getExitPredecessors() Gets the exit predecessors for this instance. Returns:IntList `non-null;` the exit predecessors

public IntList getExitPredecessors()

Gets the exit predecessors for this instance.

Returns:IntList: non-null; the exit predecessors

getFirstLabel back to summary

getFirstLabel	back to summary
public int getFirstLabel() Gets the label for the first block in the method that this list represents. Returns:int `>= 0;` the first-block label

public int getFirstLabel()

Gets the label for the first block in the method that this list represents.

Returns:int: >= 0; the first-block label

labelToPredecessors back to summary

labelToPredecessors	back to summary
public IntList labelToPredecessors(int label) Gets the predecessors associated with the given block. This throws an exception if there is no block with the given label. Parameters label:int `>= 0;` the label of the block in question Returns:IntList `non-null;` the predecessors of that block

public IntList labelToPredecessors(int label)

Gets the predecessors associated with the given block. This throws an exception if there is no block with the given label.

Parameters

label:int: >= 0; the label of the block in question

Returns:IntList

non-null; the predecessors of that block

withRegisterOffset back to summary

withRegisterOffset	back to summary
public RopMethod withRegisterOffset(int delta) Returns an instance that is identical to this one, except that the registers in each instruction are offset by the given amount. Parameters delta:int the amount to offset register numbers by Returns:RopMethod `non-null;` an appropriately-constructed instance

public RopMethod withRegisterOffset(int delta)

Returns an instance that is identical to this one, except that the registers in each instruction are offset by the given amount.

Parameters

delta:int: the amount to offset register numbers by

Returns:RopMethod

non-null; an appropriately-constructed instance

public final Class RopMethod

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail