com.cliffc.aa.HM.HM2.Lambda Class Reference

Inheritance diagram for com.cliffc.aa.HM.HM2.Lambda:

Collaboration diagram for com.cliffc.aa.HM.HM2.Lambda:

Public Member Functions
String	toString ()

Package Functions
	Lambda (String arg0, Syntax body)
void	get_ids ()
HMType	hm (HashSet< HMVar > nongen)

Package Attributes
final String	_arg0
final Syntax	_body

Detailed Description

Definition at line 127 of file HM2.java.

Constructor & Destructor Documentation

Lambda()

com.cliffc.aa.HM.HM2.Lambda.Lambda ( String  arg0, Syntax  body  )

package

Definition at line 130 of file HM2.java.

{ _arg0=arg0; _body=body; }

References com.cliffc.aa.HM.HM2.Lambda._arg0, and com.cliffc.aa.HM.HM2.Lambda._body.

Member Function Documentation

get_ids()

void com.cliffc.aa.HM.HM2.Lambda.get_ids ( )

package

Reimplemented from com.cliffc.aa.HM.HM2.Syntax.

Definition at line 139 of file HM2.java.

{ ENV.put(_arg0, new HMVar()); _body.get_ids(); }

References com.cliffc.aa.HM.HM2.Lambda._arg0, com.cliffc.aa.HM.HM2.Lambda._body, com.cliffc.aa.HM.HM2.ENV, and com.cliffc.aa.HM.HM2.Syntax.get_ids().

Here is the call graph for this function:

hm()

HMType com.cliffc.aa.HM.HM2.Lambda.hm ( HashSet< HMVar >  nongen )

package

Reimplemented from com.cliffc.aa.HM.HM2.Syntax.

Definition at line 132 of file HM2.java.

                                               {
      HMVar tnew = (HMVar) ENV.get(_arg0);
      nongen.add(tnew);
      HMType trez = _body.hm(nongen);
      nongen.remove(tnew);
      return Oper.fun(tnew,trez);
    }

References com.cliffc.aa.HM.HM2.Lambda._arg0, com.cliffc.aa.HM.HM2.Lambda._body, com.cliffc.aa.HM.HM2.ENV, com.cliffc.aa.HM.HM2.Oper.fun(), and com.cliffc.aa.HM.HM2.Syntax.hm().

Here is the call graph for this function:

toString()

String com.cliffc.aa.HM.HM2.Lambda.toString

(

)

Definition at line 131 of file HM2.java.

{ return "{ "+_arg0+" -> "+_body+" }"; }

References com.cliffc.aa.HM.HM2.Lambda._arg0, and com.cliffc.aa.HM.HM2.Lambda._body.

Member Data Documentation

_arg0

final String com.cliffc.aa.HM.HM2.Lambda._arg0

package

Definition at line 128 of file HM2.java.

Referenced by com.cliffc.aa.HM.HM2.Lambda.get_ids(), com.cliffc.aa.HM.HM2.Lambda.hm(), com.cliffc.aa.HM.HM2.Lambda.Lambda(), and com.cliffc.aa.HM.HM2.Lambda.toString().

_body

final Syntax com.cliffc.aa.HM.HM2.Lambda._body

package

Definition at line 129 of file HM2.java.

Referenced by com.cliffc.aa.HM.HM2.Lambda.get_ids(), com.cliffc.aa.HM.HM2.Lambda.hm(), com.cliffc.aa.HM.HM2.Lambda.Lambda(), and com.cliffc.aa.HM.HM2.Lambda.toString().

---

The documentation for this class was generated from the following file:

• HM2.java