edu.toronto.cs.expr
Class CILFunctionDefOp

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

public class CILFunctionDefOp
extends NamedOp


Field Summary
static CILFunctionDefOp FUNCTION_DEF
           
 
Method Summary
static Expr getBody(Expr e)
           
static java.lang.String getFunctionName(Expr e)
           
static java.lang.String getFunctionNameFromSig(Expr e)
           
static Expr getLocalDecls(Expr e)
           
static int getNumCallSites(Expr e)
           
static Expr getParameterDecls(Expr e)
           
static Expr getParameterNames(Expr e)
           
static Expr getReturnType(Expr e)
           
static boolean hasParameters(Expr e)
           
static boolean isNonVoid(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

FUNCTION_DEF

public static final CILFunctionDefOp FUNCTION_DEF
Method Detail

getReturnType

public static Expr getReturnType(Expr e)

getFunctionName

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

getFunctionNameFromSig

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

getParameterDecls

public static Expr getParameterDecls(Expr e)

hasParameters

public static boolean hasParameters(Expr e)
Parameters:
e - a FUNCTION_DEF Expr
Returns:
true if the function has parameters (other than void)

getParameterNames

public static Expr getParameterNames(Expr e)

getLocalDecls

public static Expr getLocalDecls(Expr e)

getBody

public static Expr getBody(Expr e)

getNumCallSites

public static int getNumCallSites(Expr e)

isNonVoid

public static boolean isNonVoid(Expr e)