Function decodeJsonPointerToken

ui/src/protocol/path-resolver.ts:69–71

(token: string)

 * @returns 解码后的路径段
 */
export function decodeJsonPointerToken(token: string): string {
  return token.replace(/~1/g, '/').replace(/~0/g, '~');
}

/**
 * 编码 JSON Pointer 转义字符