aa
|
Public Member Functions | |
String | p () |
final String | toString () |
Package Functions | |
Let (String arg0, Syntax body, Syntax use) | |
T2 | find () |
T2 | hm (Ary< Syntax > work) |
void | live (IBitSet visit) |
boolean | more_work (Ary< Syntax > work) |
final boolean | more_work_impl (Ary< Syntax > work) |
final SB | p0 (SB sb, VBitSet dups) |
SB | p1 (SB sb) |
SB | p2 (SB sb, VBitSet dups) |
void | prep_tree (Syntax par, Ary< Syntax > work) |
void | prep_tree_impl (Syntax par, T2 t, Ary< Syntax > work) |
T2 | prep_tree_lookup (String name, Syntax prior) |
SB | str (SB sb) |
T2 | targ () |
Package Attributes | |
final String | _arg0 |
final Syntax | _body |
Syntax | _par |
T2 | _t |
T2 | _targ |
final Syntax | _use |
Definition at line 233 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._arg0, com.cliffc.aa.HM.HM4.Let._body, com.cliffc.aa.HM.HM4.Let._targ, com.cliffc.aa.HM.HM4.Let._use, and com.cliffc.aa.HM.HM4.T2.tnew().
|
packageinherited |
Definition at line 77 of file HM4.java.
References com.cliffc.aa.HM.HM4.Syntax._t, and com.cliffc.aa.HM.HM4.T2.find().
Referenced by com.cliffc.aa.HM.HM4.hm(), com.cliffc.aa.HM.HM4.Con.hm(), com.cliffc.aa.HM.HM4.Ident.hm(), com.cliffc.aa.HM.HM4.Lambda.hm(), com.cliffc.aa.HM.HM4.Lambda2.hm(), com.cliffc.aa.HM.HM4.Let.hm(), com.cliffc.aa.HM.HM4.Apply.hm(), and com.cliffc.aa.HM.HM4.Syntax.more_work_impl().
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 238 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._body, com.cliffc.aa.HM.HM4.Let._use, com.cliffc.aa.HM.HM4.Syntax.find(), com.cliffc.aa.HM.HM4.T2.push_update(), com.cliffc.aa.HM.HM4.Let.targ(), and com.cliffc.aa.HM.HM4.T2.unify().
|
package |
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 259 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._body, com.cliffc.aa.HM.HM4.Syntax._t, com.cliffc.aa.HM.HM4.Let._targ, com.cliffc.aa.HM.HM4.Let._use, com.cliffc.aa.HM.HM4.Syntax.live(), and com.cliffc.aa.HM.HM4.T2.live().
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 255 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._body, com.cliffc.aa.HM.HM4.Let._use, com.cliffc.aa.HM.HM4.Syntax.more_work(), and com.cliffc.aa.HM.HM4.Syntax.more_work_impl().
Definition at line 91 of file HM4.java.
References com.cliffc.aa.HM.HM4.T2._con, com.cliffc.aa.util.Ary< E >._len, com.cliffc.aa.HM.HM4.T2.CNT, com.cliffc.aa.HM.HM4.Syntax.find(), com.cliffc.aa.util.Ary< E >.find(), com.cliffc.aa.HM.HM4.Syntax.hm(), com.cliffc.aa.HM.HM4.Syntax.more_work(), and com.cliffc.aa.HM.HM4.T2.unify().
Referenced by com.cliffc.aa.HM.HM4.Con.more_work(), com.cliffc.aa.HM.HM4.Ident.more_work(), com.cliffc.aa.HM.HM4.Lambda.more_work(), com.cliffc.aa.HM.HM4.Lambda2.more_work(), com.cliffc.aa.HM.HM4.Let.more_work(), and com.cliffc.aa.HM.HM4.Apply.more_work().
|
inherited |
Definition at line 111 of file HM4.java.
References com.cliffc.aa.HM.HM4.Syntax.p0(), and com.cliffc.aa.util.SB.toString().
Definition at line 112 of file HM4.java.
References com.cliffc.aa.HM.HM4.Syntax._t, com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM4.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.HM4.Syntax.p1(), com.cliffc.aa.HM.HM4.Syntax.p2(), and com.cliffc.aa.HM.HM4.T2.str().
Referenced by com.cliffc.aa.HM.HM4.Syntax.p(), com.cliffc.aa.HM.HM4.Lambda.p2(), com.cliffc.aa.HM.HM4.Lambda2.p2(), com.cliffc.aa.HM.HM4.Let.p2(), and com.cliffc.aa.HM.HM4.Apply.p2().
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 235 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._arg0, and com.cliffc.aa.util.SB.p().
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 236 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._body, com.cliffc.aa.HM.HM4.Let._use, and com.cliffc.aa.HM.HM4.Syntax.p0().
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 243 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._body, com.cliffc.aa.HM.HM4.Let._use, com.cliffc.aa.HM.HM4.Syntax.prep_tree(), com.cliffc.aa.HM.HM4.Syntax.prep_tree_impl(), and com.cliffc.aa.HM.HM4.T2.tnew().
|
packageinherited |
Definition at line 86 of file HM4.java.
References com.cliffc.aa.HM.HM4.Syntax._par, com.cliffc.aa.HM.HM4.Syntax._t, and com.cliffc.aa.util.Ary< E >.push().
Referenced by com.cliffc.aa.HM.HM4.Con.prep_tree(), com.cliffc.aa.HM.HM4.Ident.prep_tree(), com.cliffc.aa.HM.HM4.Lambda.prep_tree(), com.cliffc.aa.HM.HM4.Lambda2.prep_tree(), com.cliffc.aa.HM.HM4.Let.prep_tree(), and com.cliffc.aa.HM.HM4.Apply.prep_tree().
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 248 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._arg0, com.cliffc.aa.HM.HM4.Let._targ, com.cliffc.aa.HM.HM4.Let._use, com.cliffc.aa.util.Util.eq(), and com.cliffc.aa.HM.HM4.T2.fresh().
Reimplemented from com.cliffc.aa.HM.HM4.Syntax.
Definition at line 234 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._arg0, com.cliffc.aa.HM.HM4.Let._body, com.cliffc.aa.HM.HM4.Let._use, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.HM.HM4.Syntax.str().
|
package |
Definition at line 237 of file HM4.java.
References com.cliffc.aa.HM.HM4.Let._targ, com.cliffc.aa.HM.HM4.T2.find(), and com.cliffc.aa.HM.HM4.Let.targ().
Referenced by com.cliffc.aa.HM.HM4.Let.hm(), and com.cliffc.aa.HM.HM4.Let.targ().
|
inherited |
Definition at line 108 of file HM4.java.
References com.cliffc.aa.HM.HM4.Syntax.str(), and com.cliffc.aa.util.SB.toString().
|
package |
Definition at line 230 of file HM4.java.
Referenced by com.cliffc.aa.HM.HM4.Let.Let(), com.cliffc.aa.HM.HM4.Let.p1(), com.cliffc.aa.HM.HM4.Let.prep_tree_lookup(), and com.cliffc.aa.HM.HM4.Let.str().
|
package |
Definition at line 231 of file HM4.java.
Referenced by com.cliffc.aa.HM.HM4.Let.hm(), com.cliffc.aa.HM.HM4.Let.Let(), com.cliffc.aa.HM.HM4.Let.live(), com.cliffc.aa.HM.HM4.Let.more_work(), com.cliffc.aa.HM.HM4.Let.p2(), com.cliffc.aa.HM.HM4.Let.prep_tree(), and com.cliffc.aa.HM.HM4.Let.str().
|
packageinherited |
Definition at line 75 of file HM4.java.
Referenced by com.cliffc.aa.HM.HM4.hm(), com.cliffc.aa.HM.HM4.Ident.prep_tree(), and com.cliffc.aa.HM.HM4.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 76 of file HM4.java.
Referenced by com.cliffc.aa.HM.HM4.Syntax.find(), com.cliffc.aa.HM.HM4.hm(), com.cliffc.aa.HM.HM4.Con.live(), com.cliffc.aa.HM.HM4.Ident.live(), com.cliffc.aa.HM.HM4.Lambda.live(), com.cliffc.aa.HM.HM4.Lambda2.live(), com.cliffc.aa.HM.HM4.Let.live(), com.cliffc.aa.HM.HM4.Apply.live(), com.cliffc.aa.HM.HM4.Syntax.p0(), and com.cliffc.aa.HM.HM4.Syntax.prep_tree_impl().
|
package |
Definition at line 232 of file HM4.java.
Referenced by com.cliffc.aa.HM.HM4.Let.Let(), com.cliffc.aa.HM.HM4.Let.live(), com.cliffc.aa.HM.HM4.Let.prep_tree_lookup(), and com.cliffc.aa.HM.HM4.Let.targ().
|
package |
Definition at line 231 of file HM4.java.
Referenced by com.cliffc.aa.HM.HM4.Let.hm(), com.cliffc.aa.HM.HM4.Let.Let(), com.cliffc.aa.HM.HM4.Let.live(), com.cliffc.aa.HM.HM4.Let.more_work(), com.cliffc.aa.HM.HM4.Let.p2(), com.cliffc.aa.HM.HM4.Let.prep_tree(), com.cliffc.aa.HM.HM4.Let.prep_tree_lookup(), and com.cliffc.aa.HM.HM4.Let.str().