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

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

Public Member Functions
	Factor ()

String	p ()

final String	toString ()

Package Functions
void	add_hm_work (Worklist work)

void	add_val_work (Syntax child, Worklist work)

Type	apply (Syntax[] args)

T2	debug_find ()

T2	find ()

boolean	hm (Worklist work)

PrimSyn	make ()

boolean	more_work (Worklist work)

final boolean	more_work_impl (Worklist work)

String	name ()

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)

T2	targ (int i)

Type	val (Worklist work)

Static Package Functions
static void	reset ()

Package Attributes
final String[]	_args

final Syntax	_body

final int	_fidx

Type	_flow

T2	_hmt

VStack	_nongen

Syntax	_par

final T2[]	_targs

final Type[]	_types

Static Package Attributes
static T2	BOOL

static T2	FLT64

static final NonBlockingHashMapLong< Lambda >	FUNS = new NonBlockingHashMapLong<>()

static T2	INT64

static int	PAIR_ALIAS

static T2	STRP

static int	TRIPLE_ALIAS

static Worklist	WORK

Static Private Attributes
static final String[][]	IDS

Detailed Description

Definition at line 1274 of file HM.java.

Constructor & Destructor Documentation

◆ Factor()

com.cliffc.aa.HM.HM.Factor.Factor ( )

Definition at line 1276 of file HM.java.

1276 { super(FLT64,FLT64); }

References com.cliffc.aa.HM.HM.PrimSyn.FLT64.

Referenced by com.cliffc.aa.HM.HM.Factor.make().

Here is the caller graph for this function:

Member Function Documentation

◆ add_hm_work()

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

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Definition at line 988 of file HM.java.

                                               {
       if( find().is_err() ) work.push(_par);
     }

References com.cliffc.aa.HM.HM.Syntax._par, 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.PrimSyn.add_val_work	(	Syntax	child,
		Worklist	work
	)

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Definition at line 991 of file HM.java.

991 { throw unimpl(); }

◆ apply()

Type com.cliffc.aa.HM.HM.Factor.apply ( Syntax[] args )

package

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Definition at line 1278 of file HM.java.

                                          {
       Type flt = args[0]._flow;
       if( flt.above_center() ) return TypeFlt.FLT64.dual();
       return TypeFlt.FLT64;
     }

References com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.type.Type< T extends Type< T >.above_center(), com.cliffc.aa.type.Type< T extends Type< T >.dual(), and com.cliffc.aa.type.TypeFlt.FLT64.

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.

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ hm()

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

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Reimplemented in com.cliffc.aa.HM.HM.NotNil, and com.cliffc.aa.HM.HM.If.

Definition at line 978 of file HM.java.

                                         {
       T2 old = find();
       if( old.is_err() ) return false;
       assert old.is_fun();
       for( int i=0; i<_targs.length; i++ )
         if( targ(i).is_err() )
           return old.unify(targ(i),work);
  
       return false;
     }

References com.cliffc.aa.HM.HM.Lambda._targs, com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.T2.is_err(), com.cliffc.aa.HM.HM.T2.is_fun(), com.cliffc.aa.HM.HM.Lambda.targ(), and com.cliffc.aa.HM.HM.T2.unify().

Here is the call graph for this function:

◆ make()

PrimSyn com.cliffc.aa.HM.HM.Factor.make ( )

package

Reimplemented from com.cliffc.aa.HM.HM.PrimSyn.

Definition at line 1277 of file HM.java.

1277 { return new Factor(); }

References com.cliffc.aa.HM.HM.Factor.Factor().

Here is the call graph for this function:

◆ more_work()

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

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Definition at line 992 of file HM.java.

992 { return more_work_impl(work); }

References 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.

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

◆ name()

String com.cliffc.aa.HM.HM.Factor.name ( )

package

Reimplemented from com.cliffc.aa.HM.HM.PrimSyn.

Definition at line 1275 of file HM.java.

