coins.mdf
クラス TreatIf

java.lang.Object
  |
  +--coins.mdf.TreatNode
        |
        +--coins.mdf.TreatIf

class TreatIf
extends TreatNode

This class treats `IF statement'. In MDF module, the `IF statement' is a kind of special statement because it include the flow information.


フィールドの概要
protected  MdfEnvironment env
           
protected  MacroFlowGraph mfg
           
protected  Stmt root
           
protected  SymTable symTab
           
protected  java.util.LinkedList visited
           
 
コンストラクタの概要
(パッケージプライベート) TreatIf(MdfEnvironment e, MacroFlowGraph g, IfStmt stmt, java.util.LinkedList list, MdfConditions c)
          Constructor:
 
メソッドの概要
protected  boolean isChange(MacroTask mt, Label label)
          Get whether the specified macro task has the specified label.
protected  BlockStmt makeJumpBlk(Label label)
          Make a new block structure which include a new JUMP statement.
(パッケージプライベート)  void replace(MacroTask mt, Label label)
          Replace the `then part' and `else part' of the current IF statement.
protected  void replaceReturn(Label label, DeclareLocalVariables decLocal)
          Replace the return statement into the jump statement.
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

env

protected MdfEnvironment env

symTab

protected SymTable symTab

mfg

protected MacroFlowGraph mfg

visited

protected java.util.LinkedList visited

root

protected Stmt root
コンストラクタの詳細

TreatIf

TreatIf(MdfEnvironment e,
        MacroFlowGraph g,
        IfStmt stmt,
        java.util.LinkedList list,
        MdfConditions c)
Constructor:

パラメータ:
e - The environment of the MDF module
g - The current macro flow graph
stmt - The current IF statement
list - The list of the labels which the MDF module is already treated
c - The current conditions
メソッドの詳細

replace

void replace(MacroTask mt,
             Label label)
Replace the `then part' and `else part' of the current IF statement.

パラメータ:
mt - The current macro task
label - The target label

replaceReturn

protected void replaceReturn(Label label,
                             DeclareLocalVariables decLocal)
Replace the return statement into the jump statement.

パラメータ:
label - The label of the final return statement
decLocal - The declaration of the local variables

makeJumpBlk

protected BlockStmt makeJumpBlk(Label label)
Make a new block structure which include a new JUMP statement.

パラメータ:
label - The target label
戻り値:
A new block structure

isChange

protected boolean isChange(MacroTask mt,
                           Label label)
Get whether the specified macro task has the specified label.

パラメータ:
mt - The target macro task
label - The target label
戻り値:
True if the specified macro task has the specified label