Inheritance diagram for com.cliffc.aa.HM.HM8.Con:

Collaboration diagram for com.cliffc.aa.HM.HM8.Con:

Public Member Functions
String	p ()

final String	toString ()

Package Functions
	Con (Type con)

void	add_work (Worklist work)

T2	debug_find ()

T2	find ()

boolean	hm (Worklist work)

T2	lookup (String name)

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)

T2	post ()

T2	pre ()

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)

Package Attributes
final Type	_con

VStack	_nongen

Syntax	_par

T2	_post

T2	_pre

T2	_t

Detailed Description

Definition at line 301 of file HM8.java.

Constructor & Destructor Documentation

◆ Con()

com.cliffc.aa.HM.HM8.Con.Con ( Type con )

package

Definition at line 303 of file HM8.java.

303 { super(); _con=con; }

References com.cliffc.aa.HM.HM8.Con._con.

Member Function Documentation

◆ add_work()

void com.cliffc.aa.HM.HM8.Con.add_work ( Worklist work )

package

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

Definition at line 309 of file HM8.java.

309 { work.push(_par); }

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

Here is the call graph for this function:

◆ debug_find()

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

packageinherited

Definition at line 249 of file HM8.java.

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

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ find()

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

packageinherited

Definition at line 245 of file HM8.java.

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

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

