name method

String name(int index)

Implementation

String name(int index) {
  return prs.name(index);
}