aa
Public Member Functions | Package Functions | Package Attributes | List of all members
com.cliffc.aa.HM.HM.Let Class Reference
Inheritance diagram for com.cliffc.aa.HM.HM.Let:
[legend]
Collaboration diagram for com.cliffc.aa.HM.HM.Let:
[legend]

Public Member Functions

String p ()
 
final String toString ()
 

Package Functions

 Let (String arg0, Syntax def, Syntax body)
 
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 String _arg0
 
final Syntax _body
 
final Syntax _def
 
Type _flow
 
T2 _hmt
 
VStack _nongen
 
Syntax _par
 
T2 _targ
 

Detailed Description

Definition at line 564 of file HM.java.

Constructor & Destructor Documentation

◆ Let()

com.cliffc.aa.HM.HM.Let.Let ( String  arg0,
Syntax  def,
Syntax  body 
)
package

Definition at line 568 of file HM.java.

568 { _arg0=arg0; _body=body; _def=def; _targ=T2.make_leaf(); }

References com.cliffc.aa.HM.HM.Let._arg0, com.cliffc.aa.HM.HM.Let._body, com.cliffc.aa.HM.HM.Let._def, com.cliffc.aa.HM.HM.Let._targ, and com.cliffc.aa.HM.HM.T2.make_leaf().

Here is the call graph for this function:

Member Function Documentation

◆ add_hm_work()

void com.cliffc.aa.HM.HM.Let.add_hm_work ( Worklist  work)
package

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

Definition at line 573 of file HM.java.

573  {
574  work.push(_par);
575  work.push(_body);
576  work.push(_def);
577  work.addAll(_def.find()._deps);
578  }

References com.cliffc.aa.HM.HM.Let._body, com.cliffc.aa.HM.HM.Let._def, com.cliffc.aa.HM.HM.T2._deps, com.cliffc.aa.HM.HM.Syntax._par, com.cliffc.aa.HM.HM.Worklist.addAll(), com.cliffc.aa.HM.HM.Syntax.find(), 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.Let.add_val_work ( Syntax  child,
Worklist  work 
)
package

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

Definition at line 580 of file HM.java.

580  {
581  if( child==_def )
582  work.addAll(_def.find()._deps);
583  }

References com.cliffc.aa.HM.HM.Let._def, com.cliffc.aa.HM.HM.T2._deps, com.cliffc.aa.HM.HM.Worklist.addAll(), and com.cliffc.aa.HM.HM.Syntax.find().

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.

