com.cliffc.aa.HM.HM3.Ident Class Reference

Inheritance diagram for com.cliffc.aa.HM.HM3.Ident:

Collaboration diagram for com.cliffc.aa.HM.HM3.Ident:

Public Member Functions
String	toString ()

Protected Member Functions
final void	add_work (Worklist work)

Package Functions
	Ident (String name)
final void	add_neighbors (Worklist work)
final boolean	all_kids_ready ()
boolean	check_progress (Worklist work)
void	get_ids (VStack vstk, Worklist work)
HMType	hm (Worklist work)
boolean	progress ()

Package Attributes
HMType	_hm
Syntax[]	_kids
final String	_name
Syntax	_par
VStack	_vstk

Detailed Description

Definition at line 165 of file HM3.java.

Constructor & Destructor Documentation

Ident()

com.cliffc.aa.HM.HM3.Ident.Ident ( String  name )

package

Definition at line 168 of file HM3.java.

{ _name=name; }

References com.cliffc.aa.HM.HM3.Ident._name.

Member Function Documentation

add_neighbors()

final void com.cliffc.aa.HM.HM3.Syntax.add_neighbors ( Worklist  work )

packageinherited

Definition at line 128 of file HM3.java.

                                            {
      if( _par!=null ) _par.add_work(work);
      if( _kids!=null )
        for( Syntax kid : _kids )
          kid.add_work(work);
    }

References com.cliffc.aa.HM.HM3.Syntax._kids, com.cliffc.aa.HM.HM3.Syntax._par, and com.cliffc.aa.HM.HM3.Syntax.add_work().

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

Here is the call graph for this function:

Here is the caller graph for this function:

add_work()

final void com.cliffc.aa.HM.HM3.Syntax.add_work ( Worklist  work )

protectedinherited

Definition at line 126 of file HM3.java.

{  if( all_kids_ready() ) work.push(this);  }

References com.cliffc.aa.HM.HM3.Syntax.all_kids_ready(), and com.cliffc.aa.HM.HM3.Worklist.push().

Referenced by com.cliffc.aa.HM.HM3.Syntax.add_neighbors(), com.cliffc.aa.HM.HM3.Con.get_ids(), and com.cliffc.aa.HM.HM3.Ident.get_ids().

Here is the call graph for this function:

Here is the caller graph for this function:

all_kids_ready()

final boolean com.cliffc.aa.HM.HM3.Syntax.all_kids_ready ( )

packageinherited

Definition at line 135 of file HM3.java.

                                   {
      if( _kids==null ) return true;
      for( Syntax kid : _kids ) if( kid._hm==null ) return false;
      return true;
    }

References com.cliffc.aa.HM.HM3.Syntax._kids.

Referenced by com.cliffc.aa.HM.HM3.Syntax.add_work(), and com.cliffc.aa.HM.HM3.Syntax.check_progress().

Here is the caller graph for this function:

check_progress()

boolean com.cliffc.aa.HM.HM3.Syntax.check_progress ( Worklist  work )

packageinherited

Definition at line 144 of file HM3.java.

                                          {
      if( all_kids_ready() ) // If kids are not ready, then cannot compute hm() so not on worklist
        if( _hm==null || progress() ) // Progress is possible
          if( !work.has(this) )       // Not on worklist?
            return false;             // Fails check
      if( _kids!=null )               // For all kids
        for( Syntax kid : _kids )
          if( !kid.check_progress(work) ) // Recursively check nodes that can make progress on worklist
            return false;
      return true;
    }

References com.cliffc.aa.HM.HM3.Syntax._hm, com.cliffc.aa.HM.HM3.Syntax._kids, com.cliffc.aa.HM.HM3.Syntax.all_kids_ready(), com.cliffc.aa.HM.HM3.Worklist.has(), and com.cliffc.aa.HM.HM3.Syntax.progress().

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

Here is the call graph for this function:

Here is the caller graph for this function:

get_ids()

void com.cliffc.aa.HM.HM3.Ident.get_ids ( VStack  vstk, Worklist  work  )

package

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

Definition at line 178 of file HM3.java.

                                                      {
      HMType t = ENV.get(_name);
      if( t==null )
        throw new RuntimeException("Parse error, "+_name+" is undefined");
      if( t._ids==null ) t._ids = new Ary<>(Ident.class);
      t._ids.push(this);
      _vstk=vstk;
      add_work(work);
    }