1275 { return "factor"; }

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

                                      {
       _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.PrimSyn.p1 ( SB sb )

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Definition at line 994 of file HM.java.

994 { return sb.p(name()); }

References com.cliffc.aa.HM.HM.PrimSyn.name(), and com.cliffc.aa.util.SB.p().

Here is the call graph for this function:

◆ p2()

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

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Definition at line 995 of file HM.java.

995 { return sb; }

◆ prep_lookup_deps()

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

packageinherited

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

Definition at line 554 of file HM.java.

                                               {
       for( int i=0; i<_args.length; i++ )
         if( Util.eq(_args[i],id._name) ) _targs[i].push_update(id);
     }

References com.cliffc.aa.HM.HM.Lambda._args, com.cliffc.aa.HM.HM.Lambda._targs, 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.PrimSyn.prep_tree	(	Syntax	par,
		VStack	nongen,
		Worklist	work
	)

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Reimplemented in com.cliffc.aa.HM.HM.NotNil.

Definition at line 974 of file HM.java.

                                                                       {
       prep_tree_impl(par,nongen,work, _hmt);
       return 1;
     }

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

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.

                                                                                 {
       _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:

◆ reset()

static void com.cliffc.aa.HM.HM.PrimSyn.reset ( )

staticpackageinherited

Definition at line 952 of file HM.java.

                         {
       PAIR_ALIAS   = BitsAlias.new_alias(BitsAlias.REC);
       TRIPLE_ALIAS = BitsAlias.new_alias(BitsAlias.REC);
       BOOL  = T2.make_base(TypeInt.BOOL);
       INT64 = T2.make_base(TypeInt.INT64);
       FLT64 = T2.make_base(TypeFlt.FLT64);
       STRP  = T2.make_base(TypeMemPtr.STRPTR);
     }

References com.cliffc.aa.type.TypeInt.BOOL, com.cliffc.aa.HM.HM.PrimSyn.BOOL, com.cliffc.aa.type.TypeFlt.FLT64, com.cliffc.aa.HM.HM.PrimSyn.FLT64, com.cliffc.aa.type.TypeInt.INT64, com.cliffc.aa.HM.HM.PrimSyn.INT64, com.cliffc.aa.HM.HM.T2.make_base(), com.cliffc.aa.type.BitsAlias.new_alias(), com.cliffc.aa.HM.HM.PrimSyn.PAIR_ALIAS, com.cliffc.aa.type.BitsAlias.REC, com.cliffc.aa.HM.HM.PrimSyn.STRP, com.cliffc.aa.type.TypeMemPtr.STRPTR, and com.cliffc.aa.HM.HM.PrimSyn.TRIPLE_ALIAS.

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ str()

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

packageinherited

Reimplemented from com.cliffc.aa.HM.HM.Lambda.

Definition at line 993 of file HM.java.

993 { return sb.p(name()); }

References com.cliffc.aa.HM.HM.PrimSyn.name(), and com.cliffc.aa.util.SB.p().

Here is the call graph for this function:

◆ targ()

T2 com.cliffc.aa.HM.HM.Lambda.targ ( int i )

packageinherited

Definition at line 516 of file HM.java.

516 { T2 targ = _targs[i].find(); return targ==_targs[i] ? targ : (_targs[i]=targ); }

References com.cliffc.aa.HM.HM.Lambda._targs, com.cliffc.aa.HM.HM.T2.find(), and com.cliffc.aa.HM.HM.Lambda.targ().

Referenced by com.cliffc.aa.HM.HM.Lambda.add_hm_work(), com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.Lambda.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.Lambda.p1(), com.cliffc.aa.HM.HM.Ident.prep_tree(), com.cliffc.aa.HM.HM.Lambda.prep_tree(), com.cliffc.aa.HM.HM.Lambda.targ(), and com.cliffc.aa.HM.HM.Root.val().

Here is the call graph for this function:

Here is the caller 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.Lambda.val ( Worklist work )

packageinherited

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

Definition at line 541 of file HM.java.

541 { return TypeFunPtr.make(_fidx,_args.length,Type.ANY); }

References com.cliffc.aa.HM.HM.Lambda._args, com.cliffc.aa.HM.HM.Lambda._fidx, com.cliffc.aa.type.Type< T extends Type< T >.ANY, and com.cliffc.aa.type.TypeFunPtr.make().

Referenced by com.cliffc.aa.HM.HM.NotNil.apply(), and com.cliffc.aa.HM.HM.Lambda.Lambda().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

◆ _args

final String [] com.cliffc.aa.HM.HM.Lambda._args

packageinherited

Definition at line 480 of file HM.java.

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

◆ _body

final Syntax com.cliffc.aa.HM.HM.Lambda._body

packageinherited

Definition at line 481 of file HM.java.

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

◆ _fidx

final int com.cliffc.aa.HM.HM.Lambda._fidx

packageinherited

Definition at line 484 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Lambda.hm(), com.cliffc.aa.HM.HM.Lambda.Lambda(), com.cliffc.aa.HM.HM.PrimSyn.PrimSyn(), and com.cliffc.aa.HM.HM.Lambda.val().

◆ _flow

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

packageinherited

Definition at line 351 of file HM.java.

◆ _hmt

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

packageinherited

Definition at line 343 of file HM.java.

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

◆ _targs

final T2 [] com.cliffc.aa.HM.HM.Lambda._targs

packageinherited

Definition at line 482 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Lambda.add_hm_work(), com.cliffc.aa.HM.HM.Pair1.Pair1X.apply(), com.cliffc.aa.HM.HM.Lambda.hm(), com.cliffc.aa.HM.HM.PrimSyn.hm(), com.cliffc.aa.HM.HM.Lambda.Lambda(), com.cliffc.aa.HM.HM.Lambda.prep_lookup_deps(), com.cliffc.aa.HM.HM.Lambda.prep_tree(), com.cliffc.aa.HM.HM.PrimSyn.PrimSyn(), com.cliffc.aa.HM.HM.Lambda.targ(), and com.cliffc.aa.HM.HM.T2.walk_types_in().

◆ _types

final Type [] com.cliffc.aa.HM.HM.Lambda._types

packageinherited

Definition at line 483 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.If.hm(), com.cliffc.aa.HM.HM.Lambda.Lambda(), com.cliffc.aa.HM.HM.Lambda.p1(), and com.cliffc.aa.HM.HM.Root.val().

◆ BOOL

T2 com.cliffc.aa.HM.HM.PrimSyn.BOOL

staticpackageinherited

Definition at line 949 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.EQ.EQ(), com.cliffc.aa.HM.HM.EQ0.EQ0(), com.cliffc.aa.HM.HM.IsEmpty.IsEmpty(), and com.cliffc.aa.HM.HM.PrimSyn.reset().

◆ FLT64

T2 com.cliffc.aa.HM.HM.PrimSyn.FLT64

staticpackageinherited

Definition at line 949 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Factor.Factor(), and com.cliffc.aa.HM.HM.PrimSyn.reset().

◆ FUNS

final NonBlockingHashMapLong<Lambda> com.cliffc.aa.HM.HM.Lambda.FUNS = new NonBlockingHashMapLong<>()

staticpackageinherited

Definition at line 479 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Root.add_sig(), com.cliffc.aa.HM.HM.Apply.add_val_work(), com.cliffc.aa.HM.HM.Lambda.Lambda(), com.cliffc.aa.HM.HM.reset(), com.cliffc.aa.HM.HM.Apply.val(), com.cliffc.aa.HM.HM.Root.val(), and com.cliffc.aa.HM.HM.T2.walk_types_in().

◆ IDS

final String [][] com.cliffc.aa.HM.HM.PrimSyn.IDS

staticprivateinherited

Initial value:

= new String[][] {
      null,
      {"x"},
      {"x","y"},
      {"x","y","z"},
    }

Definition at line 961 of file HM.java.

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

◆ INT64

T2 com.cliffc.aa.HM.HM.PrimSyn.INT64

staticpackageinherited

Definition at line 949 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Add.Add(), com.cliffc.aa.HM.HM.Dec.Dec(), com.cliffc.aa.HM.HM.EQ0.EQ0(), com.cliffc.aa.HM.HM.Mul.Mul(), com.cliffc.aa.HM.HM.PrimSyn.reset(), and com.cliffc.aa.HM.HM.Str.Str().

◆ PAIR_ALIAS

int com.cliffc.aa.HM.HM.PrimSyn.PAIR_ALIAS

staticpackageinherited

Definition at line 951 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Pair1.Pair1X.apply(), com.cliffc.aa.HM.HM.Pair.apply(), com.cliffc.aa.HM.HM.Pair.Pair(), com.cliffc.aa.HM.HM.Pair1.Pair1(), com.cliffc.aa.HM.HM.Pair1.Pair1X.Pair1X(), and com.cliffc.aa.HM.HM.PrimSyn.reset().

◆ STRP

T2 com.cliffc.aa.HM.HM.PrimSyn.STRP

staticpackageinherited

Definition at line 949 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.IsEmpty.IsEmpty(), com.cliffc.aa.HM.HM.PrimSyn.reset(), and com.cliffc.aa.HM.HM.Str.Str().

◆ TRIPLE_ALIAS

int com.cliffc.aa.HM.HM.PrimSyn.TRIPLE_ALIAS

staticpackageinherited

Definition at line 951 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Triple.apply(), com.cliffc.aa.HM.HM.PrimSyn.reset(), and com.cliffc.aa.HM.HM.Triple.Triple().

◆ WORK

Worklist com.cliffc.aa.HM.HM.PrimSyn.WORK

staticpackageinherited

Definition at line 950 of file HM.java.

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

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

HM.java

Public Member Functions

Package Functions

Static Package Functions

Package Attributes

Static Package Attributes

Static Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ Factor()

Member Function Documentation

◆ add_hm_work()

◆ add_val_work()

◆ apply()

◆ debug_find()

◆ find()

◆ hm()

◆ make()

◆ more_work()

◆ more_work_impl()

◆ name()

◆ p()

◆ p0()

◆ p1()

◆ p2()

◆ prep_lookup_deps()

◆ prep_tree()

◆ prep_tree_impl()

◆ reset()

◆ str()

◆ targ()

◆ toString()

◆ val()

Member Data Documentation

◆ _args

◆ _body

◆ _fidx

◆ _flow

◆ _hmt

◆ _nongen

◆ _par

◆ _targs

◆ _types

◆ BOOL

◆ FLT64

◆ FUNS

◆ IDS

◆ INT64

◆ PAIR_ALIAS

◆ STRP

◆ TRIPLE_ALIAS

◆ WORK