coins.mdf
Class TreatNode

java.lang.Object
  coins.mdf.TreatNode

Direct Known Subclasses:

TreatIf, TreatLoop, TreatSwitch

abstract class TreatNode

extends java.lang.Object

This class treats some statements specially in MDF module.

Field Summary

protected MdfEnvironment	env
protected MacroFlowGraph	mfg
protected Stmt	root
protected SymTable	symTab
protected java.util.LinkedList	visited

Constructor Summary

protected

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

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

env

protected MdfEnvironment env

symTab

protected SymTable symTab

mfg

protected MacroFlowGraph mfg

visited

protected java.util.LinkedList visited

root

protected Stmt root

Constructor Detail

TreatNode

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

Constructor:

Parameters:

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

Method Detail

replaceReturn

protected void replaceReturn(Label label,
                             DeclareLocalVariables decLocal)

Replace the return statement into the jump statement.

Parameters:

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.

Parameters:

label - The target label

Returns:

A new block structure

isChange

protected boolean isChange(MacroTask mt,
                           Label label)

Get whether the specified macro task has the specified label.

Parameters:

mt - The target macro task

label - The target label

Returns:

True if the specified macro task has the specified label