diff options
author | Nayeem Rahman <nayeemrmn99@gmail.com> | 2020-04-28 15:43:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-28 16:43:58 +0200 |
commit | 76ee6fb335f2ad779402e746d81c72f6c87614d9 (patch) | |
tree | 35db9de39891e4ec81251d9e27301f72bf5fe755 /cli/js/permissions.ts | |
parent | 927a771fa438ed9833a82fd87521bef50f4b4adc (diff) |
refactor(cli/js/permissions): Split read and write permission descriptors (#4774)
Diffstat (limited to 'cli/js/permissions.ts')
-rw-r--r-- | cli/js/permissions.ts | 30 |
1 files changed, 21 insertions, 9 deletions
diff --git a/cli/js/permissions.ts b/cli/js/permissions.ts index 8c2025319..03c7b763d 100644 --- a/cli/js/permissions.ts +++ b/cli/js/permissions.ts @@ -13,29 +13,41 @@ export type PermissionName = export type PermissionState = "granted" | "denied" | "prompt"; -interface RunPermissionDescriptor { +export interface RunPermissionDescriptor { name: "run"; } -interface ReadWritePermissionDescriptor { - name: "read" | "write"; + +export interface ReadPermissionDescriptor { + name: "read"; path?: string; } -interface NetPermissionDescriptor { + +export interface WritePermissionDescriptor { + name: "write"; + path?: string; +} + +export interface NetPermissionDescriptor { name: "net"; url?: string; } -interface EnvPermissionDescriptor { + +export interface EnvPermissionDescriptor { name: "env"; } -interface PluginPermissionDescriptor { + +export interface PluginPermissionDescriptor { name: "plugin"; } -interface HrtimePermissionDescriptor { + +export interface HrtimePermissionDescriptor { name: "hrtime"; } -type PermissionDescriptor = + +export type PermissionDescriptor = | RunPermissionDescriptor - | ReadWritePermissionDescriptor + | ReadPermissionDescriptor + | WritePermissionDescriptor | NetPermissionDescriptor | EnvPermissionDescriptor | PluginPermissionDescriptor |