References com.cliffc.aa.HM.HM3.HMType._ids, com.cliffc.aa.HM.HM3.Ident._name, com.cliffc.aa.HM.HM3.Ident._vstk, com.cliffc.aa.HM.HM3.Syntax.add_work(), and com.cliffc.aa.HM.HM3.ENV.

Here is the call graph for this function:

hm()

HMType com.cliffc.aa.HM.HM3.Ident.hm ( Worklist  work )

package

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

Definition at line 170 of file HM3.java.

                                       {
      if( _hm!=null ) return null;
      HMType t = ENV.get(_name).find();
      return t.fresh(_vstk);
    }

References com.cliffc.aa.HM.HM3.Syntax._hm, com.cliffc.aa.HM.HM3.Ident._name, com.cliffc.aa.HM.HM3.Ident._vstk, com.cliffc.aa.HM.HM3.ENV, and com.cliffc.aa.HM.HM3.HMType.fresh().

Here is the call graph for this function:

progress()

boolean com.cliffc.aa.HM.HM3.Ident.progress ( )

package

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

Definition at line 177 of file HM3.java.

{ return false; }

toString()

String com.cliffc.aa.HM.HM3.Ident.toString

(

)

Definition at line 169 of file HM3.java.

{ return _name; }

References com.cliffc.aa.HM.HM3.Ident._name.

Member Data Documentation

_hm

HMType com.cliffc.aa.HM.HM3.Syntax._hm

packageinherited

Definition at line 118 of file HM3.java.

Referenced by com.cliffc.aa.HM.HM3.Syntax.check_progress(), com.cliffc.aa.HM.HM3.hm(), com.cliffc.aa.HM.HM3.Con.hm(), com.cliffc.aa.HM.HM3.Ident.hm(), com.cliffc.aa.HM.HM3.Lambda.hm(), com.cliffc.aa.HM.HM3.Let.hm(), com.cliffc.aa.HM.HM3.Apply.hm(), com.cliffc.aa.HM.HM3.Lambda.progress(), com.cliffc.aa.HM.HM3.Let.progress(), and com.cliffc.aa.HM.HM3.Apply.progress().

_kids

Syntax [] com.cliffc.aa.HM.HM3.Syntax._kids

packageinherited

Definition at line 117 of file HM3.java.

Referenced by com.cliffc.aa.HM.HM3.Syntax.add_neighbors(), com.cliffc.aa.HM.HM3.Syntax.all_kids_ready(), com.cliffc.aa.HM.HM3.Apply.Apply(), com.cliffc.aa.HM.HM3.Apply.arg(), com.cliffc.aa.HM.HM3.Lambda.body(), com.cliffc.aa.HM.HM3.Let.body(), com.cliffc.aa.HM.HM3.Syntax.check_progress(), com.cliffc.aa.HM.HM3.Apply.fun(), com.cliffc.aa.HM.HM3.Lambda.Lambda(), com.cliffc.aa.HM.HM3.Let.Let(), and com.cliffc.aa.HM.HM3.Let.use().

_name

final String com.cliffc.aa.HM.HM3.Ident._name

package

Definition at line 166 of file HM3.java.

Referenced by com.cliffc.aa.HM.HM3.Ident.get_ids(), com.cliffc.aa.HM.HM3.Ident.hm(), com.cliffc.aa.HM.HM3.Ident.Ident(), and com.cliffc.aa.HM.HM3.Ident.toString().

_par

Syntax com.cliffc.aa.HM.HM3.Syntax._par

packageinherited

Definition at line 116 of file HM3.java.

Referenced by com.cliffc.aa.HM.HM3.Syntax.add_neighbors(), com.cliffc.aa.HM.HM3.Apply.Apply(), com.cliffc.aa.HM.HM3.Lambda.Lambda(), and com.cliffc.aa.HM.HM3.Let.Let().

_vstk

VStack com.cliffc.aa.HM.HM3.Ident._vstk

package

Definition at line 167 of file HM3.java.

Referenced by com.cliffc.aa.HM.HM3.Ident.get_ids(), and com.cliffc.aa.HM.HM3.Ident.hm().

---

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

• HM3.java