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

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

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

Public Member Functions
String	toString ()

Package Functions
	Ident (String name)
void	get_ids ()
HMType	hm (HashSet< HMVar > nongen)

Package Attributes
final String	_name

Detailed Description

Definition at line 114 of file HM2.java.

Constructor & Destructor Documentation

Ident()

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

package

Definition at line 116 of file HM2.java.

{ _name=name; }

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

Member Function Documentation

get_ids()

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

package

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

Definition at line 125 of file HM2.java.

{}

hm()

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

package

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

Definition at line 118 of file HM2.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.HM2.Ident._name, com.cliffc.aa.HM.HM2.ENV, and com.cliffc.aa.HM.HM2.HMType.fresh().

Here is the call graph for this function:

toString()

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

(

)

Definition at line 117 of file HM2.java.

{ return _name; }

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

Member Data Documentation

_name

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

package

Definition at line 115 of file HM2.java.

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

---

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

• HM2.java