Package com.ibm.wala.cast.ir.translator
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 INodeWithNumber, IBasicBlock<SSAInstruction>
basic block implementation used in the CFGs constructed during the IR-generating AST traversal
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedPreBasicBlock()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intgetFirstInstructionIndex()Get the index of the first instruction in the basic block.intgetGraphNodeId()A non-negative integer which serves as an identifier for this node in it's "dominant" graph.intgetLastInstructionIndex()Get the index of the last instruction in the basic block.IMethodgetMethod()intgetNumber()Each basic block should have a unique number in its cfgbooleanisCatchBlock()Return true if the basic block represents a catch block.booleanisEntryBlock()Return true if the basic block represents the unique entry block.booleanisExitBlock()Return true if the basic block represents the unique exit block.booleanisHandlerBlock()Iterator<SSAInstruction>iterator()voidsetGraphNodeId(int number)StringtoString()-
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
-
-
-
-
Method Detail
-
getNumber
public int getNumber()
Description copied from interface:IBasicBlockEach basic block should have a unique number in its cfg- Specified by:
getNumberin interfaceIBasicBlock<SSAInstruction>- Returns:
- the basic block's number
-
getGraphNodeId
public int getGraphNodeId()
Description copied from interface:INodeWithNumberA 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:
getGraphNodeIdin interfaceINodeWithNumber- Returns:
- the identifier
-
setGraphNodeId
public void setGraphNodeId(int number)
- Specified by:
setGraphNodeIdin interfaceINodeWithNumber
-
getFirstInstructionIndex
public int getFirstInstructionIndex()
Description copied from interface:IBasicBlockGet 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:
getFirstInstructionIndexin interfaceIBasicBlock<SSAInstruction>- Returns:
- the instruction index for the first instruction in the basic block.
-
getLastInstructionIndex
public int getLastInstructionIndex()
Description copied from interface:IBasicBlockGet 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:
getLastInstructionIndexin interfaceIBasicBlock<SSAInstruction>- Returns:
- the instruction index for the last instruction in the basic block
-
isEntryBlock
public boolean isEntryBlock()
Description copied from interface:IBasicBlockReturn true if the basic block represents the unique entry block.- Specified by:
isEntryBlockin interfaceIBasicBlock<SSAInstruction>- Returns:
- true if the basic block represents the unique entry block.
-
isExitBlock
public boolean isExitBlock()
Description copied from interface:IBasicBlockReturn true if the basic block represents the unique exit block.- Specified by:
isExitBlockin interfaceIBasicBlock<SSAInstruction>- Returns:
- true if the basic block represents the unique exit block.
-
isHandlerBlock
public boolean isHandlerBlock()
-
isCatchBlock
public boolean isCatchBlock()
Description copied from interface:IBasicBlockReturn true if the basic block represents a catch block.- Specified by:
isCatchBlockin interfaceIBasicBlock<SSAInstruction>- Returns:
- true if the basic block represents a catch block.
-
getMethod
public IMethod getMethod()
- Specified by:
getMethodin interfaceIBasicBlock<SSAInstruction>- Returns:
- governing method for this block
-
iterator
public Iterator<SSAInstruction> iterator()
- Specified by:
iteratorin interfaceIterable<SSAInstruction>
-
-