aa
|
Public Member Functions | |
String | p () |
final String | toString () |
Package Functions | |
Apply (Syntax fun, Syntax... args) | |
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) |
Package Attributes | |
final Syntax[] | _args |
final Syntax | _fun |
VStack | _nongen |
Syntax | _par |
T2 | _t |
|
package |
Definition at line 343 of file HM5.java.
References com.cliffc.aa.HM.HM5.Apply._args, and com.cliffc.aa.HM.HM5.Apply._fun.
|
package |
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 390 of file HM5.java.
References com.cliffc.aa.HM.HM5.Apply._args, and com.cliffc.aa.HM.HM5.Worklist.push().
|
packageinherited |
Reimplemented in com.cliffc.aa.HM.HM5.Let, com.cliffc.aa.HM.HM5.Lambda2, com.cliffc.aa.HM.HM5.Lambda, and com.cliffc.aa.HM.HM5.Ident.
Definition at line 143 of file HM5.java.
Referenced by com.cliffc.aa.HM.HM5.hm().
|
packageinherited |
Definition at line 127 of file HM5.java.
References com.cliffc.aa.HM.HM5.Syntax._t, and com.cliffc.aa.HM.HM5.T2.find().
Referenced by com.cliffc.aa.HM.HM5.hm().
|
packageinherited |
Definition at line 123 of file HM5.java.
References com.cliffc.aa.HM.HM5.Syntax._t, and com.cliffc.aa.HM.HM5.T2.find().
Referenced by com.cliffc.aa.HM.HM5.T2._occurs_in(), com.cliffc.aa.HM.HM5.Lambda.add_occurs(), com.cliffc.aa.HM.HM5.Lambda2.add_occurs(), com.cliffc.aa.HM.HM5.Let.add_occurs(), com.cliffc.aa.HM.HM5.Con.hm(), com.cliffc.aa.HM.HM5.Ident.hm(), com.cliffc.aa.HM.HM5.Lambda.hm(), com.cliffc.aa.HM.HM5.Lambda2.hm(), com.cliffc.aa.HM.HM5.Let.hm(), and com.cliffc.aa.HM.HM5.Apply.hm().
|
package |
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 357 of file HM5.java.
References com.cliffc.aa.HM.HM5.Apply._args, com.cliffc.aa.HM.HM5.T2._args, com.cliffc.aa.HM.HM5.Apply._fun, com.cliffc.aa.HM.HM5.T2.args(), com.cliffc.aa.HM.HM5.Syntax.find(), com.cliffc.aa.HM.HM5.T2.is_fun(), com.cliffc.aa.HM.HM5.T2.make_fun(), and com.cliffc.aa.HM.HM5.T2.unify().
|
package |
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 389 of file HM5.java.
References com.cliffc.aa.HM.HM5.Syntax._par, and com.cliffc.aa.HM.HM5.Syntax.lookup().
|
package |
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 398 of file HM5.java.
References com.cliffc.aa.HM.HM5.Apply._args, com.cliffc.aa.HM.HM5.Apply._fun, com.cliffc.aa.HM.HM5.Syntax.more_work(), and com.cliffc.aa.HM.HM5.Syntax.more_work_impl().
|
packageinherited |
Definition at line 147 of file HM5.java.
References com.cliffc.aa.HM.HM5.Worklist.has(), and com.cliffc.aa.HM.HM5.Syntax.hm().
Referenced by com.cliffc.aa.HM.HM5.Con.more_work(), com.cliffc.aa.HM.HM5.Ident.more_work(), com.cliffc.aa.HM.HM5.Lambda.more_work(), com.cliffc.aa.HM.HM5.Lambda2.more_work(), com.cliffc.aa.HM.HM5.Let.more_work(), and com.cliffc.aa.HM.HM5.Apply.more_work().
|
inherited |
Definition at line 154 of file HM5.java.
References com.cliffc.aa.HM.HM5.Syntax.p0(), and com.cliffc.aa.util.SB.toString().
Definition at line 155 of file HM5.java.
References com.cliffc.aa.HM.HM5.Syntax._t, com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM5.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.HM5.Syntax.p1(), com.cliffc.aa.HM.HM5.Syntax.p2(), and com.cliffc.aa.HM.HM5.T2.str().
Referenced by com.cliffc.aa.HM.HM5.Syntax.p(), com.cliffc.aa.HM.HM5.Lambda.p2(), com.cliffc.aa.HM.HM5.Lambda2.p2(), com.cliffc.aa.HM.HM5.Let.p2(), and com.cliffc.aa.HM.HM5.Apply.p2().
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 350 of file HM5.java.
References com.cliffc.aa.util.SB.p().
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 351 of file HM5.java.
References com.cliffc.aa.HM.HM5.Apply._args, com.cliffc.aa.HM.HM5.Apply._fun, and com.cliffc.aa.HM.HM5.Syntax.p0().
|
package |
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 391 of file HM5.java.
References com.cliffc.aa.HM.HM5.Apply._args, com.cliffc.aa.HM.HM5.Apply._fun, com.cliffc.aa.HM.HM5.T2.make_leaf(), com.cliffc.aa.HM.HM5.Syntax.prep_tree(), and com.cliffc.aa.HM.HM5.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 137 of file HM5.java.
References com.cliffc.aa.HM.HM5.Syntax._nongen, com.cliffc.aa.HM.HM5.Syntax._par, com.cliffc.aa.HM.HM5.Syntax._t, and com.cliffc.aa.HM.HM5.Worklist.push().
Referenced by com.cliffc.aa.HM.HM5.Con.prep_tree(), com.cliffc.aa.HM.HM5.Ident.prep_tree(), com.cliffc.aa.HM.HM5.Lambda.prep_tree(), com.cliffc.aa.HM.HM5.Lambda2.prep_tree(), com.cliffc.aa.HM.HM5.Let.prep_tree(), and com.cliffc.aa.HM.HM5.Apply.prep_tree().
Reimplemented from com.cliffc.aa.HM.HM5.Syntax.
Definition at line 344 of file HM5.java.
References com.cliffc.aa.HM.HM5.Apply._args, com.cliffc.aa.HM.HM5.Apply._fun, com.cliffc.aa.util.SB.p(), com.cliffc.aa.HM.HM5.Syntax.str(), and com.cliffc.aa.util.SB.unchar().
|
inherited |
Definition at line 151 of file HM5.java.
References com.cliffc.aa.HM.HM5.Syntax.str(), and com.cliffc.aa.util.SB.toString().
|
package |
Definition at line 342 of file HM5.java.
Referenced by com.cliffc.aa.HM.HM5.Apply.add_kids(), com.cliffc.aa.HM.HM5.Apply.Apply(), com.cliffc.aa.HM.HM5.Apply.hm(), com.cliffc.aa.HM.HM5.Apply.more_work(), com.cliffc.aa.HM.HM5.Apply.p2(), com.cliffc.aa.HM.HM5.Apply.prep_tree(), and com.cliffc.aa.HM.HM5.Apply.str().
|
package |
Definition at line 341 of file HM5.java.
Referenced by com.cliffc.aa.HM.HM5.Apply.Apply(), com.cliffc.aa.HM.HM5.Apply.hm(), com.cliffc.aa.HM.HM5.Apply.more_work(), com.cliffc.aa.HM.HM5.Apply.p2(), com.cliffc.aa.HM.HM5.Apply.prep_tree(), and com.cliffc.aa.HM.HM5.Apply.str().
|
packageinherited |
Definition at line 121 of file HM5.java.
Referenced by com.cliffc.aa.HM.HM5.Ident.hm(), and com.cliffc.aa.HM.HM5.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 120 of file HM5.java.
Referenced by com.cliffc.aa.HM.HM5.T2._occurs_in(), com.cliffc.aa.HM.HM5.Ident.add_occurs(), com.cliffc.aa.HM.HM5.hm(), com.cliffc.aa.HM.HM5.Ident.hm(), com.cliffc.aa.HM.HM5.Lambda.lookup(), com.cliffc.aa.HM.HM5.Lambda2.lookup(), com.cliffc.aa.HM.HM5.Let.lookup(), com.cliffc.aa.HM.HM5.Apply.lookup(), com.cliffc.aa.HM.HM5.Ident.prep_tree(), and com.cliffc.aa.HM.HM5.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 122 of file HM5.java.
Referenced by com.cliffc.aa.HM.HM5.Syntax.debug_find(), com.cliffc.aa.HM.HM5.Syntax.find(), com.cliffc.aa.HM.HM5.hm(), com.cliffc.aa.HM.HM5.Syntax.p0(), com.cliffc.aa.HM.HM5.Let.prep_tree(), and com.cliffc.aa.HM.HM5.Syntax.prep_tree_impl().