ihsm 0.0.26 → 0.1.1
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/README.md +105 -113
- package/lib/cjs/index.d.ts +5 -1394
- package/lib/cjs/index.js +53 -764
- package/lib/cjs/index.js.map +1 -1
- package/lib/cjs/internal/runtime.d.ts +293 -0
- package/lib/cjs/internal/runtime.js +1906 -0
- package/lib/cjs/internal/runtime.js.map +1 -0
- package/lib/cjs/internal/types.d.ts +348 -0
- package/lib/cjs/internal/types.js +9 -0
- package/lib/cjs/internal/types.js.map +1 -0
- package/lib/cjs/test-only.d.ts +5 -0
- package/lib/cjs/test-only.js +21 -0
- package/lib/cjs/test-only.js.map +1 -0
- package/lib/cjs/testing.d.ts +38 -91
- package/lib/cjs/testing.js +72 -38
- package/lib/cjs/testing.js.map +1 -1
- package/lib/cjs/transition-routines.d.ts +3 -0
- package/lib/cjs/transition-routines.js +11 -0
- package/lib/cjs/transition-routines.js.map +1 -0
- package/lib/cjs/types.d.ts +5 -0
- package/lib/cjs/{internal/defs.private.js → types.js} +1 -1
- package/lib/cjs/types.js.map +1 -0
- package/lib/esm/index.d.ts +5 -1394
- package/lib/esm/index.js +3 -742
- package/lib/esm/index.js.map +1 -1
- package/lib/esm/internal/runtime.d.ts +293 -0
- package/lib/esm/internal/runtime.js +1847 -0
- package/lib/esm/internal/runtime.js.map +1 -0
- package/lib/esm/internal/types.d.ts +348 -0
- package/lib/esm/internal/types.js +6 -0
- package/lib/esm/internal/types.js.map +1 -0
- package/lib/esm/test-only.d.ts +5 -0
- package/lib/esm/test-only.js +15 -0
- package/lib/esm/test-only.js.map +1 -0
- package/lib/esm/testing.d.ts +38 -91
- package/lib/esm/testing.js +72 -38
- package/lib/esm/testing.js.map +1 -1
- package/lib/esm/transition-routines.d.ts +3 -0
- package/lib/esm/transition-routines.js +3 -0
- package/lib/esm/transition-routines.js.map +1 -0
- package/lib/esm/types.d.ts +5 -0
- package/lib/esm/types.js +2 -0
- package/lib/esm/types.js.map +1 -0
- package/package.json +22 -4
- package/lib/cjs/internal/defs.private.d.ts +0 -41
- package/lib/cjs/internal/defs.private.js.map +0 -1
- package/lib/cjs/internal/dispatch.debug.d.ts +0 -4
- package/lib/cjs/internal/dispatch.debug.js +0 -332
- package/lib/cjs/internal/dispatch.debug.js.map +0 -1
- package/lib/cjs/internal/dispatch.production.d.ts +0 -6
- package/lib/cjs/internal/dispatch.production.js +0 -241
- package/lib/cjs/internal/dispatch.production.js.map +0 -1
- package/lib/cjs/internal/dispatch.trace.d.ts +0 -4
- package/lib/cjs/internal/dispatch.trace.js +0 -418
- package/lib/cjs/internal/dispatch.trace.js.map +0 -1
- package/lib/cjs/internal/hsm.d.ts +0 -60
- package/lib/cjs/internal/hsm.js +0 -215
- package/lib/cjs/internal/hsm.js.map +0 -1
- package/lib/cjs/internal/lookup.d.ts +0 -15
- package/lib/cjs/internal/lookup.js +0 -32
- package/lib/cjs/internal/lookup.js.map +0 -1
- package/lib/cjs/internal/utils.d.ts +0 -26
- package/lib/cjs/internal/utils.js +0 -63
- package/lib/cjs/internal/utils.js.map +0 -1
- package/lib/esm/internal/defs.private.d.ts +0 -41
- package/lib/esm/internal/defs.private.js +0 -2
- package/lib/esm/internal/defs.private.js.map +0 -1
- package/lib/esm/internal/dispatch.debug.d.ts +0 -4
- package/lib/esm/internal/dispatch.debug.js +0 -328
- package/lib/esm/internal/dispatch.debug.js.map +0 -1
- package/lib/esm/internal/dispatch.production.d.ts +0 -6
- package/lib/esm/internal/dispatch.production.js +0 -237
- package/lib/esm/internal/dispatch.production.js.map +0 -1
- package/lib/esm/internal/dispatch.trace.d.ts +0 -4
- package/lib/esm/internal/dispatch.trace.js +0 -414
- package/lib/esm/internal/dispatch.trace.js.map +0 -1
- package/lib/esm/internal/hsm.d.ts +0 -60
- package/lib/esm/internal/hsm.js +0 -211
- package/lib/esm/internal/hsm.js.map +0 -1
- package/lib/esm/internal/lookup.d.ts +0 -15
- package/lib/esm/internal/lookup.js +0 -29
- package/lib/esm/internal/lookup.js.map +0 -1
- package/lib/esm/internal/utils.d.ts +0 -26
- package/lib/esm/internal/utils.js +0 -52
- package/lib/esm/internal/utils.js.map +0 -1
package/lib/cjs/testing.d.ts
CHANGED
|
@@ -6,7 +6,7 @@
|
|
|
6
6
|
* into production code that only imports `ihsm`. Import test helpers from `ihsm/testing`:
|
|
7
7
|
*
|
|
8
8
|
* ```ts
|
|
9
|
-
* import {
|
|
9
|
+
* import { makeActor, TopState } from 'ihsm'; // production code
|
|
10
10
|
* import { makeTestActor, mock, TestPort } from 'ihsm/testing'; // tests only
|
|
11
11
|
* ```
|
|
12
12
|
*
|
|
@@ -15,42 +15,28 @@
|
|
|
15
15
|
*
|
|
16
16
|
* @packageDocumentation
|
|
17
17
|
*/
|
|
18
|
-
import {
|
|
18
|
+
import { Port } from './internal/runtime';
|
|
19
|
+
import type { Any, MachinePortInput, TracedMessage, ActorOptions, ActorConfig, ActorContextOf, ActorConfigOf, DomainPortOf, ChildActor, TestHsm, TopStateArg, ValidatedTopStateArg } from './internal/types';
|
|
19
20
|
export * from './index';
|
|
20
21
|
/**
|
|
21
|
-
* Full-access
|
|
22
|
+
* Full-access test actor returned by {@link makeTestActor} for **deterministic testing**.
|
|
22
23
|
*
|
|
23
|
-
*
|
|
24
|
-
*
|
|
25
|
-
* machine's `port` for asserting outbound calls or pushing observations.
|
|
24
|
+
* Same faceted surface as {@link ChildActor} (`notify`, `notifyNow`, `call`, `hsm`), with
|
|
25
|
+
* `hsm.port` and `hsm.subscribe` for test instrumentation.
|
|
26
26
|
*
|
|
27
|
-
* @typeParam
|
|
28
|
-
* @typeParam Protocol - Public protocol
|
|
29
|
-
* @typeParam InternalProtocol - Internal (port-driven) protocol
|
|
30
|
-
* @typeParam P - Port type
|
|
27
|
+
* @typeParam C - Machine config bag (plain interface satisfying {@link ActorConfig})
|
|
31
28
|
*
|
|
32
29
|
* @category State machine
|
|
33
30
|
*/
|
|
34
|
-
export type TestActor<
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
* Observe **every** event as it is posted through this machine — a capability unique to the
|
|
38
|
-
* test surface (it is intentionally absent from {@link Actor} / {@link Hsm}).
|
|
39
|
-
*
|
|
40
|
-
* The observer fires synchronously at post time with the event name and payload, capturing
|
|
41
|
-
* client posts, handler self-posts, and port-driven internal events alike. Wire it to
|
|
42
|
-
* {@link TestPort.record} when you want a golden trace on the port under test.
|
|
43
|
-
*
|
|
44
|
-
* @param observer - Callback receiving each {@link TracedMessage}
|
|
45
|
-
* @returns A {@link Disposable} that stops the observation
|
|
46
|
-
*/
|
|
47
|
-
subscribe(observer: EventObserver): Disposable;
|
|
31
|
+
export type TestActor<C extends ActorConfig = ActorConfig> = ChildActor<C> & {
|
|
32
|
+
ctx: ActorContextOf<C>;
|
|
33
|
+
hsm: TestHsm<C>;
|
|
48
34
|
};
|
|
49
|
-
export declare class TestPort<T =
|
|
35
|
+
export declare class TestPort<T extends TopStateArg = TopStateArg> extends Port<T> {
|
|
50
36
|
private readonly _messages;
|
|
51
37
|
private readonly _preloads;
|
|
52
38
|
private _now;
|
|
53
|
-
private
|
|
39
|
+
private _virtualTimerId;
|
|
54
40
|
private readonly _timers;
|
|
55
41
|
private readonly _cancelled;
|
|
56
42
|
private readonly _randomQueue;
|
|
@@ -67,6 +53,13 @@ export declare class TestPort<T = Any> extends BasePort<T> implements RandomServ
|
|
|
67
53
|
* @param payload - Optional values associated with the entry
|
|
68
54
|
*/
|
|
69
55
|
record(event: string, ...payload: unknown[]): void;
|
|
56
|
+
/**
|
|
57
|
+
* Push an **inbound** internal notification into the bound actor (`port.actor.onData(…)`).
|
|
58
|
+
*
|
|
59
|
+
* Convenience for deterministic tests — equivalent to calling the generated method on
|
|
60
|
+
* {@link Port.actor} after the factory has wired it.
|
|
61
|
+
*/
|
|
62
|
+
send(event: string, ...payload: unknown[]): void;
|
|
70
63
|
private _slot;
|
|
71
64
|
/** @internal Set the persistent implementation for a stubbed method (used by `method.default`). */
|
|
72
65
|
_stubDefault(name: string, impl: (...args: unknown[]) => unknown): void;
|
|
@@ -104,13 +97,13 @@ export declare class TestPort<T = Any> extends BasePort<T> implements RandomServ
|
|
|
104
97
|
clear(): void;
|
|
105
98
|
private _sortTimers;
|
|
106
99
|
/** @inheritdoc Port.setTimeout — backed by the virtual clock; fire with {@link TestPort.advance | advance}. */
|
|
107
|
-
setTimeout(callback: () => void, millis?: number):
|
|
100
|
+
setTimeout(callback: () => void, millis?: number): number;
|
|
108
101
|
/** @inheritdoc Port.clearTimeout */
|
|
109
|
-
clearTimeout(id:
|
|
102
|
+
clearTimeout(id: number | undefined): void;
|
|
110
103
|
/** @inheritdoc Port.setInterval — backed by the virtual clock; fire with {@link TestPort.advance | advance}. */
|
|
111
|
-
setInterval(callback: () => void, millis?: number):
|
|
104
|
+
setInterval(callback: () => void, millis?: number): number;
|
|
112
105
|
/** @inheritdoc Port.clearInterval */
|
|
113
|
-
clearInterval(id:
|
|
106
|
+
clearInterval(id: number | undefined): void;
|
|
114
107
|
/**
|
|
115
108
|
* Advance the virtual clock by `millis`, firing every timer whose deadline is reached, in
|
|
116
109
|
* deadline order. Timers scheduled by a fired callback within the same window are **not** run
|
|
@@ -165,8 +158,8 @@ export declare class PreloadError extends Error {
|
|
|
165
158
|
* - `calls` — the live, typed list of argument tuples this method was called with (`Parameters<F>[]`).
|
|
166
159
|
*
|
|
167
160
|
* Both `default` and `once` take a closure with the **same parameters and return type** as the port
|
|
168
|
-
* method, so scripts stay type-safe. Pushing
|
|
169
|
-
* {@link
|
|
161
|
+
* method, so scripts stay type-safe. Pushing inbound observations uses
|
|
162
|
+
* {@link TestPort.send | send} on the port.
|
|
170
163
|
*
|
|
171
164
|
* @typeParam A - The method's argument tuple (`Parameters<F>`)
|
|
172
165
|
* @typeParam R - The method's return type (`ReturnType<F>`)
|
|
@@ -186,75 +179,29 @@ export interface Stubbed<A extends unknown[], R> {
|
|
|
186
179
|
}
|
|
187
180
|
/**
|
|
188
181
|
* The fully-wired mock type returned by {@link makeTestPort}: the mock class `P` itself, with each
|
|
189
|
-
* **port method** (inferred from the machine's {@link TopState} via {@link
|
|
182
|
+
* **port method** (inferred from the machine's {@link TopState} via {@link DomainPortOf}) upgraded to
|
|
190
183
|
* a scriptable, introspectable {@link Stubbed} method.
|
|
191
184
|
*
|
|
192
185
|
* @typeParam P - The mock port class instance type
|
|
193
|
-
* @typeParam
|
|
186
|
+
* @typeParam C - The machine {@link ActorConfig} bag (inferred from the port's {@link TestPort} type param)
|
|
194
187
|
*
|
|
195
188
|
* @category Testing
|
|
196
189
|
*/
|
|
197
|
-
export type Mock<P,
|
|
198
|
-
[K in keyof
|
|
190
|
+
export type Mock<P, C extends ActorConfig = ActorConfig> = P & {
|
|
191
|
+
[K in keyof DomainPortOf<C>]: DomainPortOf<C>[K] extends (...args: infer A) => infer R ? Stubbed<A, R> : DomainPortOf<C>[K];
|
|
199
192
|
};
|
|
200
|
-
/**
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
* whatever the test scripted with `method.default(...)` / `method.once(...)`. You never write a
|
|
207
|
-
* method body — the behavior lives in the test, so one mock serves many scenarios.
|
|
208
|
-
*
|
|
209
|
-
* Concrete members (public fields holding device state, helper methods) are left untouched; only the
|
|
210
|
-
* abstract port methods are auto-stubbed.
|
|
211
|
-
*
|
|
212
|
-
* @example
|
|
213
|
-
* ```ts
|
|
214
|
-
* @ihsmTest.mock
|
|
215
|
-
* abstract class WatcherMock extends ihsmTest.TestPort<WatcherTop> {
|
|
216
|
-
* abstract watch(path: string): ihsm.ResultWithSubscription<number>; // signature matches the port
|
|
217
|
-
* }
|
|
218
|
-
*
|
|
219
|
-
* const port = ihsmTest.makeTestPort(WatcherMock);
|
|
220
|
-
* port.watch.default(path => ({ value: 1, subscription: { dispose: () => port.record('dispose') } }));
|
|
221
|
-
* ```
|
|
222
|
-
*
|
|
223
|
-
* @category Testing
|
|
224
|
-
*/
|
|
225
|
-
export declare function mock<C extends abstract new (...args: Any[]) => TestPort<Any>>(Ctor: C): C;
|
|
226
|
-
/**
|
|
227
|
-
* Instantiate an `@`{@link mock}-decorated mock class — the canonical way to build a test port.
|
|
228
|
-
*
|
|
229
|
-
* Pass the mock **class**; you get back a typed instance whose abstract port methods (inferred from
|
|
230
|
-
* the machine's {@link TopState}) are scriptable {@link Stubbed} methods, ready for
|
|
231
|
-
* `port.method.default(...)`. The port's `actor` is still bound lazily when you hand the instance to
|
|
232
|
-
* {@link makeActor} / {@link makeTestActor}.
|
|
233
|
-
*
|
|
234
|
-
* @typeParam P - The mock class instance type (a {@link TestPort} subclass)
|
|
235
|
-
* @param PortClass - The `@mock`-decorated mock class
|
|
236
|
-
* @returns A scriptable {@link Mock} instance
|
|
237
|
-
* @throws If `PortClass` was not decorated with `@`{@link mock}
|
|
238
|
-
*
|
|
239
|
-
* @example
|
|
240
|
-
* ```ts
|
|
241
|
-
* const port = ihsmTest.makeTestPort(WatcherMock);
|
|
242
|
-
* port.watch.default(() => ({ value: 1, subscription: { dispose: () => port.send('onClosed') } }));
|
|
243
|
-
* const sm = ihsmTest.makeTestActor(WatcherTop, new WatcherCtx(), port);
|
|
244
|
-
* ```
|
|
245
|
-
*
|
|
246
|
-
* @category Testing
|
|
247
|
-
*/
|
|
248
|
-
export declare function makeTestPort<P extends TestPort<Any>>(PortClass: abstract new () => P): Mock<P, P extends {
|
|
249
|
-
readonly __topState: infer T;
|
|
250
|
-
} ? T : never>;
|
|
193
|
+
/** Inferred {@link ActorConfig} from a {@link TestPort}'s root state type parameter. */
|
|
194
|
+
export type ActorConfigFromPortClass<P> = P extends TestPort<infer M> ? ActorConfigOf<M> : ActorConfig;
|
|
195
|
+
/** Decorate an abstract {@link TestPort} subclass; pass port method names (abstract members are type-only at runtime). */
|
|
196
|
+
export declare function mock<C extends abstract new (...args: Any[]) => TestPort<TopStateArg>>(Ctor: C): C;
|
|
197
|
+
export declare function mock(...methodNames: string[]): <C extends abstract new (...args: Any[]) => TestPort<TopStateArg>>(Ctor: C) => C;
|
|
198
|
+
export declare function makeTestPort<P extends TestPort<TopStateArg>, C extends ActorConfig = ActorConfigFromPortClass<P>>(PortClass: abstract new () => P, _topState?: TopStateArg<C>): Mock<P, C>;
|
|
251
199
|
/**
|
|
252
200
|
* Creates a **full-access** actor for deterministic tests: merged protocol + typed `port`.
|
|
253
201
|
*
|
|
254
202
|
* Identical construction to {@link makeActor} (same three mandatory arguments + {@link ActorOptions}),
|
|
255
|
-
* but the returned {@link TestActor} exposes the
|
|
256
|
-
*
|
|
257
|
-
* asserting outbound interactions or pushing observations.
|
|
203
|
+
* but the returned {@link TestActor} exposes the full child protocol (including internal buckets) and
|
|
204
|
+
* grants typed access to `port` for asserting outbound interactions or pushing observations.
|
|
258
205
|
*
|
|
259
206
|
* Unlike {@link makeActor}, `traceLevel` defaults to {@link TraceLevel.VERBOSE_DEBUG} so a failing
|
|
260
207
|
* test is fully readable; opt down explicitly via `options.traceLevel` only when you need a quiet run.
|
|
@@ -276,4 +223,4 @@ export declare function makeTestPort<P extends TestPort<Any>>(PortClass: abstrac
|
|
|
276
223
|
*
|
|
277
224
|
* @category Factory
|
|
278
225
|
*/
|
|
279
|
-
export declare function makeTestActor<
|
|
226
|
+
export declare function makeTestActor<T extends TopStateArg<ActorConfig>>(topState: ValidatedTopStateArg<T>, ctx: ActorContextOf<ActorConfigOf<T>>, port?: MachinePortInput<ActorConfigOf<T>>, options?: ActorOptions<ActorConfigOf<T>>): TestActor<ActorConfigOf<T>>;
|
package/lib/cjs/testing.js
CHANGED
|
@@ -26,7 +26,7 @@ exports.makeTestActor = makeTestActor;
|
|
|
26
26
|
* into production code that only imports `ihsm`. Import test helpers from `ihsm/testing`:
|
|
27
27
|
*
|
|
28
28
|
* ```ts
|
|
29
|
-
* import {
|
|
29
|
+
* import { makeActor, TopState } from 'ihsm'; // production code
|
|
30
30
|
* import { makeTestActor, mock, TestPort } from 'ihsm/testing'; // tests only
|
|
31
31
|
* ```
|
|
32
32
|
*
|
|
@@ -35,13 +35,13 @@ exports.makeTestActor = makeTestActor;
|
|
|
35
35
|
*
|
|
36
36
|
* @packageDocumentation
|
|
37
37
|
*/
|
|
38
|
-
const
|
|
38
|
+
const runtime_1 = require("./internal/runtime");
|
|
39
39
|
__exportStar(require("./index"), exports);
|
|
40
|
-
class TestPort extends
|
|
40
|
+
class TestPort extends runtime_1.Port {
|
|
41
41
|
_messages = [];
|
|
42
42
|
_preloads = new Map();
|
|
43
43
|
_now = 0;
|
|
44
|
-
|
|
44
|
+
_virtualTimerId = 0;
|
|
45
45
|
_timers = [];
|
|
46
46
|
_cancelled = new Set();
|
|
47
47
|
_randomQueue = [];
|
|
@@ -60,6 +60,21 @@ class TestPort extends index_1.BasePort {
|
|
|
60
60
|
record(event, ...payload) {
|
|
61
61
|
this._messages.push({ event, payload: [...payload] });
|
|
62
62
|
}
|
|
63
|
+
/**
|
|
64
|
+
* Push an **inbound** internal notification into the bound actor (`port.actor.onData(…)`).
|
|
65
|
+
*
|
|
66
|
+
* Convenience for deterministic tests — equivalent to calling the generated method on
|
|
67
|
+
* {@link Port.actor} after the factory has wired it.
|
|
68
|
+
*/
|
|
69
|
+
send(event, ...payload) {
|
|
70
|
+
const actor = this.actor;
|
|
71
|
+
const facet = actor?.notify;
|
|
72
|
+
const inbound = facet?.[event];
|
|
73
|
+
if (inbound === undefined) {
|
|
74
|
+
throw new Error(`ihsm: TestPort.send — actor has no notification "${event}" (bind the port with makeActor/makeTestActor first)`);
|
|
75
|
+
}
|
|
76
|
+
inbound.call(facet, ...payload);
|
|
77
|
+
}
|
|
63
78
|
_slot(name) {
|
|
64
79
|
let slot = this._preloads.get(name);
|
|
65
80
|
if (slot === undefined) {
|
|
@@ -139,7 +154,7 @@ class TestPort extends index_1.BasePort {
|
|
|
139
154
|
}
|
|
140
155
|
/** @inheritdoc Port.setTimeout — backed by the virtual clock; fire with {@link TestPort.advance | advance}. */
|
|
141
156
|
setTimeout(callback, millis) {
|
|
142
|
-
const id = ++this.
|
|
157
|
+
const id = ++this._virtualTimerId;
|
|
143
158
|
this._timers.push({ id, at: this._now + Math.max(0, millis ?? 0), callback });
|
|
144
159
|
this._sortTimers();
|
|
145
160
|
return id;
|
|
@@ -157,7 +172,7 @@ class TestPort extends index_1.BasePort {
|
|
|
157
172
|
}
|
|
158
173
|
/** @inheritdoc Port.setInterval — backed by the virtual clock; fire with {@link TestPort.advance | advance}. */
|
|
159
174
|
setInterval(callback, millis) {
|
|
160
|
-
const id = ++this.
|
|
175
|
+
const id = ++this._virtualTimerId;
|
|
161
176
|
const repeat = Math.max(0, millis ?? 0);
|
|
162
177
|
this._timers.push({ id, at: this._now + repeat, callback, repeat });
|
|
163
178
|
this._sortTimers();
|
|
@@ -277,6 +292,8 @@ function buildMethodStub(target, name) {
|
|
|
277
292
|
}
|
|
278
293
|
/** Marker set by {@link mock} so {@link makeTestPort} can verify the class was decorated. */
|
|
279
294
|
const MOCK_MARKER = Symbol('ihsm.mock');
|
|
295
|
+
/** Port method names registered by {@link mock} (abstract members have no runtime prototype entries). */
|
|
296
|
+
const MOCK_METHODS = Symbol('ihsm.mockMethods');
|
|
280
297
|
/**
|
|
281
298
|
* Class decorator that turns an **abstract** {@link TestPort} subclass into a preloadable mock.
|
|
282
299
|
*
|
|
@@ -292,7 +309,7 @@ const MOCK_MARKER = Symbol('ihsm.mock');
|
|
|
292
309
|
* @example
|
|
293
310
|
* ```ts
|
|
294
311
|
* @ihsmTest.mock
|
|
295
|
-
* abstract class WatcherMock extends ihsmTest.TestPort<WatcherTop> {
|
|
312
|
+
* abstract class WatcherMock extends ihsmTest.TestPort<typeof WatcherTop> {
|
|
296
313
|
* abstract watch(path: string): ihsm.ResultWithSubscription<number>; // signature matches the port
|
|
297
314
|
* }
|
|
298
315
|
*
|
|
@@ -302,29 +319,20 @@ const MOCK_MARKER = Symbol('ihsm.mock');
|
|
|
302
319
|
*
|
|
303
320
|
* @category Testing
|
|
304
321
|
*/
|
|
305
|
-
function
|
|
306
|
-
|
|
307
|
-
|
|
308
|
-
|
|
309
|
-
|
|
310
|
-
|
|
311
|
-
|
|
312
|
-
|
|
313
|
-
|
|
314
|
-
|
|
315
|
-
|
|
316
|
-
|
|
317
|
-
|
|
318
|
-
return stub;
|
|
319
|
-
}
|
|
320
|
-
return Reflect.get(t, prop, receiver);
|
|
321
|
-
},
|
|
322
|
-
});
|
|
323
|
-
return proxy;
|
|
324
|
-
}
|
|
322
|
+
function markMockPort(Ctor, methodNames) {
|
|
323
|
+
Ctor[MOCK_MARKER] = true;
|
|
324
|
+
Ctor[MOCK_METHODS] = [...methodNames];
|
|
325
|
+
}
|
|
326
|
+
function mock(first, ...rest) {
|
|
327
|
+
if (typeof first === 'function') {
|
|
328
|
+
markMockPort(first, []);
|
|
329
|
+
return first;
|
|
330
|
+
}
|
|
331
|
+
const methodNames = [first, ...rest];
|
|
332
|
+
return (Ctor) => {
|
|
333
|
+
markMockPort(Ctor, methodNames);
|
|
334
|
+
return Ctor;
|
|
325
335
|
};
|
|
326
|
-
Decorated[MOCK_MARKER] = true;
|
|
327
|
-
return Decorated;
|
|
328
336
|
}
|
|
329
337
|
/**
|
|
330
338
|
* Instantiate an `@`{@link mock}-decorated mock class — the canonical way to build a test port.
|
|
@@ -348,19 +356,29 @@ function mock(Ctor) {
|
|
|
348
356
|
*
|
|
349
357
|
* @category Testing
|
|
350
358
|
*/
|
|
351
|
-
function
|
|
359
|
+
function installPortStubs(port, PortClass) {
|
|
360
|
+
const stubTarget = port;
|
|
361
|
+
const names = PortClass[MOCK_METHODS] ?? [];
|
|
362
|
+
for (const name of names) {
|
|
363
|
+
if (NON_STUB_PROPS.has(name))
|
|
364
|
+
continue;
|
|
365
|
+
port[name] = buildMethodStub(stubTarget, name);
|
|
366
|
+
}
|
|
367
|
+
}
|
|
368
|
+
function makeTestPort(PortClass, _topState) {
|
|
352
369
|
if (PortClass[MOCK_MARKER] !== true) {
|
|
353
370
|
throw new Error('ihsm: makeTestPort requires a class decorated with @ihsm.mock');
|
|
354
371
|
}
|
|
355
|
-
|
|
372
|
+
const port = new PortClass();
|
|
373
|
+
installPortStubs(port, PortClass);
|
|
374
|
+
return port;
|
|
356
375
|
}
|
|
357
376
|
/**
|
|
358
377
|
* Creates a **full-access** actor for deterministic tests: merged protocol + typed `port`.
|
|
359
378
|
*
|
|
360
379
|
* Identical construction to {@link makeActor} (same three mandatory arguments + {@link ActorOptions}),
|
|
361
|
-
* but the returned {@link TestActor} exposes the
|
|
362
|
-
*
|
|
363
|
-
* asserting outbound interactions or pushing observations.
|
|
380
|
+
* but the returned {@link TestActor} exposes the full child protocol (including internal buckets) and
|
|
381
|
+
* grants typed access to `port` for asserting outbound interactions or pushing observations.
|
|
364
382
|
*
|
|
365
383
|
* Unlike {@link makeActor}, `traceLevel` defaults to {@link TraceLevel.VERBOSE_DEBUG} so a failing
|
|
366
384
|
* test is fully readable; opt down explicitly via `options.traceLevel` only when you need a quiet run.
|
|
@@ -382,11 +400,27 @@ function makeTestPort(PortClass) {
|
|
|
382
400
|
*
|
|
383
401
|
* @category Factory
|
|
384
402
|
*/
|
|
385
|
-
function makeTestActor(topState, ctx, port, options = {}
|
|
403
|
+
function makeTestActor(topState, ctx, port, options = {}) {
|
|
404
|
+
const boundPort = (port ?? new TestPort());
|
|
386
405
|
// Tests default to the most verbose trace (so a failing run is fully readable). Never silence to
|
|
387
406
|
// a production level here — the user opts down explicitly via `options.traceLevel`.
|
|
388
|
-
const { initialize =
|
|
389
|
-
const
|
|
390
|
-
|
|
407
|
+
const { initialize = runtime_1.defaultInitialize, traceLevel = runtime_1.TraceLevel.VERBOSE_DEBUG, traceWriter = runtime_1.defaultTraceWriter, dispatchErrorCallback = runtime_1.defaultDispatchErrorCallback, ...rest } = options;
|
|
408
|
+
const actor = (0, runtime_1.spawnActor)('test', topState, ctx, boundPort, {
|
|
409
|
+
initialize,
|
|
410
|
+
traceLevel,
|
|
411
|
+
traceWriter,
|
|
412
|
+
dispatchErrorCallback,
|
|
413
|
+
...rest,
|
|
414
|
+
});
|
|
415
|
+
const machine = actor[runtime_1.kMachine];
|
|
416
|
+
const testHsm = actor.hsm;
|
|
417
|
+
Object.defineProperties(testHsm, {
|
|
418
|
+
port: { enumerable: true, get: () => boundPort },
|
|
419
|
+
subscribe: {
|
|
420
|
+
enumerable: true,
|
|
421
|
+
value: (observer) => machine.subscribe(observer),
|
|
422
|
+
},
|
|
423
|
+
});
|
|
424
|
+
return actor;
|
|
391
425
|
}
|
|
392
426
|
//# sourceMappingURL=testing.js.map
|
package/lib/cjs/testing.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"testing.js","sourceRoot":"","sources":["../../src/testing.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"testing.js","sourceRoot":"","sources":["../../src/testing.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAgeA,oBAUC;AAiCD,oCAOC;AA6BD,sCAuBC;AAtkBD;;;;;;;;;;;;;;;;GAgBG;AACH,gDAA0J;AAS1J,0CAAwB;AAiExB,MAAa,QAA8C,SAAQ,cAAO;IACxD,SAAS,GAAoB,EAAE,CAAC;IAChC,SAAS,GAAG,IAAI,GAAG,EAA6H,CAAC;IAC1J,IAAI,GAAG,CAAC,CAAC;IACT,eAAe,GAAG,CAAC,CAAC;IACX,OAAO,GAAmB,EAAE,CAAC;IAC7B,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,YAAY,GAAa,EAAE,CAAC;IAC5B,kBAAkB,GAAa,EAAE,CAAC;IAClC,UAAU,GAAa,EAAE,CAAC;IAC1B,UAAU,GAAa,EAAE,CAAC;IAE3C;;;;;;;;OAQG;IACH,MAAM,CAAC,KAAa,EAAE,GAAG,OAAkB;QAC1C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC;IAED;;;;;OAKG;IACH,IAAI,CAAC,KAAa,EAAE,GAAG,OAAkB;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAA4F,CAAC;QAChH,MAAM,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC;QAC5B,MAAM,OAAO,GAAG,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,oDAAoD,KAAK,sDAAsD,CAAC,CAAC;QAClI,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC;IACjC,CAAC;IAEO,KAAK,CAAC,IAAY;QACzB,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,mGAAmG;IACnG,YAAY,CAAC,IAAY,EAAE,IAAqC;QAC/D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;IAClC,CAAC;IAED,8FAA8F;IAC9F,SAAS,CAAC,IAAY,EAAE,IAAqC;QAC5D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,gHAAgH;IAChH,UAAU,CAAC,IAAY;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvB,CAAC;IAED,2GAA2G;IAC3G,UAAU,CAAC,IAAY;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;IAC/B,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,eAAe,CAAC,IAAY,EAAE,IAAe;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,0BAA0B;QACjD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,gDAAgD;QAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC;QACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,wCAAwC;IACxC,IAAI,QAAQ;QACX,OAAO,IAAI,CAAC,SAAS,CAAC;IACvB,CAAC;IAED,+CAA+C;IAC/C,IAAI,MAAM;QACT,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,4FAA4F;IAC5F,IAAI,KAAK;QACR,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACxG,CAAC;IAED,0DAA0D;IAC1D,IAAI,IAAI;QACP,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,mCAAmC;IACnC,IAAI,KAAK;QACR,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;IAC9B,CAAC;IAED,sCAAsC;IACtC,KAAK;QACJ,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3B,CAAC;IAEO,WAAW;QAClB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,+GAA+G;IAC/G,UAAU,CAAC,QAAoB,EAAE,MAAe;QAC/C,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC;QAClC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,OAAO,EAAE,CAAC;IACX,CAAC;IAED,oCAAoC;IACpC,YAAY,CAAC,EAAsB;QAClC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO;QACR,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/D,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAChB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC;IACF,CAAC;IAED,gHAAgH;IAChH,WAAW,CAAC,QAAoB,EAAE,MAAe;QAChD,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,OAAO,EAAE,CAAC;IACX,CAAC;IAED,qCAAqC;IACrC,aAAa,CAAC,EAAsB;QACnC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IAED;;;;;;OAMG;IACH,OAAO,CAAC,MAAc;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/F,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACnH,CAAC;QACF,CAAC;QACD,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC;IACpB,CAAC;IAED,gEAAgE;IAChE,IAAI,GAAG;QACN,OAAO,IAAI,CAAC,IAAI,CAAC;IAClB,CAAC;IAED,kEAAkE;IAClE,IAAI,OAAO;QACV,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5B,CAAC;IAED,yFAAyF;IACzF,UAAU,CAAC,GAAG,MAAgB;QAC7B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,qGAAqG;IACrG,gBAAgB,CAAC,GAAG,MAAgB;QACnC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,iGAAiG;IACjG,QAAQ,CAAC,GAAG,MAAgB;QAC3B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;IACjC,CAAC;IAED,qHAAqH;IACrH,eAAe,CAAC,GAAG,KAAe;QACjC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,8IAA8I;IAC9I,WAAW;QACV,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED,iHAAiH;IACjH,MAAM;QACL,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QACvC,OAAO,IAAI,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,yHAAyH;IACzH,YAAY;QACX,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAC7C,OAAO,IAAI,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,kGAAkG;IAClG,UAAU;QACT,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,sCAAsC,CAAC;IAC1E,CAAC;IAED,2GAA2G;IAC3G,eAAe,CAA4B,KAAQ;QAClD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;CACD;AA1PD,4BA0PC;AAED;;;;;GAKG;AACH,MAAa,YAAa,SAAQ,KAAK;IACtC,YAAY,MAAc;QACzB,KAAK,CAAC,UAAU,MAAM,8DAA8D,MAAM,yBAAyB,MAAM,YAAY,CAAC,CAAC;QACvI,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC5B,CAAC;CACD;AALD,oCAKC;AAqDD,gHAAgH;AAChH,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,iBAAiB,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,kBAAkB,EAAE,UAAU,EAAE,iBAAiB,EAAE,aAAa,CAAC,CAAC,CAAC;AAUxX,SAAS,eAAe,CAAC,MAAkB,EAAE,IAAY;IACxD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,CAAC,OAAO,GAAG,CAAC,IAAqC,EAAW,EAAE;QACjE,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChC,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,GAAG,CAAC,IAAqC,EAAW,EAAE;QAC9D,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;IACF,IAAI,CAAC,KAAK,GAAG,GAAY,EAAE;QAC1B,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAChG,OAAO,IAAI,CAAC;AACb,CAAC;AAED,6FAA6F;AAC7F,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;AAExC,yGAAyG;AACzG,MAAM,YAAY,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAOhD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,SAAS,YAAY,CAAC,IAAoB,EAAE,WAA8B;IACxE,IAAoC,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC;IACzD,IAA+C,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;AACnF,CAAC;AAKD,SAAgB,IAAI,CAAmE,KAAiB,EAAE,GAAG,IAAc;IAC1H,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QACjC,YAAY,CAAC,KAAuB,EAAE,EAAE,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;IACrC,OAAO,CAAC,IAAO,EAAK,EAAE;QACrB,YAAY,CAAC,IAAsB,EAAE,WAAW,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,gBAAgB,CAAC,IAA2B,EAAE,SAAyB;IAC/E,MAAM,UAAU,GAAG,IAA6B,CAAC;IACjD,MAAM,KAAK,GAAI,SAAoD,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACxF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,IAA2C,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACxF,CAAC;AACF,CAAC;AAED,SAAgB,YAAY,CAAuF,SAA+B,EAAE,SAA0B;IAC7K,IAAK,SAAyC,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,IAAI,GAAG,IAAK,SAAoC,EAAE,CAAC;IACzD,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClC,OAAO,IAAkB,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,SAAgB,aAAa,CAAqC,QAAiC,EAAE,GAAqC,EAAE,IAAyC,EAAE,UAA0C,EAAE;IAElO,MAAM,SAAS,GAAG,CAAC,IAAI,IAAI,IAAI,QAAQ,EAAK,CAAuC,CAAC;IACpF,iGAAiG;IACjG,oFAAoF;IACpF,MAAM,EAAE,UAAU,GAAG,2BAAiB,EAAE,UAAU,GAAG,oBAAU,CAAC,aAAa,EAAE,WAAW,GAAG,4BAAkB,EAAE,qBAAqB,GAAG,sCAA4B,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAC3L,MAAM,KAAK,GAAG,IAAA,oBAAU,EAAC,MAAM,EAAE,QAA0B,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5E,UAAU;QACV,UAAU;QACV,WAAW;QACX,qBAAqB;QACrB,GAAG,IAAI;KACP,CAAC,CAAC;IACH,MAAM,OAAO,GAAI,KAA8B,CAAC,kBAAQ,CAAe,CAAC;IACxE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAiB,CAAC;IACxC,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE;QAChC,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE;QAChD,SAAS,EAAE;YACV,UAAU,EAAE,IAAI;YAChB,KAAK,EAAE,CAAC,QAAuB,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC;SAC/D;KACD,CAAC,CAAC;IACH,OAAO,KAAqB,CAAC;AAC9B,CAAC"}
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
/** Public subpath — transition planning and execution helpers. */
|
|
2
|
+
export { TransitionTableError, createTransitionTracer, executeTransitionRoutine, planTransitionClasses, transitionTraceLines } from './internal/runtime';
|
|
3
|
+
export type { PlannedTransition, TransitionHost, TransitionRoutineExecuteOptions, TransitionRoutinePlan, TransitionRoutineStyle, TransitionTracer, TransitionTraceHost } from './internal/types';
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.transitionTraceLines = exports.planTransitionClasses = exports.executeTransitionRoutine = exports.createTransitionTracer = exports.TransitionTableError = void 0;
|
|
4
|
+
/** Public subpath — transition planning and execution helpers. */
|
|
5
|
+
var runtime_1 = require("./internal/runtime");
|
|
6
|
+
Object.defineProperty(exports, "TransitionTableError", { enumerable: true, get: function () { return runtime_1.TransitionTableError; } });
|
|
7
|
+
Object.defineProperty(exports, "createTransitionTracer", { enumerable: true, get: function () { return runtime_1.createTransitionTracer; } });
|
|
8
|
+
Object.defineProperty(exports, "executeTransitionRoutine", { enumerable: true, get: function () { return runtime_1.executeTransitionRoutine; } });
|
|
9
|
+
Object.defineProperty(exports, "planTransitionClasses", { enumerable: true, get: function () { return runtime_1.planTransitionClasses; } });
|
|
10
|
+
Object.defineProperty(exports, "transitionTraceLines", { enumerable: true, get: function () { return runtime_1.transitionTraceLines; } });
|
|
11
|
+
//# sourceMappingURL=transition-routines.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"transition-routines.js","sourceRoot":"","sources":["../../src/transition-routines.ts"],"names":[],"mappings":";;;AAAA,kEAAkE;AAClE,8CAAyJ;AAAhJ,+GAAA,oBAAoB,OAAA;AAAE,iHAAA,sBAAsB,OAAA;AAAE,mHAAA,wBAAwB,OAAA;AAAE,gHAAA,qBAAqB,OAAA;AAAE,+GAAA,oBAAoB,OAAA"}
|
|
@@ -0,0 +1,5 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Type-only public surface — erased at compile time; no runtime JS from this module.
|
|
3
|
+
*
|
|
4
|
+
* Import protocol and actor types from here:
|
|
5
|
+
* `import type { ActorConfig, ChildActor } from 'ihsm/types'` */ export type { ActorConfig, ActorContextOf, ActorInternalNotificationsOf, ActorInternalServicesOf, ActorMethodKeysOf, ActorNotificationsOf, ActorConfigOf, ActorPortOf, ActorServicesOf, ActorHsm, ActorOptions, ActorParentField, AssertAsyncService, CallFacet, ChildActor, ChildHsm, DisjointActorConfig, EmbodimentKind, ErrorHost, ExternalActor, ExternalHsm, FilterReservedKeys, InboundActor, InboundHsm, IPort, IsReservedName, MachinePortInput, HandlerHsm, MachineContext, MachineInternal, MachinePort, MachinePublic, NotificationArgs, NotificationClient, NotificationHandler, NotificationQueue, NotifyFacet, OwnerActorHsm, ParentActor, PlannedTransition, ProtocolBucket, ProtocolIndex, ProtocolSlot, ReservedName, SelfNotifications, ServiceArgs, ServiceClient, ServiceHandler, ServiceReply, ServiceCallOptions, StateClassOf, TestActorHsm, TestHsm, TopStateArg, TransitionHost, TransitionResolver, TransitionRoutineExecuteOptions, TransitionRoutinePlan, TransitionRoutineStyle, TransitionTracer, TransitionTraceHost, ValidatedActorConfig, ValidatedTopStateArg, } from './internal/types';
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":""}
|