39 class CellTypeState;
90 class CellTypeState {  class
141   static CellTypeState make_any(int state) {  in make_any()
142     CellTypeState s;  in make_any()
149   static CellTypeState make_bottom() {  in make_bottom()
153   static CellTypeState make_top() {  in make_top()
157   static CellTypeState make_addr(int bci) {  in make_addr()
162   static CellTypeState make_slot_ref(int slot_num) {  in make_slot_ref()
168   static CellTypeState make_line_ref(int bci) {  in make_line_ref()
174   static CellTypeState make_lock_ref(int bci) {  in make_lock_ref()
224   bool equal(CellTypeState a) const     { return _state == a._state; }  in equal()
225   bool equal_kind(CellTypeState a) const {  in equal_kind()
232   CellTypeState merge (CellTypeState cts, int slot) const;
238   static CellTypeState bottom;
239   static CellTypeState uninit;
240   static CellTypeState ref;
241   static CellTypeState value;
242   static CellTypeState refUninit;
243   static CellTypeState varUninit;
244   static CellTypeState top;
245   static CellTypeState addr;
266   CellTypeState*  _state;                   // State (vars, stack) at entry.
270   CellTypeState* vars()                     { return _state; }  in vars()
271   CellTypeState* stack()                    { return _state + _max_locals; }  in stack()
314   CellTypeState *_state;                    // list of states
326 …int             methodsig_to_effect        (Symbol* signature, bool isStatic, CellTypeState* effec…
327   bool            merge_local_state_vectors  (CellTypeState* cts, CellTypeState* bbts);
328   bool            merge_monitor_state_vectors(CellTypeState* cts, CellTypeState* bbts);
329   void            copy_state                 (CellTypeState *dst, CellTypeState *src);
332   void            set_var                    (int localNo, CellTypeState cts);
333   CellTypeState   get_var                    (int localNo);
334   CellTypeState   pop                        ();
335   void            push                       (CellTypeState cts);
336   CellTypeState   monitor_pop                ();
337   void            monitor_push               (CellTypeState cts);
338 …CellTypeState * vars                       ()                                             { return…  in vars()
339 …CellTypeState * stack                      ()                                             { return…  in stack()
340 …CellTypeState * monitors                   ()                                             { return…  in monitors()
342   void            replace_all_CTS_matches    (CellTypeState match,
343                                               CellTypeState replace);
344   void            print_states               (outputStream *os, CellTypeState *vector, int num);
386   void  check_type                          (CellTypeState expected, CellTypeState actual);
387   void  ppstore                             (CellTypeState *in,  int loc_no);
388   void  ppload                              (CellTypeState *out, int loc_no);
389   void  ppush1                              (CellTypeState in);
390   void  ppush                               (CellTypeState *in);
391   void  ppop1                               (CellTypeState out);
392   void  ppop                                (CellTypeState *out);
394   void  pp                                  (CellTypeState *in, CellTypeState *out);
395   void  pp_new_ref                          (CellTypeState *in, int bci);
407   CellTypeState *sigchar_to_effect          (char sigch, int bci, CellTypeState *out);
408   int copy_cts                              (CellTypeState *dst, CellTypeState *src);
452   char *state_vec_to_string                 (CellTypeState* vec, int len);
501                                            CellTypeState* vars,  in fill_stackmap_for_opcodes()
502                                            CellTypeState* stack,  in fill_stackmap_for_opcodes()
523                                            CellTypeState* vars,  in fill_stackmap_for_opcodes()
524                                            CellTypeState* stack,  in fill_stackmap_for_opcodes()
556                                            CellTypeState* vars,  in fill_stackmap_for_opcodes()
557                                            CellTypeState* stack,  in fill_stackmap_for_opcodes()