Function encodeJsonPointerToken

ui/src/protocol/path-resolver.ts:83–85

(token: string)

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

/**
 * 解析 JSON Pointer 路径为路径段数组