aa
com.cliffc.aa.HM.HM7.Syntax Class Referenceabstract
Inheritance diagram for com.cliffc.aa.HM.HM7.Syntax:
[legend]
Collaboration diagram for com.cliffc.aa.HM.HM7.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 242 of file HM7.java.

Member Function Documentation

◆ add_kids()

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

Reimplemented in com.cliffc.aa.HM.HM7.Field, com.cliffc.aa.HM.HM7.Struct, com.cliffc.aa.HM.HM7.Apply, com.cliffc.aa.HM.HM7.Let, com.cliffc.aa.HM.HM7.Lambda, com.cliffc.aa.HM.HM7.Ident, and com.cliffc.aa.HM.HM7.Con.

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

Here is the caller graph for this function:

◆ add_occurs()

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

Reimplemented in com.cliffc.aa.HM.HM7.Field, com.cliffc.aa.HM.HM7.Let, com.cliffc.aa.HM.HM7.Lambda, and com.cliffc.aa.HM.HM7.Ident.

Definition at line 266 of file HM7.java.

266 {}

Referenced by com.cliffc.aa.HM.HM7.Field.add_occurs(), and com.cliffc.aa.HM.HM7.hm().

Here is the caller graph for this function:

◆ debug_find()

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

Definition at line 250 of file HM7.java.

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

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

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

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

◆ find()

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

Definition at line 246 of file HM7.java.

246  { // U-F find
247  T2 t = _t.find();
248  return t==_t ? t : (_t=t);
249  }

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

Referenced by com.cliffc.aa.HM.HM7.T2._occurs_in(), com.cliffc.aa.HM.HM7.Lambda.add_occurs(), com.cliffc.aa.HM.HM7.Let.add_occurs(), com.cliffc.aa.HM.HM7.Ident.hm(), com.cliffc.aa.HM.HM7.Lambda.hm(), com.cliffc.aa.HM.HM7.Let.hm(), com.cliffc.aa.HM.HM7.Apply.hm(), com.cliffc.aa.HM.HM7.Struct.hm(), com.cliffc.aa.HM.HM7.Field.hm(), com.cliffc.aa.HM.HM7.Apply.is_if_nil(), and com.cliffc.aa.HM.HM7.Struct.prep_tree().

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

◆ hm()

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

Reimplemented in com.cliffc.aa.HM.HM7.Field, com.cliffc.aa.HM.HM7.Struct, com.cliffc.aa.HM.HM7.Apply, com.cliffc.aa.HM.HM7.Let, com.cliffc.aa.HM.HM7.Lambda, com.cliffc.aa.HM.HM7.Ident, and com.cliffc.aa.HM.HM7.Con.

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

Here is the caller graph for this function:

◆ lookup()

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

◆ more_work()

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

◆ more_work_impl()

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

Definition at line 270 of file HM7.java.

270  {
271  boolean no_more_work = work.has(this) || !hm(null); // Either on worklist, or no-progress
272  return no_more_work;
273  }

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

Referenced by com.cliffc.aa.HM.HM7.Con.more_work(), com.cliffc.aa.HM.HM7.Ident.more_work(), com.cliffc.aa.HM.HM7.Lambda.more_work(), com.cliffc.aa.HM.HM7.Let.more_work(), com.cliffc.aa.HM.HM7.Apply.more_work(), com.cliffc.aa.HM.HM7.Struct.more_work(), and com.cliffc.aa.HM.HM7.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.HM7.Syntax.p ( )

Definition at line 278 of file HM7.java.

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

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

Here is the call graph for this function:

◆ p0()

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

Definition at line 279 of file HM7.java.

279  {
280  _t.get_dups(dups);
281  _t.str(p1(sb.i()).p(" "), new VBitSet(),dups).nl();
282  return p2(sb.ii(1),dups).di(1);
283  }

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

Referenced by com.cliffc.aa.HM.HM7.Syntax.p(), com.cliffc.aa.HM.HM7.Lambda.p2(), com.cliffc.aa.HM.HM7.Let.p2(), com.cliffc.aa.HM.HM7.Apply.p2(), com.cliffc.aa.HM.HM7.Struct.p2(), and com.cliffc.aa.HM.HM7.Field.p2().

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

◆ p1()

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

Reimplemented in com.cliffc.aa.HM.HM7.Field, com.cliffc.aa.HM.HM7.Struct, com.cliffc.aa.HM.HM7.Apply, com.cliffc.aa.HM.HM7.Let, com.cliffc.aa.HM.HM7.Lambda, com.cliffc.aa.HM.HM7.Ident, and com.cliffc.aa.HM.HM7.Con.

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

Here is the caller graph for this function:

◆ p2()

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

Reimplemented in com.cliffc.aa.HM.HM7.Field, com.cliffc.aa.HM.HM7.Struct, com.cliffc.aa.HM.HM7.Apply, com.cliffc.aa.HM.HM7.Let, com.cliffc.aa.HM.HM7.Lambda, com.cliffc.aa.HM.HM7.Ident, and com.cliffc.aa.HM.HM7.Con.

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

Here is the caller graph for this function:

◆ prep_lookup_deps()

◆ prep_tree()

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

◆ prep_tree_impl()

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

Definition at line 260 of file HM7.java.

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

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

Referenced by com.cliffc.aa.HM.HM7.Con.prep_tree(), com.cliffc.aa.HM.HM7.Ident.prep_tree(), com.cliffc.aa.HM.HM7.Lambda.prep_tree(), com.cliffc.aa.HM.HM7.Let.prep_tree(), com.cliffc.aa.HM.HM7.Apply.prep_tree(), com.cliffc.aa.HM.HM7.Struct.prep_tree(), and com.cliffc.aa.HM.HM7.Field.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.HM7.Syntax.str ( SB  sb)
abstractpackage

◆ toString()

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

Definition at line 275 of file HM7.java.

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

References com.cliffc.aa.HM.HM7.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.HM7.Syntax._nongen
package

◆ _par

◆ _t


The documentation for this class was generated from the following file:
com.cliffc.aa.HM.HM7.T2.str
SB str(SB sb, VBitSet visit, VBitSet dups)
Definition: HM7.java:1046
com.cliffc.aa.HM.HM7.T2.find
T2 find()
Definition: HM7.java:669
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.HM7.Syntax._par
Syntax _par
Definition: HM7.java:243
com.cliffc.aa.HM.HM7.Syntax.p1
abstract SB p1(SB sb)
com.cliffc.aa.HM.HM7.Syntax._nongen
VStack _nongen
Definition: HM7.java:244
com.cliffc.aa.HM.HM7.Syntax.str
abstract SB str(SB sb)
com.cliffc.aa.HM.HM7.Syntax.p0
final SB p0(SB sb, VBitSet dups)
Definition: HM7.java:279
com.cliffc.aa.HM.HM7.Syntax.hm
abstract boolean hm(Worklist work)
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.HM.HM7.Syntax._t
T2 _t
Definition: HM7.java:245
com.cliffc.aa.HM.HM7.Syntax.p2
abstract SB p2(SB sb, VBitSet dups)
com.cliffc.aa.util.SB.nl
SB nl()
Definition: SB.java:48
com.cliffc.aa.HM.HM7.T2.get_dups
VBitSet get_dups(VBitSet dups)
Definition: HM7.java:1033
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.util.SB.toString
String toString()
Definition: SB.java:62