Inheritance diagram for com.cliffc.aa.HM.HM1.Lambda2:

Collaboration diagram for com.cliffc.aa.HM.HM1.Lambda2:

Public Member Functions
String	toString ()

Package Functions
	Lambda2 (String arg0, String arg1, Syntax body)

HMType	hm (HashMap< String, HMType > env, HashSet< HMVar > nongen)

Package Attributes
final String	_arg0

final String	_arg1

final Syntax	_body

Detailed Description

Definition at line 97 of file HM1.java.

Constructor & Destructor Documentation

◆ Lambda2()

com.cliffc.aa.HM.HM1.Lambda2.Lambda2	(	String	arg0,
		String	arg1,
		Syntax	body
	)

package

Definition at line 100 of file HM1.java.

100 { _arg0=arg0; _arg1=arg1; _body=body; }

References com.cliffc.aa.HM.HM1.Lambda2._arg0, com.cliffc.aa.HM.HM1.Lambda2._arg1, and com.cliffc.aa.HM.HM1.Lambda2._body.

Member Function Documentation

◆ hm()

HMType com.cliffc.aa.HM.HM1.Lambda2.hm	(	HashMap< String, HMType >	env,
		HashSet< HMVar >	nongen
	)

package

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

Definition at line 102 of file HM1.java.

                                                                            {
       HMVar tnew0 = new HMVar();
       HMVar tnew1 = new HMVar();
       // Push _arg0->tnew0 into env & nongen, popping them off after doing body
       env.put(_arg0,tnew0);
       env.put(_arg1,tnew1);
       nongen.add(tnew0);
       nongen.add(tnew1);
       HMType trez = _body.hm(env,nongen);
       nongen.remove(tnew0);
       nongen.remove(tnew1);
       env.remove(_arg0);
       env.remove(_arg1);
       return Oper.fun(tnew0,tnew1,trez);
     }