aa
|
Public Member Functions | |
String | p () |
final String | toString () |
Package Functions | |
Struct (String[] ids, Syntax[] flds) | |
void | add_work (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) |
T2 | post () |
T2 | pre () |
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 BitsAlias | _alias |
final Syntax[] | _flds |
final String[] | _ids |
VStack | _nongen |
Syntax | _par |
T2 | _post |
T2 | _pre |
T2 | _t |
|
package |
Definition at line 580 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._alias, com.cliffc.aa.HM.HM8.Struct._flds, com.cliffc.aa.HM.HM8.Struct._ids, com.cliffc.aa.type.BitsAlias.make0(), com.cliffc.aa.type.BitsAlias.new_alias(), and com.cliffc.aa.type.BitsAlias.REC.
|
package |
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 644 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._flds, com.cliffc.aa.HM.HM8.Syntax._par, and com.cliffc.aa.HM.HM8.Worklist.push().
|
packageinherited |
Definition at line 249 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax._t, and com.cliffc.aa.HM.HM8.T2.debug_find().
Referenced by com.cliffc.aa.HM.HM8.hm().
|
packageinherited |
Definition at line 245 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax._t, and com.cliffc.aa.HM.HM8.T2.find().
Referenced by com.cliffc.aa.HM.HM8.T2._occurs_in(), com.cliffc.aa.HM.HM8.Lambda.add_work(), com.cliffc.aa.HM.HM8.Let.add_work(), com.cliffc.aa.HM.HM8.Ident.hm(), com.cliffc.aa.HM.HM8.Lambda.hm(), com.cliffc.aa.HM.HM8.Let.hm(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Struct.hm(), com.cliffc.aa.HM.HM8.Field.hm(), com.cliffc.aa.HM.HM8.Apply.is_if_nil(), and com.cliffc.aa.HM.HM8.Struct.prep_tree().
|
package |
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 596 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._alias, com.cliffc.aa.HM.HM8.T2._con, com.cliffc.aa.HM.HM8.Struct._flds, com.cliffc.aa.HM.HM8.Struct._ids, com.cliffc.aa.HM.HM8.T2._ids, com.cliffc.aa.HM.HM8.Syntax._post, com.cliffc.aa.type.Type< T extends Type< T >.ALL, com.cliffc.aa.HM.HM8.T2.args(), com.cliffc.aa.util.Util.find(), com.cliffc.aa.HM.HM8.Syntax.find(), com.cliffc.aa.type.Bits< B extends Bits< B >.getbit(), com.cliffc.aa.HM.HM8.T2.is_err(), com.cliffc.aa.HM.HM8.T2.make_base(), com.cliffc.aa.HM.HM8.T2.make_struct(), com.cliffc.aa.HM.HM8.Syntax.post(), com.cliffc.aa.HM.HM8.Syntax.pre(), com.cliffc.aa.HM.HM8.T2.unify(), and com.cliffc.aa.HM.HM8.T2.unify_rec().
|
package |
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 643 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax._par, and com.cliffc.aa.HM.HM8.Syntax.lookup().
|
package |
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 660 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._flds, and com.cliffc.aa.HM.HM8.Syntax.more_work_impl().
|
packageinherited |
Definition at line 283 of file HM8.java.
References com.cliffc.aa.HM.HM8.Worklist.has(), and com.cliffc.aa.HM.HM8.Syntax.hm().
Referenced by com.cliffc.aa.HM.HM8.Con.more_work(), com.cliffc.aa.HM.HM8.Ident.more_work(), com.cliffc.aa.HM.HM8.Lambda.more_work(), com.cliffc.aa.HM.HM8.Let.more_work(), com.cliffc.aa.HM.HM8.Apply.more_work(), com.cliffc.aa.HM.HM8.Struct.more_work(), and com.cliffc.aa.HM.HM8.Field.more_work().
|
inherited |
Definition at line 291 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax.p0(), and com.cliffc.aa.util.SB.toString().
Definition at line 292 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax._t, com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM8.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.HM8.Syntax.p1(), com.cliffc.aa.HM.HM8.Syntax.p2(), and com.cliffc.aa.HM.HM8.T2.str().
Referenced by com.cliffc.aa.HM.HM8.Syntax.p(), com.cliffc.aa.HM.HM8.Lambda.p2(), com.cliffc.aa.HM.HM8.Let.p2(), com.cliffc.aa.HM.HM8.Apply.p2(), com.cliffc.aa.HM.HM8.Struct.p2(), and com.cliffc.aa.HM.HM8.Field.p2().
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 590 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._alias, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.type.Bits< B extends Bits< B >.str().
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 591 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._flds, com.cliffc.aa.HM.HM8.Struct._ids, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.HM.HM8.Syntax.p0().
|
packageinherited |
Definition at line 254 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax._post, and com.cliffc.aa.HM.HM8.T2.find().
Referenced by com.cliffc.aa.HM.HM8.Lambda.hm(), com.cliffc.aa.HM.HM8.Let.hm(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Struct.hm(), and com.cliffc.aa.HM.HM8.Field.hm().
|
packageinherited |
Definition at line 250 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax._pre, and com.cliffc.aa.HM.HM8.T2.find().
Referenced by com.cliffc.aa.HM.HM8.Lambda.hm(), com.cliffc.aa.HM.HM8.Let.hm(), com.cliffc.aa.HM.HM8.Apply.hm(), com.cliffc.aa.HM.HM8.Struct.hm(), and com.cliffc.aa.HM.HM8.Field.hm().
|
package |
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 648 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._alias, com.cliffc.aa.HM.HM8.Struct._flds, com.cliffc.aa.HM.HM8.Struct._ids, com.cliffc.aa.HM.HM8.Syntax.find(), com.cliffc.aa.HM.HM8.T2.make_struct(), com.cliffc.aa.HM.HM8.Syntax.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 267 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax._nongen, com.cliffc.aa.HM.HM8.Syntax._par, com.cliffc.aa.HM.HM8.Syntax._post, com.cliffc.aa.HM.HM8.Syntax._pre, com.cliffc.aa.HM.HM8.Syntax._t, com.cliffc.aa.HM.HM8.T2.make_mem(), and com.cliffc.aa.HM.HM8.Worklist.push().
Referenced by com.cliffc.aa.HM.HM8.Con.prep_tree(), com.cliffc.aa.HM.HM8.Ident.prep_tree(), com.cliffc.aa.HM.HM8.Lambda.prep_tree(), com.cliffc.aa.HM.HM8.Let.prep_tree(), com.cliffc.aa.HM.HM8.Apply.prep_tree(), com.cliffc.aa.HM.HM8.Struct.prep_tree(), and com.cliffc.aa.HM.HM8.Field.prep_tree().
Reimplemented from com.cliffc.aa.HM.HM8.Syntax.
Definition at line 581 of file HM8.java.
References com.cliffc.aa.HM.HM8.Struct._alias, com.cliffc.aa.HM.HM8.Struct._flds, com.cliffc.aa.HM.HM8.Struct._ids, com.cliffc.aa.util.SB.p(), com.cliffc.aa.type.Bits< B extends Bits< B >.str(), and com.cliffc.aa.HM.HM8.Syntax.str().
|
inherited |
Definition at line 288 of file HM8.java.
References com.cliffc.aa.HM.HM8.Syntax.str(), and com.cliffc.aa.util.SB.toString().
|
package |
Definition at line 577 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.Struct.hm(), com.cliffc.aa.HM.HM8.Struct.p1(), com.cliffc.aa.HM.HM8.Struct.prep_tree(), com.cliffc.aa.HM.HM8.Struct.str(), and com.cliffc.aa.HM.HM8.Struct.Struct().
|
package |
Definition at line 579 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.Struct.add_work(), com.cliffc.aa.HM.HM8.Struct.hm(), com.cliffc.aa.HM.HM8.Struct.more_work(), com.cliffc.aa.HM.HM8.Struct.p2(), com.cliffc.aa.HM.HM8.Struct.prep_tree(), com.cliffc.aa.HM.HM8.Struct.str(), and com.cliffc.aa.HM.HM8.Struct.Struct().
|
package |
Definition at line 578 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.Struct.hm(), com.cliffc.aa.HM.HM8.Struct.p2(), com.cliffc.aa.HM.HM8.Struct.prep_tree(), com.cliffc.aa.HM.HM8.Struct.str(), and com.cliffc.aa.HM.HM8.Struct.Struct().
|
packageinherited |
Definition at line 241 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.Ident.hm(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 240 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.T2._occurs_in(), com.cliffc.aa.HM.HM8.Con.add_work(), com.cliffc.aa.HM.HM8.Ident.add_work(), com.cliffc.aa.HM.HM8.Lambda.add_work(), com.cliffc.aa.HM.HM8.Let.add_work(), com.cliffc.aa.HM.HM8.Apply.add_work(), com.cliffc.aa.HM.HM8.Struct.add_work(), com.cliffc.aa.HM.HM8.Field.add_work(), com.cliffc.aa.HM.HM8.Ident.hm(), com.cliffc.aa.HM.HM8.Lambda.lookup(), com.cliffc.aa.HM.HM8.Let.lookup(), com.cliffc.aa.HM.HM8.Apply.lookup(), com.cliffc.aa.HM.HM8.Struct.lookup(), com.cliffc.aa.HM.HM8.Field.lookup(), com.cliffc.aa.HM.HM8.Ident.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 244 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.Struct.hm(), com.cliffc.aa.HM.HM8.Syntax.post(), com.cliffc.aa.HM.HM8.Con.prep_tree(), com.cliffc.aa.HM.HM8.Ident.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 242 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.Syntax.pre(), com.cliffc.aa.HM.HM8.Con.prep_tree(), com.cliffc.aa.HM.HM8.Ident.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().
|
packageinherited |
Definition at line 243 of file HM8.java.
Referenced by com.cliffc.aa.HM.HM8.Syntax.debug_find(), com.cliffc.aa.HM.HM8.Syntax.find(), com.cliffc.aa.HM.HM8.hm(), com.cliffc.aa.HM.HM8.Syntax.p0(), com.cliffc.aa.HM.HM8.Let.prep_tree(), and com.cliffc.aa.HM.HM8.Syntax.prep_tree_impl().