com.cliffc.aa.HM.HM1.Con Class Reference

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

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

Public Member Functions
String	toString ()

Package Functions
	Con (Type t)
HMType	hm (HashMap< String, HMType > env, HashSet< HMVar > nongen)

Package Attributes
final Type	_t

Detailed Description

Definition at line 59 of file HM1.java.

Constructor & Destructor Documentation

Con()

com.cliffc.aa.HM.HM1.Con.Con ( Type  t )

package

Definition at line 61 of file HM1.java.

{ _t=t; }

References com.cliffc.aa.HM.HM1.Con._t.

Member Function Documentation

hm()

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

package

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

Definition at line 63 of file HM1.java.

                                                                           {
      return new HMVar(_t);
    }

References com.cliffc.aa.HM.HM1.Con._t.

toString()

String com.cliffc.aa.HM.HM1.Con.toString

(

)

Definition at line 62 of file HM1.java.

{ return _t.toString(); }

References com.cliffc.aa.HM.HM1.Con._t, and com.cliffc.aa.type.Type< T extends Type< T >.toString().

Here is the call graph for this function:

Member Data Documentation

_t

final Type com.cliffc.aa.HM.HM1.Con._t

package

Definition at line 60 of file HM1.java.

Referenced by com.cliffc.aa.HM.HM1.Con.Con(), com.cliffc.aa.HM.HM1.Con.hm(), and com.cliffc.aa.HM.HM1.Con.toString().

---

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

• HM1.java