coins.ir.hir
インタフェース BlockStmt

すべてのスーパーインタフェース:

java.lang.Cloneable, HIR, HIR0, IR, IR0, Stmt

既知の実装クラスの一覧:

BlockStmtImpl

public interface BlockStmt

extends Stmt

Block representing a sequence of statements.

フィールドの概要

インタフェース coins.ir.hir.HIR から継承したフィールド

OP_CODE_NAME, OP_CODE_NAME_DENSE

インタフェース coins.ir.IR から継承したフィールド

OP_INF, OP_LIST, OP_PROG, OP_SUBP_DEF

インタフェース coins.ir.hir.HIR0 から継承したフィールド

FLAG_C_PTR, FLAG_CONST_EXP, FLAG_INIT_BLOCK, FLAG_LOOP_WITH_CONDITIONAL_INIT, FLAG_NOCHANGE, FLAG_NONTERMINAL, OP_ADD, OP_ADD_ASSIGN, OP_ADDR, OP_AND, OP_AND_ASSIGN, OP_ARROW, OP_ASM, OP_ASSIGN, OP_BLOCK, OP_CALL, OP_CMP_EQ, OP_CMP_GE, OP_CMP_GT, OP_CMP_LE, OP_CMP_LT, OP_CMP_NE, OP_COMMA, OP_CONST, OP_CONTENTS, OP_CONV, OP_DECAY, OP_DIV, OP_DIV_ASSIGN, OP_ELEM, OP_ENCLOSE, OP_EQ_ZERO, OP_EXP_STMT, OP_EXPLIST, OP_EXPREPEAT, OP_FOR, OP_IF, OP_INDEX, OP_INDEXED_LOOP, OP_JUMP, OP_LABEL, OP_LABEL_DEF, OP_LABELED_STMT, OP_LG_AND, OP_LG_OR, OP_MOD, OP_MOD_ASSIGN, OP_MULT, OP_MULT_ASSIGN, OP_NEG, OP_NOT, OP_NULL, OP_OFFSET, OP_OR, OP_OR_ASSIGN, OP_PARAM, OP_PHI, OP_POST_DECR, OP_POST_INCR, OP_PRE_DECR, OP_PRE_INCR, OP_QUAL, OP_REPEAT, OP_RETURN, OP_SELECT, OP_SEQ, OP_SETDATA, OP_SHIFT_L_ASSIGN, OP_SHIFT_LL, OP_SHIFT_R, OP_SHIFT_R_ASSIGN, OP_SHIFT_RL, OP_SIZEOF, OP_STMT, OP_STMT_UPPER, OP_SUB, OP_SUB_ASSIGN, OP_SUBP, OP_SUBS, OP_SWITCH, OP_SYM, OP_TYPE, OP_UNDECAY, OP_UNTIL, OP_VAR, OP_WHILE, OP_XOR, OP_XOR_ASSIGN

メソッドの概要

