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

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

Public Member Functions
String	toString ()

Protected Member Functions
final void	add_work (Worklist work)

Package Functions
	Con (Type t)

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

Syntax	_par

final Type	_t

Detailed Description

Definition at line 156 of file HM3.java.

Constructor & Destructor Documentation

◆ Con()

com.cliffc.aa.HM.HM3.Con.Con ( Type t )

package

Definition at line 158 of file HM3.java.

158 { _t=t; }

References com.cliffc.aa.HM.HM3.Con._t.

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.

126 { 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;
     }