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

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

Public Member Functions
String	str ()

Package Functions
HMType	_fresh (HashSet< HMVar > nongen, HashMap< HMType, HMType > vars)

abstract String	_str ()

abstract HMType	find ()

HMType	fresh (HashSet< HMVar > nongen)

boolean	is_top ()

boolean	occurs_in (HashSet< HMVar >nongen)

boolean	occurs_in (HMType[] args)

boolean	occurs_in_type (HMType v)

abstract HMType	union (HMType t)

Package Attributes
HMType	_u

Detailed Description

Definition at line 174 of file HM2.java.

Member Function Documentation

◆ _fresh()

HMType com.cliffc.aa.HM.HM2.HMType._fresh	(	HashSet< HMVar >	nongen,
		HashMap< HMType, HMType >	vars
	)

package

Definition at line 186 of file HM2.java.

                                                                       {
       HMType t2 = find();
       if( t2 instanceof HMVar ) {
         return t2.occurs_in(nongen) //
           ? t2                      // Keep same var
           : vars.computeIfAbsent(t2, e -> new HMVar(((HMVar)t2)._t));
       } else {
         Oper op = (Oper)t2;
         HMType[] args = new HMType[op._args.length];
         for( int i=0; i<args.length; i++ )
           args[i] = op._args[i]._fresh(nongen,vars);
         return new Oper(op._name,args);
       }
     }

References com.cliffc.aa.HM.HM2.Oper._args, com.cliffc.aa.HM.HM2.HMType._fresh(), com.cliffc.aa.HM.HM2.Oper._name, com.cliffc.aa.HM.HM2.HMType.find(), and com.cliffc.aa.HM.HM2.HMType.occurs_in().

Referenced by com.cliffc.aa.HM.HM2.HMType._fresh(), and com.cliffc.aa.HM.HM2.HMType.fresh().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ _str()

abstract String com.cliffc.aa.HM.HM2.HMType._str ( )

abstractpackage

Reimplemented in com.cliffc.aa.HM.HM2.Oper, and com.cliffc.aa.HM.HM2.HMVar.

Referenced by com.cliffc.aa.HM.HM2.HMType.str().

Here is the caller graph for this function:

◆ find()

abstract HMType com.cliffc.aa.HM.HM2.HMType.find ( )

abstractpackage

Reimplemented in com.cliffc.aa.HM.HM2.Oper, and com.cliffc.aa.HM.HM2.HMVar.

Referenced by com.cliffc.aa.HM.HM2.HMType._fresh(), com.cliffc.aa.HM.HM2.HMType.occurs_in_type(), com.cliffc.aa.HM.HM2.HMType.str(), and com.cliffc.aa.HM.HM2.HMVar.union().

Here is the caller graph for this function:

◆ fresh()

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

package

Definition at line 182 of file HM2.java.

                                         {
       HashMap<HMType,HMType> vars = new HashMap<>();
       return _fresh(nongen,vars);
     }

References com.cliffc.aa.HM.HM2.HMType._fresh().

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ is_top()

boolean com.cliffc.aa.HM.HM2.HMType.is_top ( )

package

Definition at line 180 of file HM2.java.

180 { return _u==null; }

References com.cliffc.aa.HM.HM2.HMType._u.

Referenced by com.cliffc.aa.HM.HM2.HMType.occurs_in_type(), and com.cliffc.aa.HM.HM2.HMVar.type().

Here is the caller graph for this function:

◆ occurs_in() [1/2]

boolean com.cliffc.aa.HM.HM2.HMType.occurs_in ( HashSet< HMVar > nongen )

package

Definition at line 201 of file HM2.java.

                                             {
       for( HMVar x : nongen ) if( occurs_in_type(x) ) return true;
       return false;
     }

References com.cliffc.aa.HM.HM2.HMType.occurs_in_type().

Referenced by com.cliffc.aa.HM.HM2.HMType._fresh(), and com.cliffc.aa.HM.HM2.HMType.occurs_in_type().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ occurs_in() [2/2]

boolean com.cliffc.aa.HM.HM2.HMType.occurs_in ( HMType[] args )

package

Definition at line 205 of file HM2.java.

                                      {
       for( HMType x : args ) if( occurs_in_type(x) ) return true;
       return false;
     }

References com.cliffc.aa.HM.HM2.HMType.occurs_in_type().

Here is the call graph for this function:

◆ occurs_in_type()

boolean com.cliffc.aa.HM.HM2.HMType.occurs_in_type ( HMType v )

package

Definition at line 209 of file HM2.java.

                                      {
       assert is_top();
       HMType y = v.find();
       if( y==this )
         return true;
       if( y instanceof Oper )
         return occurs_in(((Oper)y)._args);
       return false;
     }