Function toJsonPointer

ui/src/protocol/path-resolver.ts:121–126

(tokens: string[])

 * @returns JSON Pointer 路径
 */
export function toJsonPointer(tokens: string[]): string {
  if (tokens.length === 0) {
    return '';
  }
  return '/' + tokens.map(encodeJsonPointerToken).join('/');
}

/**
 * 解析相对路径