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

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

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

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

Package Functions
	Apply (Syntax fun, Syntax... args)
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 Syntax[]	_args
final Syntax	_fun
VStack	_nongen
Syntax	_par
T2	_post
T2	_pre
T2	_t

Private Member Functions
T2	is_if_nil ()

Detailed Description

Definition at line 475 of file HM8.java.

Constructor & Destructor Documentation

Apply()

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

package

Definition at line 478 of file HM8.java.

{ _fun = fun; _args = args; }

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

Member Function Documentation

add_work()

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

package

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

Definition at line 550 of file HM8.java.

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

References com.cliffc.aa.HM.HM8.Apply._args, 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.

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

package

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

Definition at line 494 of file HM8.java.

                                        {
      // U/F link pre/post memory with argument memories
      boolean progress = false;
      progress |= pre().unify(_fun.pre(),work);
      if( work==null && progress ) return true;
      progress |= _fun.post().unify(_args[0].pre(),work);
      if( work==null && progress ) return true;
      for( int i=1; i<_args.length; i++ ) {
        progress |= _args[i-1].post().unify(_args[i].pre(),work);
        if( work==null && progress ) return true;
      }
      progress |= _args[_args.length-1].post().unify(post(),work);
      if( work==null && progress ) return true;
 
      // Discover not-nil in the trivial case of directly using the 'if'
      // primitive against a T2.is_struct().  Will not work if 'if' is some
      // more hidden or complex function (e.q. '&&' or '||') or the predicate
      // implies not-null on some other struct.
      T2 str = is_if_nil();
      if( str!=null && str.is_struct() && str._con==null ) {
        if( work==null ) return true;
        progress = true;
        str._con = Type.NIL;    // Add nil to a struct
        work.addAll(str._deps);
      }
 
      // 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() ) {
        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(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
      }
      progress |= tfun.args(_args.length).unify(find(),work);
      if( tfun.find().is_err() ) return find().unify(tfun.find(),work);
      return progress;
    }

References com.cliffc.aa.HM.HM8.Apply._args, com.cliffc.aa.HM.HM8.T2._args, com.cliffc.aa.HM.HM8.Apply._fun, com.cliffc.aa.HM.HM8.Worklist.addAll(), com.cliffc.aa.HM.HM8.T2.args(), com.cliffc.aa.HM.HM8.Syntax.find(), com.cliffc.aa.HM.HM8.T2.find(), com.cliffc.aa.HM.HM8.T2.is_err(), com.cliffc.aa.HM.HM8.T2.is_fun(), com.cliffc.aa.HM.HM8.Apply.is_if_nil(), com.cliffc.aa.HM.HM8.T2.make_err(), com.cliffc.aa.HM.HM8.T2.make_fun(), com.cliffc.aa.type.Type< T extends Type< T >.NIL, com.cliffc.aa.HM.HM8.Syntax.post(), com.cliffc.aa.HM.HM8.Syntax.pre(), com.cliffc.aa.HM.HM8.Apply.str(), and com.cliffc.aa.HM.HM8.T2.unify().

Here is the call graph for this function:

is_if_nil()

T2 com.cliffc.aa.HM.HM8.Apply.is_if_nil ( )

private

Definition at line 570 of file HM8.java.

                           {
      return _fun instanceof Ident && Util.eq(((Ident)_fun)._name,"if") && _args[0] instanceof Ident ? _args[0].find() : null;
    }

References com.cliffc.aa.HM.HM8.Apply._args, com.cliffc.aa.HM.HM8.Apply._fun, com.cliffc.aa.util.Util.eq(), and com.cliffc.aa.HM.HM8.Syntax.find().

Referenced by com.cliffc.aa.HM.HM8.Apply.hm(), and com.cliffc.aa.HM.HM8.Apply.prep_tree().

Here is the call graph for this function:

Here is the caller graph for this function:

lookup()

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

package

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

Definition at line 549 of file HM8.java.

{ return _par==null ? null : _par.lookup(name); }

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

Here is the call graph for this function:

more_work()

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

package

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

Definition at line 563 of file HM8.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.HM8.Apply._args, com.cliffc.aa.HM.HM8.Apply._fun, com.cliffc.aa.HM.HM8.Syntax.more_work(), and 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.

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

package

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

Definition at line 485 of file HM8.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.HM8.Apply.p2 ( SB  sb, VBitSet  dups  )

package

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

Definition at line 486 of file HM8.java.

                                         {
      _fun.p0(sb,dups);
      for( Syntax arg : _args ) arg.p0(sb,dups);
      return sb;
    }

References com.cliffc.aa.HM.HM8.Apply._args, com.cliffc.aa.HM.HM8.Apply._fun, and com.cliffc.aa.HM.HM8.Syntax.p0().

Here is the call graph for this function:

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.Apply.prep_lookup_deps ( Ident  id )

package

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

Definition at line 562 of file HM8.java.

{ }

prep_tree()

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

package

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

Definition at line 554 of file HM8.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);
      T2 str = is_if_nil();
      if( str!=null ) str.push_update(this);
      return cnt;
    }

References com.cliffc.aa.HM.HM8.Apply._args, com.cliffc.aa.HM.HM8.Apply._fun, com.cliffc.aa.HM.HM8.Apply.is_if_nil(), com.cliffc.aa.HM.HM8.T2.make_leaf(), com.cliffc.aa.HM.HM8.Syntax.prep_tree(), com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl(), and com.cliffc.aa.HM.HM8.Apply.str().

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

package

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

Definition at line 479 of file HM8.java.

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

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

Referenced by com.cliffc.aa.HM.HM8.Apply.hm(), and com.cliffc.aa.HM.HM8.Apply.prep_tree().

Here is the call graph for this function:

Here is the caller graph for this function:

toString()

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

inherited

Definition at line 288 of file HM8.java.

{ 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

_args

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

package

Definition at line 477 of file HM8.java.

Referenced by com.cliffc.aa.HM.HM8.Apply.add_work(), com.cliffc.aa.HM.HM8.Apply.Apply(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Apply.is_if_nil(), com.cliffc.aa.HM.HM8.Apply.more_work(), com.cliffc.aa.HM.HM8.Apply.p2(), com.cliffc.aa.HM.HM8.Apply.prep_tree(), and com.cliffc.aa.HM.HM8.Apply.str().

_fun

final Syntax com.cliffc.aa.HM.HM8.Apply._fun

package

Definition at line 476 of file HM8.java.

Referenced by com.cliffc.aa.HM.HM8.Apply.Apply(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Apply.is_if_nil(), com.cliffc.aa.HM.HM8.Apply.more_work(), com.cliffc.aa.HM.HM8.Apply.p2(), com.cliffc.aa.HM.HM8.Apply.prep_tree(), and com.cliffc.aa.HM.HM8.Apply.str().

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

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

_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