unescapeName function

String unescapeName (String name)

Implementation

String unescapeName(String name) {
  if (isEscapedName(name)) {
    return name.substring(1, name.length - 1);
  }
  return name;
}