38 class CellTypeState;
89 class CellTypeState VALUE_OBJ_CLASS_SPEC {
140   static CellTypeState make_any(int state) {  in make_any()
141     CellTypeState s;  in make_any()
148   static CellTypeState make_bottom() {  in make_bottom()
152   static CellTypeState make_top() {  in make_top()
156   static CellTypeState make_addr(int bci) {  in make_addr()
161   static CellTypeState make_slot_ref(int slot_num) {  in make_slot_ref()
167   static CellTypeState make_line_ref(int bci) {  in make_line_ref()
173   static CellTypeState make_lock_ref(int bci) {  in make_lock_ref()
223   bool equal(CellTypeState a) const     { return _state == a._state; }  in equal()
224   bool equal_kind(CellTypeState a) const {  in equal_kind()
231   CellTypeState merge (CellTypeState cts, int slot) const;
237   static CellTypeState bottom;
238   static CellTypeState uninit;
239   static CellTypeState ref;
240   static CellTypeState value;
241   static CellTypeState refUninit;
242   static CellTypeState varUninit;
243   static CellTypeState top;
244   static CellTypeState addr;
265   CellTypeState*  _state;                   // State (vars, stack) at entry.
269   CellTypeState* vars()                     { return _state; }  in vars()
270   CellTypeState* stack()                    { return _state + _max_locals; }  in stack()
313   CellTypeState *_state;                    // list of states
325 …int             methodsig_to_effect        (Symbol* signature, bool isStatic, CellTypeState* effec…
326   bool            merge_local_state_vectors  (CellTypeState* cts, CellTypeState* bbts);
327   bool            merge_monitor_state_vectors(CellTypeState* cts, CellTypeState* bbts);
328   void            copy_state                 (CellTypeState *dst, CellTypeState *src);
331   void            set_var                    (int localNo, CellTypeState cts);
332   CellTypeState   get_var                    (int localNo);
333   CellTypeState   pop                        ();
334   void            push                       (CellTypeState cts);
335   CellTypeState   monitor_pop                ();
336   void            monitor_push               (CellTypeState cts);
337 …CellTypeState * vars                       ()                                             { return…  in vars()
338 …CellTypeState * stack                      ()                                             { return…  in stack()
339 …CellTypeState * monitors                   ()                                             { return…  in monitors()
341   void            replace_all_CTS_matches    (CellTypeState match,
342                                               CellTypeState replace);
343   void            print_states               (outputStream *os, CellTypeState *vector, int num);
390   void  check_type                          (CellTypeState expected, CellTypeState actual);
391   void  ppstore                             (CellTypeState *in,  int loc_no);
392   void  ppload                              (CellTypeState *out, int loc_no);
393   void  ppush1                              (CellTypeState in);
394   void  ppush                               (CellTypeState *in);
395   void  ppop1                               (CellTypeState out);
396   void  ppop                                (CellTypeState *out);
398   void  pp                                  (CellTypeState *in, CellTypeState *out);
399   void  pp_new_ref                          (CellTypeState *in, int bci);
411   CellTypeState *sigchar_to_effect          (char sigch, int bci, CellTypeState *out);
412   int copy_cts                              (CellTypeState *dst, CellTypeState *src);
456   char *state_vec_to_string                 (CellTypeState* vec, int len);
505                                            CellTypeState* vars,  in fill_stackmap_for_opcodes()
506                                            CellTypeState* stack,  in fill_stackmap_for_opcodes()
527                                            CellTypeState* vars,  in fill_stackmap_for_opcodes()
528                                            CellTypeState* stack,  in fill_stackmap_for_opcodes()
560                                            CellTypeState* vars,  in fill_stackmap_for_opcodes()
561                                            CellTypeState* stack,  in fill_stackmap_for_opcodes()