edu.toronto.cs.yasm.pprogram
Class ReturnPStmt

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

public class ReturnPStmt
extends PrllAsmtPStmt


Constructor Summary
ReturnPStmt(PFunctionDef parent, Block sourceBlock)
           
ReturnPStmt(PFunctionDef parent, Expr sourceExpr)
           
 
Method Summary
 int getLineNum()
          Returns line number of this statement, or -1 if the line number is unknown.
 WPComputer getWPComputer()
           
 void printMe(java.io.PrintWriter out)
           
 MemoryModel symExec(ExprFactory fac)
           
 
Methods inherited from class edu.toronto.cs.yasm.pprogram.PrllAsmtPStmt
addAsmt, getAsmts, setAsmts
 
Methods inherited from class edu.toronto.cs.yasm.pprogram.PStmt
exprFac, getDest, getId, getLabel, getLast, 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

ReturnPStmt

public ReturnPStmt(PFunctionDef parent,
                   Block sourceBlock)

ReturnPStmt

public ReturnPStmt(PFunctionDef parent,
                   Expr sourceExpr)
Method Detail

printMe

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

symExec

public MemoryModel symExec(ExprFactory fac)
Overrides:
symExec in class PrllAsmtPStmt

getWPComputer

public WPComputer getWPComputer()
Overrides:
getWPComputer in class PrllAsmtPStmt

getLineNum

public int getLineNum()
Description copied from class: PStmt
Returns line number of this statement, or -1 if the line number is unknown.

Overrides:
getLineNum in class PrllAsmtPStmt
Returns:
an int value