com.cliffc.aa.HM.HM.Root Class Reference

Inheritance diagram for com.cliffc.aa.HM.HM.Root:

Collaboration diagram for com.cliffc.aa.HM.HM.Root:

Public Member Functions
String	p ()
final String	toString ()

Package Functions
	Root (Syntax body)
void	add_hm_work (Worklist work)
void	add_val_work (Syntax child, Worklist work)
T2	debug_find ()
T2	find ()
Type	flow_type ()
boolean	hm (Worklist work)
boolean	more_work (Worklist work)
final boolean	more_work_impl (Worklist work)
final SB	p0 (SB sb, VBitSet dups)
SB	p1 (SB sb)
SB	p2 (SB sb, VBitSet dups)
void	prep_lookup_deps (Ident id)
int	prep_tree (Syntax par, VStack nongen, Worklist work)
final void	prep_tree_impl (Syntax par, VStack nongen, Worklist work, T2 t)
SB	str (SB sb)
Type	val (Worklist work)

Static Package Functions
static Type	widen (T2 t2)

Package Attributes
final Syntax[]	_args
Type	_flow
final Syntax	_fun
T2	_hmt
VStack	_nongen
Syntax	_par

Static Package Attributes
static final Syntax[]	NARGS = new Syntax[0]

Static Private Member Functions
static Type	add_sig (Type t)

Static Private Attributes
static final HashMap< T2, Type >	T2MAP = new HashMap<>()
static final NonBlockingHashMapLong< String >	WDUPS = new NonBlockingHashMapLong<>()

Detailed Description

Definition at line 735 of file HM.java.

Constructor & Destructor Documentation

Root()

com.cliffc.aa.HM.HM.Root.Root ( Syntax  body )

package

Definition at line 737 of file HM.java.

{ super(body); }

Member Function Documentation

add_hm_work()

void com.cliffc.aa.HM.HM.Root.add_hm_work ( Worklist  work )

package

Reimplemented from com.cliffc.aa.HM.HM.Apply.

Definition at line 740 of file HM.java.

{ }

add_sig()

static Type com.cliffc.aa.HM.HM.Root.add_sig ( Type  t )

staticprivate

Definition at line 776 of file HM.java.

                                        {
      if( t instanceof TypeFunPtr ) {
        TypeFunPtr fun = (TypeFunPtr)t;
        Type rez = Type.XSCALAR;
        for( int fidx : fun._fidxs )
          rez = rez.meet(Lambda.FUNS.get(fidx).apply(NARGS));
        Type rez2 = add_sig(rez);
        return TypeFunSig.make(TypeTuple.make_ret(rez2),TypeTuple.make_args());
      } else {
        return t;
      }
    }

References com.cliffc.aa.type.TypeFunPtr._fidxs, com.cliffc.aa.HM.HM.Lambda.FUNS, com.cliffc.aa.type.TypeFunSig.make(), com.cliffc.aa.type.TypeTuple.make_args(), com.cliffc.aa.type.TypeTuple.make_ret(), com.cliffc.aa.type.Type< T extends Type< T >.meet(), com.cliffc.aa.HM.HM.Root.NARGS, and com.cliffc.aa.type.Type< T extends Type< T >.XSCALAR.

Referenced by com.cliffc.aa.HM.HM.Root.flow_type().

Here is the call graph for this function:

Here is the caller graph for this function:

add_val_work()

void com.cliffc.aa.HM.HM.Apply.add_val_work ( Syntax  child, Worklist  work  )

packageinherited

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

