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

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

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

Public Member Functions
String	toString ()

Package Functions
	Ident (String name)
HMType	hm (HashMap< String, HMType > env, HashSet< HMVar > nongen)

Package Attributes
final String	_name

Detailed Description

Definition at line 67 of file HM1.java.

Constructor & Destructor Documentation

Ident()

com.cliffc.aa.HM.HM1.Ident.Ident ( String  name )

package

Definition at line 69 of file HM1.java.

{ _name=name; }

References com.cliffc.aa.HM.HM1.Ident._name.

Member Function Documentation

hm()

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

package

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

Definition at line 71 of file HM1.java.

                                                                           {
      HMType t = env.get(_name);
      if( t==null )
        throw new RuntimeException("Parse error, "+_name+" is undefined");
      HMType f = t.fresh(nongen);
      return f;
    }

References com.cliffc.aa.HM.HM1.Ident._name, and com.cliffc.aa.HM.HM1.HMType.fresh().

Here is the call graph for this function:

toString()

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

(

)

Definition at line 70 of file HM1.java.

{ return _name; }

References com.cliffc.aa.HM.HM1.Ident._name.

Member Data Documentation

_name

final String com.cliffc.aa.HM.HM1.Ident._name

package

Definition at line 68 of file HM1.java.

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

---

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

• HM1.java