net.sf.jode.flow
Class RetBlock

java.lang.Object
  net.sf.jode.flow.StructuredBlock
      net.sf.jode.flow.RetBlock

public class RetBlock

extends StructuredBlock

This block represents a ret instruction. A ret instruction is used to call the finally block, or to call the monitorexit block in a synchronized block.

Author:

Jochen Hoenicke

Constructor Summary

RetBlock(LocalInfo local)

Method Summary

void	dumpInstruction(TabbedPrintWriter writer) Print the instruction expressing this structured block.
void	fillInGenSet(java.util.Set in, java.util.Set gen) Fill all in variables into the given VariableSet.
java.util.Set	getDeclarables()
VariableStack	mapStackToLocal(VariableStack stack) This does take the instr into account and modifies stack accordingly.

Methods inherited from class net.sf.jode.flow.StructuredBlock

appendBlock, checkConsistent, contains, copyJump, doTransformations, dumpSource, flowMayBeChanged, getNextBlock, getNextBlock, getNextFlowBlock, getNextFlowBlock, getSubBlocks, isEmpty, isSingleExit, jumpMayBeChanged, makeDeclaration, moveJump, needsBraces, prependBlock, propagateUsage, removeBlock, removeJump, removeOnetimeLocals, removePush, replace, replaceSubBlock, setFlowBlock, setJump, setSuccessors, simplify, swapJump, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RetBlock

public RetBlock(LocalInfo local)

Method Detail

fillInGenSet

public void fillInGenSet(java.util.Set in,
                         java.util.Set gen)

Fill all in variables into the given VariableSet.

Overrides:

fillInGenSet in class StructuredBlock

Parameters:

in - The VariableSet, the in variables should be stored to.

mapStackToLocal

public VariableStack mapStackToLocal(VariableStack stack)

This does take the instr into account and modifies stack accordingly. It then calls super.mapStackToLocal.

Overrides:

mapStackToLocal in class StructuredBlock

Parameters:

stack - the stack before the instruction is called

Returns:

stack the stack afterwards.

getDeclarables

public java.util.Set getDeclarables()

Overrides:

getDeclarables in class StructuredBlock

dumpInstruction

public void dumpInstruction(TabbedPrintWriter writer)
                     throws java.io.IOException

Description copied from class: StructuredBlock

Print the instruction expressing this structured block.

Specified by:

dumpInstruction in class StructuredBlock

Parameters:

writer - The tabbed print writer, where we print to.

Throws:

java.io.IOException