348 { 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.

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

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.Let.hm ( Worklist  work)
package

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

Definition at line 572 of file HM.java.

572 { return false; }

◆ more_work()

boolean com.cliffc.aa.HM.HM.Let.more_work ( Worklist  work)
package

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

Definition at line 596 of file HM.java.

596  {
597  if( !more_work_impl(work) ) return false;
598  return _body.more_work(work) && _def.more_work(work);
599  }

References com.cliffc.aa.HM.HM.Let._body, com.cliffc.aa.HM.HM.Let._def, com.cliffc.aa.HM.HM.Syntax.more_work(), and com.cliffc.aa.HM.HM.Syntax.more_work_impl().

Here is the call 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.

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

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.

393 { 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.

394  {
395  _hmt.get_dups(dups);
396  VBitSet visit = new VBitSet();
397  p1(sb.i());
398  if( DO_HM ) _hmt .str(sb.p(", HM="), visit,dups);
399  if( DO_GCP ) _flow.str(sb.p(", CCP="),visit.clr(),null,false);
400  sb.nl();
401  return p2(sb.ii(1),dups).di(1);
402  }

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.Let.p1 ( SB  sb)
package

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

Definition at line 570 of file HM.java.

570 { return sb.p(_arg0).p(" = ... ; ..."); }

References com.cliffc.aa.HM.HM.Let._arg0, and com.cliffc.aa.util.SB.p().

Here is the call graph for this function:

◆ p2()

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

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

Definition at line 571 of file HM.java.

571 { _def.p0(sb,dups); return _body.p0(sb,dups); }

References com.cliffc.aa.HM.HM.Let._body, com.cliffc.aa.HM.HM.Let._def, 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.Let.prep_lookup_deps ( Ident  id)
package

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

Definition at line 593 of file HM.java.

593  {
594  if( Util.eq(id._name,_arg0) ) _targ.push_update(id);
595  }

References com.cliffc.aa.HM.HM.Let._arg0, com.cliffc.aa.HM.HM.Let._targ, com.cliffc.aa.util.Util.eq(), and com.cliffc.aa.HM.HM.T2.push_update().

Here is the call graph for this function:

◆ prep_tree()

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

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

Definition at line 585 of file HM.java.

585  {
586  prep_tree_impl(par,nongen,work,_body._hmt);
587  int cnt = _body.prep_tree(this, nongen ,work) +
588  _def .prep_tree(this,new VStack(nongen,_targ),work);
589  _hmt = _body._hmt; // Unify 'Let._hmt' with the '_body'
590  _targ.unify(_def.find(),work);
591  return cnt+1;
592  }

References com.cliffc.aa.HM.HM.Let._body, com.cliffc.aa.HM.HM.Let._def, com.cliffc.aa.HM.HM.Syntax._hmt, com.cliffc.aa.HM.HM.Let._targ, com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.Syntax.prep_tree(), com.cliffc.aa.HM.HM.Syntax.prep_tree_impl(), and com.cliffc.aa.HM.HM.T2.unify().

Here is the call 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.

370  {
371  _par = par;
372  _hmt = t;
373  _flow= Type.XSCALAR;
374  _nongen = nongen;
375  work.push(this);
376  }

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

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

Definition at line 569 of file HM.java.

569 { return _body.str(_def.str(sb.p(_arg0).p(" = ")).p("; ")); }

References com.cliffc.aa.HM.HM.Let._arg0, com.cliffc.aa.HM.HM.Let._body, com.cliffc.aa.HM.HM.Let._def, com.cliffc.aa.util.SB.p(), 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.

390 { 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.Let.val ( Worklist  work)
package

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

Definition at line 579 of file HM.java.

579 { return _body._flow; }

References com.cliffc.aa.HM.HM.Let._body, and com.cliffc.aa.HM.HM.Syntax._flow.

Member Data Documentation

◆ _arg0

final String com.cliffc.aa.HM.HM.Let._arg0
package

Definition at line 565 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Let.Let(), com.cliffc.aa.HM.HM.Let.p1(), com.cliffc.aa.HM.HM.Let.prep_lookup_deps(), com.cliffc.aa.HM.HM.Ident.prep_tree(), and com.cliffc.aa.HM.HM.Let.str().

◆ _body

final Syntax com.cliffc.aa.HM.HM.Let._body
package

Definition at line 566 of file HM.java.

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

◆ _def

final Syntax com.cliffc.aa.HM.HM.Let._def
package

Definition at line 566 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Let.add_hm_work(), com.cliffc.aa.HM.HM.Let.add_val_work(), com.cliffc.aa.HM.HM.Let.Let(), com.cliffc.aa.HM.HM.Let.more_work(), com.cliffc.aa.HM.HM.Let.p2(), com.cliffc.aa.HM.HM.Let.prep_tree(), com.cliffc.aa.HM.HM.Let.str(), and com.cliffc.aa.HM.HM.Ident.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().

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

◆ _targ

T2 com.cliffc.aa.HM.HM.Let._targ
package

Definition at line 567 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Let.Let(), com.cliffc.aa.HM.HM.Let.prep_lookup_deps(), com.cliffc.aa.HM.HM.Ident.prep_tree(), and com.cliffc.aa.HM.HM.Let.prep_tree().

The documentation for this class was generated from the following file:
com.cliffc.aa.HM.HM.Syntax.find
T2 find()
Definition: HM.java:344
com.cliffc.aa.util.Util.eq
static boolean eq(String s0, String s1)
Definition: Util.java:16
com.cliffc.aa.util.SB.ii
SB ii(int i)
Definition: SB.java:44
com.cliffc.aa.util.SB.di
SB di(int i)
Definition: SB.java:46
com.cliffc.aa.HM.HM.Syntax.hm
abstract boolean hm(Worklist work)
com.cliffc.aa.type.Type.XSCALAR
static final Type XSCALAR
Definition: Type.java:329
com.cliffc.aa.HM.HM.Syntax.val
abstract Type val(Worklist work)
com.cliffc.aa.type.Type
an implementation of language AA
Definition: Type.java:94
com.cliffc.aa.HM.HM.Syntax.p2
abstract SB p2(SB sb, VBitSet dups)
com.cliffc.aa.HM.HM.T2.make_leaf
static T2 make_leaf()
Definition: HM.java:1321
com.cliffc.aa.util.VBitSet.clr
VBitSet clr()
Definition: VBitSet.java:9
com.cliffc.aa.HM.HM.Syntax._flow
Type _flow
Definition: HM.java:351
com.cliffc.aa.type.Type.str
SB str(SB sb, VBitSet dups, TypeMem mem, boolean debug)
Definition: Type.java:131
com.cliffc.aa.HM.HM.DO_HM
static final boolean DO_HM
Definition: HM.java:91
com.cliffc.aa.HM.HM.T2.push_update
T2 push_update(Ary< Syntax > as)
Definition: HM.java:2118
com.cliffc.aa.HM.HM.Let._targ
T2 _targ
Definition: HM.java:567
com.cliffc.aa.HM.HM.Syntax._par
Syntax _par
Definition: HM.java:341
com.cliffc.aa.HM.HM.Syntax.p1
abstract SB p1(SB sb)
com.cliffc.aa.HM.HM.Syntax.p0
final SB p0(SB sb, VBitSet dups)
Definition: HM.java:394
com.cliffc.aa.HM.HM.Syntax._nongen
VStack _nongen
Definition: HM.java:342
com.cliffc.aa.HM.HM.Syntax._hmt
T2 _hmt
Definition: HM.java:343
com.cliffc.aa.HM.HM.Syntax.more_work
abstract boolean more_work(Worklist work)
com.cliffc.aa.util.Util
Definition: Util.java:5
com.cliffc.aa.HM.HM.Syntax.more_work_impl
final boolean more_work_impl(Worklist work)
Definition: HM.java:381
com.cliffc.aa.HM.HM.Syntax.prep_tree_impl
final void prep_tree_impl(Syntax par, VStack nongen, Worklist work, T2 t)
Definition: HM.java:370
com.cliffc.aa.HM.HM.T2.unify
boolean unify(T2 that, Worklist work)
Definition: HM.java:1604
com.cliffc.aa.util.VBitSet
Definition: VBitSet.java:5
com.cliffc.aa.HM.HM.Syntax.str
abstract SB str(SB sb)
com.cliffc.aa.util.SB
Tight/tiny StringBuilder wrapper.
Definition: SB.java:8
com.cliffc.aa.HM.HM.T2._deps
Ary< Syntax > _deps
Definition: HM.java:1318
com.cliffc.aa.util.SB.nl
SB nl()
Definition: SB.java:48
com.cliffc.aa.util.SB.p
SB p(String s)
Definition: SB.java:13
com.cliffc.aa.HM.HM.Syntax.prep_tree
abstract int prep_tree(Syntax par, VStack nongen, Worklist work)
com.cliffc.aa.HM.HM.DO_GCP
static final boolean DO_GCP
Definition: HM.java:92
com.cliffc.aa.HM.HM.T2.find
T2 find()
Definition: HM.java:1374
com.cliffc.aa.HM.HM.Let._arg0
final String _arg0
Definition: HM.java:565
com.cliffc.aa.util.SB.i
SB i(int d)
Definition: SB.java:38
com.cliffc.aa.HM.HM.T2.get_dups
VBitSet get_dups(VBitSet dups)
Definition: HM.java:2148
com.cliffc.aa.HM.HM.T2.str
SB str(SB sb, VBitSet visit, VBitSet dups)
Definition: HM.java:2163
com.cliffc.aa.util.SB.toString
String toString()
Definition: SB.java:62
com.cliffc.aa.HM.HM.Let._def
final Syntax _def
Definition: HM.java:566
com.cliffc.aa.HM.HM.T2.debug_find
T2 debug_find()
Definition: HM.java:1364
com.cliffc.aa.HM.HM.Let._body
final Syntax _body
Definition: HM.java:566