aa
|
Public Member Functions | |
boolean | above_center () |
TypeObj | crush () |
boolean | cycle_equals (Type o) |
boolean | equals (Object o) |
boolean | is_con () |
boolean | is_escape () |
boolean | is_ret () |
TypeLive | lmeet (TypeLive lv) |
boolean | may_be_con () |
boolean | may_nil () |
Type | meet_nil (Type t) |
boolean | must_nil () |
SB | str (SB sb, VBitSet dups, TypeMem mem, boolean debug) |
TypeObj | update (Access fin, String fld, Type val) |
TypeObj | update (TypeInt idx, Type val) |
void | walk (Predicate< Type > p) |
TypeObj | widen () |
Static Public Attributes | |
static final TypeLive | DEAD = LIVE_BOT.dual() |
static final TypeObj | ISUSED |
static final TypeLive | LIVE_BOT =make(false,FLAG_ESCAPE+FLAG_WITH_DISP) |
static final TypeObj | OBJ |
static final TypeObj | UNUSED |
static final TypeObj | XOBJ |
Protected Member Functions | |
O | init (byte type, String name, boolean any, boolean use) |
TypeLive | xdual () |
Type | xmeet (Type t) |
Package Functions | |
int | compute_hash () |
TypeObj | flatten_fields () |
boolean | is_display () |
TypeObj | remove_other_flds (String fld, Type live) |
Static Package Functions | |
[static initializer] | |
Package Attributes | |
boolean | _any |
int | _flags |
boolean | _use |
Static Package Attributes | |
static final TypeLive | ESC_DISP =make(false,FLAG_ESCAPE) |
static final TypeLive | ESCAPE = make(false,FLAG_ESCAPE+FLAG_WITH_DISP) |
static final TypeLive | LIVE = make(false,FLAG_WITH_DISP) |
static final TypeLive | NO_DISP = make(false,0 ) |
static final TypeObj[] | TYPES |
Private Member Functions | |
TypeLive | init (boolean any, int flags) |
Static Private Member Functions | |
static TypeLive | make (boolean any, int flags) |
Static Private Attributes | |
static final int | FLAG_ESCAPE =1 |
static final int | FLAG_WITH_DISP =2 |
static final TypeLive[] | LIVES = new TypeLive[]{NO_DISP,ESC_DISP,LIVE,ESCAPE} |
static final String[] | STRS = new String[]{"!dsp","esc!dsp","live","escp"} |
Definition at line 19 of file TypeLive.java.
|
staticpackage |
|
inherited |
Definition at line 77 of file TypeObj.java.
|
package |
TypeObj com.cliffc.aa.type.TypeLive.crush | ( | ) |
Definition at line 94 of file TypeLive.java.
boolean com.cliffc.aa.type.TypeLive.cycle_equals | ( | Type | o | ) |
Definition at line 32 of file TypeLive.java.
References com.cliffc.aa.type.TypeLive.equals().
boolean com.cliffc.aa.type.TypeLive.equals | ( | Object | o | ) |
Definition at line 27 of file TypeLive.java.
References com.cliffc.aa.type.TypeLive._flags.
Referenced by com.cliffc.aa.type.TypeLive.cycle_equals().
|
packageinherited |
Definition at line 74 of file TypeObj.java.
|
private |
Definition at line 21 of file TypeLive.java.
References com.cliffc.aa.type.TypeLive._flags, and com.cliffc.aa.type.TypeLive.init().
Referenced by com.cliffc.aa.type.TypeLive.init(), com.cliffc.aa.type.TypeLive.make(), and com.cliffc.aa.type.TypeLive.xdual().
|
protectedinherited |
Definition at line 19 of file TypeObj.java.
boolean com.cliffc.aa.type.TypeLive.is_con | ( | ) |
Definition at line 97 of file TypeLive.java.
|
packageinherited |
Definition at line 50 of file TypeObj.java.
boolean com.cliffc.aa.type.TypeLive.is_escape | ( | ) |
Definition at line 48 of file TypeLive.java.
References com.cliffc.aa.type.TypeLive._flags, and com.cliffc.aa.type.TypeLive.FLAG_ESCAPE.
Referenced by com.cliffc.aa.node.CallNode.ideal_reduce().
boolean com.cliffc.aa.type.TypeLive.is_ret | ( | ) |
Definition at line 51 of file TypeLive.java.
References com.cliffc.aa.type.TypeLive._flags, and com.cliffc.aa.type.TypeLive.FLAG_WITH_DISP.
Definition at line 88 of file TypeLive.java.
References com.cliffc.aa.type.TypeLive._flags, com.cliffc.aa.type.TypeObj< O extends TypeObj< O >.above_center(), com.cliffc.aa.type.TypeObj< TypeLive >.above_center(), com.cliffc.aa.type.TypeLive.LIVES, and com.cliffc.aa.type.TypeLive.xmeet().
|
staticprivate |
Definition at line 40 of file TypeLive.java.
References com.cliffc.aa.type.TypeLive.init().
Referenced by com.cliffc.aa.type.TypeLive.xmeet().
boolean com.cliffc.aa.type.TypeLive.may_be_con | ( | ) |
Definition at line 96 of file TypeLive.java.
|
inherited |
Definition at line 81 of file TypeObj.java.
Definition at line 98 of file TypeLive.java.
|
inherited |
Definition at line 80 of file TypeObj.java.
|
packageinherited |
Definition at line 75 of file TypeObj.java.
Definition at line 33 of file TypeLive.java.
References com.cliffc.aa.type.TypeObj< TypeLive >._any, com.cliffc.aa.type.TypeLive._flags, com.cliffc.aa.type.TypeLive.DEAD, com.cliffc.aa.util.SB.p(), and com.cliffc.aa.type.TypeLive.STRS.
|
inherited |
Definition at line 67 of file TypeObj.java.
|
inherited |
Definition at line 69 of file TypeObj.java.
void com.cliffc.aa.type.TypeLive.walk | ( | Predicate< Type > | p | ) |
Definition at line 99 of file TypeLive.java.
|
inherited |
Definition at line 76 of file TypeObj.java.
|
protected |
Definition at line 61 of file TypeLive.java.
References com.cliffc.aa.type.TypeObj< TypeLive >._any, com.cliffc.aa.type.TypeLive._flags, and com.cliffc.aa.type.TypeLive.init().
Definition at line 62 of file TypeLive.java.
References com.cliffc.aa.type.TypeObj< TypeLive >._any, com.cliffc.aa.type.TypeObj< O extends TypeObj< O >._any, com.cliffc.aa.type.TypeLive._flags, com.cliffc.aa.type.Type< T extends Type< T >._type, com.cliffc.aa.type.TypeLive.make(), com.cliffc.aa.type.TypeObj< TypeLive >.OBJ, and com.cliffc.aa.type.Type< T extends Type< T >.xmeet().
Referenced by com.cliffc.aa.type.TypeLive.lmeet().
|
packageinherited |
Definition at line 16 of file TypeObj.java.
|
package |
Definition at line 20 of file TypeLive.java.
Referenced by com.cliffc.aa.type.TypeLive.compute_hash(), com.cliffc.aa.type.TypeLive.equals(), com.cliffc.aa.type.TypeLive.init(), com.cliffc.aa.type.TypeLive.is_escape(), com.cliffc.aa.type.TypeLive.is_ret(), com.cliffc.aa.type.TypeLive.lmeet(), com.cliffc.aa.type.TypeLive.str(), com.cliffc.aa.type.TypeLive.xdual(), and com.cliffc.aa.type.TypeLive.xmeet().
|
packageinherited |
Definition at line 17 of file TypeObj.java.
|
static |
Definition at line 59 of file TypeLive.java.
Referenced by com.cliffc.aa.type.TypeMem.is_live(), com.cliffc.aa.node.ConNode< T extends Type >.live(), com.cliffc.aa.type.TypeLive.str(), and com.cliffc.aa.type.TypeMem.str().
|
staticpackage |
Definition at line 54 of file TypeLive.java.
|
staticpackage |
Definition at line 56 of file TypeLive.java.
|
staticprivate |
Definition at line 47 of file TypeLive.java.
Referenced by com.cliffc.aa.type.TypeLive.is_escape().
|
staticprivate |
Definition at line 50 of file TypeLive.java.
Referenced by com.cliffc.aa.type.TypeLive.is_ret().
|
staticinherited |
Definition at line 45 of file TypeObj.java.
|
staticpackage |
Definition at line 55 of file TypeLive.java.
Referenced by com.cliffc.aa.type.TypeMem.is_live(), and com.cliffc.aa.type.TypeMem.make0().
|
static |
Definition at line 58 of file TypeLive.java.
|
staticprivate |
Definition at line 86 of file TypeLive.java.
Referenced by com.cliffc.aa.type.TypeLive.lmeet().
Definition at line 53 of file TypeLive.java.
|
staticinherited |
Definition at line 44 of file TypeObj.java.
|
staticprivate |
Definition at line 87 of file TypeLive.java.
Referenced by com.cliffc.aa.type.TypeLive.str().
|
staticpackageinherited |
Definition at line 48 of file TypeObj.java.
|
staticinherited |
Definition at line 46 of file TypeObj.java.
|
staticinherited |
Definition at line 47 of file TypeObj.java.