edu.toronto.cs.yasm.pprogram
Class ReturnSelectorPStmt

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

public class ReturnSelectorPStmt
extends PStmt


Constructor Summary
ReturnSelectorPStmt(PFunctionDef parent)
           
 
Method Summary
 java.util.List getDests()
           
 PredicateTable.IntVariable getReturnIndex()
           
 java.util.List getTargetLabels()
           
 void printMe(java.io.PrintWriter out)
           
 
Methods inherited from class edu.toronto.cs.yasm.pprogram.PStmt
exprFac, getDest, getId, getLabel, getLast, getLineNum, getNext, getParent, getPProgram, getRefinerInfo, getSourceBlock, getSourceExpr, print, print, printMe, setDest, 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

ReturnSelectorPStmt

public ReturnSelectorPStmt(PFunctionDef parent)
Method Detail

getReturnIndex

public PredicateTable.IntVariable getReturnIndex()

getTargetLabels

public java.util.List getTargetLabels()

getDests

public java.util.List getDests()

printMe

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