Lines Matching refs:model

101   void validate (const region_model &model) const;
137   void validate (const region_model &model) const;
378   region_id_set (const region_model *model);
490   void print (const region_model &model,
494   virtual void dump_dot_to_pp (const region_model &model,
511 				   region_model &model,
522   virtual void print_details (const region_model &model,
547   void dump_dot_to_pp (const region_model &model,
573   void print_details (const region_model &model,
630 			   region_model &model,
634   void print_details (const region_model &model,
677   void print_details (const region_model &model,
719   void print_details (const region_model &model,
788   void print_details (const region_model &model,
870   region *get_parent_region (const region_model &model) const;
872   void set_value (region_model &model, region_id this_rid, svalue_id rhs_sid,
874   svalue_id get_value (region_model &model, bool non_null,
879 				     region_model &model,
886   void print (const region_model &model,
890   virtual void dump_dot_to_pp (const region_model &model,
894   void dump_to_pp (const region_model &model,
899   virtual void dump_child_label (const region_model &model,
909   void add_view (region_id view_rid, region_model *model);
910   region_id get_view (tree type, region_model *model) const;
914   virtual void validate (const region_model &model) const;
916   bool non_null_p (const region_model &model) const;
923   virtual void print_fields (const region_model &model,
928   void become_active_view (region_model &model, region_id this_rid);
929   void deactivate_any_active_view (region_model &model);
930   void deactivate_view (region_model &model, region_id this_view_rid);
988   void dump_dot_to_pp (const region_model &model,
993   void dump_child_label (const region_model &model,
999   region_id get_or_create (region_model *model,
1011 				  const region_model &model) const;
1024 			       const region_model &model) const;
1033   void print_fields (const region_model &model,
1037   void validate (const region_model &model) const FINAL OVERRIDE;
1185   void print_fields (const region_model &model,
1273   region_id get_element (region_model *model,
1315   region_id get_element (region_model *model,
1363   void dump_dot_to_pp (const region_model &model,
1368   void dump_child_label (const region_model &model,
1379   region_id get_element (region_model *model,
1398   region_id get_or_create (region_model *model,
1412 				 const region_model &model,
1417   void print_fields (const region_model &model,
1421   void validate (const region_model &model) const FINAL OVERRIDE;
1464   void dump_child_label (const region_model &model,
1472   void pop_frame (region_model *model, region_id result_dst_rid,
1488 			       const region_model &model) const;
1490   void validate (const region_model &model) const FINAL OVERRIDE;
1494   void print_fields (const region_model &model,
1568   void dump_child_label (const region_model &model,
1574   region_id push_frame (region_model *model, function *fun,
1577   region_id get_current_frame_id (const region_model &model) const;
1578   void pop_frame (region_model *model, region_id result_dst_rid,
1582   region_id ensure_stack_region (region_model *model);
1584   stack_region *get_stack_region (const region_model *model) const;
1586   region_id ensure_globals_region (region_model *model);
1588   globals_region *get_globals_region (const region_model *model) const;
1590   region_id ensure_code_region (region_model *model);
1591   code_region *get_code_region (const region_model *model) const;
1593   region_id ensure_heap_region (region_model *model);
1594   heap_region *get_heap_region (const region_model *model) const;
1606 			       const region_model &model) const;
1608   void validate (const region_model &model) const FINAL OVERRIDE;
1612   void print_fields (const region_model &model,
1660   void print_fields (const region_model &model,
2156   canonicalization (const region_model &model);
2237 		       region_model &model,