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 434 of file HM6.java.
References com.cliffc.aa.HM.HM6.Apply._args, and com.cliffc.aa.HM.HM6.Apply._fun.
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 481 of file HM6.java.
References com.cliffc.aa.HM.HM6.Apply._args, and com.cliffc.aa.HM.HM6.Worklist.push().
|
packageinherited |
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.
Referenced by com.cliffc.aa.HM.HM6.hm().
|
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 448 of file HM6.java.
References com.cliffc.aa.HM.HM6.Apply._args, com.cliffc.aa.HM.HM6.T2._args, com.cliffc.aa.HM.HM6.Apply._fun, com.cliffc.aa.HM.HM6.T2.args(), com.cliffc.aa.HM.HM6.Syntax.find(), com.cliffc.aa.HM.HM6.T2.is_fun(), com.cliffc.aa.HM.HM6.T2.make_fun(), and com.cliffc.aa.HM.HM6.T2.unify().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 480 of file HM6.java.
References com.cliffc.aa.HM.HM6.Syntax._par, and com.cliffc.aa.HM.HM6.Syntax.lookup().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 489 of file HM6.java.
References com.cliffc.aa.HM.HM6.Apply._args, com.cliffc.aa.HM.HM6.Apply._fun, 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 441 of file HM6.java.
References com.cliffc.aa.util.SB.p().
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 442 of file HM6.java.
References com.cliffc.aa.HM.HM6.Apply._args, com.cliffc.aa.HM.HM6.Apply._fun, and com.cliffc.aa.HM.HM6.Syntax.p0().
|
package |
Reimplemented from com.cliffc.aa.HM.HM6.Syntax.
Definition at line 482 of file HM6.java.
References com.cliffc.aa.HM.HM6.Apply._args, com.cliffc.aa.HM.HM6.Apply._fun, com.cliffc.aa.HM.HM6.T2.make_leaf(), 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 435 of file HM6.java.
References com.cliffc.aa.HM.HM6.Apply._args, com.cliffc.aa.HM.HM6.Apply._fun, com.cliffc.aa.util.SB.p(), com.cliffc.aa.HM.HM6.Syntax.str(), and com.cliffc.aa.util.SB.unchar().
|
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 433 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Apply.add_kids(), com.cliffc.aa.HM.HM6.Apply.Apply(), com.cliffc.aa.HM.HM6.Apply.hm(), com.cliffc.aa.HM.HM6.Apply.more_work(), com.cliffc.aa.HM.HM6.Apply.p2(), com.cliffc.aa.HM.HM6.Apply.prep_tree(), and com.cliffc.aa.HM.HM6.Apply.str().
|
package |
Definition at line 432 of file HM6.java.
Referenced by com.cliffc.aa.HM.HM6.Apply.Apply(), com.cliffc.aa.HM.HM6.Apply.hm(), com.cliffc.aa.HM.HM6.Apply.more_work(), com.cliffc.aa.HM.HM6.Apply.p2(), com.cliffc.aa.HM.HM6.Apply.prep_tree(), and com.cliffc.aa.HM.HM6.Apply.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().