chrome-devtools-frontend
Version:
Chrome DevTools UI
38 lines (34 loc) • 1.07 kB
text/typescript
// Copyright 2021 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
class UrlStringTag {
private urlTag: (string|undefined);
}
/**
* File paths in DevTools that are represented as URLs
* @example
* “file:///Hello%20World/file/js”
*/
export type UrlString = string&UrlStringTag;
export const EmptyUrlString = '' as UrlString;
class RawPathStringTag {
private rawPathTag: (string|undefined);
}
/**
* File paths in DevTools that are represented as unencoded absolute
* or relative paths
* @example
* “/Hello World/file.js”
*/
export type RawPathString = string&RawPathStringTag;
export const EmptyRawPathString = '' as RawPathString;
class EncodedPathStringTag {
private encodedPathTag: (string|undefined);
}
/**
* File paths in DevTools that are represented as encoded paths
* @example
* “/Hello%20World/file.js”
*/
export type EncodedPathString = string&EncodedPathStringTag;
export const EmptyEncodedPathString = '' as EncodedPathString;