com.cliffc.aa.HM.HM.Apply Class Reference

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

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

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

Package Functions
	Apply (Syntax fun, Syntax... args)
void	add_hm_work (Worklist work)
void	add_val_work (Syntax child, Worklist work)
T2	debug_find ()
T2	find ()
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)

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

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

Detailed Description

Definition at line 602 of file HM.java.

Constructor & Destructor Documentation

Apply()

com.cliffc.aa.HM.HM.Apply.Apply ( Syntax  fun, Syntax...  args  )

package

Definition at line 605 of file HM.java.

{ _fun = fun; _args = args; }

References com.cliffc.aa.HM.HM.Apply._args, and com.cliffc.aa.HM.HM.Apply._fun.

Member Function Documentation

add_hm_work()

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

package

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

Reimplemented in com.cliffc.aa.HM.HM.Root.

Definition at line 655 of file HM.java.

                                              {
      work.push(_par);
      for( Syntax arg : _args ) work.push(arg);
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.HM.HM.Syntax._par, and com.cliffc.aa.HM.HM.Worklist.push().

Here is the call graph for this function:

add_val_work()

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

package

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:

hm()

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

package

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

Reimplemented in com.cliffc.aa.HM.HM.Root.

Definition at line 621 of file HM.java.

                                        {
      boolean progress = false;
 
      // Progress if:
      //   _fun is not a function
      //   any arg-pair-unifies make progress
      //   this-unify-_fun.return makes progress
      T2 tfun = _fun.find();
      if( !tfun.is_fun() ) {    // Not a function, so progress
        if( tfun.is_err() ) return find().unify(tfun,work);
        if( work==null ) return true; // Will-progress & just-testing
        T2[] targs = new T2[_args.length+1];
        for( int i=0; i<_args.length; i++ )
          targs[i] = _args[i].find();
        targs[_args.length] = find(); // Return
        T2 nfun = T2.make_fun(BitsFun.FULL,targs);
        progress = tfun.unify(nfun,work);
        return tfun.find().is_err() ? find().unify(tfun.find(),work) : progress;
      }
 
      if( tfun._args.length != _args.length+1 )
        progress = T2.make_err("Mismatched argument lengths").unify(find(), work);
      // Check for progress amongst arg pairs
      for( int i=0; i<_args.length; i++ ) {
        progress |= tfun.args(i).unify(_args[i].find(),work);
        if( progress && work==null ) return true; // Will-progress & just-testing early exit
        if( (tfun=tfun.find()).is_err() ) return find().unify(tfun,work);
      }
      // Check for progress on the return
      progress |= tfun.args(_args.length).unify(find(),work);
      if( (tfun=tfun.find()).is_err() ) return find().unify(tfun,work);
 
      return progress;
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.HM.HM.T2._args, com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.HM.HM.T2.args(), com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.T2.find(), com.cliffc.aa.type.BitsFun.FULL, com.cliffc.aa.HM.HM.T2.is_err(), com.cliffc.aa.HM.HM.T2.is_fun(), com.cliffc.aa.HM.HM.T2.make_err(), com.cliffc.aa.HM.HM.T2.make_fun(), 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 )

package

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 )

package

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  )

package

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  )

package

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.Apply.str ( SB  sb )

package

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

Reimplemented in com.cliffc.aa.HM.HM.Root.

Definition at line 606 of file HM.java.

                            {
      _fun.str(sb.p("(")).p(" ");
      for( Syntax arg : _args )
        arg.str(sb).p(" ");
      return sb.unchar().p(")");
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.util.SB.p(), com.cliffc.aa.HM.HM.Syntax.str(), and com.cliffc.aa.util.SB.unchar().

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.Apply.val ( Worklist  work )

package

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

Reimplemented in com.cliffc.aa.HM.HM.Root.

Definition at line 661 of file HM.java.

                                      {
      Type flow = _fun._flow;
      if( flow.above_center() ) return Type.XSCALAR;
      if( !(flow instanceof TypeFunPtr) ) return Type.SCALAR;
      TypeFunPtr tfp = (TypeFunPtr)flow;
      // Have some functions, meet over their returns.
      Type rez = Type.XSCALAR;
      if( tfp._fidxs==BitsFun.FULL ) rez = Type.SCALAR;
      else
        for( int fidx : tfp._fidxs )
          rez = rez.meet(Lambda.FUNS.get(fidx).apply(_args));
      if( rez==Type.XSCALAR ) // Fast path cutout, no improvement possible
        return rez;
 
      // Attempt to lift the result, based on HM types.  Walk the input HM type
      // and CCP flow type in parallel and create a mapping.  Then walk the
      // output HM type and CCP flow type in parallel, and join output CCP
      // types with the matching input CCP type.
      if( DO_HM ) {
        T2MAP.clear();  WDUPS.clear();
        // Walk the inputs, building a mapping
        _fun.find().walk_types_in(_fun._flow);
        for( Syntax arg : _args )
          { WDUPS.clear(); arg.find().walk_types_in(arg._flow); }
        // Walk the outputs, building an improved result
        Type rez2 = find().walk_types_out(rez);
        rez = rez2.join(rez);   // Lift result
        if( !_flow.isa(rez) )
          rez = _flow; // TODO: Cheaty force monotonic
      }
      return rez;
    }

References com.cliffc.aa.HM.HM.Apply._args, com.cliffc.aa.type.TypeFunPtr._fidxs, com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.Apply._fun, com.cliffc.aa.type.Type< T extends Type< T >.above_center(), com.cliffc.aa.util.NonBlockingHashMapLong< TypeV >.clear(), com.cliffc.aa.HM.HM.DO_HM, com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.type.BitsFun.FULL, com.cliffc.aa.HM.HM.Lambda.FUNS, com.cliffc.aa.type.Type< T extends Type< T >.isa(), com.cliffc.aa.type.Type< T extends Type< T >.join(), com.cliffc.aa.type.Type< T extends Type< T >.meet(), com.cliffc.aa.type.Type< T extends Type< T >.SCALAR, com.cliffc.aa.HM.HM.Apply.T2MAP, com.cliffc.aa.HM.HM.T2.walk_types_in(), com.cliffc.aa.HM.HM.T2.walk_types_out(), com.cliffc.aa.HM.HM.Apply.WDUPS, and com.cliffc.aa.type.Type< T extends Type< T >.XSCALAR.

Here is the call graph for this function:

Member Data Documentation

_args

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

package

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

package

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

T2MAP

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

staticprivate

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

staticprivate

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