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

Public Member Functions

String p ()
 
final String toString ()
 

Package Functions

abstract void add_kids (Worklist work)
 
void add_occurs (Worklist work)
 
T2 debug_find ()
 
T2 find ()
 
abstract boolean hm (Worklist work)
 
abstract T2 lookup (String name)
 
abstract boolean more_work (Worklist work)
 
final boolean more_work_impl (Worklist work)
 
final SB p0 (SB sb, VBitSet dups)
 
abstract SB p1 (SB sb)
 
abstract SB p2 (SB sb, VBitSet dups)
 
abstract void prep_lookup_deps (Ident id)
 
abstract int prep_tree (Syntax par, VStack nongen, Worklist work)
 
final void prep_tree_impl (Syntax par, VStack nongen, Worklist work, T2 t)
 
abstract SB str (SB sb)
 

Package Attributes

VStack _nongen
 
Syntax _par
 
T2 _t
 

Detailed Description

Definition at line 210 of file HM6.java.

Member Function Documentation

◆ add_kids()

abstract void com.cliffc.aa.HM.HM6.Syntax.add_kids ( Worklist  work)
abstractpackage

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

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

Here is the caller graph for this function:

◆ add_occurs()

void com.cliffc.aa.HM.HM6.Syntax.add_occurs ( Worklist  work)
package

Reimplemented in com.cliffc.aa.HM.HM6.Let, com.cliffc.aa.HM.HM6.Lambda2, com.cliffc.aa.HM.HM6.Lambda, and com.cliffc.aa.HM.HM6.Ident.

Definition at line 234 of file HM6.java.

234 {}

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

Here is the caller graph for this function:

◆ debug_find()

T2 com.cliffc.aa.HM.HM6.Syntax.debug_find ( )
package

Definition at line 218 of file HM6.java.

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

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

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

Here is the call graph for this function:
Here is the caller graph for this function:

◆ find()

T2 com.cliffc.aa.HM.HM6.Syntax.find ( )
package

Definition at line 214 of file HM6.java.

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

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

Referenced by com.cliffc.aa.HM.HM6.T2._occurs_in(), com.cliffc.aa.HM.HM6.Lambda.add_occurs(), com.cliffc.aa.HM.HM6.Lambda2.add_occurs(), com.cliffc.aa.HM.HM6.Let.add_occurs(), com.cliffc.aa.HM.HM6.Con.hm(), com.cliffc.aa.HM.HM6.Ident.hm(), com.cliffc.aa.HM.HM6.Lambda.hm(), com.cliffc.aa.HM.HM6.Lambda2.hm(), com.cliffc.aa.HM.HM6.Let.hm(), and com.cliffc.aa.HM.HM6.Apply.hm().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ hm()

abstract boolean com.cliffc.aa.HM.HM6.Syntax.hm ( Worklist  work)
abstractpackage

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

Referenced by com.cliffc.aa.HM.HM6.hm(), and com.cliffc.aa.HM.HM6.Syntax.more_work_impl().

Here is the caller graph for this function:

◆ lookup()

abstract T2 com.cliffc.aa.HM.HM6.Syntax.lookup ( String  name)
abstractpackage

◆ more_work()

abstract boolean com.cliffc.aa.HM.HM6.Syntax.more_work ( Worklist  work)
abstractpackage

◆ more_work_impl()

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

Definition at line 238 of file HM6.java.

238  {
239  return work.has(this) || !hm(null); // Either on worklist, or no-progress
240  }

References com.cliffc.aa.HM.HM6.Worklist.has(), and com.cliffc.aa.HM.HM6.Syntax.hm().

Referenced by com.cliffc.aa.HM.HM6.Con.more_work(), com.cliffc.aa.HM.HM6.Ident.more_work(), com.cliffc.aa.HM.HM6.Lambda.more_work(), com.cliffc.aa.HM.HM6.Lambda2.more_work(), com.cliffc.aa.HM.HM6.Let.more_work(), and com.cliffc.aa.HM.HM6.Apply.more_work().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ p()

String com.cliffc.aa.HM.HM6.Syntax.p ( )

Definition at line 245 of file HM6.java.

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

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

Here is the call graph for this function:

◆ p0()

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

Definition at line 246 of file HM6.java.

246  {
247  _t.get_dups(dups);
248  _t.str(p1(sb.i()).p(" "), new VBitSet(),dups).nl();
249  return p2(sb.ii(1),dups).di(1);
250  }

