coins.mdf
クラス TreatNode

java.lang.Object
  |
  +--coins.mdf.TreatNode
直系の既知のサブクラス:
TreatIf, TreatLoop, TreatSwitch

abstract class TreatNode
extends java.lang.Object

This class treats some statements specially in MDF module.


フィールドの概要
protected  MdfEnvironment env
           
protected  MacroFlowGraph mfg
           
protected  Stmt root
           
protected  SymTable symTab
           
protected  java.util.LinkedList visited
           
 
コンストラクタの概要
protected TreatNode(MdfEnvironment e, MacroFlowGraph g, java.util.LinkedList list, Stmt rootStmt)
          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.
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
コンストラクタの詳細

TreatNode

protected TreatNode(MdfEnvironment e,
                    MacroFlowGraph g,
                    java.util.LinkedList list,
                    Stmt rootStmt)
Constructor:

パラメータ:
e - The environment of the MDF module
g - The current macro flow graph
list - The list of the labels which the MDF module is already treated
rootStmt - The statement which treat by this class
メソッドの詳細

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