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

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

Public Member Functions
String	_str ()

String	str ()

String	toString ()

Package Functions
	Oper (String name, HMType... args)

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 Oper	fun (HMType... args)

Package Attributes
final HMType[]	_args

final String	_name

HMType	_u

Detailed Description

Definition at line 265 of file HM2.java.

Constructor & Destructor Documentation

◆ Oper()

com.cliffc.aa.HM.HM2.Oper.Oper	(	String	name,
		HMType...	args
	)

package

Definition at line 268 of file HM2.java.

268 { _name=name; _args=args; }

References com.cliffc.aa.HM.HM2.Oper._args, and com.cliffc.aa.HM.HM2.Oper._name.

Referenced by com.cliffc.aa.HM.HM2.Oper.fun(), and com.cliffc.aa.HM.HM2.Oper.union().

Here is the caller graph for this function:

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.Oper._str ( )

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

Definition at line 274 of file HM2.java.

                                    {
       if( _name.equals("->") )
         return "{ "+_args[0].str()+" -> "+_args[1].str()+" }";
       SB sb = new SB().p(_name).p('(');
       for( HMType t : _args )
         sb.p(t.str()).p(',');
       return sb.unchar().p(')').toString();
     }

References com.cliffc.aa.HM.HM2.Oper._args, com.cliffc.aa.HM.HM2.Oper._name, com.cliffc.aa.util.SB.p(), com.cliffc.aa.HM.HM2.HMType.str(), com.cliffc.aa.util.SB.toString(), and com.cliffc.aa.util.SB.unchar().

Here is the call graph for this function:

◆ find()

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

package

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

Definition at line 283 of file HM2.java.

283 { return this; }

◆ 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:

◆ fun()

static Oper com.cliffc.aa.HM.HM2.Oper.fun ( HMType... args )

staticpackage

Definition at line 269 of file HM2.java.

269 { return new Oper("->",args); }

References com.cliffc.aa.HM.HM2.Oper.Oper().

Referenced by com.cliffc.aa.HM.HM2.hm(), com.cliffc.aa.HM.HM2.Lambda.hm(), and com.cliffc.aa.HM.HM2.Apply.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:

◆ 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.Oper.toString ( )

Definition at line 270 of file HM2.java.

                                        {
       if( _name.equals("->") ) return "{ "+_args[0]+" -> "+_args[1]+" }";
       return _name+" "+Arrays.toString(_args);
     }

References com.cliffc.aa.HM.HM2.Oper._args, and com.cliffc.aa.HM.HM2.Oper._name.

◆ union()

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

package

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

Definition at line 284 of file HM2.java.

                                         {
       if( !(that instanceof Oper) ) return that.union(this);
       Oper op2 = (Oper)that;
       if( !_name.equals(op2._name) ||
           _args.length != op2._args.length )
         throw new RuntimeException("Cannot unify "+this+" and "+that);
       for( int i=0; i<_args.length; i++ )
         _args[i].union(op2._args[i]);
       return this;
     }

References com.cliffc.aa.HM.HM2.Oper._args, com.cliffc.aa.HM.HM2.Oper._name, com.cliffc.aa.HM.HM2.Oper.Oper(), and com.cliffc.aa.HM.HM2.HMType.union().

Here is the call graph for this function:

Member Data Documentation

◆ _args

final HMType [] com.cliffc.aa.HM.HM2.Oper._args

package

Definition at line 267 of file HM2.java.

Referenced by com.cliffc.aa.HM.HM2.HMType._fresh(), com.cliffc.aa.HM.HM2.Oper._str(), com.cliffc.aa.HM.HM2.Oper.Oper(), com.cliffc.aa.HM.HM2.Oper.toString(), and com.cliffc.aa.HM.HM2.Oper.union().

◆ _name

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

package

Definition at line 266 of file HM2.java.

Referenced by com.cliffc.aa.HM.HM2.HMType._fresh(), com.cliffc.aa.HM.HM2.Oper._str(), com.cliffc.aa.HM.HM2.Oper.Oper(), com.cliffc.aa.HM.HM2.Oper.toString(), and com.cliffc.aa.HM.HM2.Oper.union().

◆ _u

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

packageinherited

Definition at line 175 of file HM2.java.

Referenced by com.cliffc.aa.HM.HM2.HMVar.find(), com.cliffc.aa.HM.HM2.HMType.is_top(), com.cliffc.aa.HM.HM2.HMVar.toString(), and com.cliffc.aa.HM.HM2.HMVar.union().

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

HM2.java

Public Member Functions

Package Functions

Static Package Functions

Package Attributes

Detailed Description

Constructor & Destructor Documentation

◆ Oper()

Member Function Documentation

◆ _fresh()

◆ _str()

◆ find()

◆ fresh()

◆ fun()

◆ is_top()

◆ occurs_in() [1/2]

◆ occurs_in() [2/2]

◆ occurs_in_type()

◆ str()

◆ toString()

◆ union()

Member Data Documentation

◆ _args

◆ _name

◆ _u