edu.toronto.cs.yasm.pprogram
Class NDGotoPStmt

java.lang.Object
  extended by edu.toronto.cs.yasm.pprogram.PStmt
      extended by edu.toronto.cs.yasm.pprogram.NDGotoPStmt

public class NDGotoPStmt
extends PStmt


Constructor Summary
NDGotoPStmt(PFunctionDef parent, Block sourceBlock)
           
NDGotoPStmt(PFunctionDef parent, Expr sourceExpr)
           
 
Method Summary
 PStmt getDest()
           
 java.util.List getDests()
           
 java.util.List getTargetLabels()
           
 void printMe(java.io.PrintWriter out)
           
 void setDest(PStmt v)
           
 
Methods inherited from class edu.toronto.cs.yasm.pprogram.PStmt
exprFac, getId, getLabel, getLast, getLineNum, getNext, getParent, getPProgram, getRefinerInfo, getSourceBlock, getSourceExpr, print, print, printMe, setId, setLabel, setNext, setParent, setRefinerInfo, setSourceBlock, setTail, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

NDGotoPStmt

public NDGotoPStmt(PFunctionDef parent,
                   Block sourceBlock)

NDGotoPStmt

public NDGotoPStmt(PFunctionDef parent,
                   Expr sourceExpr)
Method Detail

getDests

public java.util.List getDests()

getTargetLabels

public java.util.List getTargetLabels()

getDest

public PStmt getDest()
Overrides:
getDest in class PStmt

setDest

public void setDest(PStmt v)
Overrides:
setDest in class PStmt

printMe

public void printMe(java.io.PrintWriter out)
Overrides:
printMe in class PStmt