aa
com.cliffc.aa.HM.HM3.Syntax Class Referenceabstract
Inheritance diagram for com.cliffc.aa.HM.HM3.Syntax:
[legend]
Collaboration diagram for com.cliffc.aa.HM.HM3.Syntax:
[legend]

Protected Member Functions

final void add_work (Worklist work)
 

Package Functions

final void add_neighbors (Worklist work)
 
final boolean all_kids_ready ()
 
boolean check_progress (Worklist work)
 
abstract void get_ids (VStack vstk, Worklist work)
 
abstract HMType hm (Worklist work)
 
abstract boolean progress ()
 

Package Attributes

HMType _hm
 
Syntax[] _kids
 
Syntax _par
 

Detailed Description

Definition at line 115 of file HM3.java.

Member Function Documentation

◆ add_neighbors()

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

Definition at line 128 of file HM3.java.

128  {
129  if( _par!=null ) _par.add_work(work);
130  if( _kids!=null )
131  for( Syntax kid : _kids )
132  kid.add_work(work);
133  }

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)
protected

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 ( )
package

Definition at line 135 of file HM3.java.

135  {
136  if( _kids==null ) return true;
137  for( Syntax kid : _kids ) if( kid._hm==null ) return false;
138  return true;
139  }

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)
package

Definition at line 144 of file HM3.java.

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

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()

abstract void com.cliffc.aa.HM.HM3.Syntax.get_ids ( VStack  vstk,
Worklist  work 
)
abstractpackage

Reimplemented in com.cliffc.aa.HM.HM3.Apply, com.cliffc.aa.HM.HM3.Let, com.cliffc.aa.HM.HM3.Lambda, com.cliffc.aa.HM.HM3.Ident, and com.cliffc.aa.HM.HM3.Con.

Referenced by com.cliffc.aa.HM.HM3.Lambda.get_ids(), com.cliffc.aa.HM.HM3.Let.get_ids(), com.cliffc.aa.HM.HM3.Apply.get_ids(), and com.cliffc.aa.HM.HM3.hm().

Here is the caller graph for this function:

◆ hm()

abstract HMType com.cliffc.aa.HM.HM3.Syntax.hm ( Worklist  work)
abstractpackage

Reimplemented in com.cliffc.aa.HM.HM3.Apply, com.cliffc.aa.HM.HM3.Let, com.cliffc.aa.HM.HM3.Lambda, com.cliffc.aa.HM.HM3.Ident, and com.cliffc.aa.HM.HM3.Con.

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

Here is the caller graph for this function:

◆ progress()

abstract boolean com.cliffc.aa.HM.HM3.Syntax.progress ( )
abstractpackage

Reimplemented in com.cliffc.aa.HM.HM3.Apply, com.cliffc.aa.HM.HM3.Let, com.cliffc.aa.HM.HM3.Lambda, com.cliffc.aa.HM.HM3.Ident, and com.cliffc.aa.HM.HM3.Con.

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

Here is the caller graph for this function:

Member Data Documentation

◆ _hm

◆ _kids

◆ _par


The documentation for this class was generated from the following file:
com.cliffc.aa.HM.HM3.Syntax.all_kids_ready
final boolean all_kids_ready()
Definition: HM3.java:135
com.cliffc.aa.HM.HM3.Syntax.progress
abstract boolean progress()
com.cliffc.aa.HM.HM3.Syntax._par
Syntax _par
Definition: HM3.java:116
com.cliffc.aa.HM.HM3.Syntax.add_work
final void add_work(Worklist work)
Definition: HM3.java:126
com.cliffc.aa.HM.HM3.Syntax._hm
HMType _hm
Definition: HM3.java:118
com.cliffc.aa.HM.HM3.Syntax._kids
Syntax[] _kids
Definition: HM3.java:117