2005-02-06 Andrew Cagney <cagney@gnu.org>
[deliverable/binutils-gdb.git] / gdb / varobj.c
1 /* Implementation of the GDB variable objects API.
2
3 Copyright 1999, 2000, 2001, 2005 Free Software Foundation, Inc.
4
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2 of the License, or
8 (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 59 Temple Place - Suite 330,
18 Boston, MA 02111-1307, USA. */
19
20 #include "defs.h"
21 #include "value.h"
22 #include "expression.h"
23 #include "frame.h"
24 #include "language.h"
25 #include "wrapper.h"
26 #include "gdbcmd.h"
27 #include "gdb_string.h"
28 #include <math.h>
29
30 #include "varobj.h"
31
32 /* Non-zero if we want to see trace of varobj level stuff. */
33
34 int varobjdebug = 0;
35
36 /* String representations of gdb's format codes */
37 char *varobj_format_string[] =
38 { "natural", "binary", "decimal", "hexadecimal", "octal" };
39
40 /* String representations of gdb's known languages */
41 char *varobj_language_string[] = { "unknown", "C", "C++", "Java" };
42
43 /* Data structures */
44
45 /* Every root variable has one of these structures saved in its
46 varobj. Members which must be free'd are noted. */
47 struct varobj_root
48 {
49
50 /* Alloc'd expression for this parent. */
51 struct expression *exp;
52
53 /* Block for which this expression is valid */
54 struct block *valid_block;
55
56 /* The frame for this expression */
57 struct frame_id frame;
58
59 /* If 1, "update" always recomputes the frame & valid block
60 using the currently selected frame. */
61 int use_selected_frame;
62
63 /* Language info for this variable and its children */
64 struct language_specific *lang;
65
66 /* The varobj for this root node. */
67 struct varobj *rootvar;
68
69 /* Next root variable */
70 struct varobj_root *next;
71 };
72
73 /* Every variable in the system has a structure of this type defined
74 for it. This structure holds all information necessary to manipulate
75 a particular object variable. Members which must be freed are noted. */
76 struct varobj
77 {
78
79 /* Alloc'd name of the variable for this object.. If this variable is a
80 child, then this name will be the child's source name.
81 (bar, not foo.bar) */
82 /* NOTE: This is the "expression" */
83 char *name;
84
85 /* The alloc'd name for this variable's object. This is here for
86 convenience when constructing this object's children. */
87 char *obj_name;
88
89 /* Index of this variable in its parent or -1 */
90 int index;
91
92 /* The type of this variable. This may NEVER be NULL. */
93 struct type *type;
94
95 /* The value of this expression or subexpression. This may be NULL. */
96 struct value *value;
97
98 /* Did an error occur evaluating the expression or getting its value? */
99 int error;
100
101 /* The number of (immediate) children this variable has */
102 int num_children;
103
104 /* If this object is a child, this points to its immediate parent. */
105 struct varobj *parent;
106
107 /* A list of this object's children */
108 struct varobj_child *children;
109
110 /* Description of the root variable. Points to root variable for children. */
111 struct varobj_root *root;
112
113 /* The format of the output for this object */
114 enum varobj_display_formats format;
115
116 /* Was this variable updated via a varobj_set_value operation */
117 int updated;
118 };
119
120 /* Every variable keeps a linked list of its children, described
121 by the following structure. */
122 /* FIXME: Deprecated. All should use vlist instead */
123
124 struct varobj_child
125 {
126
127 /* Pointer to the child's data */
128 struct varobj *child;
129
130 /* Pointer to the next child */
131 struct varobj_child *next;
132 };
133
134 /* A stack of varobjs */
135 /* FIXME: Deprecated. All should use vlist instead */
136
137 struct vstack
138 {
139 struct varobj *var;
140 struct vstack *next;
141 };
142
143 struct cpstack
144 {
145 char *name;
146 struct cpstack *next;
147 };
148
149 /* A list of varobjs */
150
151 struct vlist
152 {
153 struct varobj *var;
154 struct vlist *next;
155 };
156
157 /* Private function prototypes */
158
159 /* Helper functions for the above subcommands. */
160
161 static int delete_variable (struct cpstack **, struct varobj *, int);
162
163 static void delete_variable_1 (struct cpstack **, int *,
164 struct varobj *, int, int);
165
166 static int install_variable (struct varobj *);
167
168 static void uninstall_variable (struct varobj *);
169
170 static struct varobj *child_exists (struct varobj *, char *);
171
172 static struct varobj *create_child (struct varobj *, int, char *);
173
174 static void save_child_in_parent (struct varobj *, struct varobj *);
175
176 static void remove_child_from_parent (struct varobj *, struct varobj *);
177
178 /* Utility routines */
179
180 static struct varobj *new_variable (void);
181
182 static struct varobj *new_root_variable (void);
183
184 static void free_variable (struct varobj *var);
185
186 static struct cleanup *make_cleanup_free_variable (struct varobj *var);
187
188 static struct type *get_type (struct varobj *var);
189
190 static struct type *get_type_deref (struct varobj *var);
191
192 static struct type *get_target_type (struct type *);
193
194 static enum varobj_display_formats variable_default_display (struct varobj *);
195
196 static int my_value_equal (struct value *, struct value *, int *);
197
198 static void vpush (struct vstack **pstack, struct varobj *var);
199
200 static struct varobj *vpop (struct vstack **pstack);
201
202 static void cppush (struct cpstack **pstack, char *name);
203
204 static char *cppop (struct cpstack **pstack);
205
206 /* Language-specific routines. */
207
208 static enum varobj_languages variable_language (struct varobj *var);
209
210 static int number_of_children (struct varobj *);
211
212 static char *name_of_variable (struct varobj *);
213
214 static char *name_of_child (struct varobj *, int);
215
216 static struct value *value_of_root (struct varobj **var_handle, int *);
217
218 static struct value *value_of_child (struct varobj *parent, int index);
219
220 static struct type *type_of_child (struct varobj *var);
221
222 static int variable_editable (struct varobj *var);
223
224 static char *my_value_of_variable (struct varobj *var);
225
226 static int type_changeable (struct varobj *var);
227
228 /* C implementation */
229
230 static int c_number_of_children (struct varobj *var);
231
232 static char *c_name_of_variable (struct varobj *parent);
233
234 static char *c_name_of_child (struct varobj *parent, int index);
235
236 static struct value *c_value_of_root (struct varobj **var_handle);
237
238 static struct value *c_value_of_child (struct varobj *parent, int index);
239
240 static struct type *c_type_of_child (struct varobj *parent, int index);
241
242 static int c_variable_editable (struct varobj *var);
243
244 static char *c_value_of_variable (struct varobj *var);
245
246 /* C++ implementation */
247
248 static int cplus_number_of_children (struct varobj *var);
249
250 static void cplus_class_num_children (struct type *type, int children[3]);
251
252 static char *cplus_name_of_variable (struct varobj *parent);
253
254 static char *cplus_name_of_child (struct varobj *parent, int index);
255
256 static struct value *cplus_value_of_root (struct varobj **var_handle);
257
258 static struct value *cplus_value_of_child (struct varobj *parent, int index);
259
260 static struct type *cplus_type_of_child (struct varobj *parent, int index);
261
262 static int cplus_variable_editable (struct varobj *var);
263
264 static char *cplus_value_of_variable (struct varobj *var);
265
266 /* Java implementation */
267
268 static int java_number_of_children (struct varobj *var);
269
270 static char *java_name_of_variable (struct varobj *parent);
271
272 static char *java_name_of_child (struct varobj *parent, int index);
273
274 static struct value *java_value_of_root (struct varobj **var_handle);
275
276 static struct value *java_value_of_child (struct varobj *parent, int index);
277
278 static struct type *java_type_of_child (struct varobj *parent, int index);
279
280 static int java_variable_editable (struct varobj *var);
281
282 static char *java_value_of_variable (struct varobj *var);
283
284 /* The language specific vector */
285
286 struct language_specific
287 {
288
289 /* The language of this variable */
290 enum varobj_languages language;
291
292 /* The number of children of PARENT. */
293 int (*number_of_children) (struct varobj * parent);
294
295 /* The name (expression) of a root varobj. */
296 char *(*name_of_variable) (struct varobj * parent);
297
298 /* The name of the INDEX'th child of PARENT. */
299 char *(*name_of_child) (struct varobj * parent, int index);
300
301 /* The ``struct value *'' of the root variable ROOT. */
302 struct value *(*value_of_root) (struct varobj ** root_handle);
303
304 /* The ``struct value *'' of the INDEX'th child of PARENT. */
305 struct value *(*value_of_child) (struct varobj * parent, int index);
306
307 /* The type of the INDEX'th child of PARENT. */
308 struct type *(*type_of_child) (struct varobj * parent, int index);
309
310 /* Is VAR editable? */
311 int (*variable_editable) (struct varobj * var);
312
313 /* The current value of VAR. */
314 char *(*value_of_variable) (struct varobj * var);
315 };
316
317 /* Array of known source language routines. */
318 static struct language_specific
319 languages[vlang_end][sizeof (struct language_specific)] = {
320 /* Unknown (try treating as C */
321 {
322 vlang_unknown,
323 c_number_of_children,
324 c_name_of_variable,
325 c_name_of_child,
326 c_value_of_root,
327 c_value_of_child,
328 c_type_of_child,
329 c_variable_editable,
330 c_value_of_variable}
331 ,
332 /* C */
333 {
334 vlang_c,
335 c_number_of_children,
336 c_name_of_variable,
337 c_name_of_child,
338 c_value_of_root,
339 c_value_of_child,
340 c_type_of_child,
341 c_variable_editable,
342 c_value_of_variable}
343 ,
344 /* C++ */
345 {
346 vlang_cplus,
347 cplus_number_of_children,
348 cplus_name_of_variable,
349 cplus_name_of_child,
350 cplus_value_of_root,
351 cplus_value_of_child,
352 cplus_type_of_child,
353 cplus_variable_editable,
354 cplus_value_of_variable}
355 ,
356 /* Java */
357 {
358 vlang_java,
359 java_number_of_children,
360 java_name_of_variable,
361 java_name_of_child,
362 java_value_of_root,
363 java_value_of_child,
364 java_type_of_child,
365 java_variable_editable,
366 java_value_of_variable}
367 };
368
369 /* A little convenience enum for dealing with C++/Java */
370 enum vsections
371 {
372 v_public = 0, v_private, v_protected
373 };
374
375 /* Private data */
376
377 /* Mappings of varobj_display_formats enums to gdb's format codes */
378 static int format_code[] = { 0, 't', 'd', 'x', 'o' };
379
380 /* Header of the list of root variable objects */
381 static struct varobj_root *rootlist;
382 static int rootcount = 0; /* number of root varobjs in the list */
383
384 /* Prime number indicating the number of buckets in the hash table */
385 /* A prime large enough to avoid too many colisions */
386 #define VAROBJ_TABLE_SIZE 227
387
388 /* Pointer to the varobj hash table (built at run time) */
389 static struct vlist **varobj_table;
390
391 /* Is the variable X one of our "fake" children? */
392 #define CPLUS_FAKE_CHILD(x) \
393 ((x) != NULL && (x)->type == NULL && (x)->value == NULL)
394 \f
395
396 /* API Implementation */
397
398 /* Creates a varobj (not its children) */
399
400 /* Return the full FRAME which corresponds to the given CORE_ADDR
401 or NULL if no FRAME on the chain corresponds to CORE_ADDR. */
402
403 static struct frame_info *
404 find_frame_addr_in_frame_chain (CORE_ADDR frame_addr)
405 {
406 struct frame_info *frame = NULL;
407
408 if (frame_addr == (CORE_ADDR) 0)
409 return NULL;
410
411 while (1)
412 {
413 frame = get_prev_frame (frame);
414 if (frame == NULL)
415 return NULL;
416 if (get_frame_base_address (frame) == frame_addr)
417 return frame;
418 }
419 }
420
421 struct varobj *
422 varobj_create (char *objname,
423 char *expression, CORE_ADDR frame, enum varobj_type type)
424 {
425 struct varobj *var;
426 struct frame_info *fi;
427 struct frame_info *old_fi = NULL;
428 struct block *block;
429 struct cleanup *old_chain;
430
431 /* Fill out a varobj structure for the (root) variable being constructed. */
432 var = new_root_variable ();
433 old_chain = make_cleanup_free_variable (var);
434
435 if (expression != NULL)
436 {
437 char *p;
438 enum varobj_languages lang;
439
440 /* Parse and evaluate the expression, filling in as much
441 of the variable's data as possible */
442
443 /* Allow creator to specify context of variable */
444 if ((type == USE_CURRENT_FRAME) || (type == USE_SELECTED_FRAME))
445 fi = deprecated_selected_frame;
446 else
447 /* FIXME: cagney/2002-11-23: This code should be doing a
448 lookup using the frame ID and not just the frame's
449 ``address''. This, of course, means an interface change.
450 However, with out that interface change ISAs, such as the
451 ia64 with its two stacks, won't work. Similar goes for the
452 case where there is a frameless function. */
453 fi = find_frame_addr_in_frame_chain (frame);
454
455 /* frame = -2 means always use selected frame */
456 if (type == USE_SELECTED_FRAME)
457 var->root->use_selected_frame = 1;
458
459 block = NULL;
460 if (fi != NULL)
461 block = get_frame_block (fi, 0);
462
463 p = expression;
464 innermost_block = NULL;
465 /* Wrap the call to parse expression, so we can
466 return a sensible error. */
467 if (!gdb_parse_exp_1 (&p, block, 0, &var->root->exp))
468 {
469 return NULL;
470 }
471
472 /* Don't allow variables to be created for types. */
473 if (var->root->exp->elts[0].opcode == OP_TYPE)
474 {
475 do_cleanups (old_chain);
476 fprintf_unfiltered (gdb_stderr, "Attempt to use a type name"
477 " as an expression.\n");
478 return NULL;
479 }
480
481 var->format = variable_default_display (var);
482 var->root->valid_block = innermost_block;
483 var->name = savestring (expression, strlen (expression));
484
485 /* When the frame is different from the current frame,
486 we must select the appropriate frame before parsing
487 the expression, otherwise the value will not be current.
488 Since select_frame is so benign, just call it for all cases. */
489 if (fi != NULL)
490 {
491 var->root->frame = get_frame_id (fi);
492 old_fi = deprecated_selected_frame;
493 select_frame (fi);
494 }
495
496 /* We definitively need to catch errors here.
497 If evaluate_expression succeeds we got the value we wanted.
498 But if it fails, we still go on with a call to evaluate_type() */
499 if (gdb_evaluate_expression (var->root->exp, &var->value))
500 {
501 /* no error */
502 release_value (var->value);
503 if (value_lazy (var->value))
504 gdb_value_fetch_lazy (var->value);
505 }
506 else
507 var->value = evaluate_type (var->root->exp);
508
509 var->type = value_type (var->value);
510
511 /* Set language info */
512 lang = variable_language (var);
513 var->root->lang = languages[lang];
514
515 /* Set ourselves as our root */
516 var->root->rootvar = var;
517
518 /* Reset the selected frame */
519 if (fi != NULL)
520 select_frame (old_fi);
521 }
522
523 /* If the variable object name is null, that means this
524 is a temporary variable, so don't install it. */
525
526 if ((var != NULL) && (objname != NULL))
527 {
528 var->obj_name = savestring (objname, strlen (objname));
529
530 /* If a varobj name is duplicated, the install will fail so
531 we must clenup */
532 if (!install_variable (var))
533 {
534 do_cleanups (old_chain);
535 return NULL;
536 }
537 }
538
539 discard_cleanups (old_chain);
540 return var;
541 }
542
543 /* Generates an unique name that can be used for a varobj */
544
545 char *
546 varobj_gen_name (void)
547 {
548 static int id = 0;
549 char *obj_name;
550
551 /* generate a name for this object */
552 id++;
553 obj_name = xstrprintf ("var%d", id);
554
555 return obj_name;
556 }
557
558 /* Given an "objname", returns the pointer to the corresponding varobj
559 or NULL if not found */
560
561 struct varobj *
562 varobj_get_handle (char *objname)
563 {
564 struct vlist *cv;
565 const char *chp;
566 unsigned int index = 0;
567 unsigned int i = 1;
568
569 for (chp = objname; *chp; chp++)
570 {
571 index = (index + (i++ * (unsigned int) *chp)) % VAROBJ_TABLE_SIZE;
572 }
573
574 cv = *(varobj_table + index);
575 while ((cv != NULL) && (strcmp (cv->var->obj_name, objname) != 0))
576 cv = cv->next;
577
578 if (cv == NULL)
579 error ("Variable object not found");
580
581 return cv->var;
582 }
583
584 /* Given the handle, return the name of the object */
585
586 char *
587 varobj_get_objname (struct varobj *var)
588 {
589 return var->obj_name;
590 }
591
592 /* Given the handle, return the expression represented by the object */
593
594 char *
595 varobj_get_expression (struct varobj *var)
596 {
597 return name_of_variable (var);
598 }
599
600 /* Deletes a varobj and all its children if only_children == 0,
601 otherwise deletes only the children; returns a malloc'ed list of all the
602 (malloc'ed) names of the variables that have been deleted (NULL terminated) */
603
604 int
605 varobj_delete (struct varobj *var, char ***dellist, int only_children)
606 {
607 int delcount;
608 int mycount;
609 struct cpstack *result = NULL;
610 char **cp;
611
612 /* Initialize a stack for temporary results */
613 cppush (&result, NULL);
614
615 if (only_children)
616 /* Delete only the variable children */
617 delcount = delete_variable (&result, var, 1 /* only the children */ );
618 else
619 /* Delete the variable and all its children */
620 delcount = delete_variable (&result, var, 0 /* parent+children */ );
621
622 /* We may have been asked to return a list of what has been deleted */
623 if (dellist != NULL)
624 {
625 *dellist = xmalloc ((delcount + 1) * sizeof (char *));
626
627 cp = *dellist;
628 mycount = delcount;
629 *cp = cppop (&result);
630 while ((*cp != NULL) && (mycount > 0))
631 {
632 mycount--;
633 cp++;
634 *cp = cppop (&result);
635 }
636
637 if (mycount || (*cp != NULL))
638 warning ("varobj_delete: assertion failed - mycount(=%d) <> 0",
639 mycount);
640 }
641
642 return delcount;
643 }
644
645 /* Set/Get variable object display format */
646
647 enum varobj_display_formats
648 varobj_set_display_format (struct varobj *var,
649 enum varobj_display_formats format)
650 {
651 switch (format)
652 {
653 case FORMAT_NATURAL:
654 case FORMAT_BINARY:
655 case FORMAT_DECIMAL:
656 case FORMAT_HEXADECIMAL:
657 case FORMAT_OCTAL:
658 var->format = format;
659 break;
660
661 default:
662 var->format = variable_default_display (var);
663 }
664
665 return var->format;
666 }
667
668 enum varobj_display_formats
669 varobj_get_display_format (struct varobj *var)
670 {
671 return var->format;
672 }
673
674 int
675 varobj_get_num_children (struct varobj *var)
676 {
677 if (var->num_children == -1)
678 var->num_children = number_of_children (var);
679
680 return var->num_children;
681 }
682
683 /* Creates a list of the immediate children of a variable object;
684 the return code is the number of such children or -1 on error */
685
686 int
687 varobj_list_children (struct varobj *var, struct varobj ***childlist)
688 {
689 struct varobj *child;
690 char *name;
691 int i;
692
693 /* sanity check: have we been passed a pointer? */
694 if (childlist == NULL)
695 return -1;
696
697 *childlist = NULL;
698
699 if (var->num_children == -1)
700 var->num_children = number_of_children (var);
701
702 /* List of children */
703 *childlist = xmalloc ((var->num_children + 1) * sizeof (struct varobj *));
704
705 for (i = 0; i < var->num_children; i++)
706 {
707 /* Mark as the end in case we bail out */
708 *((*childlist) + i) = NULL;
709
710 /* check if child exists, if not create */
711 name = name_of_child (var, i);
712 child = child_exists (var, name);
713 if (child == NULL)
714 child = create_child (var, i, name);
715
716 *((*childlist) + i) = child;
717 }
718
719 /* End of list is marked by a NULL pointer */
720 *((*childlist) + i) = NULL;
721
722 return var->num_children;
723 }
724
725 /* Obtain the type of an object Variable as a string similar to the one gdb
726 prints on the console */
727
728 char *
729 varobj_get_type (struct varobj *var)
730 {
731 struct value *val;
732 struct cleanup *old_chain;
733 struct ui_file *stb;
734 char *thetype;
735 long length;
736
737 /* For the "fake" variables, do not return a type. (It's type is
738 NULL, too.) */
739 if (CPLUS_FAKE_CHILD (var))
740 return NULL;
741
742 stb = mem_fileopen ();
743 old_chain = make_cleanup_ui_file_delete (stb);
744
745 /* To print the type, we simply create a zero ``struct value *'' and
746 cast it to our type. We then typeprint this variable. */
747 val = value_zero (var->type, not_lval);
748 type_print (value_type (val), "", stb, -1);
749
750 thetype = ui_file_xstrdup (stb, &length);
751 do_cleanups (old_chain);
752 return thetype;
753 }
754
755 enum varobj_languages
756 varobj_get_language (struct varobj *var)
757 {
758 return variable_language (var);
759 }
760
761 int
762 varobj_get_attributes (struct varobj *var)
763 {
764 int attributes = 0;
765
766 if (variable_editable (var))
767 /* FIXME: define masks for attributes */
768 attributes |= 0x00000001; /* Editable */
769
770 return attributes;
771 }
772
773 char *
774 varobj_get_value (struct varobj *var)
775 {
776 return my_value_of_variable (var);
777 }
778
779 /* Set the value of an object variable (if it is editable) to the
780 value of the given expression */
781 /* Note: Invokes functions that can call error() */
782
783 int
784 varobj_set_value (struct varobj *var, char *expression)
785 {
786 struct value *val;
787 int error;
788 int offset = 0;
789
790 /* The argument "expression" contains the variable's new value.
791 We need to first construct a legal expression for this -- ugh! */
792 /* Does this cover all the bases? */
793 struct expression *exp;
794 struct value *value;
795 int saved_input_radix = input_radix;
796
797 if (var->value != NULL && variable_editable (var) && !var->error)
798 {
799 char *s = expression;
800 int i;
801
802 input_radix = 10; /* ALWAYS reset to decimal temporarily */
803 if (!gdb_parse_exp_1 (&s, 0, 0, &exp))
804 /* We cannot proceed without a well-formed expression. */
805 return 0;
806 if (!gdb_evaluate_expression (exp, &value))
807 {
808 /* We cannot proceed without a valid expression. */
809 xfree (exp);
810 return 0;
811 }
812
813 if (!my_value_equal (var->value, value, &error))
814 var->updated = 1;
815 if (!gdb_value_assign (var->value, value, &val))
816 return 0;
817 value_free (var->value);
818 release_value (val);
819 var->value = val;
820 input_radix = saved_input_radix;
821 return 1;
822 }
823
824 return 0;
825 }
826
827 /* Returns a malloc'ed list with all root variable objects */
828 int
829 varobj_list (struct varobj ***varlist)
830 {
831 struct varobj **cv;
832 struct varobj_root *croot;
833 int mycount = rootcount;
834
835 /* Alloc (rootcount + 1) entries for the result */
836 *varlist = xmalloc ((rootcount + 1) * sizeof (struct varobj *));
837
838 cv = *varlist;
839 croot = rootlist;
840 while ((croot != NULL) && (mycount > 0))
841 {
842 *cv = croot->rootvar;
843 mycount--;
844 cv++;
845 croot = croot->next;
846 }
847 /* Mark the end of the list */
848 *cv = NULL;
849
850 if (mycount || (croot != NULL))
851 warning
852 ("varobj_list: assertion failed - wrong tally of root vars (%d:%d)",
853 rootcount, mycount);
854
855 return rootcount;
856 }
857
858 /* Update the values for a variable and its children. This is a
859 two-pronged attack. First, re-parse the value for the root's
860 expression to see if it's changed. Then go all the way
861 through its children, reconstructing them and noting if they've
862 changed.
863 Return value:
864 -1 if there was an error updating the varobj
865 -2 if the type changed
866 Otherwise it is the number of children + parent changed
867
868 Only root variables can be updated...
869
870 NOTE: This function may delete the caller's varobj. If it
871 returns -2, then it has done this and VARP will be modified
872 to point to the new varobj. */
873
874 int
875 varobj_update (struct varobj **varp, struct varobj ***changelist)
876 {
877 int changed = 0;
878 int type_changed;
879 int i;
880 int vleft;
881 int error2;
882 struct varobj *v;
883 struct varobj **cv;
884 struct varobj **templist = NULL;
885 struct value *new;
886 struct vstack *stack = NULL;
887 struct vstack *result = NULL;
888 struct frame_id old_fid;
889 struct frame_info *fi;
890
891 /* sanity check: have we been passed a pointer? */
892 if (changelist == NULL)
893 return -1;
894
895 /* Only root variables can be updated... */
896 if ((*varp)->root->rootvar != *varp)
897 /* Not a root var */
898 return -1;
899
900 /* Save the selected stack frame, since we will need to change it
901 in order to evaluate expressions. */
902 old_fid = get_frame_id (deprecated_selected_frame);
903
904 /* Update the root variable. value_of_root can return NULL
905 if the variable is no longer around, i.e. we stepped out of
906 the frame in which a local existed. We are letting the
907 value_of_root variable dispose of the varobj if the type
908 has changed. */
909 type_changed = 1;
910 new = value_of_root (varp, &type_changed);
911 if (new == NULL)
912 {
913 (*varp)->error = 1;
914 return -1;
915 }
916
917 /* Initialize a stack for temporary results */
918 vpush (&result, NULL);
919
920 /* If this is a "use_selected_frame" varobj, and its type has changed,
921 them note that it's changed. */
922 if (type_changed)
923 {
924 vpush (&result, *varp);
925 changed++;
926 }
927 /* If values are not equal, note that it's changed.
928 There a couple of exceptions here, though.
929 We don't want some types to be reported as "changed". */
930 else if (type_changeable (*varp) &&
931 ((*varp)->updated || !my_value_equal ((*varp)->value, new, &error2)))
932 {
933 vpush (&result, *varp);
934 (*varp)->updated = 0;
935 changed++;
936 /* error2 replaces var->error since this new value
937 WILL replace the old one. */
938 (*varp)->error = error2;
939 }
940
941 /* We must always keep around the new value for this root
942 variable expression, or we lose the updated children! */
943 value_free ((*varp)->value);
944 (*varp)->value = new;
945
946 /* Initialize a stack */
947 vpush (&stack, NULL);
948
949 /* Push the root's children */
950 if ((*varp)->children != NULL)
951 {
952 struct varobj_child *c;
953 for (c = (*varp)->children; c != NULL; c = c->next)
954 vpush (&stack, c->child);
955 }
956
957 /* Walk through the children, reconstructing them all. */
958 v = vpop (&stack);
959 while (v != NULL)
960 {
961 /* Push any children */
962 if (v->children != NULL)
963 {
964 struct varobj_child *c;
965 for (c = v->children; c != NULL; c = c->next)
966 vpush (&stack, c->child);
967 }
968
969 /* Update this variable */
970 new = value_of_child (v->parent, v->index);
971 if (type_changeable (v) &&
972 (v->updated || !my_value_equal (v->value, new, &error2)))
973 {
974 /* Note that it's changed */
975 vpush (&result, v);
976 v->updated = 0;
977 changed++;
978 }
979 /* error2 replaces v->error since this new value
980 WILL replace the old one. */
981 v->error = error2;
982
983 /* We must always keep new values, since children depend on it. */
984 if (v->value != NULL)
985 value_free (v->value);
986 v->value = new;
987
988 /* Get next child */
989 v = vpop (&stack);
990 }
991
992 /* Alloc (changed + 1) list entries */
993 /* FIXME: add a cleanup for the allocated list(s)
994 because one day the select_frame called below can longjump */
995 *changelist = xmalloc ((changed + 1) * sizeof (struct varobj *));
996 if (changed > 1)
997 {
998 templist = xmalloc ((changed + 1) * sizeof (struct varobj *));
999 cv = templist;
1000 }
1001 else
1002 cv = *changelist;
1003
1004 /* Copy from result stack to list */
1005 vleft = changed;
1006 *cv = vpop (&result);
1007 while ((*cv != NULL) && (vleft > 0))
1008 {
1009 vleft--;
1010 cv++;
1011 *cv = vpop (&result);
1012 }
1013 if (vleft)
1014 warning ("varobj_update: assertion failed - vleft <> 0");
1015
1016 if (changed > 1)
1017 {
1018 /* Now we revert the order. */
1019 for (i = 0; i < changed; i++)
1020 *(*changelist + i) = *(templist + changed - 1 - i);
1021 *(*changelist + changed) = NULL;
1022 }
1023
1024 /* Restore selected frame */
1025 fi = frame_find_by_id (old_fid);
1026 if (fi)
1027 select_frame (fi);
1028
1029 if (type_changed)
1030 return -2;
1031 else
1032 return changed;
1033 }
1034 \f
1035
1036 /* Helper functions */
1037
1038 /*
1039 * Variable object construction/destruction
1040 */
1041
1042 static int
1043 delete_variable (struct cpstack **resultp, struct varobj *var,
1044 int only_children_p)
1045 {
1046 int delcount = 0;
1047
1048 delete_variable_1 (resultp, &delcount, var,
1049 only_children_p, 1 /* remove_from_parent_p */ );
1050
1051 return delcount;
1052 }
1053
1054 /* Delete the variable object VAR and its children */
1055 /* IMPORTANT NOTE: If we delete a variable which is a child
1056 and the parent is not removed we dump core. It must be always
1057 initially called with remove_from_parent_p set */
1058 static void
1059 delete_variable_1 (struct cpstack **resultp, int *delcountp,
1060 struct varobj *var, int only_children_p,
1061 int remove_from_parent_p)
1062 {
1063 struct varobj_child *vc;
1064 struct varobj_child *next;
1065
1066 /* Delete any children of this variable, too. */
1067 for (vc = var->children; vc != NULL; vc = next)
1068 {
1069 if (!remove_from_parent_p)
1070 vc->child->parent = NULL;
1071 delete_variable_1 (resultp, delcountp, vc->child, 0, only_children_p);
1072 next = vc->next;
1073 xfree (vc);
1074 }
1075
1076 /* if we were called to delete only the children we are done here */
1077 if (only_children_p)
1078 return;
1079
1080 /* Otherwise, add it to the list of deleted ones and proceed to do so */
1081 /* If the name is null, this is a temporary variable, that has not
1082 yet been installed, don't report it, it belongs to the caller... */
1083 if (var->obj_name != NULL)
1084 {
1085 cppush (resultp, xstrdup (var->obj_name));
1086 *delcountp = *delcountp + 1;
1087 }
1088
1089 /* If this variable has a parent, remove it from its parent's list */
1090 /* OPTIMIZATION: if the parent of this variable is also being deleted,
1091 (as indicated by remove_from_parent_p) we don't bother doing an
1092 expensive list search to find the element to remove when we are
1093 discarding the list afterwards */
1094 if ((remove_from_parent_p) && (var->parent != NULL))
1095 {
1096 remove_child_from_parent (var->parent, var);
1097 }
1098
1099 if (var->obj_name != NULL)
1100 uninstall_variable (var);
1101
1102 /* Free memory associated with this variable */
1103 free_variable (var);
1104 }
1105
1106 /* Install the given variable VAR with the object name VAR->OBJ_NAME. */
1107 static int
1108 install_variable (struct varobj *var)
1109 {
1110 struct vlist *cv;
1111 struct vlist *newvl;
1112 const char *chp;
1113 unsigned int index = 0;
1114 unsigned int i = 1;
1115
1116 for (chp = var->obj_name; *chp; chp++)
1117 {
1118 index = (index + (i++ * (unsigned int) *chp)) % VAROBJ_TABLE_SIZE;
1119 }
1120
1121 cv = *(varobj_table + index);
1122 while ((cv != NULL) && (strcmp (cv->var->obj_name, var->obj_name) != 0))
1123 cv = cv->next;
1124
1125 if (cv != NULL)
1126 error ("Duplicate variable object name");
1127
1128 /* Add varobj to hash table */
1129 newvl = xmalloc (sizeof (struct vlist));
1130 newvl->next = *(varobj_table + index);
1131 newvl->var = var;
1132 *(varobj_table + index) = newvl;
1133
1134 /* If root, add varobj to root list */
1135 if (var->root->rootvar == var)
1136 {
1137 /* Add to list of root variables */
1138 if (rootlist == NULL)
1139 var->root->next = NULL;
1140 else
1141 var->root->next = rootlist;
1142 rootlist = var->root;
1143 rootcount++;
1144 }
1145
1146 return 1; /* OK */
1147 }
1148
1149 /* Unistall the object VAR. */
1150 static void
1151 uninstall_variable (struct varobj *var)
1152 {
1153 struct vlist *cv;
1154 struct vlist *prev;
1155 struct varobj_root *cr;
1156 struct varobj_root *prer;
1157 const char *chp;
1158 unsigned int index = 0;
1159 unsigned int i = 1;
1160
1161 /* Remove varobj from hash table */
1162 for (chp = var->obj_name; *chp; chp++)
1163 {
1164 index = (index + (i++ * (unsigned int) *chp)) % VAROBJ_TABLE_SIZE;
1165 }
1166
1167 cv = *(varobj_table + index);
1168 prev = NULL;
1169 while ((cv != NULL) && (strcmp (cv->var->obj_name, var->obj_name) != 0))
1170 {
1171 prev = cv;
1172 cv = cv->next;
1173 }
1174
1175 if (varobjdebug)
1176 fprintf_unfiltered (gdb_stdlog, "Deleting %s\n", var->obj_name);
1177
1178 if (cv == NULL)
1179 {
1180 warning
1181 ("Assertion failed: Could not find variable object \"%s\" to delete",
1182 var->obj_name);
1183 return;
1184 }
1185
1186 if (prev == NULL)
1187 *(varobj_table + index) = cv->next;
1188 else
1189 prev->next = cv->next;
1190
1191 xfree (cv);
1192
1193 /* If root, remove varobj from root list */
1194 if (var->root->rootvar == var)
1195 {
1196 /* Remove from list of root variables */
1197 if (rootlist == var->root)
1198 rootlist = var->root->next;
1199 else
1200 {
1201 prer = NULL;
1202 cr = rootlist;
1203 while ((cr != NULL) && (cr->rootvar != var))
1204 {
1205 prer = cr;
1206 cr = cr->next;
1207 }
1208 if (cr == NULL)
1209 {
1210 warning
1211 ("Assertion failed: Could not find varobj \"%s\" in root list",
1212 var->obj_name);
1213 return;
1214 }
1215 if (prer == NULL)
1216 rootlist = NULL;
1217 else
1218 prer->next = cr->next;
1219 }
1220 rootcount--;
1221 }
1222
1223 }
1224
1225 /* Does a child with the name NAME exist in VAR? If so, return its data.
1226 If not, return NULL. */
1227 static struct varobj *
1228 child_exists (struct varobj *var, char *name)
1229 {
1230 struct varobj_child *vc;
1231
1232 for (vc = var->children; vc != NULL; vc = vc->next)
1233 {
1234 if (strcmp (vc->child->name, name) == 0)
1235 return vc->child;
1236 }
1237
1238 return NULL;
1239 }
1240
1241 /* Create and install a child of the parent of the given name */
1242 static struct varobj *
1243 create_child (struct varobj *parent, int index, char *name)
1244 {
1245 struct varobj *child;
1246 char *childs_name;
1247
1248 child = new_variable ();
1249
1250 /* name is allocated by name_of_child */
1251 child->name = name;
1252 child->index = index;
1253 child->value = value_of_child (parent, index);
1254 if ((!CPLUS_FAKE_CHILD (child) && child->value == NULL) || parent->error)
1255 child->error = 1;
1256 child->parent = parent;
1257 child->root = parent->root;
1258 childs_name = xstrprintf ("%s.%s", parent->obj_name, name);
1259 child->obj_name = childs_name;
1260 install_variable (child);
1261
1262 /* Save a pointer to this child in the parent */
1263 save_child_in_parent (parent, child);
1264
1265 /* Note the type of this child */
1266 child->type = type_of_child (child);
1267
1268 return child;
1269 }
1270
1271 /* FIXME: This should be a generic add to list */
1272 /* Save CHILD in the PARENT's data. */
1273 static void
1274 save_child_in_parent (struct varobj *parent, struct varobj *child)
1275 {
1276 struct varobj_child *vc;
1277
1278 /* Insert the child at the top */
1279 vc = parent->children;
1280 parent->children =
1281 (struct varobj_child *) xmalloc (sizeof (struct varobj_child));
1282
1283 parent->children->next = vc;
1284 parent->children->child = child;
1285 }
1286
1287 /* FIXME: This should be a generic remove from list */
1288 /* Remove the CHILD from the PARENT's list of children. */
1289 static void
1290 remove_child_from_parent (struct varobj *parent, struct varobj *child)
1291 {
1292 struct varobj_child *vc, *prev;
1293
1294 /* Find the child in the parent's list */
1295 prev = NULL;
1296 for (vc = parent->children; vc != NULL;)
1297 {
1298 if (vc->child == child)
1299 break;
1300 prev = vc;
1301 vc = vc->next;
1302 }
1303
1304 if (prev == NULL)
1305 parent->children = vc->next;
1306 else
1307 prev->next = vc->next;
1308
1309 }
1310 \f
1311
1312 /*
1313 * Miscellaneous utility functions.
1314 */
1315
1316 /* Allocate memory and initialize a new variable */
1317 static struct varobj *
1318 new_variable (void)
1319 {
1320 struct varobj *var;
1321
1322 var = (struct varobj *) xmalloc (sizeof (struct varobj));
1323 var->name = NULL;
1324 var->obj_name = NULL;
1325 var->index = -1;
1326 var->type = NULL;
1327 var->value = NULL;
1328 var->error = 0;
1329 var->num_children = -1;
1330 var->parent = NULL;
1331 var->children = NULL;
1332 var->format = 0;
1333 var->root = NULL;
1334 var->updated = 0;
1335
1336 return var;
1337 }
1338
1339 /* Allocate memory and initialize a new root variable */
1340 static struct varobj *
1341 new_root_variable (void)
1342 {
1343 struct varobj *var = new_variable ();
1344 var->root = (struct varobj_root *) xmalloc (sizeof (struct varobj_root));;
1345 var->root->lang = NULL;
1346 var->root->exp = NULL;
1347 var->root->valid_block = NULL;
1348 var->root->frame = null_frame_id;
1349 var->root->use_selected_frame = 0;
1350 var->root->rootvar = NULL;
1351
1352 return var;
1353 }
1354
1355 /* Free any allocated memory associated with VAR. */
1356 static void
1357 free_variable (struct varobj *var)
1358 {
1359 /* Free the expression if this is a root variable. */
1360 if (var->root->rootvar == var)
1361 {
1362 free_current_contents ((char **) &var->root->exp);
1363 xfree (var->root);
1364 }
1365
1366 xfree (var->name);
1367 xfree (var->obj_name);
1368 xfree (var);
1369 }
1370
1371 static void
1372 do_free_variable_cleanup (void *var)
1373 {
1374 free_variable (var);
1375 }
1376
1377 static struct cleanup *
1378 make_cleanup_free_variable (struct varobj *var)
1379 {
1380 return make_cleanup (do_free_variable_cleanup, var);
1381 }
1382
1383 /* This returns the type of the variable. It also skips past typedefs
1384 to return the real type of the variable.
1385
1386 NOTE: TYPE_TARGET_TYPE should NOT be used anywhere in this file
1387 except within get_target_type and get_type. */
1388 static struct type *
1389 get_type (struct varobj *var)
1390 {
1391 struct type *type;
1392 type = var->type;
1393
1394 if (type != NULL)
1395 type = check_typedef (type);
1396
1397 return type;
1398 }
1399
1400 /* This returns the type of the variable, dereferencing pointers, too. */
1401 static struct type *
1402 get_type_deref (struct varobj *var)
1403 {
1404 struct type *type;
1405
1406 type = get_type (var);
1407
1408 if (type != NULL && (TYPE_CODE (type) == TYPE_CODE_PTR
1409 || TYPE_CODE (type) == TYPE_CODE_REF))
1410 type = get_target_type (type);
1411
1412 return type;
1413 }
1414
1415 /* This returns the target type (or NULL) of TYPE, also skipping
1416 past typedefs, just like get_type ().
1417
1418 NOTE: TYPE_TARGET_TYPE should NOT be used anywhere in this file
1419 except within get_target_type and get_type. */
1420 static struct type *
1421 get_target_type (struct type *type)
1422 {
1423 if (type != NULL)
1424 {
1425 type = TYPE_TARGET_TYPE (type);
1426 if (type != NULL)
1427 type = check_typedef (type);
1428 }
1429
1430 return type;
1431 }
1432
1433 /* What is the default display for this variable? We assume that
1434 everything is "natural". Any exceptions? */
1435 static enum varobj_display_formats
1436 variable_default_display (struct varobj *var)
1437 {
1438 return FORMAT_NATURAL;
1439 }
1440
1441 /* This function is similar to gdb's value_equal, except that this
1442 one is "safe" -- it NEVER longjmps. It determines if the VAR's
1443 value is the same as VAL2. */
1444 static int
1445 my_value_equal (struct value *val1, struct value *val2, int *error2)
1446 {
1447 int r, err1, err2;
1448
1449 *error2 = 0;
1450 /* Special case: NULL values. If both are null, say
1451 they're equal. */
1452 if (val1 == NULL && val2 == NULL)
1453 return 1;
1454 else if (val1 == NULL || val2 == NULL)
1455 return 0;
1456
1457 /* This is bogus, but unfortunately necessary. We must know
1458 exactly what caused an error -- reading val1 or val2 -- so
1459 that we can really determine if we think that something has changed. */
1460 err1 = 0;
1461 err2 = 0;
1462 /* We do need to catch errors here because the whole purpose
1463 is to test if value_equal() has errored */
1464 if (!gdb_value_equal (val1, val1, &r))
1465 err1 = 1;
1466
1467 if (!gdb_value_equal (val2, val2, &r))
1468 *error2 = err2 = 1;
1469
1470 if (err1 != err2)
1471 return 0;
1472
1473 if (!gdb_value_equal (val1, val2, &r))
1474 {
1475 /* An error occurred, this could have happened if
1476 either val1 or val2 errored. ERR1 and ERR2 tell
1477 us which of these it is. If both errored, then
1478 we assume nothing has changed. If one of them is
1479 valid, though, then something has changed. */
1480 if (err1 == err2)
1481 {
1482 /* both the old and new values caused errors, so
1483 we say the value did not change */
1484 /* This is indeterminate, though. Perhaps we should
1485 be safe and say, yes, it changed anyway?? */
1486 return 1;
1487 }
1488 else
1489 {
1490 return 0;
1491 }
1492 }
1493
1494 return r;
1495 }
1496
1497 /* FIXME: The following should be generic for any pointer */
1498 static void
1499 vpush (struct vstack **pstack, struct varobj *var)
1500 {
1501 struct vstack *s;
1502
1503 s = (struct vstack *) xmalloc (sizeof (struct vstack));
1504 s->var = var;
1505 s->next = *pstack;
1506 *pstack = s;
1507 }
1508
1509 /* FIXME: The following should be generic for any pointer */
1510 static struct varobj *
1511 vpop (struct vstack **pstack)
1512 {
1513 struct vstack *s;
1514 struct varobj *v;
1515
1516 if ((*pstack)->var == NULL && (*pstack)->next == NULL)
1517 return NULL;
1518
1519 s = *pstack;
1520 v = s->var;
1521 *pstack = (*pstack)->next;
1522 xfree (s);
1523
1524 return v;
1525 }
1526
1527 /* FIXME: The following should be generic for any pointer */
1528 static void
1529 cppush (struct cpstack **pstack, char *name)
1530 {
1531 struct cpstack *s;
1532
1533 s = (struct cpstack *) xmalloc (sizeof (struct cpstack));
1534 s->name = name;
1535 s->next = *pstack;
1536 *pstack = s;
1537 }
1538
1539 /* FIXME: The following should be generic for any pointer */
1540 static char *
1541 cppop (struct cpstack **pstack)
1542 {
1543 struct cpstack *s;
1544 char *v;
1545
1546 if ((*pstack)->name == NULL && (*pstack)->next == NULL)
1547 return NULL;
1548
1549 s = *pstack;
1550 v = s->name;
1551 *pstack = (*pstack)->next;
1552 xfree (s);
1553
1554 return v;
1555 }
1556 \f
1557 /*
1558 * Language-dependencies
1559 */
1560
1561 /* Common entry points */
1562
1563 /* Get the language of variable VAR. */
1564 static enum varobj_languages
1565 variable_language (struct varobj *var)
1566 {
1567 enum varobj_languages lang;
1568
1569 switch (var->root->exp->language_defn->la_language)
1570 {
1571 default:
1572 case language_c:
1573 lang = vlang_c;
1574 break;
1575 case language_cplus:
1576 lang = vlang_cplus;
1577 break;
1578 case language_java:
1579 lang = vlang_java;
1580 break;
1581 }
1582
1583 return lang;
1584 }
1585
1586 /* Return the number of children for a given variable.
1587 The result of this function is defined by the language
1588 implementation. The number of children returned by this function
1589 is the number of children that the user will see in the variable
1590 display. */
1591 static int
1592 number_of_children (struct varobj *var)
1593 {
1594 return (*var->root->lang->number_of_children) (var);;
1595 }
1596
1597 /* What is the expression for the root varobj VAR? Returns a malloc'd string. */
1598 static char *
1599 name_of_variable (struct varobj *var)
1600 {
1601 return (*var->root->lang->name_of_variable) (var);
1602 }
1603
1604 /* What is the name of the INDEX'th child of VAR? Returns a malloc'd string. */
1605 static char *
1606 name_of_child (struct varobj *var, int index)
1607 {
1608 return (*var->root->lang->name_of_child) (var, index);
1609 }
1610
1611 /* What is the ``struct value *'' of the root variable VAR?
1612 TYPE_CHANGED controls what to do if the type of a
1613 use_selected_frame = 1 variable changes. On input,
1614 TYPE_CHANGED = 1 means discard the old varobj, and replace
1615 it with this one. TYPE_CHANGED = 0 means leave it around.
1616 NB: In both cases, var_handle will point to the new varobj,
1617 so if you use TYPE_CHANGED = 0, you will have to stash the
1618 old varobj pointer away somewhere before calling this.
1619 On return, TYPE_CHANGED will be 1 if the type has changed, and
1620 0 otherwise. */
1621 static struct value *
1622 value_of_root (struct varobj **var_handle, int *type_changed)
1623 {
1624 struct varobj *var;
1625
1626 if (var_handle == NULL)
1627 return NULL;
1628
1629 var = *var_handle;
1630
1631 /* This should really be an exception, since this should
1632 only get called with a root variable. */
1633
1634 if (var->root->rootvar != var)
1635 return NULL;
1636
1637 if (var->root->use_selected_frame)
1638 {
1639 struct varobj *tmp_var;
1640 char *old_type, *new_type;
1641 old_type = varobj_get_type (var);
1642 tmp_var = varobj_create (NULL, var->name, (CORE_ADDR) 0,
1643 USE_SELECTED_FRAME);
1644 if (tmp_var == NULL)
1645 {
1646 return NULL;
1647 }
1648 new_type = varobj_get_type (tmp_var);
1649 if (strcmp (old_type, new_type) == 0)
1650 {
1651 varobj_delete (tmp_var, NULL, 0);
1652 *type_changed = 0;
1653 }
1654 else
1655 {
1656 if (*type_changed)
1657 {
1658 tmp_var->obj_name =
1659 savestring (var->obj_name, strlen (var->obj_name));
1660 varobj_delete (var, NULL, 0);
1661 }
1662 else
1663 {
1664 tmp_var->obj_name = varobj_gen_name ();
1665 }
1666 install_variable (tmp_var);
1667 *var_handle = tmp_var;
1668 var = *var_handle;
1669 *type_changed = 1;
1670 }
1671 }
1672 else
1673 {
1674 *type_changed = 0;
1675 }
1676
1677 return (*var->root->lang->value_of_root) (var_handle);
1678 }
1679
1680 /* What is the ``struct value *'' for the INDEX'th child of PARENT? */
1681 static struct value *
1682 value_of_child (struct varobj *parent, int index)
1683 {
1684 struct value *value;
1685
1686 value = (*parent->root->lang->value_of_child) (parent, index);
1687
1688 /* If we're being lazy, fetch the real value of the variable. */
1689 if (value != NULL && value_lazy (value))
1690 {
1691 /* If we fail to fetch the value of the child, return
1692 NULL so that callers notice that we're leaving an
1693 error message. */
1694 if (!gdb_value_fetch_lazy (value))
1695 value = NULL;
1696 }
1697
1698 return value;
1699 }
1700
1701 /* What is the type of VAR? */
1702 static struct type *
1703 type_of_child (struct varobj *var)
1704 {
1705
1706 /* If the child had no evaluation errors, var->value
1707 will be non-NULL and contain a valid type. */
1708 if (var->value != NULL)
1709 return value_type (var->value);
1710
1711 /* Otherwise, we must compute the type. */
1712 return (*var->root->lang->type_of_child) (var->parent, var->index);
1713 }
1714
1715 /* Is this variable editable? Use the variable's type to make
1716 this determination. */
1717 static int
1718 variable_editable (struct varobj *var)
1719 {
1720 return (*var->root->lang->variable_editable) (var);
1721 }
1722
1723 /* GDB already has a command called "value_of_variable". Sigh. */
1724 static char *
1725 my_value_of_variable (struct varobj *var)
1726 {
1727 return (*var->root->lang->value_of_variable) (var);
1728 }
1729
1730 /* Is VAR something that can change? Depending on language,
1731 some variable's values never change. For example,
1732 struct and unions never change values. */
1733 static int
1734 type_changeable (struct varobj *var)
1735 {
1736 int r;
1737 struct type *type;
1738
1739 if (CPLUS_FAKE_CHILD (var))
1740 return 0;
1741
1742 type = get_type (var);
1743
1744 switch (TYPE_CODE (type))
1745 {
1746 case TYPE_CODE_STRUCT:
1747 case TYPE_CODE_UNION:
1748 case TYPE_CODE_ARRAY:
1749 r = 0;
1750 break;
1751
1752 default:
1753 r = 1;
1754 }
1755
1756 return r;
1757 }
1758
1759 /* C */
1760 static int
1761 c_number_of_children (struct varobj *var)
1762 {
1763 struct type *type;
1764 struct type *target;
1765 int children;
1766
1767 type = get_type (var);
1768 target = get_target_type (type);
1769 children = 0;
1770
1771 switch (TYPE_CODE (type))
1772 {
1773 case TYPE_CODE_ARRAY:
1774 if (TYPE_LENGTH (type) > 0 && TYPE_LENGTH (target) > 0
1775 && TYPE_ARRAY_UPPER_BOUND_TYPE (type) != BOUND_CANNOT_BE_DETERMINED)
1776 children = TYPE_LENGTH (type) / TYPE_LENGTH (target);
1777 else
1778 children = -1;
1779 break;
1780
1781 case TYPE_CODE_STRUCT:
1782 case TYPE_CODE_UNION:
1783 children = TYPE_NFIELDS (type);
1784 break;
1785
1786 case TYPE_CODE_PTR:
1787 /* This is where things get compilcated. All pointers have one child.
1788 Except, of course, for struct and union ptr, which we automagically
1789 dereference for the user and function ptrs, which have no children.
1790 We also don't dereference void* as we don't know what to show.
1791 We can show char* so we allow it to be dereferenced. If you decide
1792 to test for it, please mind that a little magic is necessary to
1793 properly identify it: char* has TYPE_CODE == TYPE_CODE_INT and
1794 TYPE_NAME == "char" */
1795
1796 switch (TYPE_CODE (target))
1797 {
1798 case TYPE_CODE_STRUCT:
1799 case TYPE_CODE_UNION:
1800 children = TYPE_NFIELDS (target);
1801 break;
1802
1803 case TYPE_CODE_FUNC:
1804 case TYPE_CODE_VOID:
1805 children = 0;
1806 break;
1807
1808 default:
1809 children = 1;
1810 }
1811 break;
1812
1813 default:
1814 /* Other types have no children */
1815 break;
1816 }
1817
1818 return children;
1819 }
1820
1821 static char *
1822 c_name_of_variable (struct varobj *parent)
1823 {
1824 return savestring (parent->name, strlen (parent->name));
1825 }
1826
1827 static char *
1828 c_name_of_child (struct varobj *parent, int index)
1829 {
1830 struct type *type;
1831 struct type *target;
1832 char *name;
1833 char *string;
1834
1835 type = get_type (parent);
1836 target = get_target_type (type);
1837
1838 switch (TYPE_CODE (type))
1839 {
1840 case TYPE_CODE_ARRAY:
1841 name = xstrprintf ("%d", index);
1842 break;
1843
1844 case TYPE_CODE_STRUCT:
1845 case TYPE_CODE_UNION:
1846 string = TYPE_FIELD_NAME (type, index);
1847 name = savestring (string, strlen (string));
1848 break;
1849
1850 case TYPE_CODE_PTR:
1851 switch (TYPE_CODE (target))
1852 {
1853 case TYPE_CODE_STRUCT:
1854 case TYPE_CODE_UNION:
1855 string = TYPE_FIELD_NAME (target, index);
1856 name = savestring (string, strlen (string));
1857 break;
1858
1859 default:
1860 name = xstrprintf ("*%s", parent->name);
1861 break;
1862 }
1863 break;
1864
1865 default:
1866 /* This should not happen */
1867 name = xstrdup ("???");
1868 }
1869
1870 return name;
1871 }
1872
1873 static struct value *
1874 c_value_of_root (struct varobj **var_handle)
1875 {
1876 struct value *new_val;
1877 struct varobj *var = *var_handle;
1878 struct frame_info *fi;
1879 int within_scope;
1880
1881 /* Only root variables can be updated... */
1882 if (var->root->rootvar != var)
1883 /* Not a root var */
1884 return NULL;
1885
1886
1887 /* Determine whether the variable is still around. */
1888 if (var->root->valid_block == NULL)
1889 within_scope = 1;
1890 else
1891 {
1892 reinit_frame_cache ();
1893 fi = frame_find_by_id (var->root->frame);
1894 within_scope = fi != NULL;
1895 /* FIXME: select_frame could fail */
1896 if (within_scope)
1897 select_frame (fi);
1898 }
1899
1900 if (within_scope)
1901 {
1902 /* We need to catch errors here, because if evaluate
1903 expression fails we just want to make val->error = 1 and
1904 go on */
1905 if (gdb_evaluate_expression (var->root->exp, &new_val))
1906 {
1907 if (value_lazy (new_val))
1908 {
1909 /* We need to catch errors because if
1910 value_fetch_lazy fails we still want to continue
1911 (after making val->error = 1) */
1912 /* FIXME: Shouldn't be using value_contents()? The
1913 comment on value_fetch_lazy() says it is only called
1914 from the macro... */
1915 if (!gdb_value_fetch_lazy (new_val))
1916 var->error = 1;
1917 else
1918 var->error = 0;
1919 }
1920 }
1921 else
1922 var->error = 1;
1923
1924 release_value (new_val);
1925 return new_val;
1926 }
1927
1928 return NULL;
1929 }
1930
1931 static struct value *
1932 c_value_of_child (struct varobj *parent, int index)
1933 {
1934 struct value *value;
1935 struct value *temp;
1936 struct value *indval;
1937 struct type *type, *target;
1938 char *name;
1939
1940 type = get_type (parent);
1941 target = get_target_type (type);
1942 name = name_of_child (parent, index);
1943 temp = parent->value;
1944 value = NULL;
1945
1946 if (temp != NULL)
1947 {
1948 switch (TYPE_CODE (type))
1949 {
1950 case TYPE_CODE_ARRAY:
1951 #if 0
1952 /* This breaks if the array lives in a (vector) register. */
1953 value = value_slice (temp, index, 1);
1954 temp = value_coerce_array (value);
1955 gdb_value_ind (temp, &value);
1956 #else
1957 indval = value_from_longest (builtin_type_int, (LONGEST) index);
1958 gdb_value_subscript (temp, indval, &value);
1959 #endif
1960 break;
1961
1962 case TYPE_CODE_STRUCT:
1963 case TYPE_CODE_UNION:
1964 gdb_value_struct_elt (NULL, &value, &temp, NULL, name, NULL,
1965 "vstructure");
1966 break;
1967
1968 case TYPE_CODE_PTR:
1969 switch (TYPE_CODE (target))
1970 {
1971 case TYPE_CODE_STRUCT:
1972 case TYPE_CODE_UNION:
1973 gdb_value_struct_elt (NULL, &value, &temp, NULL, name, NULL,
1974 "vstructure");
1975 break;
1976
1977 default:
1978 gdb_value_ind (temp, &value);
1979 break;
1980 }
1981 break;
1982
1983 default:
1984 break;
1985 }
1986 }
1987
1988 if (value != NULL)
1989 release_value (value);
1990
1991 xfree (name);
1992 return value;
1993 }
1994
1995 static struct type *
1996 c_type_of_child (struct varobj *parent, int index)
1997 {
1998 struct type *type;
1999 char *name = name_of_child (parent, index);
2000
2001 switch (TYPE_CODE (parent->type))
2002 {
2003 case TYPE_CODE_ARRAY:
2004 type = get_target_type (parent->type);
2005 break;
2006
2007 case TYPE_CODE_STRUCT:
2008 case TYPE_CODE_UNION:
2009 type = lookup_struct_elt_type (parent->type, name, 0);
2010 break;
2011
2012 case TYPE_CODE_PTR:
2013 switch (TYPE_CODE (get_target_type (parent->type)))
2014 {
2015 case TYPE_CODE_STRUCT:
2016 case TYPE_CODE_UNION:
2017 type = lookup_struct_elt_type (parent->type, name, 0);
2018 break;
2019
2020 default:
2021 type = get_target_type (parent->type);
2022 break;
2023 }
2024 break;
2025
2026 default:
2027 /* This should not happen as only the above types have children */
2028 warning ("Child of parent whose type does not allow children");
2029 /* FIXME: Can we still go on? */
2030 type = NULL;
2031 break;
2032 }
2033
2034 xfree (name);
2035 return type;
2036 }
2037
2038 static int
2039 c_variable_editable (struct varobj *var)
2040 {
2041 switch (TYPE_CODE (get_type (var)))
2042 {
2043 case TYPE_CODE_STRUCT:
2044 case TYPE_CODE_UNION:
2045 case TYPE_CODE_ARRAY:
2046 case TYPE_CODE_FUNC:
2047 case TYPE_CODE_MEMBER:
2048 case TYPE_CODE_METHOD:
2049 return 0;
2050 break;
2051
2052 default:
2053 return 1;
2054 break;
2055 }
2056 }
2057
2058 static char *
2059 c_value_of_variable (struct varobj *var)
2060 {
2061 /* BOGUS: if val_print sees a struct/class, it will print out its
2062 children instead of "{...}" */
2063
2064 switch (TYPE_CODE (get_type (var)))
2065 {
2066 case TYPE_CODE_STRUCT:
2067 case TYPE_CODE_UNION:
2068 return xstrdup ("{...}");
2069 /* break; */
2070
2071 case TYPE_CODE_ARRAY:
2072 {
2073 char *number;
2074 number = xstrprintf ("[%d]", var->num_children);
2075 return (number);
2076 }
2077 /* break; */
2078
2079 default:
2080 {
2081 if (var->value == NULL)
2082 {
2083 /* This can happen if we attempt to get the value of a struct
2084 member when the parent is an invalid pointer. This is an
2085 error condition, so we should tell the caller. */
2086 return NULL;
2087 }
2088 else
2089 {
2090 long dummy;
2091 struct ui_file *stb = mem_fileopen ();
2092 struct cleanup *old_chain = make_cleanup_ui_file_delete (stb);
2093 char *thevalue;
2094
2095 if (value_lazy (var->value))
2096 gdb_value_fetch_lazy (var->value);
2097 val_print (value_type (var->value),
2098 value_contents_raw (var->value), 0,
2099 VALUE_ADDRESS (var->value), stb,
2100 format_code[(int) var->format], 1, 0, 0);
2101 thevalue = ui_file_xstrdup (stb, &dummy);
2102 do_cleanups (old_chain);
2103 return thevalue;
2104 }
2105 }
2106 }
2107 }
2108 \f
2109
2110 /* C++ */
2111
2112 static int
2113 cplus_number_of_children (struct varobj *var)
2114 {
2115 struct type *type;
2116 int children, dont_know;
2117
2118 dont_know = 1;
2119 children = 0;
2120
2121 if (!CPLUS_FAKE_CHILD (var))
2122 {
2123 type = get_type_deref (var);
2124
2125 if (((TYPE_CODE (type)) == TYPE_CODE_STRUCT) ||
2126 ((TYPE_CODE (type)) == TYPE_CODE_UNION))
2127 {
2128 int kids[3];
2129
2130 cplus_class_num_children (type, kids);
2131 if (kids[v_public] != 0)
2132 children++;
2133 if (kids[v_private] != 0)
2134 children++;
2135 if (kids[v_protected] != 0)
2136 children++;
2137
2138 /* Add any baseclasses */
2139 children += TYPE_N_BASECLASSES (type);
2140 dont_know = 0;
2141
2142 /* FIXME: save children in var */
2143 }
2144 }
2145 else
2146 {
2147 int kids[3];
2148
2149 type = get_type_deref (var->parent);
2150
2151 cplus_class_num_children (type, kids);
2152 if (strcmp (var->name, "public") == 0)
2153 children = kids[v_public];
2154 else if (strcmp (var->name, "private") == 0)
2155 children = kids[v_private];
2156 else
2157 children = kids[v_protected];
2158 dont_know = 0;
2159 }
2160
2161 if (dont_know)
2162 children = c_number_of_children (var);
2163
2164 return children;
2165 }
2166
2167 /* Compute # of public, private, and protected variables in this class.
2168 That means we need to descend into all baseclasses and find out
2169 how many are there, too. */
2170 static void
2171 cplus_class_num_children (struct type *type, int children[3])
2172 {
2173 int i;
2174
2175 children[v_public] = 0;
2176 children[v_private] = 0;
2177 children[v_protected] = 0;
2178
2179 for (i = TYPE_N_BASECLASSES (type); i < TYPE_NFIELDS (type); i++)
2180 {
2181 /* If we have a virtual table pointer, omit it. */
2182 if (TYPE_VPTR_BASETYPE (type) == type && TYPE_VPTR_FIELDNO (type) == i)
2183 continue;
2184
2185 if (TYPE_FIELD_PROTECTED (type, i))
2186 children[v_protected]++;
2187 else if (TYPE_FIELD_PRIVATE (type, i))
2188 children[v_private]++;
2189 else
2190 children[v_public]++;
2191 }
2192 }
2193
2194 static char *
2195 cplus_name_of_variable (struct varobj *parent)
2196 {
2197 return c_name_of_variable (parent);
2198 }
2199
2200 static char *
2201 cplus_name_of_child (struct varobj *parent, int index)
2202 {
2203 char *name;
2204 struct type *type;
2205
2206 if (CPLUS_FAKE_CHILD (parent))
2207 {
2208 /* Looking for children of public, private, or protected. */
2209 type = get_type_deref (parent->parent);
2210 }
2211 else
2212 type = get_type_deref (parent);
2213
2214 name = NULL;
2215 switch (TYPE_CODE (type))
2216 {
2217 case TYPE_CODE_STRUCT:
2218 case TYPE_CODE_UNION:
2219 if (CPLUS_FAKE_CHILD (parent))
2220 {
2221 /* The fields of the class type are ordered as they
2222 appear in the class. We are given an index for a
2223 particular access control type ("public","protected",
2224 or "private"). We must skip over fields that don't
2225 have the access control we are looking for to properly
2226 find the indexed field. */
2227 int type_index = TYPE_N_BASECLASSES (type);
2228 if (strcmp (parent->name, "private") == 0)
2229 {
2230 while (index >= 0)
2231 {
2232 if (TYPE_VPTR_BASETYPE (type) == type
2233 && type_index == TYPE_VPTR_FIELDNO (type))
2234 ; /* ignore vptr */
2235 else if (TYPE_FIELD_PRIVATE (type, type_index))
2236 --index;
2237 ++type_index;
2238 }
2239 --type_index;
2240 }
2241 else if (strcmp (parent->name, "protected") == 0)
2242 {
2243 while (index >= 0)
2244 {
2245 if (TYPE_VPTR_BASETYPE (type) == type
2246 && type_index == TYPE_VPTR_FIELDNO (type))
2247 ; /* ignore vptr */
2248 else if (TYPE_FIELD_PROTECTED (type, type_index))
2249 --index;
2250 ++type_index;
2251 }
2252 --type_index;
2253 }
2254 else
2255 {
2256 while (index >= 0)
2257 {
2258 if (TYPE_VPTR_BASETYPE (type) == type
2259 && type_index == TYPE_VPTR_FIELDNO (type))
2260 ; /* ignore vptr */
2261 else if (!TYPE_FIELD_PRIVATE (type, type_index) &&
2262 !TYPE_FIELD_PROTECTED (type, type_index))
2263 --index;
2264 ++type_index;
2265 }
2266 --type_index;
2267 }
2268
2269 name = TYPE_FIELD_NAME (type, type_index);
2270 }
2271 else if (index < TYPE_N_BASECLASSES (type))
2272 /* We are looking up the name of a base class */
2273 name = TYPE_FIELD_NAME (type, index);
2274 else
2275 {
2276 int children[3];
2277 cplus_class_num_children(type, children);
2278
2279 /* Everything beyond the baseclasses can
2280 only be "public", "private", or "protected"
2281
2282 The special "fake" children are always output by varobj in
2283 this order. So if INDEX == 2, it MUST be "protected". */
2284 index -= TYPE_N_BASECLASSES (type);
2285 switch (index)
2286 {
2287 case 0:
2288 if (children[v_public] > 0)
2289 name = "public";
2290 else if (children[v_private] > 0)
2291 name = "private";
2292 else
2293 name = "protected";
2294 break;
2295 case 1:
2296 if (children[v_public] > 0)
2297 {
2298 if (children[v_private] > 0)
2299 name = "private";
2300 else
2301 name = "protected";
2302 }
2303 else if (children[v_private] > 0)
2304 name = "protected";
2305 break;
2306 case 2:
2307 /* Must be protected */
2308 name = "protected";
2309 break;
2310 default:
2311 /* error! */
2312 break;
2313 }
2314 }
2315 break;
2316
2317 default:
2318 break;
2319 }
2320
2321 if (name == NULL)
2322 return c_name_of_child (parent, index);
2323 else
2324 {
2325 if (name != NULL)
2326 name = savestring (name, strlen (name));
2327 }
2328
2329 return name;
2330 }
2331
2332 static struct value *
2333 cplus_value_of_root (struct varobj **var_handle)
2334 {
2335 return c_value_of_root (var_handle);
2336 }
2337
2338 static struct value *
2339 cplus_value_of_child (struct varobj *parent, int index)
2340 {
2341 struct type *type;
2342 struct value *value;
2343
2344 if (CPLUS_FAKE_CHILD (parent))
2345 type = get_type_deref (parent->parent);
2346 else
2347 type = get_type_deref (parent);
2348
2349 value = NULL;
2350
2351 if (((TYPE_CODE (type)) == TYPE_CODE_STRUCT) ||
2352 ((TYPE_CODE (type)) == TYPE_CODE_UNION))
2353 {
2354 if (CPLUS_FAKE_CHILD (parent))
2355 {
2356 char *name;
2357 struct value *temp = parent->parent->value;
2358
2359 if (temp == NULL)
2360 return NULL;
2361
2362 name = name_of_child (parent, index);
2363 gdb_value_struct_elt (NULL, &value, &temp, NULL, name, NULL,
2364 "cplus_structure");
2365 if (value != NULL)
2366 release_value (value);
2367
2368 xfree (name);
2369 }
2370 else if (index >= TYPE_N_BASECLASSES (type))
2371 {
2372 /* public, private, or protected */
2373 return NULL;
2374 }
2375 else
2376 {
2377 /* Baseclass */
2378 if (parent->value != NULL)
2379 {
2380 struct value *temp = NULL;
2381
2382 if (TYPE_CODE (value_type (parent->value)) == TYPE_CODE_PTR
2383 || TYPE_CODE (value_type (parent->value)) == TYPE_CODE_REF)
2384 {
2385 if (!gdb_value_ind (parent->value, &temp))
2386 return NULL;
2387 }
2388 else
2389 temp = parent->value;
2390
2391 if (temp != NULL)
2392 {
2393 value = value_cast (TYPE_FIELD_TYPE (type, index), temp);
2394 release_value (value);
2395 }
2396 else
2397 {
2398 /* We failed to evaluate the parent's value, so don't even
2399 bother trying to evaluate this child. */
2400 return NULL;
2401 }
2402 }
2403 }
2404 }
2405
2406 if (value == NULL)
2407 return c_value_of_child (parent, index);
2408
2409 return value;
2410 }
2411
2412 static struct type *
2413 cplus_type_of_child (struct varobj *parent, int index)
2414 {
2415 struct type *type, *t;
2416
2417 if (CPLUS_FAKE_CHILD (parent))
2418 {
2419 /* Looking for the type of a child of public, private, or protected. */
2420 t = get_type_deref (parent->parent);
2421 }
2422 else
2423 t = get_type_deref (parent);
2424
2425 type = NULL;
2426 switch (TYPE_CODE (t))
2427 {
2428 case TYPE_CODE_STRUCT:
2429 case TYPE_CODE_UNION:
2430 if (CPLUS_FAKE_CHILD (parent))
2431 {
2432 char *name = cplus_name_of_child (parent, index);
2433 type = lookup_struct_elt_type (t, name, 0);
2434 xfree (name);
2435 }
2436 else if (index < TYPE_N_BASECLASSES (t))
2437 type = TYPE_FIELD_TYPE (t, index);
2438 else
2439 {
2440 /* special */
2441 return NULL;
2442 }
2443 break;
2444
2445 default:
2446 break;
2447 }
2448
2449 if (type == NULL)
2450 return c_type_of_child (parent, index);
2451
2452 return type;
2453 }
2454
2455 static int
2456 cplus_variable_editable (struct varobj *var)
2457 {
2458 if (CPLUS_FAKE_CHILD (var))
2459 return 0;
2460
2461 return c_variable_editable (var);
2462 }
2463
2464 static char *
2465 cplus_value_of_variable (struct varobj *var)
2466 {
2467
2468 /* If we have one of our special types, don't print out
2469 any value. */
2470 if (CPLUS_FAKE_CHILD (var))
2471 return xstrdup ("");
2472
2473 return c_value_of_variable (var);
2474 }
2475 \f
2476 /* Java */
2477
2478 static int
2479 java_number_of_children (struct varobj *var)
2480 {
2481 return cplus_number_of_children (var);
2482 }
2483
2484 static char *
2485 java_name_of_variable (struct varobj *parent)
2486 {
2487 char *p, *name;
2488
2489 name = cplus_name_of_variable (parent);
2490 /* If the name has "-" in it, it is because we
2491 needed to escape periods in the name... */
2492 p = name;
2493
2494 while (*p != '\000')
2495 {
2496 if (*p == '-')
2497 *p = '.';
2498 p++;
2499 }
2500
2501 return name;
2502 }
2503
2504 static char *
2505 java_name_of_child (struct varobj *parent, int index)
2506 {
2507 char *name, *p;
2508
2509 name = cplus_name_of_child (parent, index);
2510 /* Escape any periods in the name... */
2511 p = name;
2512
2513 while (*p != '\000')
2514 {
2515 if (*p == '.')
2516 *p = '-';
2517 p++;
2518 }
2519
2520 return name;
2521 }
2522
2523 static struct value *
2524 java_value_of_root (struct varobj **var_handle)
2525 {
2526 return cplus_value_of_root (var_handle);
2527 }
2528
2529 static struct value *
2530 java_value_of_child (struct varobj *parent, int index)
2531 {
2532 return cplus_value_of_child (parent, index);
2533 }
2534
2535 static struct type *
2536 java_type_of_child (struct varobj *parent, int index)
2537 {
2538 return cplus_type_of_child (parent, index);
2539 }
2540
2541 static int
2542 java_variable_editable (struct varobj *var)
2543 {
2544 return cplus_variable_editable (var);
2545 }
2546
2547 static char *
2548 java_value_of_variable (struct varobj *var)
2549 {
2550 return cplus_value_of_variable (var);
2551 }
2552 \f
2553 extern void _initialize_varobj (void);
2554 void
2555 _initialize_varobj (void)
2556 {
2557 int sizeof_table = sizeof (struct vlist *) * VAROBJ_TABLE_SIZE;
2558
2559 varobj_table = xmalloc (sizeof_table);
2560 memset (varobj_table, 0, sizeof_table);
2561
2562 deprecated_add_show_from_set (add_set_cmd ("debugvarobj", class_maintenance, var_zinteger, (char *) &varobjdebug, "Set varobj debugging.\n\
2563 When non-zero, varobj debugging is enabled.", &setlist),
2564 &showlist);
2565 }
This page took 0.080645 seconds and 4 git commands to generate.