aa
|
Public Member Functions | |
String | p () |
final String | toString () |
Package Functions | |
Let (String arg0, Syntax def, Syntax body) | |
void | add_kids (Worklist work) |
void | add_occurs (Worklist work) |
T2 | debug_find () |
T2 | find () |
boolean | hm (Worklist work) |
T2 | lookup (String name) |
boolean | more_work (Worklist work) |
final boolean | more_work_impl (Worklist work) |
final SB | p0 (SB sb, VBitSet dups) |
SB | p1 (SB sb) |
SB | p2 (SB sb, VBitSet dups) |
void | prep_lookup_deps (Ident id) |
int | prep_tree (Syntax par, VStack nongen, Worklist work) |
final void | prep_tree_impl (Syntax par, VStack nongen, Worklist work, T2 t) |
SB | str (SB sb) |
T2 | targ () |
Package Attributes | |
final String | _arg0 |
final Syntax | _body |
final Syntax | _def |
VStack | _nongen |
Syntax | _par |
T2 | _t |
T2 | _targ |
Definition at line 399 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._arg0, com.cliffc.aa.HM.HM6.Let._body, com.cliffc.aa.HM.HM6.Let._def, com.cliffc.aa.HM.HM6.Let._targ, and com.cliffc.aa.HM.HM6.T2.make_leaf().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 411 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._body, com.cliffc.aa.HM.HM6.Let._def, and com.cliffc.aa.HM.HM6.Worklist.push().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 412 of file HM6.java.
References com.cliffc.aa.HM.HM6.T2._deps, com.cliffc.aa.HM.HM6.Let._targ, com.cliffc.aa.HM.HM6.Worklist.addAll(), com.cliffc.aa.HM.HM6.Syntax.find(), and com.cliffc.aa.HM.HM6.Let.targ().
|
packageinherited |
Definition at line 218 of file HM6.java.
References com.cliffc.aa.HM.HM6.Syntax._t, and com.cliffc.aa.HM.HM6.T2.find().
Referenced by com.cliffc.aa.HM.HM6.hm().
|
packageinherited |
Definition at line 214 of file HM6.java.
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().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 404 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._def, com.cliffc.aa.HM.HM6.Syntax.find(), com.cliffc.aa.HM.HM6.Let.targ(), and com.cliffc.aa.HM.HM6.T2.unify().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 407 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._arg0, com.cliffc.aa.HM.HM6.Syntax._par, com.cliffc.aa.util.Util.eq(), com.cliffc.aa.HM.HM6.Syntax.lookup(), and com.cliffc.aa.HM.HM6.Let.targ().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 425 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._body, com.cliffc.aa.HM.HM6.Let._def, com.cliffc.aa.HM.HM6.Syntax.more_work(), and com.cliffc.aa.HM.HM6.Syntax.more_work_impl().
|
packageinherited |
Definition at line 238 of file HM6.java.
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().
|
inherited |
Definition at line 245 of file HM6.java.
References com.cliffc.aa.HM.HM6.Syntax.p0(), and com.cliffc.aa.util.SB.toString().
Definition at line 246 of file HM6.java.
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().
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 401 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._arg0, and com.cliffc.aa.util.SB.p().
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 402 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._body, com.cliffc.aa.HM.HM6.Let._def, and com.cliffc.aa.HM.HM6.Syntax.p0().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 422 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._arg0, com.cliffc.aa.HM.HM6.Let._targ, com.cliffc.aa.util.Util.eq(), and com.cliffc.aa.HM.HM6.T2.push_update().
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 415 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._body, com.cliffc.aa.HM.HM6.Let._def, com.cliffc.aa.HM.HM6.Syntax._t, com.cliffc.aa.HM.HM6.Let._targ, com.cliffc.aa.HM.HM6.Syntax.prep_tree(), and com.cliffc.aa.HM.HM6.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 228 of file HM6.java.
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().
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 400 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._arg0, com.cliffc.aa.HM.HM6.Let._body, com.cliffc.aa.HM.HM6.Let._def, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.HM.HM6.Syntax.str().
|
package |
Definition at line 403 of file HM6.java.
References com.cliffc.aa.HM.HM6.Let._targ, com.cliffc.aa.HM.HM6.T2.find(), and com.cliffc.aa.HM.HM6.Let.targ().
Referenced by com.cliffc.aa.HM.HM6.Let.add_occurs(), com.cliffc.aa.HM.HM6.Let.hm(), com.cliffc.aa.HM.HM6.Let.lookup(), and com.cliffc.aa.HM.HM6.Let.targ().
|
inherited |
Definition at line 242 of file HM6.java.
References com.cliffc.aa.HM.HM6.Syntax.str(), and com.cliffc.aa.util.SB.toString().
|
package |
Definition at line 396 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Let.Let(), com.cliffc.aa.HM.HM6.Let.lookup(), com.cliffc.aa.HM.HM6.Let.p1(), com.cliffc.aa.HM.HM6.Let.prep_lookup_deps(), and com.cliffc.aa.HM.HM6.Let.str().
|
package |
Definition at line 397 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Let.add_kids(), com.cliffc.aa.HM.HM6.Let.Let(), com.cliffc.aa.HM.HM6.Let.more_work(), com.cliffc.aa.HM.HM6.Let.p2(), com.cliffc.aa.HM.HM6.Let.prep_tree(), and com.cliffc.aa.HM.HM6.Let.str().
|
package |
Definition at line 397 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Let.add_kids(), com.cliffc.aa.HM.HM6.Let.hm(), com.cliffc.aa.HM.HM6.Let.Let(), com.cliffc.aa.HM.HM6.Let.more_work(), com.cliffc.aa.HM.HM6.Let.p2(), com.cliffc.aa.HM.HM6.Let.prep_tree(), and com.cliffc.aa.HM.HM6.Let.str().
|
packageinherited |
Definition at line 212 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Ident.hm(), and com.cliffc.aa.HM.HM6.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 211 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.T2._occurs_in(), com.cliffc.aa.HM.HM6.Ident.add_occurs(), com.cliffc.aa.HM.HM6.hm(), com.cliffc.aa.HM.HM6.Ident.hm(), com.cliffc.aa.HM.HM6.Lambda.lookup(), com.cliffc.aa.HM.HM6.Lambda2.lookup(), com.cliffc.aa.HM.HM6.Let.lookup(), com.cliffc.aa.HM.HM6.Apply.lookup(), com.cliffc.aa.HM.HM6.Ident.prep_tree(), and com.cliffc.aa.HM.HM6.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 213 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Syntax.debug_find(), com.cliffc.aa.HM.HM6.Syntax.find(), com.cliffc.aa.HM.HM6.hm(), com.cliffc.aa.HM.HM6.Syntax.p0(), com.cliffc.aa.HM.HM6.Let.prep_tree(), and com.cliffc.aa.HM.HM6.Syntax.prep_tree_impl().
|
package |
Definition at line 398 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Let.add_occurs(), com.cliffc.aa.HM.HM6.Let.Let(), com.cliffc.aa.HM.HM6.Let.prep_lookup_deps(), com.cliffc.aa.HM.HM6.Let.prep_tree(), and com.cliffc.aa.HM.HM6.Let.targ().