@sdeverywhere/check-ui-shell 0.2.25 → 0.2.27

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/dist/index.d.ts CHANGED
@@ -1,102 +1,105 @@
1
- import { SuiteSummary, ConfigOptions } from '@sdeverywhere/check-core';
2
-
1
+ import { ConfigOptions, SuiteSummary } from "@sdeverywhere/check-core";
2
+ //#region src/components/bundle/bundle-spec.d.ts
3
3
  /**
4
4
  * Describes the location of a model-check bundle file.
5
5
  */
6
6
  interface BundleLocation {
7
- /** The URL for the bundle JS file. */
8
- url: string;
9
- /** The display name of the bundle. */
10
- name: string;
11
- /** The last modified date of the bundle in ISO 8601 format. */
12
- lastModified: string;
7
+ /** The URL for the bundle JS file. */
8
+ url: string;
9
+ /** The display name of the bundle. */
10
+ name: string;
11
+ /** The last modified date of the bundle in ISO 8601 format. */
12
+ lastModified: string;
13
13
  }
14
14
  /**
15
15
  * Describes a model-check bundle file that can be loaded from the network or from a local file.
16
16
  */
17
17
  interface BundleSpec {
18
- /** The remote location of the bundle file. */
19
- remote?: BundleLocation;
20
- /** The local location of the bundle file. */
21
- local?: BundleLocation;
18
+ /** The remote location of the bundle file. */
19
+ remote?: BundleLocation;
20
+ /** The local location of the bundle file. */
21
+ local?: BundleLocation;
22
22
  }
23
-
23
+ //#endregion
24
+ //#region src/components/bundle/bundle-selector-config.d.ts
24
25
  /**
25
26
  * Configuration options for the `BundleSelector` component.
26
27
  */
27
28
  interface BundleSelectorConfig {
28
- /**
29
- * The URL of the initial "left" bundle.
30
- */
31
- bundleUrlL?: string;
32
- /**
33
- * The URL of the initial "right" bundle.
34
- */
35
- bundleUrlR?: string;
36
- /**
37
- * Optional URL to a JSON file containing the list of remote bundles.
38
- *
39
- * The URL should point to a JSON file that contains an array of `BundleLocation` objects.
40
- */
41
- remoteBundlesUrl?: string;
42
- /**
43
- * Get the list of locally available bundles.
44
- *
45
- * This function is invoked when the bundle selector is initialized to fetch the list of bundles
46
- * that are available in the local bundles directory.
47
- *
48
- * @returns A promise that resolves to an array of bundle locations.
49
- */
50
- getLocalBundles?: () => Promise<BundleLocation[]>;
51
- /**
52
- * Download a remote bundle from the network to the local bundles directory.
53
- *
54
- * This function is invoked when the user clicks the download button for a bundle in the bundle selector.
55
- * The implementation should fetch the bundle's JS file from the remote URL and save it to the local
56
- * bundles directory.
57
- *
58
- * @param bundle The bundle to download.
59
- */
60
- downloadBundle?: (bundle: BundleSpec) => void;
61
- /**
62
- * Copy a local bundle file to a new name.
63
- *
64
- * This function is invoked when the user clicks the copy button for a bundle in the bundle selector.
65
- * The implementation should copy the bundle file to the local bundle directory with the new name.
66
- *
67
- * @param bundle The bundle to copy.
68
- * @param newName The new name for the copied bundle.
69
- */
70
- copyBundle?: (bundle: BundleSpec, newName: string) => void;
71
- /**
72
- * Add a listener that is notified when there are file system changes detected in the
73
- * local bundles directory.
74
- *
75
- * This function is invoked when the bundle selector is initialized. The implementation should
76
- * register the given listener function, which will be invoked when there are file system changes.
77
- *
78
- * @param listener The function to invoke when there are file system changes detected in the
79
- * local bundles directory.
80
- */
81
- onBundlesChanged?: (listener: () => void) => void;
29
+ /**
30
+ * The URL of the initial "left" bundle.
31
+ */
32
+ bundleUrlL?: string;
33
+ /**
34
+ * The URL of the initial "right" bundle.
35
+ */
36
+ bundleUrlR?: string;
37
+ /**
38
+ * Optional URL to a JSON file containing the list of remote bundles.
39
+ *
40
+ * The URL should point to a JSON file that contains an array of `BundleLocation` objects.
41
+ */
42
+ remoteBundlesUrl?: string;
43
+ /**
44
+ * Get the list of locally available bundles.
45
+ *
46
+ * This function is invoked when the bundle selector is initialized to fetch the list of bundles
47
+ * that are available in the local bundles directory.
48
+ *
49
+ * @returns A promise that resolves to an array of bundle locations.
50
+ */
51
+ getLocalBundles?: () => Promise<BundleLocation[]>;
52
+ /**
53
+ * Download a remote bundle from the network to the local bundles directory.
54
+ *
55
+ * This function is invoked when the user clicks the download button for a bundle in the bundle selector.
56
+ * The implementation should fetch the bundle's JS file from the remote URL and save it to the local
57
+ * bundles directory.
58
+ *
59
+ * @param bundle The bundle to download.
60
+ */
61
+ downloadBundle?: (bundle: BundleSpec) => void;
62
+ /**
63
+ * Copy a local bundle file to a new name.
64
+ *
65
+ * This function is invoked when the user clicks the copy button for a bundle in the bundle selector.
66
+ * The implementation should copy the bundle file to the local bundle directory with the new name.
67
+ *
68
+ * @param bundle The bundle to copy.
69
+ * @param newName The new name for the copied bundle.
70
+ */
71
+ copyBundle?: (bundle: BundleSpec, newName: string) => void;
72
+ /**
73
+ * Add a listener that is notified when there are file system changes detected in the
74
+ * local bundles directory.
75
+ *
76
+ * This function is invoked when the bundle selector is initialized. The implementation should
77
+ * register the given listener function, which will be invoked when there are file system changes.
78
+ *
79
+ * @param listener The function to invoke when there are file system changes detected in the
80
+ * local bundles directory.
81
+ */
82
+ onBundlesChanged?: (listener: () => void) => void;
82
83
  }
