cgp.runtime
Class LambdaType

java.lang.Object
  |
  +--cgp.runtime.Type
        |
        +--cgp.runtime.LambdaType
Direct Known Subclasses:
ActorType

public class LambdaType
extends Type


Field Summary
protected  GraphType body
           
protected  GraphType defGraph
           
protected  FormalParameter[] formals
           
protected  java.lang.String name
           
 
Fields inherited from class cgp.runtime.Type
kbStack, scopeStack, type
 
Constructor Summary
  LambdaType(java.lang.String name, FormalParameter[] formals, GraphType body)
           
protected LambdaType(java.lang.String name, FormalParameter[] formals, GraphType defGraph, notio.Graph body)
          Call this constructor from copy().
 
Method Summary
 void bindParameters(Type[] actuals)
           
 LambdaType copy()
           
 GraphType getBody()
           
 GraphType getDefgraph()
           
 FormalParameter[] getFormals()
           
 java.lang.String getId()
           
 StringType getName()
          Getter and setter methods for attributes.
 java.lang.String toString()
           
 
Methods inherited from class cgp.runtime.Type
addOp, andOp, divideOp, eqOp, geOp, getAttr, getKBStack, getNthOp, getScopeStack, getType, gtOp, invokeMemberFunc, isOp, leOp, ltOp, modulusOp, multiplyOp, negateOp, neOp, notOp, operationError, orOp, setAttr, setKBStack, setNthOp, setScopeStack, setType, subtractOp
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

name

protected java.lang.String name

formals

protected FormalParameter[] formals

defGraph

protected GraphType defGraph

body

protected GraphType body
Constructor Detail

LambdaType

public LambdaType(java.lang.String name,
                  FormalParameter[] formals,
                  GraphType body)

LambdaType

protected LambdaType(java.lang.String name,
                     FormalParameter[] formals,
                     GraphType defGraph,
                     notio.Graph body)
Call this constructor from copy().
Method Detail

getId

public java.lang.String getId()

getFormals

public FormalParameter[] getFormals()

getBody

public GraphType getBody()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

copy

public LambdaType copy()

bindParameters

public void bindParameters(Type[] actuals)

getName

public StringType getName()
Getter and setter methods for attributes.

getDefgraph

public GraphType getDefgraph()