edu.toronto.cs.expr
Class CILLabelledStmtOp

java.lang.Object
  extended by edu.toronto.cs.expr.NamedOp
      extended by edu.toronto.cs.expr.CILLabelledStmtOp
All Implemented Interfaces:
Operator

public class CILLabelledStmtOp
extends NamedOp


Field Summary
static CILLabelledStmtOp LSTMT
           
 
Method Summary
static java.lang.String getLabel(Expr e)
           
static Expr getStmt(Expr e)
           
 
Methods inherited from class edu.toronto.cs.expr.NamedOp
arity, equals, isWellFormed, name
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LSTMT

public static final CILLabelledStmtOp LSTMT
Method Detail

getLabel

public static java.lang.String getLabel(Expr e)

getStmt

public static Expr getStmt(Expr e)