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

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

Public Member Functions
String	toString ()

Package Functions
	Let (String arg0, Syntax body, Syntax use)

void	get_ids ()

HMType	hm (HashSet< HMVar > nongen)

Package Attributes
final String	_arg0

final Syntax	_body

final Syntax	_use

Detailed Description

Definition at line 141 of file HM2.java.

Constructor & Destructor Documentation

◆ Let()

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

package

Definition at line 144 of file HM2.java.

144 { _arg0=arg0; _body=body; _use=use; }

References com.cliffc.aa.HM.HM2.Let._arg0, com.cliffc.aa.HM.HM2.Let._body, and com.cliffc.aa.HM.HM2.Let._use.

Member Function Documentation

◆ get_ids()

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

package

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

Definition at line 155 of file HM2.java.

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

References com.cliffc.aa.HM.HM2.Let._arg0, com.cliffc.aa.HM.HM2.Let._body, com.cliffc.aa.HM.HM2.Let._use, 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.Let.hm ( HashSet< HMVar > nongen )

package

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

Definition at line 146 of file HM2.java.

                                                {
       HMVar tnew = (HMVar) ENV.get(_arg0);
       nongen.add(tnew);
       HMType tbody = _body.hm(nongen);
       nongen.remove(tnew);
       tnew.union(tbody);
       HMType trez = _use.hm(nongen);
       return trez;
     }