Modifier and Type	Class and Description
pack-priv abstract static class	ControlFlow.Access
public static class	ControlFlow.Block Basic block.
public static class	ControlFlow.Catcher Represents a catch clause.
public static class	ControlFlow.Node A node of (post) dominator trees.

Modifier and Type	Field and Description
private ControlFlow.Block[]	basicBlocks
private CtClass	clazz
private Frame[]	frames
private MethodInfo	methodInfo

Access	Constructor and Description
public	ControlFlow(CtMethod method) Constructs a control-flow analyzer for the given method.
public	ControlFlow(CtClass ctclazz, MethodInfo minfo) Constructs a control-flow analyzer.

Method Summary

Modifier and Type	Method and Description
public ControlFlow.Block[]	Returns: an array of basic blocks, the array has length 0 if the method doesn't have code. basicBlocks() Returns all the basic blocks in the method body.
public ControlFlow.Node[]	Returns: an array of the tree nodes, or null if the method doesn't have code. dominatorTree() Constructs a dominator tree.
public Frame	frameAt(int the position. pos) Returns the types of the local variables and stack frame entries available at the given position.
public ControlFlow.Node[]	Returns: an array of the tree nodes, or null if the method doesn't have code. postDominatorTree() Constructs a post dominator tree.

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

basicBlocks	back to summary
private ControlFlow.Block[] basicBlocks

clazz	back to summary
private CtClass clazz

frames	back to summary
private Frame[] frames

methodInfo	back to summary
private MethodInfo methodInfo

Constructor Detail

ControlFlow	back to summary
public ControlFlow(CtMethod method) throws BadBytecode Constructs a control-flow analyzer for the given method.

ControlFlow	back to summary
public ControlFlow(CtClass ctclazz, MethodInfo minfo) throws BadBytecode Constructs a control-flow analyzer.

Method Detail

basicBlocks	back to summary
public ControlFlow.Block[] basicBlocks() Returns all the basic blocks in the method body. Returns:ControlFlow.Block[] an array of basic blocks, the array has length 0 if the method doesn't have code.

basicBlocks

back to summary

public ControlFlow.Block[] basicBlocks()

Returns all the basic blocks in the method body.

Returns:ControlFlow.Block[]: an array of basic blocks, the array has length 0 if the method doesn't have code.

dominatorTree back to summary

dominatorTree	back to summary
public ControlFlow.Node[] dominatorTree() Constructs a dominator tree. This method returns an array of the tree nodes. The first element of the array is the root of the tree. The order of the elements is the same as that of the elements in the `Block` array returned by the `basicBlocks` method. If a `Block` object is at the i-th position in the `Block` array, then the `Node` object referring to that `Block` object is at the i-th position in the array returned by this method. For every array element `node`, its index in the array is equivalent to `node.block().index()`. Returns:ControlFlow.Node[] an array of the tree nodes, or null if the method doesn't have code. See Also `Node#block()`, `Block#index()`

public ControlFlow.Node[] dominatorTree()

Constructs a dominator tree. This method returns an array of the tree nodes. The first element of the array is the root of the tree.

The order of the elements is the same as that of the elements in the Block array returned by the basicBlocks method. If a Block object is at the i-th position in the Block array, then the Node object referring to that Block object is at the i-th position in the array returned by this method. For every array element node, its index in the array is equivalent to node.block().index().

Returns:ControlFlow.Node[]: an array of the tree nodes, or null if the method doesn't have code.
See Also: Node#block(), Block#index()

frameAt	back to summary
public Frame frameAt(int pos) throws BadBytecode Returns the types of the local variables and stack frame entries available at the given position. If the byte at the position is not the first byte of an instruction, then this method returns null. Parameters pos:int the position.

frameAt

back to summary

public Frame frameAt(int pos) throws BadBytecode

Returns the types of the local variables and stack frame entries available at the given position. If the byte at the position is not the first byte of an instruction, then this method returns null.

Parameters

pos:int: the position.

postDominatorTree back to summary

postDominatorTree	back to summary
public ControlFlow.Node[] postDominatorTree() Constructs a post dominator tree. This method returns an array of the tree nodes. Note that the tree has multiple roots. The parent of the root nodes is null. The order of the elements is the same as that of the elements in the `Block` array returned by the `basicBlocks` method. If a `Block` object is at the i-th position in the `Block` array, then the `Node` object referring to that `Block` object is at the i-th position in the array returned by this method. For every array element `node`, its index in the array is equivalent to `node.block().index()`. Returns:ControlFlow.Node[] an array of the tree nodes, or null if the method doesn't have code. See Also `Node#block()`, `Block#index()`

