@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 +88 -85
- package/dist/index.js +8228 -10563
- package/dist/style.css +2 -1
- package/package.json +5 -5
package/dist/index.d.ts
CHANGED
|
@@ -1,102 +1,105 @@
|
|
|
1
|
-
import {
|
|
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
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
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
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
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
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
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
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
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
|
-
|
|
101
|
-
|
|
102
|
-
|
|
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 };
|