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

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

Public Member Functions
String	_str ()

String	str ()

String	toString ()

Type	type ()

Package Functions
	HMVar ()

	HMVar (Type t)

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

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)

HMType	union (HMType that)

Static Package Functions
static void	reset ()

Package Attributes
HMType	_u

Private Attributes
Type	_t

final int	_uid

Static Private Attributes
static int	CNT

Detailed Description

Definition at line 220 of file HM2.java.

Constructor & Destructor Documentation

◆ HMVar() [1/2]

com.cliffc.aa.HM.HM2.HMVar.HMVar ( )

package

Definition at line 224 of file HM2.java.

224 { this(Type.ANY); }

References com.cliffc.aa.type.Type< T extends Type< T >.ANY.

Referenced by com.cliffc.aa.HM.HM2.HMVar.union().

Here is the caller graph for this function:

◆ HMVar() [2/2]

com.cliffc.aa.HM.HM2.HMVar.HMVar ( Type t )

package

Definition at line 225 of file HM2.java.

225 { _uid=CNT++; _t=t; }

References com.cliffc.aa.HM.HM2.HMVar._t, com.cliffc.aa.HM.HM2.HMVar._uid, and com.cliffc.aa.HM.HM2.HMVar.CNT.

Member Function Documentation

◆ _fresh()

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

packageinherited

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()

String com.cliffc.aa.HM.HM2.HMVar._str ( )

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

Definition at line 233 of file HM2.java.

                                    {
       String s = "v"+_uid;
       if( _t!=Type.ANY ) s += ":"+_t.str(new SB(),new VBitSet(),null,false);
       return s;
     }

References com.cliffc.aa.HM.HM2.HMVar._t, com.cliffc.aa.HM.HM2.HMVar._uid, com.cliffc.aa.type.Type< T extends Type< T >.ANY, and com.cliffc.aa.type.Type< T extends Type< T >.str().

Referenced by com.cliffc.aa.HM.HM2.HMVar.toString().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ find()

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

package

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

Definition at line 239 of file HM2.java.

                             {
       HMType u = _u;
       if( u==null ) return this; // Top of union tree
       if( u._u==null ) return u; // One-step from top
       // Classic U-F rollup
       while( u._u!=null ) u = u._u; // Find the top
       HMType x = this;              // Collapse all to top
       while( x._u!=u ) { HMType tmp = x._u; x._u=u; x=tmp;}
       return u;
     }

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

Referenced by 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 )

packageinherited

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 ( )

packageinherited

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 )

packageinherited

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 )

packageinherited

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 )

packageinherited

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;
     }

References com.cliffc.aa.HM.HM2.HMType.find(), com.cliffc.aa.HM.HM2.HMType.is_top(), and com.cliffc.aa.HM.HM2.HMType.occurs_in().

Referenced by com.cliffc.aa.HM.HM2.HMType.occurs_in(), and com.cliffc.aa.HM.HM2.HMVar.union().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ reset()

static void com.cliffc.aa.HM.HM2.HMVar.reset ( )

staticpackage

Definition at line 226 of file HM2.java.

226 { CNT=1; }

References com.cliffc.aa.HM.HM2.HMVar.CNT.

Referenced by com.cliffc.aa.HM.HM2.reset().

Here is the caller graph for this function:

◆ str()

String com.cliffc.aa.HM.HM2.HMType.str ( )

inherited

Definition at line 178 of file HM2.java.

178 { return find()._str(); }

References com.cliffc.aa.HM.HM2.HMType._str(), and com.cliffc.aa.HM.HM2.HMType.find().

Referenced by com.cliffc.aa.HM.HM2.Oper._str().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ toString()

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

Definition at line 228 of file HM2.java.

                                        {
       String s = _str();
       if( _u!=null ) s += ">>"+_u;
       return s;
     }

References com.cliffc.aa.HM.HM2.HMVar._str(), and com.cliffc.aa.HM.HM2.HMType._u.

Here is the call graph for this function:

◆ type()

Type com.cliffc.aa.HM.HM2.HMVar.type ( )

Definition at line 227 of file HM2.java.

227 { assert is_top(); return _t; }

References com.cliffc.aa.HM.HM2.HMVar._t, and com.cliffc.aa.HM.HM2.HMType.is_top().

Here is the call graph for this function:

◆ union()

HMType com.cliffc.aa.HM.HM2.HMVar.union ( HMType that )

package

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

Definition at line 249 of file HM2.java.

                                         {
       if( _u!=null ) return find().union(that);
       if( that instanceof HMVar ) that = that.find();
       if( this==that ) return this; // Do nothing
       if( occurs_in_type(that) )
         throw new RuntimeException("recursive unification");
  
       if( that instanceof HMVar ) {
         HMVar v2 = (HMVar)that;
         v2._t = _t.meet(v2._t);
       }
       else assert _t==Type.ANY; // Else this var is un-MEETd with any Con
       return _u = that;         // Classic U-F union
     }