public ControlFlow.Node[] postDominatorTree()

Constructs a post dominator tree. This method returns an array of the tree nodes. Note that the tree has multiple roots. The parent of the root nodes is null.

Returns:ControlFlow.Node[]: an array of the tree nodes, or null if the method doesn't have code.
See Also: Node#block(), Block#index()

javassist.bytecode.analysis back to summary

pack-priv abstract Class ControlFlow.Access

Class Inheritance

extends Object

java.lang.Object
javassist.bytecode.analysis.ControlFlow.Access

Field Summary

Modifier and Type	Field and Description
pack-priv ControlFlow.Node[]	all

Constructor Summary

Access	Constructor and Description
pack-priv	Access(ControlFlow.Node[] nodes)

Method Summary

Modifier and Type	Method and Description
pack-priv abstract BasicBlock[]	entrances(ControlFlow.Node n)
pack-priv abstract BasicBlock[]	exits(ControlFlow.Node n)
pack-priv ControlFlow.Node	node(BasicBlock b)

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

Field Detail

all	back to summary
pack-priv ControlFlow.Node[] all

Constructor Detail

Access	back to summary
pack-priv Access(ControlFlow.Node[] nodes)

Method Detail

entrances	back to summary
pack-priv abstract BasicBlock[] entrances(ControlFlow.Node n)

exits	back to summary
pack-priv abstract BasicBlock[] exits(ControlFlow.Node n)

node	back to summary
pack-priv ControlFlow.Node node(BasicBlock b)

javassist.bytecode.analysis back to summary

public Class ControlFlow.Block

Class Inheritance

extends BasicBlock

java.lang.Object
javassist.bytecode.stackmap.BasicBlock
javassist.bytecode.analysis.ControlFlow.Block

Basic block. It is a sequence of contiguous instructions that do not contain jump/branch instructions except the last one. Since Java6 or later does not allow JSR, we deal with JSR as a non-branch instruction.

Field Summary

Modifier and Type	Field and Description
public Object	clientData A field that can be freely used for storing extra data.
pack-priv ControlFlow.Block[]	entrances
pack-priv int	index
pack-priv MethodInfo	method

Inherited from javassist.bytecode.stackmap.BasicBlock:: exit incoming length position stop toCatch

Constructor Summary

Access	Constructor and Description
pack-priv	Block(int pos, MethodInfo minfo)

Method Summary

Modifier and Type	Method and Description
public ControlFlow.Catcher[]	catchers() Returns catch clauses that will catch an exception thrown in this block.
public ControlFlow.Block	exit(int an index in the array of exit blocks. n) Returns the n-th block that may be executed after this block.
public int	exits() Return the number of the blocks that may be executed after this block.
pack-priv BasicBlock[]	getExit()
public ControlFlow.Block	incoming(int n) Returns the block that the control may jump into this block from.
public int	incomings() Returns the number of the control paths entering this block.
public int	index() Returns the position of this block in the array of basic blocks that the `basicBlocks` method returns.
public int	length() Returns the length of this block.
public int	position() Returns the position of the first instruction in this block.
protected void	toString2(StringBuilder sbuf) Overrides javassist.bytecode.stackmap.BasicBlock.toString2.

Inherited from javassist.bytecode.stackmap.BasicBlock:: find toString

Field Detail

clientData	back to summary
public Object clientData A field that can be freely used for storing extra data. A client program of this control-flow analyzer can append an additional attribute to a `Block` object. The Javassist library never accesses this field.

entrances	back to summary
pack-priv ControlFlow.Block[] entrances

index	back to summary
pack-priv int index

method	back to summary
pack-priv MethodInfo method

Constructor Detail

Block	back to summary
pack-priv Block(int pos, MethodInfo minfo)

Method Detail

catchers	back to summary
public ControlFlow.Catcher[] catchers() Returns catch clauses that will catch an exception thrown in this block.

exit	back to summary
public ControlFlow.Block exit(int n) Returns the n-th block that may be executed after this block. Parameters n:int an index in the array of exit blocks.

exit

back to summary

public ControlFlow.Block exit(int n)

Returns the n-th block that may be executed after this block.

Parameters

n:int: an index in the array of exit blocks.

exits	back to summary
public int exits() Return the number of the blocks that may be executed after this block.

getExit	back to summary
pack-priv BasicBlock[] getExit()

incoming	back to summary
public ControlFlow.Block incoming(int n) Returns the block that the control may jump into this block from.

incomings	back to summary
public int incomings() Returns the number of the control paths entering this block.

index back to summary

