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;
}