References com.cliffc.aa.HM.HM6.Syntax._t, com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM6.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.HM6.Syntax.p1(), com.cliffc.aa.HM.HM6.Syntax.p2(), and com.cliffc.aa.HM.HM6.T2.str().

Referenced by com.cliffc.aa.HM.HM6.Syntax.p(), com.cliffc.aa.HM.HM6.Lambda.p2(), com.cliffc.aa.HM.HM6.Lambda2.p2(), com.cliffc.aa.HM.HM6.Let.p2(), and com.cliffc.aa.HM.HM6.Apply.p2().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ p1()

abstract SB com.cliffc.aa.HM.HM6.Syntax.p1 ( SB  sb)
abstractpackage

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

Referenced by com.cliffc.aa.HM.HM6.Syntax.p0().

Here is the caller graph for this function:

◆ p2()

abstract SB com.cliffc.aa.HM.HM6.Syntax.p2 ( SB  sb,
VBitSet  dups 
)
abstractpackage

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

Referenced by com.cliffc.aa.HM.HM6.Syntax.p0().

Here is the caller graph for this function:

◆ prep_lookup_deps()

abstract void com.cliffc.aa.HM.HM6.Syntax.prep_lookup_deps ( Ident  id)
abstractpackage

◆ prep_tree()

abstract int com.cliffc.aa.HM.HM6.Syntax.prep_tree ( Syntax  par,
VStack  nongen,
Worklist  work 
)
abstractpackage

◆ prep_tree_impl()

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

Definition at line 228 of file HM6.java.

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

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

Referenced by com.cliffc.aa.HM.HM6.Con.prep_tree(), com.cliffc.aa.HM.HM6.Ident.prep_tree(), com.cliffc.aa.HM.HM6.Lambda.prep_tree(), com.cliffc.aa.HM.HM6.Lambda2.prep_tree(), com.cliffc.aa.HM.HM6.Let.prep_tree(), and com.cliffc.aa.HM.HM6.Apply.prep_tree().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ str()

abstract SB com.cliffc.aa.HM.HM6.Syntax.str ( SB  sb)
abstractpackage

◆ toString()

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

Definition at line 242 of file HM6.java.

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

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

Here is the call graph for this function:

Member Data Documentation

◆ _nongen

VStack com.cliffc.aa.HM.HM6.Syntax._nongen
package

◆ _par

◆ _t


The documentation for this class was generated from the following file:
com.cliffc.aa.HM.HM6.Syntax._t
T2 _t
Definition: HM6.java:213
com.cliffc.aa.HM.HM6.T2.str
SB str(SB sb, VBitSet visit, VBitSet dups)
Definition: HM6.java:836
com.cliffc.aa.util.SB.ii
SB ii(int i)
Definition: SB.java:44
com.cliffc.aa.util.SB.di
SB di(int i)
Definition: SB.java:46
com.cliffc.aa.HM.HM6.T2.get_dups
VBitSet get_dups(VBitSet dups)
Definition: HM6.java:823
com.cliffc.aa.HM.HM6.Syntax.p2
abstract SB p2(SB sb, VBitSet dups)
com.cliffc.aa.HM.HM6.Syntax._nongen
VStack _nongen
Definition: HM6.java:212
com.cliffc.aa.HM.HM6.T2.find
T2 find()
Definition: HM6.java:543
com.cliffc.aa.HM.HM6.Syntax._par
Syntax _par
Definition: HM6.java:211
com.cliffc.aa.HM.HM6.Syntax.p1
abstract SB p1(SB sb)
com.cliffc.aa.HM.HM6.Syntax.str
abstract SB str(SB sb)
com.cliffc.aa.util.VBitSet
Definition: VBitSet.java:5
com.cliffc.aa.util.SB
Tight/tiny StringBuilder wrapper.
Definition: SB.java:8
com.cliffc.aa.util.SB.nl
SB nl()
Definition: SB.java:48
com.cliffc.aa.util.SB.p
SB p(String s)
Definition: SB.java:13
com.cliffc.aa.util.SB.i
SB i(int d)
Definition: SB.java:38
com.cliffc.aa.HM.HM6.Syntax.hm
abstract boolean hm(Worklist work)
com.cliffc.aa.util.SB.toString
String toString()
Definition: SB.java:62
com.cliffc.aa.HM.HM6.Syntax.p0
final SB p0(SB sb, VBitSet dups)
Definition: HM6.java:246