Definition at line 693 of file HM.java.

                                                             {
      // If function changes type, recompute self
      if( child==_fun ) work.push(this);
      // If an argument changes type, adjust the lambda arg types
      Type flow = _fun._flow;
      if( flow.above_center() ) return;
      if( !(flow instanceof TypeFunPtr) ) return;
      // Meet the actuals over the formals.
      for( int fidx : ((TypeFunPtr)flow)._fidxs ) {
        Lambda fun = Lambda.FUNS.get(fidx);
        if( fun!=null ) {
          fun.find().push_update(this); // Discovered as call-site; if the Lambda changes the Apply needs to be revisited.
          for( int i=0; i<fun._types.length; i++ ) {
            Type formal = fun._types[i];
            Type actual = this instanceof Root ? Root.widen(fun.targ(i)) : _args[i]._flow;
            Type rez = formal.meet(actual);
            if( formal != rez ) {
              fun._types[i] = rez;
              work.addAll(fun.targ(i)._deps);
              work.push(fun._body);
              if( i==0 && fun instanceof If ) work.push(fun); // Specifically If might need more unification
            }
          }
        }
      }
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.HM.HM.Lambda._body, com.cliffc.aa.HM.HM.T2._deps, com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.HM.HM.Lambda._types, com.cliffc.aa.type.Type< T extends Type< T >.above_center(), com.cliffc.aa.HM.HM.Worklist.addAll(), com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.Lambda.FUNS, com.cliffc.aa.type.Type< T extends Type< T >.meet(), com.cliffc.aa.HM.HM.Worklist.push(), com.cliffc.aa.HM.HM.T2.push_update(), com.cliffc.aa.HM.HM.Lambda.targ(), and com.cliffc.aa.HM.HM.Root.widen().

Here is the call graph for this function:

debug_find()

T2 com.cliffc.aa.HM.HM.Syntax.debug_find ( )

packageinherited

Definition at line 348 of file HM.java.

{ return _hmt.debug_find(); } // Find, without the roll-up

References com.cliffc.aa.HM.HM.Syntax._hmt, and com.cliffc.aa.HM.HM.T2.debug_find().

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

Here is the call graph for this function:

Here is the caller graph for this function:

find()

T2 com.cliffc.aa.HM.HM.Syntax.find ( )

packageinherited

Definition at line 344 of file HM.java.

              {                 // U-F find
      T2 t = _hmt.find();
      return t== _hmt ? t : (_hmt =t);
    }

References com.cliffc.aa.HM.HM.Syntax._hmt, and com.cliffc.aa.HM.HM.T2.find().

Referenced by com.cliffc.aa.HM.HM.Lambda.add_hm_work(), com.cliffc.aa.HM.HM.Let.add_hm_work(), com.cliffc.aa.HM.HM.PrimSyn.add_hm_work(), com.cliffc.aa.HM.HM.Lambda.add_val_work(), com.cliffc.aa.HM.HM.Let.add_val_work(), com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.Pair1.Pair1X.apply(), com.cliffc.aa.HM.HM.Ident.hm(), com.cliffc.aa.HM.HM.Lambda.hm(), com.cliffc.aa.HM.HM.Apply.hm(), com.cliffc.aa.HM.HM.Root.hm(), com.cliffc.aa.HM.HM.Struct.hm(), com.cliffc.aa.HM.HM.Field.hm(), com.cliffc.aa.HM.HM.PrimSyn.hm(), com.cliffc.aa.HM.HM.If.hm(), com.cliffc.aa.HM.HM.NotNil.hm(), com.cliffc.aa.HM.HM.Let.prep_tree(), com.cliffc.aa.HM.HM.Struct.prep_tree(), com.cliffc.aa.HM.HM.NotNil.prep_tree(), com.cliffc.aa.HM.HM.Apply.val(), com.cliffc.aa.HM.HM.Root.val(), and com.cliffc.aa.HM.HM.T2.walk_types_in().

Here is the call graph for this function:

Here is the caller graph for this function:

flow_type()

Type com.cliffc.aa.HM.HM.Root.flow_type ( )

package

Definition at line 775 of file HM.java.

{ return add_sig(_flow); }

References com.cliffc.aa.HM.HM.Syntax._flow, and com.cliffc.aa.HM.HM.Root.add_sig().

Referenced by com.cliffc.aa.HM.TestHM.run(), com.cliffc.aa.HM.TestHM9.run(), com.cliffc.aa.HM.TestHM.test05(), com.cliffc.aa.HM.TestHM9.test05(), com.cliffc.aa.HM.TestHM.test06(), com.cliffc.aa.HM.TestHM9.test06(), com.cliffc.aa.HM.TestHM.test14(), com.cliffc.aa.HM.TestHM9.test14(), com.cliffc.aa.HM.TestHM.test18(), com.cliffc.aa.HM.TestHM9.test18(), com.cliffc.aa.HM.TestHM.test20(), com.cliffc.aa.HM.TestHM9.test20(), com.cliffc.aa.HM.TestHM9.test32(), com.cliffc.aa.HM.TestHM.test32(), com.cliffc.aa.HM.TestHM9.test33(), com.cliffc.aa.HM.TestHM.test33(), com.cliffc.aa.HM.TestHM9.test34(), com.cliffc.aa.HM.TestHM.test34(), com.cliffc.aa.HM.TestHM9.test36(), com.cliffc.aa.HM.TestHM.test36(), com.cliffc.aa.HM.TestHM.test39(), com.cliffc.aa.HM.TestHM9.test39(), com.cliffc.aa.HM.TestHM.test40(), com.cliffc.aa.HM.TestHM9.test40(), com.cliffc.aa.HM.TestHM.test41(), com.cliffc.aa.HM.TestHM9.test41(), com.cliffc.aa.HM.TestHM.test42(), com.cliffc.aa.HM.TestHM9.test42(), com.cliffc.aa.HM.TestHM.test43(), com.cliffc.aa.HM.TestHM9.test43(), com.cliffc.aa.HM.TestHM.test44(), com.cliffc.aa.HM.TestHM9.test44(), com.cliffc.aa.HM.TestHM.test45(), com.cliffc.aa.HM.TestHM9.test45(), com.cliffc.aa.HM.TestHM.test49(), com.cliffc.aa.HM.TestHM.test50(), com.cliffc.aa.HM.TestHM.test51(), com.cliffc.aa.HM.TestHM.test52(), com.cliffc.aa.HM.TestHM.test55(), com.cliffc.aa.HM.TestHM.test56(), and com.cliffc.aa.HM.TestHM.test57().

Here is the call graph for this function:

Here is the caller graph for this function:

hm()

boolean com.cliffc.aa.HM.HM.Root.hm ( Worklist  work )

package

Reimplemented from com.cliffc.aa.HM.HM.Apply.

Definition at line 739 of file HM.java.

{ return find().unify(_fun.find(),work); }

References com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.HM.HM.Syntax.find(), and com.cliffc.aa.HM.HM.T2.unify().

Here is the call graph for this function:

more_work()

boolean com.cliffc.aa.HM.HM.Apply.more_work ( Worklist  work )

packageinherited

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

Definition at line 726 of file HM.java.

                                               {
      if( !more_work_impl(work) ) return false;
      if( !_fun.more_work(work) ) return false;
      for( Syntax arg : _args ) if( !arg.more_work(work) ) return false;
      return true;
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.HM.HM.Syntax.more_work(), and com.cliffc.aa.HM.HM.Syntax.more_work_impl().

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

Here is the call graph for this function:

Here is the caller graph for this function:

more_work_impl()

final boolean com.cliffc.aa.HM.HM.Syntax.more_work_impl ( Worklist  work )

packageinherited

Definition at line 381 of file HM.java.

                                                {
      if( work.has(this) ) return true;
      if( DO_HM && hm(null) )   // Any more HM work?
        return false;           // Found HM work not on worklist
      if( DO_GCP && val(null)!=_flow )
        return false;           // Found GCP work not on worklist
      return true;
    }

References com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.DO_GCP, com.cliffc.aa.HM.HM.DO_HM, com.cliffc.aa.HM.HM.Worklist.has(), com.cliffc.aa.HM.HM.Syntax.hm(), and com.cliffc.aa.HM.HM.Syntax.val().

Referenced by com.cliffc.aa.HM.HM.Con.more_work(), com.cliffc.aa.HM.HM.Ident.more_work(), com.cliffc.aa.HM.HM.Lambda.more_work(), com.cliffc.aa.HM.HM.Let.more_work(), com.cliffc.aa.HM.HM.Apply.more_work(), com.cliffc.aa.HM.HM.Struct.more_work(), com.cliffc.aa.HM.HM.Field.more_work(), and com.cliffc.aa.HM.HM.PrimSyn.more_work().

Here is the call graph for this function:

Here is the caller graph for this function:

p()

String com.cliffc.aa.HM.HM.Syntax.p ( )

inherited

Definition at line 393 of file HM.java.

{ return p0(new SB(), new VBitSet()).toString(); }

References com.cliffc.aa.HM.HM.Syntax.p0(), and com.cliffc.aa.util.SB.toString().

Here is the call graph for this function:

p0()

final SB com.cliffc.aa.HM.HM.Syntax.p0 ( SB  sb, VBitSet  dups  )

packageinherited

Definition at line 394 of file HM.java.

                                     {
      _hmt.get_dups(dups);
      VBitSet visit = new VBitSet();
      p1(sb.i());
      if( DO_HM  ) _hmt .str(sb.p(", HM="), visit,dups);
      if( DO_GCP ) _flow.str(sb.p(", CCP="),visit.clr(),null,false);
      sb.nl();
      return p2(sb.ii(1),dups).di(1);
    }

References com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.Syntax._hmt, com.cliffc.aa.util.VBitSet.clr(), com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM.DO_GCP, com.cliffc.aa.HM.HM.DO_HM, com.cliffc.aa.HM.HM.T2.get_dups(), com.cliffc.aa.util.SB.i(), com.cliffc.aa.util.SB.ii(), com.cliffc.aa.util.SB.nl(), com.cliffc.aa.util.SB.p(), com.cliffc.aa.HM.HM.Syntax.p1(), com.cliffc.aa.HM.HM.Syntax.p2(), com.cliffc.aa.type.Type< T extends Type< T >.str(), and com.cliffc.aa.HM.HM.T2.str().

Referenced by com.cliffc.aa.HM.HM.Syntax.p(), com.cliffc.aa.HM.HM.Lambda.p2(), com.cliffc.aa.HM.HM.Let.p2(), com.cliffc.aa.HM.HM.Apply.p2(), com.cliffc.aa.HM.HM.Struct.p2(), and com.cliffc.aa.HM.HM.Field.p2().

Here is the call graph for this function:

Here is the caller graph for this function:

p1()

SB com.cliffc.aa.HM.HM.Apply.p1 ( SB  sb )

packageinherited

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

Definition at line 612 of file HM.java.

{ return sb.p("(...)"); }

References com.cliffc.aa.util.SB.p().

Here is the call graph for this function:

p2()

SB com.cliffc.aa.HM.HM.Apply.p2 ( SB  sb, VBitSet  dups  )

packageinherited

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

Definition at line 613 of file HM.java.

                                         {
      _fun.p0(sb,dups);
      for( Syntax arg : _args ) arg.p0(sb,dups);
      return sb;
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.HM.HM.Apply._fun, and com.cliffc.aa.HM.HM.Syntax.p0().

Here is the call graph for this function:

prep_lookup_deps()

void com.cliffc.aa.HM.HM.Syntax.prep_lookup_deps ( Ident  id )

packageinherited

Reimplemented in com.cliffc.aa.HM.HM.Let, and com.cliffc.aa.HM.HM.Lambda.

Definition at line 377 of file HM.java.

{}

prep_tree()

int com.cliffc.aa.HM.HM.Apply.prep_tree ( Syntax  par, VStack  nongen, Worklist  work  )

packageinherited

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

Definition at line 720 of file HM.java.

                                                                      {
      prep_tree_impl(par,nongen,work,T2.make_leaf());
      int cnt = 1+_fun.prep_tree(this,nongen,work);
      for( Syntax arg : _args ) cnt += arg.prep_tree(this,nongen,work);
      return cnt;
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.HM.HM.T2.make_leaf(), com.cliffc.aa.HM.HM.Syntax.prep_tree(), and com.cliffc.aa.HM.HM.Syntax.prep_tree_impl().

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

Here is the call graph for this function:

Here is the caller graph for this function:

prep_tree_impl()

final void com.cliffc.aa.HM.HM.Syntax.prep_tree_impl ( Syntax  par, VStack  nongen, Worklist  work, T2  t  )

packageinherited

Definition at line 370 of file HM.java.

                                                                                {
      _par = par;
      _hmt = t;
      _flow= Type.XSCALAR;
      _nongen = nongen;
      work.push(this);
    }

References com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.Syntax._hmt, com.cliffc.aa.HM.HM.Syntax._nongen, com.cliffc.aa.HM.HM.Syntax._par, com.cliffc.aa.HM.HM.Worklist.push(), and com.cliffc.aa.type.Type< T extends Type< T >.XSCALAR.

Referenced by com.cliffc.aa.HM.HM.Con.prep_tree(), com.cliffc.aa.HM.HM.Ident.prep_tree(), com.cliffc.aa.HM.HM.Lambda.prep_tree(), com.cliffc.aa.HM.HM.Let.prep_tree(), com.cliffc.aa.HM.HM.Apply.prep_tree(), com.cliffc.aa.HM.HM.Struct.prep_tree(), com.cliffc.aa.HM.HM.Field.prep_tree(), and com.cliffc.aa.HM.HM.PrimSyn.prep_tree().

Here is the call graph for this function:

Here is the caller graph for this function:

str()

SB com.cliffc.aa.HM.HM.Root.str ( SB  sb )

package

Reimplemented from com.cliffc.aa.HM.HM.Apply.

Definition at line 738 of file HM.java.

{ return _fun.str(sb); }

References com.cliffc.aa.HM.HM.Apply._fun, and com.cliffc.aa.HM.HM.Syntax.str().

Here is the call graph for this function:

toString()

final String com.cliffc.aa.HM.HM.Syntax.toString ( )

inherited

Definition at line 390 of file HM.java.

{ return str(new SB()).toString(); }

References com.cliffc.aa.HM.HM.Syntax.str(), and com.cliffc.aa.util.SB.toString().

Referenced by com.cliffc.aa.HM.HM.Lambda.p1().

Here is the call graph for this function:

Here is the caller graph for this function:

val()

Type com.cliffc.aa.HM.HM.Root.val ( Worklist  work )

package

Reimplemented from com.cliffc.aa.HM.HM.Apply.

Definition at line 744 of file HM.java.

                                      {
      if( _fun._flow.above_center() || work==null )
        return _fun._flow;
      // Root-widening needs to call all functions which can be returned from
      // the Root or from any function reachable from the Root via struct &
      // fields, or by being returned from another function.
      BitsFun fidxs = find().find_fidxs();
      if( fidxs != BitsFun.EMPTY )
        for( int fidx : fidxs ) {
          Lambda fun = Lambda.FUNS.get(fidx);
          if( fun!=null ) {
            fun.find().push_update(this); // Discovered as call-site; if the Lambda changes the Apply needs to be revisited.
            // For each returned function, assume Root calls all arguments with
            // worse-case values.
            for( int i=0; i<fun._types.length; i++ ) {
              Type formal = fun._types[i];
              Type actual = Root.widen(fun.targ(i));
              Type rez = formal.meet(actual);
              if( formal != rez ) {
                fun._types[i] = rez;
                work.addAll(fun.targ(i)._deps);
                work.push(fun._body);
              }
            }
          }
        }
 
      return _fun._flow;
    }

References com.cliffc.aa.HM.HM.Lambda._body, com.cliffc.aa.HM.HM.T2._deps, com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.HM.HM.Lambda._types, com.cliffc.aa.type.Type< T extends Type< T >.above_center(), com.cliffc.aa.HM.HM.Worklist.addAll(), com.cliffc.aa.type.BitsFun.EMPTY, com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.T2.find_fidxs(), com.cliffc.aa.HM.HM.Lambda.FUNS, com.cliffc.aa.type.Type< T extends Type< T >.meet(), com.cliffc.aa.HM.HM.Worklist.push(), com.cliffc.aa.HM.HM.T2.push_update(), com.cliffc.aa.HM.HM.Lambda.targ(), and com.cliffc.aa.HM.HM.Root.widen().

Here is the call graph for this function:

widen()

static Type com.cliffc.aa.HM.HM.Root.widen ( T2  t2 )

staticpackage

Definition at line 743 of file HM.java.

{ return t2.as_flow(); }

References com.cliffc.aa.HM.HM.T2.as_flow().

Referenced by com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.Pair1.Pair1X.apply(), and com.cliffc.aa.HM.HM.Root.val().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

_args

final Syntax [] com.cliffc.aa.HM.HM.Apply._args

packageinherited

Definition at line 604 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Apply.add_hm_work(), com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.Apply.Apply(), com.cliffc.aa.HM.HM.Apply.hm(), com.cliffc.aa.HM.HM.Apply.more_work(), com.cliffc.aa.HM.HM.Apply.p2(), com.cliffc.aa.HM.HM.Apply.prep_tree(), com.cliffc.aa.HM.HM.Apply.str(), and com.cliffc.aa.HM.HM.Apply.val().

_flow

Type com.cliffc.aa.HM.HM.Syntax._flow

packageinherited

Definition at line 351 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.Lambda.apply(), com.cliffc.aa.HM.HM.Pair1.apply(), com.cliffc.aa.HM.HM.Pair1.Pair1X.apply(), com.cliffc.aa.HM.HM.Pair.apply(), com.cliffc.aa.HM.HM.Triple.apply(), com.cliffc.aa.HM.HM.If.apply(), com.cliffc.aa.HM.HM.EQ.apply(), com.cliffc.aa.HM.HM.EQ0.apply(), com.cliffc.aa.HM.HM.IsEmpty.apply(), com.cliffc.aa.HM.HM.NotNil.apply(), com.cliffc.aa.HM.HM.Mul.apply(), com.cliffc.aa.HM.HM.Add.apply(), com.cliffc.aa.HM.HM.Dec.apply(), com.cliffc.aa.HM.HM.Str.apply(), com.cliffc.aa.HM.HM.Factor.apply(), com.cliffc.aa.HM.HM.Root.flow_type(), com.cliffc.aa.HM.HM.hm(), com.cliffc.aa.HM.HM.Lambda.Lambda(), com.cliffc.aa.HM.HM.Syntax.more_work_impl(), com.cliffc.aa.HM.HM.Syntax.p0(), com.cliffc.aa.HM.HM.Syntax.prep_tree_impl(), com.cliffc.aa.HM.HM.Ident.val(), com.cliffc.aa.HM.HM.Let.val(), com.cliffc.aa.HM.HM.Apply.val(), com.cliffc.aa.HM.HM.Root.val(), com.cliffc.aa.HM.HM.Struct.val(), com.cliffc.aa.HM.HM.Field.val(), and com.cliffc.aa.HM.HM.T2.walk_types_in().

_fun

final Syntax com.cliffc.aa.HM.HM.Apply._fun

packageinherited

Definition at line 603 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.Apply.Apply(), com.cliffc.aa.HM.HM.Apply.hm(), com.cliffc.aa.HM.HM.Root.hm(), com.cliffc.aa.HM.HM.Apply.more_work(), com.cliffc.aa.HM.HM.Apply.p2(), com.cliffc.aa.HM.HM.Apply.prep_tree(), com.cliffc.aa.HM.HM.Apply.str(), com.cliffc.aa.HM.HM.Root.str(), com.cliffc.aa.HM.HM.Apply.val(), and com.cliffc.aa.HM.HM.Root.val().

_hmt

T2 com.cliffc.aa.HM.HM.Syntax._hmt

packageinherited

Definition at line 343 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Syntax.debug_find(), com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.hm(), com.cliffc.aa.HM.HM.Syntax.p0(), com.cliffc.aa.HM.HM.Let.prep_tree(), com.cliffc.aa.HM.HM.PrimSyn.prep_tree(), com.cliffc.aa.HM.HM.Syntax.prep_tree_impl(), com.cliffc.aa.HM.HM.PrimSyn.PrimSyn(), com.cliffc.aa.HM.TestHM.run(), com.cliffc.aa.HM.TestHM9.run(), com.cliffc.aa.HM.TestHM.test05(), com.cliffc.aa.HM.TestHM9.test05(), com.cliffc.aa.HM.TestHM.test06(), com.cliffc.aa.HM.TestHM9.test06(), com.cliffc.aa.HM.TestHM.test14(), com.cliffc.aa.HM.TestHM9.test14(), com.cliffc.aa.HM.TestHM.test18(), com.cliffc.aa.HM.TestHM9.test18(), com.cliffc.aa.HM.TestHM.test20(), com.cliffc.aa.HM.TestHM9.test20(), com.cliffc.aa.HM.TestHM9.test32(), com.cliffc.aa.HM.TestHM.test32(), com.cliffc.aa.HM.TestHM9.test33(), com.cliffc.aa.HM.TestHM.test33(), com.cliffc.aa.HM.TestHM9.test34(), com.cliffc.aa.HM.TestHM.test34(), com.cliffc.aa.HM.TestHM9.test36(), com.cliffc.aa.HM.TestHM.test36(), com.cliffc.aa.HM.TestHM.test39(), com.cliffc.aa.HM.TestHM9.test39(), com.cliffc.aa.HM.TestHM.test40(), com.cliffc.aa.HM.TestHM9.test40(), com.cliffc.aa.HM.TestHM.test41(), com.cliffc.aa.HM.TestHM9.test41(), com.cliffc.aa.HM.TestHM.test42(), com.cliffc.aa.HM.TestHM9.test42(), com.cliffc.aa.HM.TestHM.test43(), com.cliffc.aa.HM.TestHM9.test43(), com.cliffc.aa.HM.TestHM.test44(), com.cliffc.aa.HM.TestHM9.test44(), com.cliffc.aa.HM.TestHM.test45(), com.cliffc.aa.HM.TestHM9.test45(), com.cliffc.aa.HM.TestHM.test49(), com.cliffc.aa.HM.TestHM9.test49(), com.cliffc.aa.HM.TestHM.test50(), com.cliffc.aa.HM.TestHM9.test50(), com.cliffc.aa.HM.TestHM.test51(), com.cliffc.aa.HM.TestHM.test52(), com.cliffc.aa.HM.TestHM.test55(), com.cliffc.aa.HM.TestHM.test56(), and com.cliffc.aa.HM.TestHM.test57().

_nongen

VStack com.cliffc.aa.HM.HM.Syntax._nongen

packageinherited

Definition at line 342 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Ident.add_hm_work(), com.cliffc.aa.HM.HM.Ident.hm(), and com.cliffc.aa.HM.HM.Syntax.prep_tree_impl().

_par

Syntax com.cliffc.aa.HM.HM.Syntax._par

packageinherited

Definition at line 341 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Ident.add_hm_work(), com.cliffc.aa.HM.HM.Lambda.add_hm_work(), com.cliffc.aa.HM.HM.Let.add_hm_work(), com.cliffc.aa.HM.HM.Apply.add_hm_work(), com.cliffc.aa.HM.HM.Struct.add_hm_work(), com.cliffc.aa.HM.HM.Field.add_hm_work(), com.cliffc.aa.HM.HM.PrimSyn.add_hm_work(), com.cliffc.aa.HM.HM.hm(), com.cliffc.aa.HM.HM.NotNil.hm(), com.cliffc.aa.HM.HM.Ident.prep_tree(), and com.cliffc.aa.HM.HM.Syntax.prep_tree_impl().

NARGS

final Syntax [] com.cliffc.aa.HM.HM.Root.NARGS = new Syntax[0]

staticpackage

Definition at line 736 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Root.add_sig().

T2MAP

final HashMap<T2,Type> com.cliffc.aa.HM.HM.Apply.T2MAP = new HashMap<>()

staticprivateinherited

Definition at line 659 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.T2.fput(), com.cliffc.aa.HM.HM.Apply.val(), and com.cliffc.aa.HM.HM.T2.walk_types_out().

WDUPS

final NonBlockingHashMapLong<String> com.cliffc.aa.HM.HM.Apply.WDUPS = new NonBlockingHashMapLong<>()

staticprivateinherited

Definition at line 660 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Apply.val(), and com.cliffc.aa.HM.HM.T2.walk_types_in().

---

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

• HM.java