dist/gdb/ada-tasks.c

225   /* When nonzero, this flag indicates that the task_list field
237   std::vector<ada_task_info> task_list;
309   for (int i = 0; i < data->task_list.size (); i++)
310     if (data->task_list[i].ptid == thread->ptid)
324   for (int i = 0; i < data->task_list.size (); i++)
326       if (data->task_list[i].task_id == task_id)
343   return task_num > 0 && task_num <= data->task_list.size ();
366   for (ada_task_info &task : data->task_list)
386   for (ada_task_info &task : data->task_list)
794   data->task_list.push_back (task_info);
967   data->task_list.clear ();
993 /* Build the task_list by reading the Known_Tasks array from
1009   return data->task_list.size ();
1053       if (taskno_arg > 0 && taskno_arg <= data->task_list.size ())
1059     nb_tasks = data->task_list.size ();
1071 	for (taskno = 1; taskno <= data->task_list.size (); taskno++)
1074 	      = &data->task_list[taskno - 1];
1099   for (taskno = 1; taskno <= data->task_list.size (); taskno++)
1102 	&data->task_list[taskno - 1];
1202   if (taskno <= 0 || taskno > data->task_list.size ())
1205   task_info = &data->task_list[taskno - 1];
1230       struct ada_task_info *parent = &data->task_list[parent_taskno - 1];
1264         ada_task_info *target_task_info = &data->task_list[target_taskno - 1];
1305       struct ada_task_info *task_info = &data->task_list[current_task - 1];
1322   if (taskno <= 0 || taskno > data->task_list.size ())
1325   task_info = &data->task_list[taskno - 1];
1420      our task_list needs to be recomputed before it can be used again.  */