static void display_section (gchar *path) { GList *boardlist; /* List of Board */ menu_displayed = FALSE; boardlist = gc_menu_getlist(path); if (actualSectionItem) goo_canvas_item_remove(actualSectionItem); current_x = 0.0; current_y = 0.0; current_top_x = 0.0; current_top_y = 0.0; actualSectionItem = goo_canvas_group_new (boardRootItem, NULL); create_top (actualSectionItem, path); g_list_foreach (boardlist, (GFunc) display_board_icon, menuitems); if (strcmp(path,"home")!=0) g_list_free(boardlist); menu_displayed = TRUE; }
struct node_top* alloc2(void) { struct node_top *pi = create_top(); #ifdef PREDATOR pi->data = create_low(); pi->data->next = create_low(); #else // a special quirk for tools that are not ready for real-world code sources struct node_low *help = create_low(); pi->data = help; help->next = create_low(); #endif return pi; }
struct node_top* alloc(void) { struct node_top *pi = create_top(); if (get_nondet()) return pi; pi->data = create_low(); while (get_nondet()) { struct node_low *low = create_low(); low->next = pi->data; low->next->prev = low; pi->data = low; } return pi; }
struct node_top* alloc1(void) { struct node_top *pi = create_top(); pi->data = create_low(); return pi; }