index	back to summary
public int index() Returns the position of this block in the array of basic blocks that the `basicBlocks` method returns. See Also `basicBlocks()`

public int index()

Returns the position of this block in the array of basic blocks that the basicBlocks method returns.

See Also: basicBlocks()

length	back to summary
public int length() Returns the length of this block.

position	back to summary
public int position() Returns the position of the first instruction in this block.

toString2	back to summary
protected void toString2(StringBuilder sbuf) Overrides javassist.bytecode.stackmap.BasicBlock.toString2. Annotations @Override

toString2

back to summary

protected void toString2(StringBuilder sbuf)

Overrides javassist.bytecode.stackmap.BasicBlock.toString2.

Annotations

@Override

javassist.bytecode.analysis back to summary

public Class ControlFlow.Catcher

Class Inheritance

extends Object

java.lang.Object
javassist.bytecode.analysis.ControlFlow.Catcher

Represents a catch clause.

Field Summary

Modifier and Type	Field and Description
private ControlFlow.Block	node
private int	typeIndex

Constructor Summary

Access	Constructor and Description
pack-priv	Catcher(BasicBlock.Catch c)

Method Summary

Modifier and Type	Method and Description
public ControlFlow.Block	block() Returns the first block of the catch clause.
public String	type() Returns the name of the exception type that this catch clause catches.

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

Field Detail

node	back to summary
private ControlFlow.Block node

typeIndex	back to summary
private int typeIndex

Constructor Detail

Catcher	back to summary
pack-priv Catcher(BasicBlock.Catch c)

Method Detail

block	back to summary
public ControlFlow.Block block() Returns the first block of the catch clause.

type	back to summary
public String type() Returns the name of the exception type that this catch clause catches.

javassist.bytecode.analysis back to summary

public Class ControlFlow.Node

Class Inheritance

extends Object

java.lang.Object
javassist.bytecode.analysis.ControlFlow.Node

A node of (post) dominator trees.

Field Summary

Modifier and Type	Field and Description
private ControlFlow.Block	block
private ControlFlow.Node[]	children
private ControlFlow.Node	parent

Constructor Summary

Access	Constructor and Description
pack-priv	Node(ControlFlow.Block b)

Method Summary

Modifier and Type	Method and Description
public ControlFlow.Block	block() Returns the basic block indicated by this node.
public ControlFlow.Node	child(int an index in the array of children. n) Returns the n-th child of this node.
public int	children() Returns the number of the children of this node.
private static ControlFlow.Node	getAncestor(ControlFlow.Node n1, ControlFlow.Node n2, int[] distance)
pack-priv int	makeDepth1stTree(ControlFlow.Node caller, boolean[] visited, int counter, int[] distance, ControlFlow.Access access)
pack-priv boolean	makeDominatorTree(boolean[] visited, int[] distance, ControlFlow.Access access)
public ControlFlow.Node	parent() Returns the parent of this node.
private static void	setChildren(ControlFlow.Node[] all)
public String	toString() Overrides java.lang.Object.toString. Returns a `String` representation.

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

Field Detail

block	back to summary
private ControlFlow.Block block

children	back to summary
private ControlFlow.Node[] children

parent	back to summary
private ControlFlow.Node parent

Constructor Detail

Node	back to summary
pack-priv Node(ControlFlow.Block b)

Method Detail

block	back to summary
public ControlFlow.Block block() Returns the basic block indicated by this node.

child

back to summary

public ControlFlow.Node child(int n)

Returns the n-th child of this node.

Parameters

n:int: an index in the array of children.

children	back to summary
public int children() Returns the number of the children of this node.

getAncestor	back to summary
private static ControlFlow.Node getAncestor(ControlFlow.Node n1, ControlFlow.Node n2, int[] distance)

makeDepth1stTree	back to summary
pack-priv int makeDepth1stTree(ControlFlow.Node caller, boolean[] visited, int counter, int[] distance, ControlFlow.Access access)

makeDominatorTree	back to summary
pack-priv boolean makeDominatorTree(boolean[] visited, int[] distance, ControlFlow.Access access)

parent	back to summary
public ControlFlow.Node parent() Returns the parent of this node.

setChildren	back to summary
private static void setChildren(ControlFlow.Node[] all)

toString back to summary

public String toString()

Overrides java.lang.Object.toString.

Returns a String representation.

Returns:String

Doc from java.lang.Object.toString.

a string representation of the object

Annotations

@Override

public Class ControlFlow

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

pack-priv abstract Class ControlFlow.Access

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public Class ControlFlow.Block

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public Class ControlFlow.Catcher

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public Class ControlFlow.Node

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail