Class AstTranslator.PreBasicBlock
java.lang.Object
com.ibm.wala.cast.ir.translator.AstTranslator.PreBasicBlock
- All Implemented Interfaces:
IBasicBlock<SSAInstruction>
,INodeWithNumber
,Iterable<SSAInstruction>
- Enclosing class:
AstTranslator
protected static final class AstTranslator.PreBasicBlock
extends Object
implements IBasicBlock<SSAInstruction>
basic block implementation used in the CFGs constructed during the IR-generating AST traversal
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionint
Get the index of the first instruction in the basic block.int
A non-negative integer which serves as an identifier for this node in it's "dominant" graph.int
Get the index of the last instruction in the basic block.int
Each basic block should have a unique number in its cfgboolean
Return true if the basic block represents a catch block.boolean
Return true if the basic block represents the unique entry block.boolean
Return true if the basic block represents the unique exit block.boolean
iterator()
void
setGraphNodeId
(int number) toString()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Constructor Details
-
PreBasicBlock
protected PreBasicBlock()
-
-
Method Details
-
getNumber
public int getNumber()Description copied from interface:IBasicBlock
Each basic block should have a unique number in its cfg- Specified by:
getNumber
in interfaceIBasicBlock<SSAInstruction>
- Returns:
- the basic block's number
-
getGraphNodeId
public int getGraphNodeId()Description copied from interface:INodeWithNumber
A non-negative integer which serves as an identifier for this node in it's "dominant" graph. Initially this number is -1; a NumberedGraph will set it to a non-negative value when this node is inserted into the graph- Specified by:
getGraphNodeId
in interfaceINodeWithNumber
- Returns:
- the identifier
-
setGraphNodeId
public void setGraphNodeId(int number) - Specified by:
setGraphNodeId
in interfaceINodeWithNumber
-
getFirstInstructionIndex
public int getFirstInstructionIndex()Description copied from interface:IBasicBlock
Get the index of the first instruction in the basic block. The value is an index into the instruction array that contains all the instructions for the method.If the result is < 0, the block has no instructions
- Specified by:
getFirstInstructionIndex
in interfaceIBasicBlock<SSAInstruction>
- Returns:
- the instruction index for the first instruction in the basic block.
-
getLastInstructionIndex
public int getLastInstructionIndex()Description copied from interface:IBasicBlock
Get the index of the last instruction in the basic block. The value is an index into the instruction array that contains all the instructions for the method.If the result is < 0, the block has no instructions
- Specified by:
getLastInstructionIndex
in interfaceIBasicBlock<SSAInstruction>
- Returns:
- the instruction index for the last instruction in the basic block
-
isEntryBlock
public boolean isEntryBlock()Description copied from interface:IBasicBlock
Return true if the basic block represents the unique entry block.- Specified by:
isEntryBlock
in interfaceIBasicBlock<SSAInstruction>
- Returns:
- true if the basic block represents the unique entry block.
-
isExitBlock
public boolean isExitBlock()Description copied from interface:IBasicBlock
Return true if the basic block represents the unique exit block.- Specified by:
isExitBlock
in interfaceIBasicBlock<SSAInstruction>
- Returns:
- true if the basic block represents the unique exit block.
-
isHandlerBlock
public boolean isHandlerBlock() -
toString
-
isCatchBlock
public boolean isCatchBlock()Description copied from interface:IBasicBlock
Return true if the basic block represents a catch block.- Specified by:
isCatchBlock
in interfaceIBasicBlock<SSAInstruction>
- Returns:
- true if the basic block represents a catch block.
-
getMethod
- Specified by:
getMethod
in interfaceIBasicBlock<SSAInstruction>
- Returns:
- governing method for this block
-
iterator
- Specified by:
iterator
in interfaceIterable<SSAInstruction>
-