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

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

Public Member Functions
SB	_str (SB sb, VBitSet dups, boolean debug)

String	str ()

final String	toString ()

Type	type ()

Package Functions
	HMVar ()

	HMVar (Type t)

boolean	_eq (HMType v, BitSetSparse dups)

HMType	_fresh (VStack vstk, HashMap< HMVar, HMVar > vars, HashMap< Oper, Oper > opers)

final boolean	eq (HMType v)

HMType	find ()

HMType	fresh (VStack vstk)

boolean	is_top ()

boolean	occurs_in (HMType[] args, VBitSet dups)

boolean	occurs_in (VStack vstk, VBitSet dups)

boolean	occurs_in_type (HMType v, VBitSet dups)

HMType	union (HMType that, Worklist work)

Static Package Functions
static void	reset ()

Package Attributes
Ary< Ident >	_ids

HMType	_u

final int	_uid

Static Package Attributes
static final HashMap< HMVar, HMVar >	EQS = new HashMap<>()

Private Attributes
Type	_t

Static Private Attributes
static int	CNT

Detailed Description

Definition at line 323 of file HM3.java.

Constructor & Destructor Documentation

◆ HMVar() [1/2]

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

package

Definition at line 325 of file HM3.java.

325 { this(Type.ANY); }

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

Referenced by com.cliffc.aa.HM.HM3.HMVar._fresh(), and com.cliffc.aa.HM.HM3.HMVar.union().

Here is the caller graph for this function:

◆ HMVar() [2/2]

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

package

Definition at line 326 of file HM3.java.

326 { _t=t; }

References com.cliffc.aa.HM.HM3.HMVar._t.

Member Function Documentation

◆ _eq()

boolean com.cliffc.aa.HM.HM3.HMVar._eq	(	HMType	v,
		BitSetSparse	dups
	)

package

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

Definition at line 375 of file HM3.java.

                                                          {
       if( this==v ) return true;
       if( v==null ) return false;
       HMType v2 = v.find();
       if( !(v2 instanceof HMVar) ) return false;
       assert _u==null && v2._u==null;
       if( _t != ((HMVar)v2)._t) return false;
       HMVar v3 = EQS.computeIfAbsent(this,k -> (HMVar)v2);
       return v2 == v3;
     }

References com.cliffc.aa.HM.HM3.HMVar._t, com.cliffc.aa.HM.HM3.HMType._u, com.cliffc.aa.HM.HM3.HMType.EQS, and com.cliffc.aa.HM.HM3.HMType.find().

Here is the call graph for this function:

◆ _fresh()

HMType com.cliffc.aa.HM.HM3.HMVar._fresh	(	VStack	vstk,
		HashMap< HMVar, HMVar >	vars,
		HashMap< Oper, Oper >	opers
	)

package

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

Definition at line 386 of file HM3.java.

                                                                                               {
       assert is_top();
       return occurs_in(vstk, new VBitSet()) // If in the lexical Stack
         ? this                      // Keep same var
         : vars.computeIfAbsent(this, e -> new HMVar(_t));
     }

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

Here is the call graph for this function:

◆ _str()

SB com.cliffc.aa.HM.HM3.HMVar._str	(	SB	sb,
		VBitSet	dups,
		boolean	debug
	)

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

Definition at line 328 of file HM3.java.

                                                                  {
       if( _u!=null && !debug ) return _u._str(sb,dups,debug); // Clean print; skip to U-F root & print
       sb.p("v").p(_uid);
       if( dups.tset(_uid) ) return sb.p("$");  // Stop infinite print loops
       if( _t!=Type.ANY ) _t.str(sb.p(":"),dups,null,false);
       if( _u!=null ) _u._str(sb.p(">>"),dups,debug);
       return sb;
      }

References com.cliffc.aa.HM.HM3.HMType._str(), com.cliffc.aa.HM.HM3.HMVar._t, com.cliffc.aa.HM.HM3.HMType._u, com.cliffc.aa.HM.HM3.HMType._uid, com.cliffc.aa.type.Type< T extends Type< T >.ANY, com.cliffc.aa.util.SB.p(), com.cliffc.aa.type.Type< T extends Type< T >.str(), and com.cliffc.aa.util.VBitSet.tset().

Referenced by com.cliffc.aa.HM.HM3.VStack.str().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ eq()

final boolean com.cliffc.aa.HM.HM3.HMType.eq ( HMType v )

packageinherited

Definition at line 291 of file HM3.java.

291 { EQS.clear(); return find()._eq(v, new BitSetSparse()); }

References com.cliffc.aa.HM.HM3.HMType._eq(), com.cliffc.aa.HM.HM3.HMType.EQS, and com.cliffc.aa.HM.HM3.HMType.find().

Referenced by com.cliffc.aa.HM.HM3.Lambda.progress(), com.cliffc.aa.HM.HM3.Let.progress(), and com.cliffc.aa.HM.HM3.Apply.progress().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ find()

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

package

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

Definition at line 337 of file HM3.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.HM3.HMType._u.

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

Here is the caller graph for this function:

◆ fresh()

