com.cliffc.aa.HM.HM7.Let Class Reference

Inheritance diagram for com.cliffc.aa.HM.HM7.Let:

Collaboration diagram for com.cliffc.aa.HM.HM7.Let:

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

Package Functions
	Let (String arg0, Syntax def, Syntax body)
void	add_kids (Worklist work)
void	add_occurs (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)
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 ()

Package Attributes
final String	_arg0
final Syntax	_body
final Syntax	_def
VStack	_nongen
Syntax	_par
T2	_t
T2	_targ

Detailed Description

Definition at line 405 of file HM7.java.

Constructor & Destructor Documentation

Let()

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

package

Definition at line 409 of file HM7.java.

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

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

Here is the call graph for this function:

Member Function Documentation

add_kids()

void com.cliffc.aa.HM.HM7.Let.add_kids ( Worklist  work )

package

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

Definition at line 421 of file HM7.java.

{ work.push(_body); work.push(_def); }

References com.cliffc.aa.HM.HM7.Let._body, com.cliffc.aa.HM.HM7.Let._def, and com.cliffc.aa.HM.HM7.Worklist.push().

Here is the call graph for this function:

add_occurs()

void com.cliffc.aa.HM.HM7.Let.add_occurs ( Worklist  work )

package

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

Definition at line 422 of file HM7.java.

                                             {
      if( targ().occurs_in_type(_def.find()) ) work.addAll(_targ._deps);
    }

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

Here is the call graph for this function:

debug_find()

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

packageinherited

Definition at line 250 of file HM7.java.

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

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

find()

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

packageinherited

Definition at line 246 of file HM7.java.

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

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

Referenced by com.cliffc.aa.HM.HM7.T2._occurs_in(), com.cliffc.aa.HM.HM7.Lambda.add_occurs(), com.cliffc.aa.HM.HM7.Let.add_occurs(), com.cliffc.aa.HM.HM7.Ident.hm(), com.cliffc.aa.HM.HM7.Lambda.hm(), com.cliffc.aa.HM.HM7.Let.hm(), com.cliffc.aa.HM.HM7.Apply.hm(), com.cliffc.aa.HM.HM7.Struct.hm(), com.cliffc.aa.HM.HM7.Field.hm(), com.cliffc.aa.HM.HM7.Apply.is_if_nil(), and com.cliffc.aa.HM.HM7.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.HM7.Let.hm ( Worklist  work )

package

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

Definition at line 414 of file HM7.java.

                                        {
      return targ().unify(_def.find(),work);
    }

References com.cliffc.aa.HM.HM7.Let._def, com.cliffc.aa.HM.HM7.Syntax.find(), com.cliffc.aa.HM.HM7.Let.targ(), and com.cliffc.aa.HM.HM7.T2.unify().

Here is the call graph for this function:

lookup()

T2 com.cliffc.aa.HM.HM7.Let.lookup ( String  name )

package

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

Definition at line 417 of file HM7.java.

                                     {
      if( Util.eq(_arg0,name) ) return targ();
      return _par==null ? null : _par.lookup(name);
    }

References com.cliffc.aa.HM.HM7.Let._arg0, com.cliffc.aa.HM.HM7.Syntax._par, com.cliffc.aa.util.Util.eq(), com.cliffc.aa.HM.HM7.Syntax.lookup(), and com.cliffc.aa.HM.HM7.Let.targ().

Here is the call graph for this function:

more_work()

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

package

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

Definition at line 435 of file HM7.java.

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

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

Here is the call graph for this function:

more_work_impl()

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

packageinherited

Definition at line 270 of file HM7.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.HM7.Worklist.has(), and com.cliffc.aa.HM.HM7.Syntax.hm().

Referenced by com.cliffc.aa.HM.HM7.Con.more_work(), com.cliffc.aa.HM.HM7.Ident.more_work(), com.cliffc.aa.HM.HM7.Lambda.more_work(), com.cliffc.aa.HM.HM7.Let.more_work(), com.cliffc.aa.HM.HM7.Apply.more_work(), com.cliffc.aa.HM.HM7.Struct.more_work(), and com.cliffc.aa.HM.HM7.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.HM7.Syntax.p ( )

inherited

Definition at line 278 of file HM7.java.

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

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

Here is the call graph for this function:

p0()

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

packageinherited

Definition at line 279 of file HM7.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.HM7.Syntax._t, com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM7.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.HM7.Syntax.p1(), com.cliffc.aa.HM.HM7.Syntax.p2(), and com.cliffc.aa.HM.HM7.T2.str().

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

Here is the call graph for this function:

Here is the caller graph for this function:

p1()

SB com.cliffc.aa.HM.HM7.Let.p1 ( SB  sb )

package

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

Definition at line 411 of file HM7.java.

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

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

Here is the call graph for this function:

p2()

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

package

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

Definition at line 412 of file HM7.java.

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

References com.cliffc.aa.HM.HM7.Let._body, com.cliffc.aa.HM.HM7.Let._def, and com.cliffc.aa.HM.HM7.Syntax.p0().

Here is the call graph for this function:

prep_lookup_deps()

void com.cliffc.aa.HM.HM7.Let.prep_lookup_deps ( Ident  id )

package

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

Definition at line 432 of file HM7.java.

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

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

Here is the call graph for this function:

prep_tree()

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

package

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

Definition at line 425 of file HM7.java.

                                                                        {
      prep_tree_impl(par,nongen,work,_body._t);
      int cnt = _body.prep_tree(this,           nongen       ,work) +
                _def .prep_tree(this,new VStack(nongen,_targ),work);
      _t = _body._t;            // Unify 'Let._t' with the '_body'
      return cnt+1;
    }

References com.cliffc.aa.HM.HM7.Let._body, com.cliffc.aa.HM.HM7.Let._def, com.cliffc.aa.HM.HM7.Syntax._t, com.cliffc.aa.HM.HM7.Let._targ, com.cliffc.aa.HM.HM7.Syntax.prep_tree(), and com.cliffc.aa.HM.HM7.Syntax.prep_tree_impl().

Here is the call graph for this function:

prep_tree_impl()

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

packageinherited

Definition at line 260 of file HM7.java.

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

References com.cliffc.aa.HM.HM7.Syntax._nongen, com.cliffc.aa.HM.HM7.Syntax._par, com.cliffc.aa.HM.HM7.Syntax._t, and com.cliffc.aa.HM.HM7.Worklist.push().

Referenced by com.cliffc.aa.HM.HM7.Con.prep_tree(), com.cliffc.aa.HM.HM7.Ident.prep_tree(), com.cliffc.aa.HM.HM7.Lambda.prep_tree(), com.cliffc.aa.HM.HM7.Let.prep_tree(), com.cliffc.aa.HM.HM7.Apply.prep_tree(), com.cliffc.aa.HM.HM7.Struct.prep_tree(), and com.cliffc.aa.HM.HM7.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.HM7.Let.str ( SB  sb )

package

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

Definition at line 410 of file HM7.java.

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

References com.cliffc.aa.HM.HM7.Let._arg0, com.cliffc.aa.HM.HM7.Let._body, com.cliffc.aa.HM.HM7.Let._def, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.HM.HM7.Syntax.str().

Here is the call graph for this function:

targ()

T2 com.cliffc.aa.HM.HM7.Let.targ ( )

package

Definition at line 413 of file HM7.java.

{ T2 targ = _targ.find(); return targ==_targ ? targ : (_targ=targ); }

References com.cliffc.aa.HM.HM7.Let._targ, com.cliffc.aa.HM.HM7.T2.find(), and com.cliffc.aa.HM.HM7.Let.targ().

Referenced by com.cliffc.aa.HM.HM7.Let.add_occurs(), com.cliffc.aa.HM.HM7.Let.hm(), com.cliffc.aa.HM.HM7.Let.lookup(), and com.cliffc.aa.HM.HM7.Let.targ().

Here is the call graph for this function:

Here is the caller graph for this function:

toString()

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

inherited

Definition at line 275 of file HM7.java.

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

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

Here is the call graph for this function:

Member Data Documentation

_arg0

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

package

Definition at line 406 of file HM7.java.

Referenced by com.cliffc.aa.HM.HM7.Let.Let(), com.cliffc.aa.HM.HM7.Let.lookup(), com.cliffc.aa.HM.HM7.Let.p1(), com.cliffc.aa.HM.HM7.Let.prep_lookup_deps(), and com.cliffc.aa.HM.HM7.Let.str().

_body

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

package

Definition at line 407 of file HM7.java.

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

_def

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

package

Definition at line 407 of file HM7.java.

Referenced by com.cliffc.aa.HM.HM7.Let.add_kids(), com.cliffc.aa.HM.HM7.Let.add_occurs(), com.cliffc.aa.HM.HM7.Let.hm(), com.cliffc.aa.HM.HM7.Let.Let(), com.cliffc.aa.HM.HM7.Let.more_work(), com.cliffc.aa.HM.HM7.Let.p2(), com.cliffc.aa.HM.HM7.Let.prep_tree(), and com.cliffc.aa.HM.HM7.Let.str().

_nongen

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

packageinherited

Definition at line 244 of file HM7.java.

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

_par

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

packageinherited

Definition at line 243 of file HM7.java.

Referenced by com.cliffc.aa.HM.HM7.T2._occurs_in(), com.cliffc.aa.HM.HM7.Ident.add_occurs(), com.cliffc.aa.HM.HM7.hm(), com.cliffc.aa.HM.HM7.Ident.hm(), com.cliffc.aa.HM.HM7.Lambda.lookup(), com.cliffc.aa.HM.HM7.Let.lookup(), com.cliffc.aa.HM.HM7.Apply.lookup(), com.cliffc.aa.HM.HM7.Struct.lookup(), com.cliffc.aa.HM.HM7.Field.lookup(), com.cliffc.aa.HM.HM7.Ident.prep_tree(), and com.cliffc.aa.HM.HM7.Syntax.prep_tree_impl().

_t

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

packageinherited

Definition at line 245 of file HM7.java.

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

_targ

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

package

Definition at line 408 of file HM7.java.

Referenced by com.cliffc.aa.HM.HM7.Let.add_occurs(), com.cliffc.aa.HM.HM7.Let.Let(), com.cliffc.aa.HM.HM7.Let.prep_lookup_deps(), com.cliffc.aa.HM.HM7.Let.prep_tree(), and com.cliffc.aa.HM.HM7.Let.targ().

---

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

• HM7.java