83
-
84
+ //#endregion
85
+ //#region src/app-shell-options.d.ts
84
86
  interface AppShellOptions {
85
- /** The ID of the container element that will host the app shell (default is 'app-shell-container'). */
86
- containerId?: string;
87
- /**
88
- * An object containing the results of a model-check run. This is used when generating a report
89
- * that already has the test results available so that they don't need to be run again when the
90
- * user opens the report in the browser.
91
- */
92
- suiteSummary?: SuiteSummary;
93
- /**
94
- * The options used to configure the bundle selector component. This is only used in local
95
- * development mode and will be ignored when building for production.
96
- */
97
- bundleSelectorConfig?: BundleSelectorConfig;
87
+ /** The ID of the container element that will host the app shell (default is 'app-shell-container'). */
88
+ containerId?: string;
89
+ /**
90
+ * An object containing the results of a model-check run. This is used when generating a report
91
+ * that already has the test results available so that they don't need to be run again when the
92
+ * user opens the report in the browser.
93
+ */
94
+ suiteSummary?: SuiteSummary;
95
+ /**
96
+ * The options used to configure the bundle selector component. This is only used in local
97
+ * development mode and will be ignored when building for production.
98
+ */
99
+ bundleSelectorConfig?: BundleSelectorConfig;
98
100
  }
99
-
100
- declare function initAppShell(configOptions: ConfigOptions, appShellOptions?: AppShellOptions): void;
101
-
102
- export { type AppShellOptions, type BundleLocation, type BundleSelectorConfig, type BundleSpec, initAppShell };
101
+ //#endregion
102
+ //#region src/app-init.d.ts
103
+ export declare function initAppShell(configOptions: ConfigOptions, appShellOptions?: AppShellOptions): void;
104
+ //#endregion
105
+ export type { AppShellOptions, BundleLocation, BundleSelectorConfig, BundleSpec };