@fougere/testing 0.9.2-alpha.0 → 0.10.0-alpha.0
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 +1 -1
- package/dist/{comparison.d.ts → DoorContractCase.d.ts} +5 -13
- package/dist/DoorContractCase.d.ts.map +1 -0
- package/dist/{comparison.js → DoorContractCase.js} +31 -31
- package/dist/DoorContractCase.js.map +1 -0
- package/dist/DoorInput.d.ts +5 -0
- package/dist/DoorInput.d.ts.map +1 -0
- package/dist/DoorInput.js +2 -0
- package/dist/DoorInput.js.map +1 -0
- package/dist/DoorOptions.d.ts +7 -0
- package/dist/DoorOptions.d.ts.map +1 -0
- package/dist/DoorOptions.js +2 -0
- package/dist/DoorOptions.js.map +1 -0
- package/dist/all.d.ts +4 -4
- package/dist/all.d.ts.map +1 -1
- package/dist/all.js +3 -3
- package/dist/all.js.map +1 -1
- package/dist/app/TestApp.d.ts +15 -0
- package/dist/app/TestApp.d.ts.map +1 -0
- package/dist/{app.js → app/TestApp.js} +3 -3
- package/dist/app/TestApp.js.map +1 -0
- package/dist/{app.d.ts → app/TestAppOptions.d.ts} +2 -14
- package/dist/app/TestAppOptions.d.ts.map +1 -0
- package/dist/app/TestAppOptions.js +2 -0
- package/dist/app/TestAppOptions.js.map +1 -0
- package/dist/facades/CheckOptions.d.ts +6 -0
- package/dist/facades/CheckOptions.d.ts.map +1 -0
- package/dist/facades/CheckOptions.js +2 -0
- package/dist/facades/CheckOptions.js.map +1 -0
- package/dist/{doors.d.ts → facades/Verdict.d.ts} +4 -8
- package/dist/facades/Verdict.d.ts.map +1 -0
- package/dist/{doors.js → facades/Verdict.js} +4 -4
- package/dist/facades/Verdict.js.map +1 -0
- package/dist/index.d.ts +8 -5
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -5
- package/dist/index.js.map +1 -1
- package/dist/load.d.ts +19 -5
- package/dist/load.d.ts.map +1 -1
- package/dist/load.js +29 -9
- package/dist/load.js.map +1 -1
- package/dist/spans.d.ts +18 -0
- package/dist/spans.d.ts.map +1 -0
- package/dist/spans.js +56 -0
- package/dist/spans.js.map +1 -0
- package/dist/statements.d.ts +17 -0
- package/dist/statements.d.ts.map +1 -0
- package/dist/statements.js +37 -0
- package/dist/statements.js.map +1 -0
- package/dist/stub/Port.d.ts +3 -0
- package/dist/stub/Port.d.ts.map +1 -0
- package/dist/stub/Port.js +2 -0
- package/dist/stub/Port.js.map +1 -0
- package/dist/{stub.d.ts → stub/Stub.d.ts} +2 -3
- package/dist/stub/Stub.d.ts.map +1 -0
- package/dist/{stub.js → stub/Stub.js} +1 -1
- package/dist/stub/Stub.js.map +1 -0
- package/dist/{sync.d.ts → sync/SyncDrift.d.ts} +2 -10
- package/dist/sync/SyncDrift.d.ts.map +1 -0
- package/dist/{sync.js → sync/SyncDrift.js} +5 -18
- package/dist/sync/SyncDrift.js.map +1 -0
- package/dist/sync/SyncedRemote.d.ts +10 -0
- package/dist/sync/SyncedRemote.d.ts.map +1 -0
- package/dist/sync/SyncedRemote.js +15 -0
- package/dist/sync/SyncedRemote.js.map +1 -0
- package/dist/vitest.d.ts.map +1 -1
- package/dist/vitest.js +4 -0
- package/dist/vitest.js.map +1 -1
- package/package.json +20 -10
- package/src/{comparison.ts → DoorContractCase.ts} +34 -40
- package/src/DoorInput.ts +1 -0
- package/src/DoorOptions.ts +7 -0
- package/src/all.ts +7 -5
- package/src/{app.ts → app/TestApp.ts} +4 -26
- package/src/app/TestAppOptions.ts +25 -0
- package/src/facades/CheckOptions.ts +6 -0
- package/src/{doors.ts → facades/Verdict.ts} +5 -9
- package/src/index.ts +8 -8
- package/src/load.ts +52 -13
- package/src/spans.ts +66 -0
- package/src/statements.ts +41 -0
- package/src/stub/Port.ts +2 -0
- package/src/{stub.ts → stub/Stub.ts} +1 -3
- package/src/{sync.ts → sync/SyncDrift.ts} +3 -23
- package/src/sync/SyncedRemote.ts +22 -0
- package/src/vitest.ts +4 -0
- package/dist/app.d.ts.map +0 -1
- package/dist/app.js.map +0 -1
- package/dist/comparison.d.ts.map +0 -1
- package/dist/comparison.js.map +0 -1
- package/dist/doors.d.ts.map +0 -1
- package/dist/doors.js.map +0 -1
- package/dist/stub.d.ts.map +0 -1
- package/dist/stub.js.map +0 -1
- package/dist/sync.d.ts.map +0 -1
- package/dist/sync.js.map +0 -1
package/README.md
CHANGED
|
@@ -25,7 +25,7 @@ checkDoors(app, Product); // local · REST · GraphQL · RPC answer the sam
|
|
|
25
25
|
```
|
|
26
26
|
|
|
27
27
|
`checkDoorContract(app, Product, cases)` runs handler-specific invocation cases through
|
|
28
|
-
the same four-
|
|
28
|
+
the same four-facade harness. It is useful when the handler must observe a distinction such
|
|
29
29
|
as omitted (`undefined`) versus explicitly supplied `null`.
|
|
30
30
|
|
|
31
31
|
`testApp()` takes no argument: a file under `fronds/catalog/tests/` says its subject is
|
|
@@ -1,15 +1,7 @@
|
|
|
1
1
|
import { type App } from '@fougere/core';
|
|
2
2
|
import { type SchemaView } from '@fougere/schema';
|
|
3
|
-
import {
|
|
4
|
-
|
|
5
|
-
given?: Record<string, unknown>;
|
|
6
|
-
/** The audience, when the app serves named surfaces. */
|
|
7
|
-
surface?: string;
|
|
8
|
-
}
|
|
9
|
-
export interface DoorInput {
|
|
10
|
-
id?: string;
|
|
11
|
-
input?: Record<string, unknown>;
|
|
12
|
-
}
|
|
3
|
+
import type { DoorOptions } from './DoorOptions.js';
|
|
4
|
+
import type { DoorInput } from './DoorInput.js';
|
|
13
5
|
export interface DoorContractCase {
|
|
14
6
|
/** What this case proves — becomes the test name. */
|
|
15
7
|
name: string;
|
|
@@ -19,8 +11,8 @@ export interface DoorContractCase {
|
|
|
19
11
|
/** The protocol envelopes are removed before this value is compared. */
|
|
20
12
|
expected: unknown;
|
|
21
13
|
}
|
|
22
|
-
/** One entity, four
|
|
14
|
+
/** One entity, four facades, the same answers. */
|
|
23
15
|
export declare function checkDoors(app: App, entity: SchemaView, options?: DoorOptions): void;
|
|
24
|
-
/** Run one hand-written invocation contract through every
|
|
16
|
+
/** Run one hand-written invocation contract through every facade. */
|
|
25
17
|
export declare function checkDoorContract(app: App, entity: SchemaView, cases: readonly DoorContractCase[], options?: Pick<DoorOptions, 'surface'>): void;
|
|
26
|
-
//# sourceMappingURL=
|
|
18
|
+
//# sourceMappingURL=DoorContractCase.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DoorContractCase.d.ts","sourceRoot":"","sources":["../src/DoorContractCase.ts"],"names":[],"mappings":"AACA,OAAO,EAAqB,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AAG5D,OAAO,EAAc,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AA0BhD,MAAM,WAAW,gBAAgB;IAC/B,qDAAqD;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,8CAA8C;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,wEAAwE;IACxE,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,kDAAkD;AAClD,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,GAAE,WAAgB,GAAG,IAAI,CA8ExF;AAED,qEAAqE;AACrE,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,UAAU,EAClB,KAAK,EAAE,SAAS,gBAAgB,EAAE,EAClC,OAAO,GAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAM,GACzC,IAAI,CAeN"}
|
|
@@ -5,7 +5,7 @@ import { serveRest, serveRpc, tableOf } from '@fougere/app';
|
|
|
5
5
|
import { lowerFirst } from '@fougere/schema';
|
|
6
6
|
import { listQuery, findQuery, mutationFor, at } from './gql.js';
|
|
7
7
|
import { sampleInput } from './sample.js';
|
|
8
|
-
/** The rows a
|
|
8
|
+
/** The rows a facade hands back, with its own envelope taken off. */
|
|
9
9
|
function rowsOf(value) {
|
|
10
10
|
if (Array.isArray(value))
|
|
11
11
|
return [...value];
|
|
@@ -21,71 +21,71 @@ function written(value, sent) {
|
|
|
21
21
|
return wire(row);
|
|
22
22
|
return wire(Object.fromEntries(Object.keys(sent).map((key) => [key, row[key]])));
|
|
23
23
|
}
|
|
24
|
-
/** One entity, four
|
|
24
|
+
/** One entity, four facades, the same answers. */
|
|
25
25
|
export function checkDoors(app, entity, options = {}) {
|
|
26
26
|
const name = lowerFirst(entity.name ?? '');
|
|
27
|
-
const
|
|
27
|
+
const facades = facadesOf(app, entity, name, options.surface);
|
|
28
28
|
const inputOf = () => sampleInput(entity, options.given ?? {}, options);
|
|
29
|
-
describe(`${entity.name} — the
|
|
29
|
+
describe(`${entity.name} — the facades agree`, () => {
|
|
30
30
|
it('on create, over what the caller sent', async () => {
|
|
31
31
|
const sent = inputOf();
|
|
32
|
-
const answers = await Promise.all(['local', 'rpc', 'rest', 'graphql'].map((
|
|
32
|
+
const answers = await Promise.all(['local', 'rpc', 'rest', 'graphql'].map((facade) => facades[facade]('create', { input: sent })));
|
|
33
33
|
const [local, ...others] = answers.map((answer) => written(answer, sent));
|
|
34
34
|
for (const [index, other] of others.entries()) {
|
|
35
35
|
expect(other, `${['rpc', 'rest', 'graphql'][index]} ≠ local`).toEqual(local);
|
|
36
36
|
}
|
|
37
37
|
});
|
|
38
38
|
it('on list', async () => {
|
|
39
|
-
await
|
|
40
|
-
const local = wire(rowsOf(await
|
|
39
|
+
await facades.local('create', { input: inputOf() });
|
|
40
|
+
const local = wire(rowsOf(await facades.local('list')));
|
|
41
41
|
expect(Array.isArray(local) && local.length > 0, 'nothing to compare').toBe(true);
|
|
42
|
-
expect(wire(rowsOf(await
|
|
43
|
-
expect(wire(rowsOf(await
|
|
44
|
-
expect(wire(rowsOf(await
|
|
42
|
+
expect(wire(rowsOf(await facades.rpc('list'))), 'rpc ≠ local').toEqual(local);
|
|
43
|
+
expect(wire(rowsOf(await facades.rest('list'))), 'rest ≠ local').toEqual(local);
|
|
44
|
+
expect(wire(rowsOf(await facades.graphql('list'))), 'graphql ≠ local').toEqual(local);
|
|
45
45
|
});
|
|
46
46
|
it('on findById', async () => {
|
|
47
|
-
const row = await
|
|
48
|
-
const local = wire(await
|
|
49
|
-
expect(wire(await
|
|
50
|
-
expect(wire(await
|
|
51
|
-
expect(wire(await
|
|
47
|
+
const row = await facades.local('create', { input: inputOf() });
|
|
48
|
+
const local = wire(await facades.local('findById', { id: row.id }));
|
|
49
|
+
expect(wire(await facades.rpc('findById', { id: row.id })), 'rpc ≠ local').toEqual(local);
|
|
50
|
+
expect(wire(await facades.rest('findById', { id: row.id })), 'rest ≠ local').toEqual(local);
|
|
51
|
+
expect(wire(await facades.graphql('findById', { id: row.id })), 'graphql ≠ local').toEqual(local);
|
|
52
52
|
});
|
|
53
53
|
it('on update, over what the caller sent', async () => {
|
|
54
|
-
const rows = await Promise.all([1, 2, 3, 4].map(() =>
|
|
54
|
+
const rows = await Promise.all([1, 2, 3, 4].map(() => facades.local('create', { input: inputOf() })));
|
|
55
55
|
const patch = inputOf();
|
|
56
56
|
const answers = await Promise.all(['local', 'rpc', 'rest', 'graphql']
|
|
57
|
-
.map((
|
|
57
|
+
.map((facade, index) => facades[facade]('update', { id: rows[index].id, input: patch })));
|
|
58
58
|
const [local, ...others] = answers.map((answer) => written(answer, patch));
|
|
59
59
|
for (const [index, other] of others.entries()) {
|
|
60
60
|
expect(other, `${['rpc', 'rest', 'graphql'][index]} ≠ local`).toEqual(local);
|
|
61
61
|
}
|
|
62
62
|
});
|
|
63
63
|
it('on delete', async () => {
|
|
64
|
-
const rows = await Promise.all([1, 2, 3, 4].map(() =>
|
|
65
|
-
const answers = await Promise.all(['local', 'rpc', 'rest', 'graphql'].map((
|
|
64
|
+
const rows = await Promise.all([1, 2, 3, 4].map(() => facades.local('create', { input: inputOf() })));
|
|
65
|
+
const answers = await Promise.all(['local', 'rpc', 'rest', 'graphql'].map((facade, index) => facades[facade]('delete', { id: rows[index].id })));
|
|
66
66
|
// REST answers a deletion with no content at all, which is the protocol saying yes.
|
|
67
67
|
const onTheWire = answers.map((answer) => (answer === undefined || answer === null ? true : wire(answer)));
|
|
68
|
-
expect(new Set(onTheWire).size, `the
|
|
68
|
+
expect(new Set(onTheWire).size, `the facades disagree: ${JSON.stringify(onTheWire)}`).toBe(1);
|
|
69
69
|
});
|
|
70
70
|
it('on a refusal', async () => {
|
|
71
|
-
// A refusal is where the
|
|
71
|
+
// A refusal is where the facades diverge most, and where each is most tempted to
|
|
72
72
|
// answer in its own words. What must match is that it WAS refused.
|
|
73
73
|
const bad = { ...inputOf(), __unknown__: 'x' };
|
|
74
|
-
const refusals = await Promise.all(['local', 'rpc', 'rest', 'graphql'].map((
|
|
74
|
+
const refusals = await Promise.all(['local', 'rpc', 'rest', 'graphql'].map((facade) => refused(() => facades[facade]('create', { input: bad }))));
|
|
75
75
|
expect(refusals[0], 'local accepted a body outside the contract').toBe(true);
|
|
76
|
-
expect(refusals, `the
|
|
76
|
+
expect(refusals, `the facades disagree: ${JSON.stringify(refusals)}`).toEqual([true, true, true, true]);
|
|
77
77
|
});
|
|
78
78
|
});
|
|
79
79
|
}
|
|
80
|
-
/** Run one hand-written invocation contract through every
|
|
80
|
+
/** Run one hand-written invocation contract through every facade. */
|
|
81
81
|
export function checkDoorContract(app, entity, cases, options = {}) {
|
|
82
82
|
const name = lowerFirst(entity.name ?? '');
|
|
83
|
-
const
|
|
83
|
+
const facades = facadesOf(app, entity, name, options.surface);
|
|
84
84
|
const names = ['local', 'rpc', 'rest', 'graphql'];
|
|
85
|
-
describe(`${entity.name} — its invocation contract crosses every
|
|
85
|
+
describe(`${entity.name} — its invocation contract crosses every facade`, () => {
|
|
86
86
|
for (const one of cases) {
|
|
87
87
|
it(one.name, async () => {
|
|
88
|
-
const answers = await Promise.all(names.map((
|
|
88
|
+
const answers = await Promise.all(names.map((facade) => facades[facade](one.operation, one.input)));
|
|
89
89
|
for (const [index, answer] of answers.entries()) {
|
|
90
90
|
expect(wire(answer), `${names[index]} disagrees with the canonical invocation`).toEqual(wire(one.expected));
|
|
91
91
|
}
|
|
@@ -102,8 +102,8 @@ async function refused(call) {
|
|
|
102
102
|
return true;
|
|
103
103
|
}
|
|
104
104
|
}
|
|
105
|
-
/** The four
|
|
106
|
-
function
|
|
105
|
+
/** The four facades, each reduced to `(op, input) => answer` so the tests above read alike. */
|
|
106
|
+
function facadesOf(app, entity, name, surface) {
|
|
107
107
|
const run = createLocalRunner(app, surface);
|
|
108
108
|
const state = {};
|
|
109
109
|
const invocation = (call = {}) => ({
|
|
@@ -124,7 +124,7 @@ function doorsOf(app, entity, name, surface) {
|
|
|
124
124
|
return answer.result;
|
|
125
125
|
},
|
|
126
126
|
rest: async (op, call) => {
|
|
127
|
-
// The route the REST
|
|
127
|
+
// The route the REST facade itself would match, read from its own table — rebuilding
|
|
128
128
|
// the path here would be a second opinion on where an entity lives.
|
|
129
129
|
const route = tableOf(app).find((one) => one.entityName === name && one.operationName === op);
|
|
130
130
|
if (!route)
|
|
@@ -150,4 +150,4 @@ function doorsOf(app, entity, name, surface) {
|
|
|
150
150
|
},
|
|
151
151
|
};
|
|
152
152
|
}
|
|
153
|
-
//# sourceMappingURL=
|
|
153
|
+
//# sourceMappingURL=DoorContractCase.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DoorContractCase.js","sourceRoot":"","sources":["../src/DoorContractCase.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAY,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAmB,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAI1C,qEAAqE;AACrE,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,KAAmC,CAAC;IACjD,OAAO,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAClF,CAAC;AAED,8FAA8F;AAC9F,MAAM,IAAI,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC;AAEpF,wEAAwE;AACxE,SAAS,OAAO,CAAC,KAAc,EAAE,IAA6B;IAC5D,MAAM,GAAG,GAAG,KAAuC,CAAC;IACpD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnF,CAAC;AAmBD,kDAAkD;AAClD,MAAM,UAAU,UAAU,CAAC,GAAQ,EAAE,MAAkB,EAAE,OAAO,GAAgB,EAAE;IAChF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAExE,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,sBAAsB,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;YACpD,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC9B,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAC3G,CAAC;YAEF,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1E,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC9C,MAAM,CAAC,KAAK,EAAE,GAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YACvB,MAAM,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAEpD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,oBAAoB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAElF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9E,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,KAAK,IAAI,EAAE;YAC3B,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAmB,CAAC;YAElF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAEpE,MAAM,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1F,MAAM,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5F,MAAM,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpG,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;YACpD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAqB,CAAC;YAC1H,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;YAExB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC9B,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAW;iBAC3C,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAC3F,CAAC;YAEF,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3E,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC9C,MAAM,CAAC,KAAK,EAAE,GAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE;YACzB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAqB,CAAC;YAE1H,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC9B,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CACzH,CAAC;YAEF,oFAAoF;YACpF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3G,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,yBAAyB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChG,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,KAAK,IAAI,EAAE;YAC5B,iFAAiF;YACjF,mEAAmE;YACnE,MAAM,GAAG,GAAG,EAAE,GAAG,OAAO,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CACzH,CAAC;YAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,4CAA4C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7E,MAAM,CAAC,QAAQ,EAAE,yBAAyB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1G,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,iBAAiB,CAC/B,GAAQ,EACR,MAAkB,EAClB,KAAkC,EAClC,OAAO,GAAiC,EAAE;IAE1C,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAU,CAAC;IAE3D,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,iDAAiD,EAAE,GAAG,EAAE;QAC7E,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE;gBACtB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACpG,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;oBAChD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC9G,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,IAA4B;IACjD,IAAI,CAAC;QAAC,MAAM,IAAI,EAAE,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC5D,CAAC;AAED,+FAA+F;AAC/F,SAAS,SAAS,CAAC,GAAQ,EAAE,MAAkB,EAAE,IAAY,EAAE,OAAgB;IAC7E,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,KAAK,GAA4B,EAAE,CAAC;IAE1C,MAAM,UAAU,GAAG,CAAC,IAAI,GAAc,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5C,GAAG,UAAU,CAAC,KAAK;QACnB,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAC,CAAC;IAEH,OAAO;QACL,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAEhE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;YACtB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE;gBACjC,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE;gBAClF,KAAK;aACN,CAAsD,CAAC;YACxD,IAAI,MAAM,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxD,OAAO,MAAM,CAAC,MAAM,CAAC;QACvB,CAAC;QAED,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;YACvB,qFAAqF;YACrF,oEAAoE;YACpE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,GAAG,CAAC,aAAa,KAAK,EAAE,CAAC,CAAC;YAC9F,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;YACzE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAE7G,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YACzG,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,CAAC,IAAI,OAAO,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;YACxG,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;YAC1B,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAY,CAAU,CAAC;YAC/C,MAAM,KAAK,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;gBACrD,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC;oBAC/D,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1E,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;YAEnF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAY,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5E,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAChG,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DoorInput.d.ts","sourceRoot":"","sources":["../src/DoorInput.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,SAAS;IAAG,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DoorInput.js","sourceRoot":"","sources":["../src/DoorInput.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DoorOptions.d.ts","sourceRoot":"","sources":["../src/DoorOptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,wDAAwD;IACxD,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DoorOptions.js","sourceRoot":"","sources":["../src/DoorOptions.ts"],"names":[],"mappings":""}
|
package/dist/all.d.ts
CHANGED
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
import type { App } from '@fougere/core';
|
|
2
2
|
import type { SchemaView } from '@fougere/schema';
|
|
3
|
-
import { type CheckOptions } from './
|
|
4
|
-
import { type DoorOptions } from './
|
|
3
|
+
import { type CheckOptions } from './facades/CheckOptions.js';
|
|
4
|
+
import { type DoorOptions } from './DoorOptions.js';
|
|
5
5
|
export interface CheckAllOptions extends DoorOptions, CheckOptions {
|
|
6
6
|
/** Entities to leave out, by name — one whose rows a test cannot seed, typically. */
|
|
7
7
|
except?: string[];
|
|
8
|
-
/** Skip the four-
|
|
9
|
-
|
|
8
|
+
/** Skip the four-facade comparison. The contract and the leak are still checked. */
|
|
9
|
+
facades?: boolean;
|
|
10
10
|
}
|
|
11
11
|
/** Every entity the app SERVES, with its handler. */
|
|
12
12
|
export declare function servedEntities(app: App): {
|
package/dist/all.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"all.d.ts","sourceRoot":"","sources":["../src/all.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,
|
|
1
|
+
{"version":3,"file":"all.d.ts","sourceRoot":"","sources":["../src/all.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAG9D,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,MAAM,WAAW,eAAgB,SAAQ,WAAW,EAAE,YAAY;IAChE,qFAAqF;IACrF,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,oFAAoF;IACpF,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,qDAAqD;AACrD,wBAAgB,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,UAAU,CAAA;CAAE,EAAE,CAS/E;AAED,8EAA8E;AAC9E,wBAAgB,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,GAAE,eAAoB,GAAG,IAAI,CAetE"}
|
package/dist/all.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { describe, it, expect } from 'vitest';
|
|
2
|
-
import { checkContract, checkOutput } from './
|
|
3
|
-
import { checkDoors } from './
|
|
2
|
+
import { checkContract, checkOutput } from './facades/Verdict.js';
|
|
3
|
+
import { checkDoors } from './DoorContractCase.js';
|
|
4
4
|
/** Every entity the app SERVES, with its handler. */
|
|
5
5
|
export function servedEntities(app) {
|
|
6
6
|
const served = [];
|
|
@@ -25,7 +25,7 @@ export function checkAll(app, options = {}) {
|
|
|
25
25
|
for (const { entity } of served) {
|
|
26
26
|
checkContract(app, entity, options);
|
|
27
27
|
checkOutput(app, entity, options);
|
|
28
|
-
if (options.
|
|
28
|
+
if (options.facades !== false)
|
|
29
29
|
checkDoors(app, entity, options);
|
|
30
30
|
}
|
|
31
31
|
}
|
package/dist/all.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"all.js","sourceRoot":"","sources":["../src/all.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;
|
|
1
|
+
{"version":3,"file":"all.js","sourceRoot":"","sources":["../src/all.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAI9C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAUnD,qDAAqD;AACrD,MAAM,UAAU,cAAc,CAAC,GAAQ;IACrC,MAAM,MAAM,GAA2C,EAAE,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAClH,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,QAAQ,CAAC,GAAQ,EAAE,OAAO,GAAoB,EAAE;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAE1E,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QAChC,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACpC,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAClC,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK;YAAE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import { type App } from '@fougere/core';
|
|
2
|
+
import { type Stub } from '../stub/Stub.js';
|
|
3
|
+
import type { TestAppOptions } from './TestAppOptions.js';
|
|
4
|
+
/** An app, plus the doubles standing in front of its ports and the facts it announced. */
|
|
5
|
+
export interface TestApp extends App {
|
|
6
|
+
/** The double installed for a port, to state a return or read what was called. */
|
|
7
|
+
stub<T>(port: abstract new (...args: never[]) => T): Stub<T>;
|
|
8
|
+
/** What was announced under a fact's name, in order. */
|
|
9
|
+
announced(fact: {
|
|
10
|
+
name: string;
|
|
11
|
+
} | string): unknown[];
|
|
12
|
+
}
|
|
13
|
+
/** An app to ask questions of, wired the conventional way. */
|
|
14
|
+
export declare function testApp(options?: TestAppOptions): Promise<TestApp>;
|
|
15
|
+
//# sourceMappingURL=TestApp.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestApp.d.ts","sourceRoot":"","sources":["../../src/app/TestApp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AAIzC,OAAO,EAAgB,KAAK,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAI1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,0FAA0F;AAC1F,MAAM,WAAW,OAAQ,SAAQ,GAAG;IAClC,kFAAkF;IAClF,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7D,wDAAwD;IACxD,SAAS,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC;CACvD;AAED,8DAA8D;AAC9D,wBAAsB,OAAO,CAAC,OAAO,GAAE,cAAmB,GAAG,OAAO,CAAC,OAAO,CAAC,CAyC5E"}
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
import { boot } from '@fougere/compiler';
|
|
2
2
|
import { createContainer } from '@fougere/container';
|
|
3
3
|
import { resolveStorage } from '@fougere/defaults';
|
|
4
|
-
import { installStubs } from '
|
|
5
|
-
import { scopeOfRun } from '
|
|
4
|
+
import { installStubs } from '../stub/Stub.js';
|
|
5
|
+
import { scopeOfRun } from '../scope.js';
|
|
6
6
|
import { lowerFirst } from '@fougere/schema';
|
|
7
7
|
/** An app to ask questions of, wired the conventional way. */
|
|
8
8
|
export async function testApp(options = {}) {
|
|
@@ -47,4 +47,4 @@ function currentTestPath() {
|
|
|
47
47
|
const globals = globalThis;
|
|
48
48
|
return globals.__vitest_worker__?.filepath;
|
|
49
49
|
}
|
|
50
|
-
//# sourceMappingURL=
|
|
50
|
+
//# sourceMappingURL=TestApp.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestApp.js","sourceRoot":"","sources":["../../src/app/TestApp.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAiB,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,YAAY,EAAa,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAW7C,8DAA8D;AAC9D,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,OAAO,GAAmB,EAAE;IACxD,MAAM,EAAE,GAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,UAAU,EAAE,CAAC;IAC3E,uFAAuF;IACvF,iFAAiF;IACjF,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QACxD,CAAC,CAAC,MAAM,UAAU,CAAC,OAAO,CAAC,QAAQ,IAAI,eAAe,EAAE,CAAC,CAAC;IAE5D,mFAAmF;IACnF,yFAAyF;IACzF,MAAM,KAAK,GAAyC,EAAE,CAAC;IAEvD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC;QACrB,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,KAAK,EAAE,IAAI;QACjC,eAAe;QACf,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,iFAAiF;QACjF,+BAA+B;QAC/B,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;QACtD,EAAE,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;KAC7B,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;QACxB,SAAS,CAAC,IAA+B;YACvC,mFAAmF;YACnF,8EAA8E;YAC9E,2EAA2E;YAC3E,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,CAAI,IAA0C;YAChD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAY,CAAC,CAAC;YACxC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,IAAI,KAAK,CACb,UAAW,IAAa,CAAC,IAAI,gDAAiD,IAAa,CAAC,IAAI,OAAO,CACxG,CAAC;YACJ,CAAC;YACD,OAAO,KAAgB,CAAC;QAC1B,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,eAAe;IACtB,MAAM,OAAO,GAAG,UAA2D,CAAC;IAC5E,OAAO,OAAO,CAAC,iBAAiB,EAAE,QAAQ,CAAC;AAC7C,CAAC"}
|
|
@@ -1,5 +1,4 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import { type Port, type Stub } from './stub.js';
|
|
1
|
+
import type { Port } from '../stub/Port.js';
|
|
3
2
|
export interface TestAppOptions {
|
|
4
3
|
/** The project to scan. */
|
|
5
4
|
root?: string;
|
|
@@ -23,15 +22,4 @@ export interface TestAppOptions {
|
|
|
23
22
|
*/
|
|
24
23
|
stub?: Port[];
|
|
25
24
|
}
|
|
26
|
-
|
|
27
|
-
export interface TestApp extends App {
|
|
28
|
-
/** The double installed for a port, to state a return or read what was called. */
|
|
29
|
-
stub<T>(port: abstract new (...args: never[]) => T): Stub<T>;
|
|
30
|
-
/** What was announced under a fact's name, in order. */
|
|
31
|
-
announced(fact: {
|
|
32
|
-
name: string;
|
|
33
|
-
} | string): unknown[];
|
|
34
|
-
}
|
|
35
|
-
/** An app to ask questions of, wired the conventional way. */
|
|
36
|
-
export declare function testApp(options?: TestAppOptions): Promise<TestApp>;
|
|
37
|
-
//# sourceMappingURL=app.d.ts.map
|
|
25
|
+
//# sourceMappingURL=TestAppOptions.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestAppOptions.d.ts","sourceRoot":"","sources":["../../src/app/TestAppOptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAE5C,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,yBAAyB;IACzB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ;;;OAGG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;OAGG;IACH,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC;CACf"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestAppOptions.js","sourceRoot":"","sources":["../../src/app/TestAppOptions.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import { type SampleOptions } from '../sample.js';
|
|
2
|
+
export interface CheckOptions extends SampleOptions {
|
|
3
|
+
/** Values the generator cannot invent — the id of a row a `ref()` points at. */
|
|
4
|
+
given?: Record<string, unknown>;
|
|
5
|
+
}
|
|
6
|
+
//# sourceMappingURL=CheckOptions.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"CheckOptions.d.ts","sourceRoot":"","sources":["../../src/facades/CheckOptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,MAAM,WAAW,YAAa,SAAQ,aAAa;IACjD,gFAAgF;IAChF,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"CheckOptions.js","sourceRoot":"","sources":["../../src/facades/CheckOptions.ts"],"names":[],"mappings":""}
|
|
@@ -1,19 +1,15 @@
|
|
|
1
1
|
import { type App } from '@fougere/core';
|
|
2
2
|
import { type SchemaView, type ValidationError } from '@fougere/schema';
|
|
3
|
-
import {
|
|
4
|
-
/** The one shape both the local validator and a
|
|
3
|
+
import type { CheckOptions } from './CheckOptions.js';
|
|
4
|
+
/** The one shape both the local validator and a facade already speak. */
|
|
5
5
|
export interface Verdict {
|
|
6
6
|
success: boolean;
|
|
7
7
|
errors?: ValidationError[];
|
|
8
8
|
}
|
|
9
|
-
/** What a
|
|
9
|
+
/** What a facade answers, in the shape a verdict is compared in. */
|
|
10
10
|
export declare function verdictOf(call: () => Promise<unknown>): Promise<Verdict>;
|
|
11
|
-
export interface CheckOptions extends SampleOptions {
|
|
12
|
-
/** Values the generator cannot invent — the id of a row a `ref()` points at. */
|
|
13
|
-
given?: Record<string, unknown>;
|
|
14
|
-
}
|
|
15
11
|
/** The declared contract, posed to the façade that will receive it. */
|
|
16
12
|
export declare function checkContract(app: App, entity: SchemaView, options?: CheckOptions): void;
|
|
17
13
|
/** What may leave, checked against what the entity says may leave. */
|
|
18
14
|
export declare function checkOutput(app: App, entity: SchemaView, options?: CheckOptions): void;
|
|
19
|
-
//# sourceMappingURL=
|
|
15
|
+
//# sourceMappingURL=Verdict.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Verdict.d.ts","sourceRoot":"","sources":["../../src/facades/Verdict.ts"],"names":[],"mappings":"AACA,OAAO,EAAyC,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AAEhF,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAIhG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEtD,yEAAyE;AACzE,MAAM,WAAW,OAAO;IACtB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC;CAC5B;AAED,oEAAoE;AACpE,wBAAsB,SAAS,CAAC,IAAI,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAS9E;AAOD,uEAAuE;AACvE,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,GAAE,YAAiB,GAAG,IAAI,CAiB5F;AAED,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,GAAE,YAAiB,GAAG,IAAI,CA2B1F"}
|
|
@@ -3,9 +3,9 @@ import { createLocalRunner, validationErrorsOf } from '@fougere/core';
|
|
|
3
3
|
import { Invocation } from '@fougere/core/contract';
|
|
4
4
|
import { lowerFirst, Visibility } from '@fougere/schema';
|
|
5
5
|
import { Cases } from '@fougere/schema';
|
|
6
|
-
import { derivedCases } from '
|
|
7
|
-
import { sampleInput, replaySeed } from '
|
|
8
|
-
/** What a
|
|
6
|
+
import { derivedCases } from '../derive.js';
|
|
7
|
+
import { sampleInput, replaySeed } from '../sample.js';
|
|
8
|
+
/** What a facade answers, in the shape a verdict is compared in. */
|
|
9
9
|
export async function verdictOf(call) {
|
|
10
10
|
try {
|
|
11
11
|
await call();
|
|
@@ -55,4 +55,4 @@ export function checkOutput(app, entity, options = {}) {
|
|
|
55
55
|
});
|
|
56
56
|
});
|
|
57
57
|
}
|
|
58
|
-
//# sourceMappingURL=
|
|
58
|
+
//# sourceMappingURL=Verdict.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Verdict.js","sourceRoot":"","sources":["../../src/facades/Verdict.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAY,MAAM,eAAe,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAyC,MAAM,iBAAiB,CAAC;AAChG,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AASvD,oEAAoE;AACpE,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAA4B;IAC1D,IAAI,CAAC;QACH,MAAM,IAAI,EAAE,CAAC;QACb,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,QAAQ;YAAE,MAAM,KAAK,CAAC;QAC3B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAkB;IAChC,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACtD,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAAC,GAAQ,EAAE,MAAkB,EAAE,OAAO,GAAiB,EAAE;IACpF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAEjE,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,6BAA6B,EAAE,GAAG,EAAE;QACzD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE;gBACrB,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CACvC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EACjD,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CACzF,CAAC,CAAC;gBAEH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9G,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,WAAW,CAAC,GAAQ,EAAE,MAAkB,EAAE,OAAO,GAAiB,EAAE;IAClF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAEtF,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,mBAAmB,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;YAClG,MAAM,GAAG,GAAG,MAAM,GAAG,CACnB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAC5B,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,EAAE,CACvD,CAAC;YAE7B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,GAAG,GAAG,MAAM,GAAG,CACnB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAC5B,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,EAAE,CACvD,CAAC;YAE7B,kFAAkF;YAClF,yEAAyE;YACzE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -1,11 +1,14 @@
|
|
|
1
1
|
export { sampleInput } from './sample.js';
|
|
2
2
|
export { Cases, type ValidationCase } from '@fougere/schema';
|
|
3
|
-
export { testApp } from './app.js';
|
|
4
|
-
export { checkContract, checkOutput, verdictOf, type Verdict } from './
|
|
5
|
-
export {
|
|
3
|
+
export { testApp } from './app/TestApp.js';
|
|
4
|
+
export { checkContract, checkOutput, verdictOf, type Verdict } from './facades/Verdict.js';
|
|
5
|
+
export { type Port } from './stub/Port.js';
|
|
6
|
+
export { stubOf, type Stub } from './stub/Stub.js';
|
|
6
7
|
export { frondOf, type Scope } from './scope.js';
|
|
7
|
-
export { loadScript } from './load.js';
|
|
8
|
-
export {
|
|
8
|
+
export { loadScript, reachableOps } from './load.js';
|
|
9
|
+
export { statementsOf } from './statements.js';
|
|
10
|
+
export { spansOf } from './spans.js';
|
|
11
|
+
export { checkDoorContract, checkDoors } from './DoorContractCase.js';
|
|
9
12
|
export { at } from './gql.js';
|
|
10
13
|
export { driftOf, agrees, explain, type CardDrift } from './remotes.js';
|
|
11
14
|
export { checkAll } from './all.js';
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC3F,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -1,12 +1,14 @@
|
|
|
1
1
|
export { sampleInput } from './sample.js';
|
|
2
2
|
// The derivation itself lives with the axes it reads.
|
|
3
3
|
export { Cases } from '@fougere/schema';
|
|
4
|
-
export { testApp } from './app.js';
|
|
5
|
-
export { checkContract, checkOutput, verdictOf } from './
|
|
6
|
-
export { stubOf } from './stub.js';
|
|
4
|
+
export { testApp } from './app/TestApp.js';
|
|
5
|
+
export { checkContract, checkOutput, verdictOf } from './facades/Verdict.js';
|
|
6
|
+
export { stubOf } from './stub/Stub.js';
|
|
7
7
|
export { frondOf } from './scope.js';
|
|
8
|
-
export { loadScript } from './load.js';
|
|
9
|
-
export {
|
|
8
|
+
export { loadScript, reachableOps } from './load.js';
|
|
9
|
+
export { statementsOf } from './statements.js';
|
|
10
|
+
export { spansOf } from './spans.js';
|
|
11
|
+
export { checkDoorContract, checkDoors } from './DoorContractCase.js';
|
|
10
12
|
export { at } from './gql.js';
|
|
11
13
|
export { driftOf, agrees, explain } from './remotes.js';
|
|
12
14
|
export { checkAll } from './all.js';
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAuB,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAuB,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAgB,MAAM,sBAAsB,CAAC;AAE3F,OAAO,EAAE,MAAM,EAAa,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAc,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAkB,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC"}
|
package/dist/load.d.ts
CHANGED
|
@@ -1,17 +1,31 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { FrondDescriptor } from '@fougere/core/descriptor';
|
|
2
|
+
/**
|
|
3
|
+
* What a load script is read from: the fronds, and nothing else.
|
|
4
|
+
*
|
|
5
|
+
* An `App` satisfies it, and so does a scan — which is what lets `fougere load` answer without
|
|
6
|
+
* booting the project it describes. A boot runs migrations and seeds, so a command that wrote a
|
|
7
|
+
* scenario would also write to the target's database.
|
|
8
|
+
*/
|
|
9
|
+
interface Serving {
|
|
10
|
+
fronds: readonly FrondDescriptor[];
|
|
11
|
+
}
|
|
2
12
|
export interface LoadOptions {
|
|
3
|
-
/** Where the calls go. The RPC
|
|
4
|
-
|
|
13
|
+
/** Where the calls go. The RPC facade of a running app. */
|
|
14
|
+
facade?: string;
|
|
15
|
+
/** The topology statement, so an op that crosses a process is given the time to. */
|
|
16
|
+
remotes?: Record<string, string>;
|
|
5
17
|
/** Values the generator cannot invent, by entity name — the id a `ref()` points at. */
|
|
6
18
|
given?: Record<string, Record<string, unknown>>;
|
|
7
19
|
}
|
|
8
20
|
interface Reachable {
|
|
9
21
|
method: string;
|
|
10
22
|
input: unknown;
|
|
23
|
+
/** How many times this op's work crosses a process — what its budget is a function of. */
|
|
24
|
+
hops: number;
|
|
11
25
|
}
|
|
12
26
|
/** Every operation the app answers, with a body for those that take one. */
|
|
13
|
-
export declare function reachableOps(app:
|
|
27
|
+
export declare function reachableOps(app: Serving, given?: LoadOptions['given'], remotes?: Record<string, string>): Reachable[];
|
|
14
28
|
/** A k6 scenario, written from what the app answers. */
|
|
15
|
-
export declare function loadScript(app:
|
|
29
|
+
export declare function loadScript(app: Serving, options?: LoadOptions): string;
|
|
16
30
|
export {};
|
|
17
31
|
//# sourceMappingURL=load.d.ts.map
|
package/dist/load.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEhE;;;;;;GAMG;AACH,UAAU,OAAO;IACf,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CACpC;AAID,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,oFAAoF;IACpF,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,uFAAuF;IACvF,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACjD;AAED,UAAU,SAAS;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IACf,0FAA0F;IAC1F,IAAI,EAAE,MAAM,CAAC;CACd;AAED,4EAA4E;AAC5E,wBAAgB,YAAY,CAC1B,GAAG,EAAE,OAAO,EACZ,KAAK,GAAE,WAAW,CAAC,OAAO,CAAM,EAChC,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GACnC,SAAS,EAAE,CAqBb;AAED,wDAAwD;AACxD,wBAAgB,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,WAAgB,GAAG,MAAM,CAkE1E"}
|