edu.toronto.cs.expr
Class CILDeclarationOp

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

public class CILDeclarationOp
extends NamedOp


Field Summary
static CILDeclarationOp DECL
           
 
Method Summary
static java.lang.String getDeclName(Expr e)
           
static Expr getDeclNameExpr(Expr e)
           
static boolean isNamedDeclaration(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

DECL

public static final CILDeclarationOp DECL
Method Detail

isNamedDeclaration

public static boolean isNamedDeclaration(Expr e)

getDeclName

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

getDeclNameExpr

public static Expr getDeclNameExpr(Expr e)