cgp.runtime
Class LambdaType
java.lang.Object
|
+--cgp.runtime.Type
|
+--cgp.runtime.LambdaType
- Direct Known Subclasses:
- ActorType
- public class LambdaType
- extends Type
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 |
name
protected java.lang.String name
formals
protected FormalParameter[] formals
defGraph
protected GraphType defGraph
body
protected GraphType body
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().
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()