void	addBeforeBranchStmt(Stmt pStatement) addBeforeBranchStmt (##6) If the last statement of this block is a branch statement (jump, if, switch, call, return), then insert pStatement in front of it.
Stmt	addFirstStmt(Stmt pStatement) addFirstStmt Add pStatement as the first statement of this block.
Stmt	addLastStmt(Stmt pStatement) addLastStmt Add pStatement as the last statement of this block.
Stmt	getFirstStmt() getFirstStrmt Get the first statement of this block.
Stmt	getLastStmt() getLastStmt Get the last statement of this block.
boolean	getSubpBodyFlag()
SymTable	getSymTable() getSymTable
void	setSubpBodyFlag(boolean pFlag)
void	setSymTable(SymTable pSymTable) setSymTable Set pSymTable as the local symbol tabel of this BlockStmt.

インタフェース coins.ir.hir.Stmt から継承したメソッド

addNextStmt, ancestorControlStmtOfConditionalExp, attachLabel, attachLabelAsFirstOne, combineStmt, combineWithConditionalExp, copyPosition, cutLabelLinkOfStmt, deleteThisStmt, getBlockStmt, getFileName, getLabel, getLabelDefList, getLabeledStmt, getLineNumber, getPreviousStmt, getUpperStmt, insertPreviousStmt, insertPreviousStmt, isBranchStmt, isMultiBlock, isolateThisStmt, replaceThisStmtWith, setFileName, setLineNumber

インタフェース coins.ir.hir.HIR から継承したメソッド

addrExp, asmStmt, checkLinkage, conditionalExp, contains, copyInfListFrom, cutParentLink, exp, expList, expRepeat, forStmt, getExpId, getFlowAnalSym, getIndentSpace, getInfString, getIrName, getSourceNode, getSourceNode1, getSourceNode2, getSymOrExpId, getWork, hirNodeClone, hirSeq, hirSeq, indexedLoopStmt, indexedLoopStmt, infStmt, infStmt, intConstNode, irList, isEmpty, isStmt, isTree, nullNode, nullStmt, offsetConstNode, phiExp, repeatStmt, replaceSource, replaceSource1, replaceSource2, returnStmt, setChild1, setChild2, setChildren, setChildren, setDataStmt, setIndex, setIndexNumberToAllNodes, setParent, setType, setWork, subpDefinition, subpIterator, subscriptedExp, toString, toStringDetail, toStringShort, toStringWithChildren, undecayExp, undecayExp, undecayExp, whileStmt

インタフェース coins.ir.IR から継承したメソッド

addInf, getChild1, getChild2, getInf, getInfList, getParent, getSym, print, print, removeInf

インタフェース coins.ir.IR0 から継承したメソッド

getChild, getChildCount, getIndex, getOperator, setChild

インタフェース coins.ir.hir.HIR0 から継承したメソッド

accept, assignStmt, blockStmt, callStmt, constNode, contentsExp, convExp, copyWithOperands, copyWithOperandsChangingLabels, decayExp, elemNode, exp, exp, expStmt, falseNode, finishHir, forStmt, functionExp, getChildNumber, getFlag, getFlagBox, getNextStmt, getStmtContainingThisNode, getType, hirClone, hirIterator, hirList, hirSeq, ifStmt, intConstNode, irList, isSameAs, jumpStmt, labelDef, labeledStmt, labelNode, pointedExp, print, program, qualifiedExp, repeatStmt, replaceThisNode, returnStmt, setFlag, setIndexNumberToAllNodes, sizeofExp, sizeofExp, subpDefinition, subpNode, subscriptedExp, switchStmt, symNode, trueNode, undecayExp, varNode, whileStmt

メソッドの詳細

getSymTable

public SymTable getSymTable()

getSymTable

戻り値:

the symbol table containing symbols locally declared in this BlockStmt. If there is no local symbols declared in this block, then the symbol table may be null.

setSymTable

public void setSymTable(SymTable pSymTable)

setSymTable Set pSymTable as the local symbol tabel of this BlockStmt.

パラメータ:

pSymTable - local symbol tabel to be attached to this block.

addFirstStmt

public Stmt addFirstStmt(Stmt pStatement)

addFirstStmt Add pStatement as the first statement of this block. If this block has already has several statements, this method inserts pStatement in front of the existing statements. If pStatement is null, no statement is added and the current first statement is returned. This method changes statement linkages (linkages get by getNextStmt(), getPreviousStmt(), getParent()). If these linkages are used later, then make a copy (by copyWithOperands()) and use the copy as the parameter.

パラメータ:

pStatement - Statement that was added.

戻り値:

the new first statement of the block.

addLastStmt

public Stmt addLastStmt(Stmt pStatement)

addLastStmt Add pStatement as the last statement of this block. If this block has no statement, this method does the same operation as that of addFirstStmt. Successive call of addlastStmt add a sequence of statements to this block in the order of addition. If this block has already labeled statement as the last statement where the label of the last statement is either RETURN_POINT_LABEL or LOOP_STEP_LABEL, then pStatement is inserted in front of the last labeled statement. If pStatement is null, no statement is added and the current last statement is returned. This method changes statement linkages (linkages get by getNextStmt(), getPreviousStmt(), getParent()). If these linkages are used later, then make a copy (by copyWithOperands()) and use the copy as the parameter.

パラメータ:

pStatement - Statement that was added.

戻り値:

the new last statement of the block.

addBeforeBranchStmt

public void addBeforeBranchStmt(Stmt pStatement)

addBeforeBranchStmt (##6) If the last statement of this block is a branch statement (jump, if, switch, call, return), then insert pStatement in front of it. If the last statement is not a branch, then add pStatement as the last statement of this block. This method changes statement linkages (linkages get by getNextStmt(), getPreviousStmt(), getParent()). If these linkages are used later, then make a copy (by copyWithOperands()) and use the copy as the parameter.

パラメータ:

pStatement - Statement that was added.

getFirstStmt

public Stmt getFirstStmt()

getFirstStrmt Get the first statement of this block. If this block has no statement, then null is returned. After getting the first statement, successive call of getNextStmt() will traverse all statements in this block. for (Stmt lStmt = lBBlock.getFirstStmt(); lStmt != null; lStmt = lStmt.getNextStmt()) { ...... }

戻り値:

the first statement of this block.

getLastStmt

public Stmt getLastStmt()

getLastStmt Get the last statement of this block. If this block has no statement, then null is returned.

戻り値:

the last statement of this block.

getSubpBodyFlag

public boolean getSubpBodyFlag()

setSubpBodyFlag

public void setSubpBodyFlag(boolean pFlag)