aa
com.cliffc.aa.HM.HM2.Con Class Reference
Inheritance diagram for com.cliffc.aa.HM.HM2.Con:
[legend]
Collaboration diagram for com.cliffc.aa.HM.HM2.Con:
[legend]

Public Member Functions

String toString ()
 

Package Functions

 Con (Type t)
 
void get_ids ()
 
HMType hm (HashSet< HMVar > nongen)
 

Package Attributes

final Type _t
 

Detailed Description

Definition at line 107 of file HM2.java.

Constructor & Destructor Documentation

◆ Con()

com.cliffc.aa.HM.HM2.Con.Con ( Type  t)
package

Definition at line 109 of file HM2.java.

109 { _t=t; }

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

Member Function Documentation

◆ get_ids()

void com.cliffc.aa.HM.HM2.Con.get_ids ( )
package

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

Definition at line 112 of file HM2.java.

112 {}

◆ hm()

HMType com.cliffc.aa.HM.HM2.Con.hm ( HashSet< HMVar nongen)
package

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

Definition at line 111 of file HM2.java.

111 { return new HMVar(_t); }

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

◆ toString()

String com.cliffc.aa.HM.HM2.Con.toString ( )

Definition at line 110 of file HM2.java.

110 { return _t.toString(); }

References com.cliffc.aa.HM.HM2.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.HM2.Con._t
package

The documentation for this class was generated from the following file:
com.cliffc.aa.type.Type.toString
final String toString()
Definition: Type.java:127
com.cliffc.aa.HM.HM2.Con._t
final Type _t
Definition: HM2.java:108