edu.toronto.cs.yasm.pprogram
Class WhilePStmt
java.lang.Object
edu.toronto.cs.yasm.pprogram.PStmt
edu.toronto.cs.yasm.pprogram.IfPStmt
edu.toronto.cs.yasm.pprogram.WhilePStmt
public class WhilePStmt
- extends IfPStmt
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 |
WhilePStmt
public WhilePStmt(PFunctionDef def,
Block sourceBlock,
PCond cond,
PStmt whileBody)
WhilePStmt
public WhilePStmt(PFunctionDef def,
Expr sourceExpr,
PCond cond,
PStmt whileBody)
getHeadGoto
public GotoPStmt getHeadGoto()
printMe
public void printMe(java.io.PrintWriter out)
- Overrides:
printMe
in class IfPStmt
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 IfPStmt
- Returns:
- an
int
value