HMType com.cliffc.aa.HM.HM3.HMType.fresh ( VStack vstk )

packageinherited

Definition at line 294 of file HM3.java.

                               {
       HashMap<HMVar,HMVar> vars = new HashMap<>();
       HashMap<Oper,Oper> opers = new HashMap<>();
       return find()._fresh(vstk,vars,opers);
     }

References com.cliffc.aa.HM.HM3.HMType._fresh(), and com.cliffc.aa.HM.HM3.HMType.find().

Referenced by com.cliffc.aa.HM.HM3.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.HM3.HMType.is_top ( )

packageinherited

Definition at line 289 of file HM3.java.

289 { return _u==null; }

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

Referenced by com.cliffc.aa.HM.HM3.Oper._eq(), com.cliffc.aa.HM.HM3.HMVar._fresh(), com.cliffc.aa.HM.HM3.Oper._fresh(), com.cliffc.aa.HM.HM3.HMType.occurs_in_type(), and com.cliffc.aa.HM.HM3.HMVar.type().

Here is the caller graph for this function:

◆ occurs_in() [1/2]

boolean com.cliffc.aa.HM.HM3.HMType.occurs_in	(	HMType[]	args,
		VBitSet	dups
	)

packageinherited

Definition at line 306 of file HM3.java.

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

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

Here is the call graph for this function:

◆ occurs_in() [2/2]

boolean com.cliffc.aa.HM.HM3.HMType.occurs_in	(	VStack	vstk,
		VBitSet	dups
	)

packageinherited

Definition at line 301 of file HM3.java.

                                                  {
       if( vstk==null ) return false;
       for( HMVar x : vstk ) if( occurs_in_type(x,dups) ) return true;
       return false;
     }

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ occurs_in_type()

boolean com.cliffc.aa.HM.HM3.HMType.occurs_in_type	(	HMType	v,
		VBitSet	dups
	)

packageinherited

Definition at line 310 of file HM3.java.

                                                    {
       assert is_top();
       if( dups.tset(v._uid) )
         return false;           // Been there, done that
       HMType y = v.find();      // Find top
       if( y==this )             // Occurs in type?
         return true;            // Yup, occurs in type right here
       if( y instanceof Oper )   // Structural recursive test
         return occurs_in(((Oper)y)._args,dups);
       return false;
     }

References com.cliffc.aa.HM.HM3.HMType._uid, com.cliffc.aa.HM.HM3.HMType.find(), com.cliffc.aa.HM.HM3.HMType.is_top(), com.cliffc.aa.HM.HM3.HMType.occurs_in(), and com.cliffc.aa.util.VBitSet.tset().

Referenced by com.cliffc.aa.HM.HM3.HMType.occurs_in(), and com.cliffc.aa.HM.HM3.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.HM3.HMType.reset ( )

staticpackageinherited

Definition at line 281 of file HM3.java.

281 { CNT=1; }

References com.cliffc.aa.HM.HM3.HMType.CNT.

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

Here is the caller graph for this function:

◆ str()

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

inherited

Definition at line 287 of file HM3.java.

287 { return _str(new SB(),new VBitSet(),false).toString(); }

References com.cliffc.aa.HM.HM3.HMType._str(), and com.cliffc.aa.util.SB.toString().

Here is the call graph for this function:

◆ toString()

final String com.cliffc.aa.HM.HM3.HMType.toString ( )

inherited

Definition at line 286 of file HM3.java.

286 { return _str(new SB(),new VBitSet(),true).toString(); }

References com.cliffc.aa.HM.HM3.HMType._str(), and com.cliffc.aa.util.SB.toString().

Here is the call graph for this function:

◆ type()

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

Definition at line 327 of file HM3.java.

327 { assert is_top(); return _t; }

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

Here is the call graph for this function:

◆ union()

HMType com.cliffc.aa.HM.HM3.HMVar.union	(	HMType	that,
		Worklist	work
	)

package

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

Definition at line 347 of file HM3.java.

                                                        {
       if( _u!=null ) return find().union(that,work);
       if( that instanceof HMVar ) that = that.find();
       if( this==that ) return this; // Do nothing
       if( occurs_in_type(that, new VBitSet()) )
         //throw new RuntimeException("recursive unification");
         System.out.println("recursive unification");
  
       if( that instanceof HMVar ) {
         HMVar v2 = (HMVar)that;
         // Order, so keep smaller _uids by default
         if( _uid < v2._uid ) return that.union(this,work);
         v2._t = _t.meet(v2._t); // Lattice MEET instead of unification failure
       }
       else if( _t!=Type.ANY )   // Else this var is un-MEETd with any Con
         throw new RuntimeException("Cannot unify "+this+" and "+that);
       if( _ids!=null ) {        // Move this ids into that ids
         if( that._ids==null ) that._ids = _ids;
         else that._ids.addAll(_ids);
         _ids=null;              // No longer here
       }
       if( that._ids!=null ) {   // All that ids onto worklist
         for( Ident id : that._ids ) id._hm=null; // Flag as 1-shot re-freshen
         work.addAll(that._ids); // On to worklist
       }
       return _u = that;         // Classic U-F union this into that.
     }