Referenced by com.cliffc.aa.HM.HM8.T2._occurs_in(), com.cliffc.aa.HM.HM8.Lambda.add_work(), com.cliffc.aa.HM.HM8.Let.add_work(), com.cliffc.aa.HM.HM8.Ident.hm(), com.cliffc.aa.HM.HM8.Lambda.hm(), com.cliffc.aa.HM.HM8.Let.hm(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Struct.hm(), com.cliffc.aa.HM.HM8.Field.hm(), com.cliffc.aa.HM.HM8.Apply.is_if_nil(), and com.cliffc.aa.HM.HM8.Struct.prep_tree().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ hm()

boolean com.cliffc.aa.HM.HM8.Con.hm ( Worklist work )

package

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

Definition at line 307 of file HM8.java.

307 { return false; }

◆ lookup()

T2 com.cliffc.aa.HM.HM8.Con.lookup ( String name )

package

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

Definition at line 308 of file HM8.java.

308 { throw unimpl("should not reach here"); }

◆ more_work()

boolean com.cliffc.aa.HM.HM8.Con.more_work ( Worklist work )

package

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

Definition at line 316 of file HM8.java.

316 { return more_work_impl(work); }

References com.cliffc.aa.HM.HM8.Syntax.more_work_impl().

Here is the call graph for this function:

◆ more_work_impl()

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

packageinherited

Definition at line 283 of file HM8.java.

                                                 {
       boolean no_more_work = work.has(this) || !hm(null); // Either on worklist, or no-progress
       return no_more_work;
     }

References com.cliffc.aa.HM.HM8.Worklist.has(), and com.cliffc.aa.HM.HM8.Syntax.hm().

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ p()

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

inherited

Definition at line 291 of file HM8.java.

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

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

Here is the call graph for this function:

◆ p0()

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

packageinherited

Definition at line 292 of file HM8.java.

                                      {
       _t.get_dups(dups);
       _t.str(p1(sb.i()).p(" "), new VBitSet(),dups).nl();
       return p2(sb.ii(1),dups).di(1);
     }

References com.cliffc.aa.HM.HM8.Syntax._t, com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM8.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.HM8.Syntax.p1(), com.cliffc.aa.HM.HM8.Syntax.p2(), and com.cliffc.aa.HM.HM8.T2.str().

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ p1()

SB com.cliffc.aa.HM.HM8.Con.p1 ( SB sb )

package

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

Definition at line 305 of file HM8.java.

305 { return sb.p(_con instanceof TypeMemPtr ? "str" : _con.toString()); }

References com.cliffc.aa.HM.HM8.Con._con, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.type.Type< T extends Type< T >.toString().

Referenced by com.cliffc.aa.HM.HM8.Con.str().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ p2()

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

package

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

Definition at line 306 of file HM8.java.

306 { return sb; }

◆ post()

T2 com.cliffc.aa.HM.HM8.Syntax.post ( )

packageinherited

Definition at line 254 of file HM8.java.

               {
       T2 t = _post.find();
       return t==_post ? t : (_post=t);
     }

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

Referenced by com.cliffc.aa.HM.HM8.Lambda.hm(), com.cliffc.aa.HM.HM8.Let.hm(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Struct.hm(), and com.cliffc.aa.HM.HM8.Field.hm().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ pre()

T2 com.cliffc.aa.HM.HM8.Syntax.pre ( )

packageinherited

Definition at line 250 of file HM8.java.

              {
       T2 t = _pre.find();
       return t==_pre ? t : (_pre=t);
     }

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

Referenced by com.cliffc.aa.HM.HM8.Lambda.hm(), com.cliffc.aa.HM.HM8.Let.hm(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Struct.hm(), and com.cliffc.aa.HM.HM8.Field.hm().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ prep_lookup_deps()

void com.cliffc.aa.HM.HM8.Con.prep_lookup_deps ( Ident id )

package

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

Definition at line 315 of file HM8.java.

315 { throw unimpl("should not reach here"); }

◆ prep_tree()

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

package

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

Definition at line 310 of file HM8.java.

                                                                         {
       prep_tree_impl(par, nongen, work, _con==Type.NIL ? T2.make_nil() : T2.make_base(_con));
       _pre=_post;               // Unify at prep-time
       return 1;
     }

References com.cliffc.aa.HM.HM8.Con._con, com.cliffc.aa.HM.HM8.Syntax._post, com.cliffc.aa.HM.HM8.Syntax._pre, com.cliffc.aa.HM.HM8.T2.make_base(), com.cliffc.aa.HM.HM8.T2.make_nil(), com.cliffc.aa.type.Type< T extends Type< T >.NIL, and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().

Here is the call graph for this function:

◆ prep_tree_impl()

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

packageinherited

Definition at line 267 of file HM8.java.

                                                                                 {
       _par=par;
       _pre = T2.make_mem();
       _t=t;
       _post = T2.make_mem();
       _nongen = nongen;
       work.push(this);
     }

References com.cliffc.aa.HM.HM8.Syntax._nongen, com.cliffc.aa.HM.HM8.Syntax._par, com.cliffc.aa.HM.HM8.Syntax._post, com.cliffc.aa.HM.HM8.Syntax._pre, com.cliffc.aa.HM.HM8.Syntax._t, com.cliffc.aa.HM.HM8.T2.make_mem(), and com.cliffc.aa.HM.HM8.Worklist.push().

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ str()

SB com.cliffc.aa.HM.HM8.Con.str ( SB sb )

package

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

Definition at line 304 of file HM8.java.

304 { return p1(sb); }

References com.cliffc.aa.HM.HM8.Con.p1().

Here is the call graph for this function:

◆ toString()

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

inherited

Definition at line 288 of file HM8.java.

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

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

Here is the call graph for this function:

Member Data Documentation

◆ _con

final Type com.cliffc.aa.HM.HM8.Con._con

package

Definition at line 302 of file HM8.java.

Referenced by com.cliffc.aa.HM.HM8.Con.Con(), com.cliffc.aa.HM.HM8.Con.p1(), and com.cliffc.aa.HM.HM8.Con.prep_tree().

◆ _nongen

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

packageinherited

Definition at line 241 of file HM8.java.

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

◆ _par

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

packageinherited

Definition at line 240 of file HM8.java.

◆ _post

T2 com.cliffc.aa.HM.HM8.Syntax._post

packageinherited

Definition at line 244 of file HM8.java.

Referenced by com.cliffc.aa.HM.HM8.Struct.hm(), com.cliffc.aa.HM.HM8.Syntax.post(), com.cliffc.aa.HM.HM8.Con.prep_tree(), com.cliffc.aa.HM.HM8.Ident.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().

◆ _pre

T2 com.cliffc.aa.HM.HM8.Syntax._pre

packageinherited

Definition at line 242 of file HM8.java.

Referenced by com.cliffc.aa.HM.HM8.Syntax.pre(), com.cliffc.aa.HM.HM8.Con.prep_tree(), com.cliffc.aa.HM.HM8.Ident.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().

◆ _t

T2 com.cliffc.aa.HM.HM8.Syntax._t

packageinherited

Definition at line 243 of file HM8.java.

Referenced by com.cliffc.aa.HM.HM8.Syntax.debug_find(), com.cliffc.aa.HM.HM8.Syntax.find(), com.cliffc.aa.HM.HM8.hm(), com.cliffc.aa.HM.HM8.Syntax.p0(), com.cliffc.aa.HM.HM8.Let.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().

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

HM8.java

Public Member Functions

Package Functions

Package Attributes

Detailed Description

Constructor & Destructor Documentation

◆ Con()

Member Function Documentation

◆ add_work()

◆ debug_find()

◆ find()

◆ hm()

◆ lookup()

◆ more_work()

◆ more_work_impl()

◆ p()

◆ p0()

◆ p1()

◆ p2()

◆ post()

◆ pre()

◆ prep_lookup_deps()

◆ prep_tree()

◆ prep_tree_impl()

◆ str()

◆ toString()

Member Data Documentation

◆ _con

◆ _nongen

◆ _par

◆ _post

◆ _pre

◆ _t