@antithesishq/bombadil 0.2.1 → 0.3.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 CHANGED
@@ -1,6 +1,6 @@
1
1
  # @antithesishq/bombadil
2
2
 
3
- [![Version](https://img.shields.io/badge/version-0.2.1-blue)](https://github.com/antithesishq/bombadil/releases/tag/v0.2.1)
3
+ [![Version](https://img.shields.io/badge/version-0.3.1-blue)](https://github.com/antithesishq/bombadil/releases/tag/v0.3.1)
4
4
 
5
5
  Type definitions for writing [Bombadil](https://github.com/antithesishq/bombadil) specifications.
6
6
 
@@ -0,0 +1,45 @@
1
+ import { type Generator } from "@antithesishq/bombadil/random";
2
+ export type { Generator } from "@antithesishq/bombadil/random";
3
+ export { from, strings, emails, integers, keycodes, randomRange, } from "@antithesishq/bombadil/random";
4
+ export interface Point {
5
+ x: number;
6
+ y: number;
7
+ }
8
+ export type Action = "Back" | "Forward" | "Reload" | {
9
+ Click: {
10
+ name: string;
11
+ content?: string;
12
+ point: Point;
13
+ };
14
+ } | {
15
+ TypeText: {
16
+ text: string;
17
+ delayMillis: number;
18
+ };
19
+ } | {
20
+ PressKey: {
21
+ code: number;
22
+ };
23
+ } | {
24
+ ScrollUp: {
25
+ origin: Point;
26
+ distance: number;
27
+ };
28
+ } | {
29
+ ScrollDown: {
30
+ origin: Point;
31
+ distance: number;
32
+ };
33
+ };
34
+ export type Tree<T> = {
35
+ value: T;
36
+ } | {
37
+ branches: [number, Tree<T>][];
38
+ };
39
+ export declare class ActionGenerator implements Generator<Tree<Action>> {
40
+ generate: () => Tree<Action>;
41
+ constructor(generate: () => Tree<Action>);
42
+ }
43
+ export declare function actions(generate: () => Tree<Action> | Action[]): ActionGenerator;
44
+ export declare function weighted(value: [number, Action | ActionGenerator][]): ActionGenerator;
45
+ //# sourceMappingURL=actions.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../xp4svjzniwnfpczi2sribfgqa07pndsc-source/src/specification/actions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAE/D,YAAY,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,WAAW,GACZ,MAAM,+BAA+B,CAAC;AAEvC,MAAM,WAAW,KAAK;IACpB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX;AAED,MAAM,MAAM,MAAM,GACd,MAAM,GACN,SAAS,GACT,QAAQ,GACR;IAAE,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAA;CAAE,GAC3D;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACnD;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GAC9B;IAAE,QAAQ,EAAE;QAAE,MAAM,EAAE,KAAK,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACjD;IAAE,UAAU,EAAE;QAAE,MAAM,EAAE,KAAK,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAC;AAIxD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;CAAE,CAAC;AAmBvE,qBAAa,eAAgB,YAAW,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC;gBAA5B,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC;CAChD;AAED,wBAAgB,OAAO,CACrB,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,GACtC,eAAe,CAQjB;AAED,wBAAgB,QAAQ,CACtB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,eAAe,CAAC,EAAE,GAC1C,eAAe,CAWjB"}
@@ -0,0 +1,8 @@
1
+ export declare const scroll: import("@antithesishq/bombadil").ActionGenerator;
2
+ export declare const clicks: import("@antithesishq/bombadil").ActionGenerator;
3
+ export declare const inputs: import("@antithesishq/bombadil").ActionGenerator;
4
+ export declare const back: import("@antithesishq/bombadil").ActionGenerator;
5
+ export declare const forward: import("@antithesishq/bombadil").ActionGenerator;
6
+ export declare const reload: import("@antithesishq/bombadil").ActionGenerator;
7
+ export declare const navigation: import("@antithesishq/bombadil").ActionGenerator;
8
+ //# sourceMappingURL=actions.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../../xp4svjzniwnfpczi2sribfgqa07pndsc-source/src/specification/defaults/actions.ts"],"names":[],"mappings":"AAqDA,eAAO,MAAM,MAAM,kDAmCjB,CAAC;AAwKH,eAAO,MAAM,MAAM,kDAQjB,CAAC;AAmBH,eAAO,MAAM,MAAM,kDA4CjB,CAAC;AAIH,eAAO,MAAM,IAAI,kDAGf,CAAC;AAEH,eAAO,MAAM,OAAO,kDAGlB,CAAC;AAEH,eAAO,MAAM,MAAM,kDAGjB,CAAC;AAEH,eAAO,MAAM,UAAU,kDAIrB,CAAC"}
@@ -0,0 +1,5 @@
1
+ export declare const noHttpErrorCodes: import("@antithesishq/bombadil").Always;
2
+ export declare const noUncaughtExceptions: import("@antithesishq/bombadil").Always;
3
+ export declare const noUnhandledPromiseRejections: import("@antithesishq/bombadil").Always;
4
+ export declare const noConsoleErrors: import("@antithesishq/bombadil").Always;
5
+ //# sourceMappingURL=properties.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../xp4svjzniwnfpczi2sribfgqa07pndsc-source/src/specification/defaults/properties.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,gBAAgB,yCAE5B,CAAC;AAIF,eAAO,MAAM,oBAAoB,yCAEhC,CAAC;AAEF,eAAO,MAAM,4BAA4B,yCAExC,CAAC;AAMF,eAAO,MAAM,eAAe,yCAE3B,CAAC"}
@@ -1,5 +1,3 @@
1
- export declare const no_http_error_codes: import("@antithesishq/bombadil").Always;
2
- export declare const no_uncaught_exceptions: import("@antithesishq/bombadil").Always;
3
- export declare const no_unhandled_promise_rejections: import("@antithesishq/bombadil").Always;
4
- export declare const no_console_errors: import("@antithesishq/bombadil").Always;
1
+ export { noHttpErrorCodes, noUncaughtExceptions, noUnhandledPromiseRejections, noConsoleErrors, } from "@antithesishq/bombadil/defaults/properties";
2
+ export { scroll, clicks, inputs, navigation, } from "@antithesishq/bombadil/defaults/actions";
5
3
  //# sourceMappingURL=defaults.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../rq7jyn3gw1zc6bx7x921m91libxaakg9-source/src/specification/defaults.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,mBAAmB,yCAE/B,CAAC;AAMF,eAAO,MAAM,sBAAsB,yCAElC,CAAC;AAEF,eAAO,MAAM,+BAA+B,yCAE3C,CAAC;AAMF,eAAO,MAAM,iBAAiB,yCAE7B,CAAC"}
1
+ {"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../xp4svjzniwnfpczi2sribfgqa07pndsc-source/src/specification/defaults.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,4BAA4B,EAC5B,eAAe,GAChB,MAAM,4CAA4C,CAAC;AAEpD,OAAO,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,UAAU,GACX,MAAM,yCAAyC,CAAC"}
package/dist/index.d.ts CHANGED
@@ -1,5 +1,7 @@
1
- import { type JSON, Duration, type TimeUnit, type Cell } from "@antithesishq/bombadil/internal";
1
+ import { type JSON, type TimeUnit, type Cell } from "@antithesishq/bombadil/internal";
2
2
  export { time, type Cell } from "@antithesishq/bombadil/internal";
3
+ export { actions, weighted, type Action, type Generator, type Point, ActionGenerator, from, strings, emails, integers, keycodes, } from "@antithesishq/bombadil/actions";
4
+ import type { Action } from "@antithesishq/bombadil/actions";
3
5
  export declare class Formula {
4
6
  not(): Formula;
5
7
  and(that: IntoFormula): Formula;
@@ -40,16 +42,16 @@ export declare class Next extends Formula {
40
42
  toString(): string;
41
43
  }
42
44
  export declare class Always extends Formula {
43
- bound: Duration | null;
45
+ boundMillis: number | null;
44
46
  subformula: Formula;
45
- constructor(bound: Duration | null, subformula: Formula);
47
+ constructor(boundMillis: number | null, subformula: Formula);
46
48
  within(n: number, unit: TimeUnit): Formula;
47
49
  toString(): string;
48
50
  }
49
51
  export declare class Eventually extends Formula {
50
- bound: Duration | null;
52
+ boundMillis: number | null;
51
53
  subformula: Formula;
52
- constructor(bound: Duration | null, subformula: Formula);
54
+ constructor(boundMillis: number | null, subformula: Formula);
53
55
  within(n: number, unit: TimeUnit): Formula;
54
56
  toString(): string;
55
57
  }
@@ -69,8 +71,13 @@ export declare function extract<T extends JSON>(query: (state: State) => T): Cel
69
71
  export interface State {
70
72
  document: HTMLDocument;
71
73
  window: Window;
74
+ navigationHistory: {
75
+ back: NavigationEntry[];
76
+ current: NavigationEntry;
77
+ forward: NavigationEntry[];
78
+ };
72
79
  errors: {
73
- uncaught_exceptions: {
80
+ uncaughtExceptions: {
74
81
  text: string;
75
82
  line: number;
76
83
  column: number;
@@ -84,7 +91,13 @@ export interface State {
84
91
  }[];
85
92
  };
86
93
  console: ConsoleEntry[];
94
+ lastAction: Action | null;
87
95
  }
96
+ export type NavigationEntry = {
97
+ id: number;
98
+ title: string;
99
+ url: string;
100
+ };
88
101
  export type ConsoleEntry = {
89
102
  timestamp: number;
90
103
  level: "warning" | "error";
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../rq7jyn3gw1zc6bx7x921m91libxaakg9-source/src/specification/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,IAAI,EAGT,QAAQ,EACR,KAAK,QAAQ,EACb,KAAK,IAAI,EACV,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE,MAAM,iCAAiC,CAAC;AAElE,qBAAa,OAAO;IAClB,GAAG,IAAI,OAAO;IAGd,GAAG,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG/B,EAAE,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG9B,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;CAGpC;AAED,qBAAa,IAAK,SAAQ,OAAO;IAE7B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,OAAO;gBADb,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IAErB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,EAAG,SAAQ,OAAO;IAEpB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;CAIxB;AAED,qBAAa,OAAQ,SAAQ,OAAO;IAEzB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IACX,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAG7B,QAAQ;CAGlB;AAED,qBAAa,IAAK,SAAQ,OAAO;IACZ,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAI7B,QAAQ;CAGlB;AAED,qBAAa,MAAO,SAAQ,OAAO;IAExB,KAAK,EAAE,QAAQ,GAAG,IAAI;IACtB,UAAU,EAAE,OAAO;gBADnB,KAAK,EAAE,QAAQ,GAAG,IAAI,EACtB,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAOjC,QAAQ;CAKlB;AAED,qBAAa,UAAW,SAAQ,OAAO;IAE5B,KAAK,EAAE,QAAQ,GAAG,IAAI;IACtB,UAAU,EAAE,OAAO;gBADnB,KAAK,EAAE,QAAQ,GAAG,IAAI,EACtB,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAOjC,QAAQ;CAKlB;AAED,qBAAa,KAAM,SAAQ,OAAO;IAE9B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,MAAM,OAAO;gBADnB,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,OAAO;IAKpB,QAAQ;CAGlB;AAED,KAAK,WAAW,GAAG,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC;AAEvD,wBAAgB,GAAG,CAAC,KAAK,EAAE,WAAW,OAErC;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAe3C;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAE5C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAE7C;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,WAAW,GAAG,UAAU,CAErD;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAE3E;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE;QACN,mBAAmB,EAAE;YACnB,IAAI,EAAE,MAAM,CAAC;YACb,IAAI,EAAE,MAAM,CAAC;YACb,MAAM,EAAE,MAAM,CAAC;YACf,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;YACnB,UAAU,EACN;gBAAE,IAAI,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE,MAAM,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAC;gBAAC,GAAG,EAAE,MAAM,CAAA;aAAE,EAAE,GAC7D,IAAI,CAAC;SACV,EAAE,CAAC;KACL,CAAC;IACF,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC;IAC3B,IAAI,EAAE,IAAI,EAAE,CAAC;CACd,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../xp4svjzniwnfpczi2sribfgqa07pndsc-source/src/specification/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,IAAI,EAGT,KAAK,QAAQ,EACb,KAAK,IAAI,EACV,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EACL,OAAO,EACP,QAAQ,EACR,KAAK,MAAM,EACX,KAAK,SAAS,EACd,KAAK,KAAK,EACV,eAAe,EACf,IAAI,EACJ,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,GACT,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAE7D,qBAAa,OAAO;IAClB,GAAG,IAAI,OAAO;IAGd,GAAG,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG/B,EAAE,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG9B,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;CAGpC;AAED,qBAAa,IAAK,SAAQ,OAAO;IAE7B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,OAAO;gBADb,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IAErB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,EAAG,SAAQ,OAAO;IAEpB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;CAIxB;AAED,qBAAa,OAAQ,SAAQ,OAAO;IAEzB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IACX,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAG7B,QAAQ;CAGlB;AAED,qBAAa,IAAK,SAAQ,OAAO;IACZ,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAI7B,QAAQ;CAGlB;AAED,qBAAa,MAAO,SAAQ,OAAO;IAExB,WAAW,EAAE,MAAM,GAAG,IAAI;IAC1B,UAAU,EAAE,OAAO;gBADnB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAgBjC,QAAQ;CAKlB;AAED,qBAAa,UAAW,SAAQ,OAAO;IAE5B,WAAW,EAAE,MAAM,GAAG,IAAI;IAC1B,UAAU,EAAE,OAAO;gBADnB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAgBjC,QAAQ;CAKlB;AAED,qBAAa,KAAM,SAAQ,OAAO;IAE9B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,MAAM,OAAO;gBADnB,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,OAAO;IAKpB,QAAQ;CAGlB;AAED,KAAK,WAAW,GAAG,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC;AAEvD,wBAAgB,GAAG,CAAC,KAAK,EAAE,WAAW,OAErC;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAe3C;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAE5C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAE7C;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,WAAW,GAAG,UAAU,CAErD;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAE3E;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,iBAAiB,EAAE;QACjB,IAAI,EAAE,eAAe,EAAE,CAAC;QACxB,OAAO,EAAE,eAAe,CAAC;QACzB,OAAO,EAAE,eAAe,EAAE,CAAC;KAC5B,CAAC;IACF,MAAM,EAAE;QACN,kBAAkB,EAAE;YAClB,IAAI,EAAE,MAAM,CAAC;YACb,IAAI,EAAE,MAAM,CAAC;YACb,MAAM,EAAE,MAAM,CAAC;YACf,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;YACnB,UAAU,EACN;gBAAE,IAAI,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE,MAAM,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAC;gBAAC,GAAG,EAAE,MAAM,CAAA;aAAE,EAAE,GAC7D,IAAI,CAAC;SACV,EAAE,CAAC;KACL,CAAC;IACF,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC;IAC3B,IAAI,EAAE,IAAI,EAAE,CAAC;CACd,CAAC"}
@@ -1,11 +1,5 @@
1
1
  export type Time = number;
2
2
  export type TimeUnit = "milliseconds" | "seconds";
3
- export declare class Duration {
4
- private n;
5
- private unit;
6
- constructor(n: number, unit: TimeUnit);
7
- get milliseconds(): number;
8
- }
9
3
  export interface Cell<T> {
10
4
  get current(): T;
11
5
  at(time: Time): T;
@@ -23,7 +17,7 @@ export declare class ExtractorCell<T extends JSON, S> implements Cell<T> {
23
17
  update(snapshot: T, time: Time): void;
24
18
  get current(): T;
25
19
  at(other: Time): T;
26
- as_js_function(): string;
20
+ asJsFunction(): string;
27
21
  }
28
22
  export declare class TimeCell implements Cell<Time> {
29
23
  private time;
@@ -35,6 +29,6 @@ export declare class TimeCell implements Cell<Time> {
35
29
  export declare const time: Cell<Time>;
36
30
  export declare class Runtime<S> {
37
31
  extractors: ExtractorCell<any, S>[];
38
- register_extractor(cell: ExtractorCell<any, S>): void;
32
+ registerExtractor(cell: ExtractorCell<any, S>): void;
39
33
  }
40
34
  //# sourceMappingURL=internal.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../rq7jyn3gw1zc6bx7x921m91libxaakg9-source/src/specification/internal.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;AAElD,qBAAa,QAAQ;IAEjB,OAAO,CAAC,CAAC;IACT,OAAO,CAAC,IAAI;gBADJ,CAAC,EAAE,MAAM,EACT,IAAI,EAAE,QAAQ;IAGxB,IAAI,YAAY,IAAI,MAAM,CAOzB;CACF;AAED,MAAM,WAAW,IAAI,CAAC,CAAC;IACrB,IAAI,OAAO,IAAI,CAAC,CAAC;IACjB,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,MAAM,IAAI,GACZ,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,IAAI,EAAE,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;CAAE,GACzC;IAAE,MAAM,IAAI,IAAI,CAAA;CAAE,CAAC;AAEvB,qBAAa,aAAa,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAE,YAAW,IAAI,CAAC,CAAC,CAAC;IAI5D,OAAO,CAAC,OAAO;IAHjB,OAAO,CAAC,SAAS,CAAsB;gBAErC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACX,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;IAKlC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAIrC,IAAI,OAAO,IAAI,CAAC,CASf;IAED,EAAE,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC;IAclB,cAAc,IAAI,MAAM;CAGzB;AAED,qBAAa,QAAS,YAAW,IAAI,CAAC,IAAI,CAAC;IACzC,OAAO,CAAC,IAAI,CAA+B;;IAG3C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI;IAIxB,IAAI,OAAO,IAAI,IAAI,CAKlB;IAED,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;CAGrB;AAED,eAAO,MAAM,IAAI,EAAE,IAAI,CAAC,IAAI,CAAkB,CAAC;AAE/C,qBAAa,OAAO,CAAC,CAAC;IACpB,UAAU,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAM;IAEzC,kBAAkB,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC;CAG/C"}
1
+ {"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../xp4svjzniwnfpczi2sribfgqa07pndsc-source/src/specification/internal.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;AAElD,MAAM,WAAW,IAAI,CAAC,CAAC;IACrB,IAAI,OAAO,IAAI,CAAC,CAAC;IACjB,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,MAAM,IAAI,GACZ,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,IAAI,EAAE,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;CAAE,GACzC;IAAE,MAAM,IAAI,IAAI,CAAA;CAAE,CAAC;AAEvB,qBAAa,aAAa,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAE,YAAW,IAAI,CAAC,CAAC,CAAC;IAI5D,OAAO,CAAC,OAAO;IAHjB,OAAO,CAAC,SAAS,CAAsB;gBAErC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACX,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;IAKlC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAIrC,IAAI,OAAO,IAAI,CAAC,CASf;IAED,EAAE,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC;IAclB,YAAY,IAAI,MAAM;CAGvB;AAED,qBAAa,QAAS,YAAW,IAAI,CAAC,IAAI,CAAC;IACzC,OAAO,CAAC,IAAI,CAA+B;;IAG3C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI;IAIxB,IAAI,OAAO,IAAI,IAAI,CAKlB;IAED,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;CAGrB;AAED,eAAO,MAAM,IAAI,EAAE,IAAI,CAAC,IAAI,CAAkB,CAAC;AAE/C,qBAAa,OAAO,CAAC,CAAC;IACpB,UAAU,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAM;IAEzC,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC;CAG9C"}
@@ -0,0 +1,27 @@
1
+ export interface Generator<T> {
2
+ generate(): T;
3
+ }
4
+ export declare class From<T> implements Generator<T> {
5
+ private elements;
6
+ constructor(elements: T[]);
7
+ generate(): T;
8
+ }
9
+ export declare function from<T>(elements: T[]): From<T>;
10
+ declare class StringGenerator implements Generator<string> {
11
+ private size;
12
+ generate(): string;
13
+ minSize(value: number): StringGenerator;
14
+ maxSize(value: number): StringGenerator;
15
+ }
16
+ export declare function strings(): StringGenerator;
17
+ export declare function emails(): Generator<string>;
18
+ declare class IntegerGenerator implements Generator<number> {
19
+ private range;
20
+ generate(): number;
21
+ min(value: number): IntegerGenerator;
22
+ max(value: number): IntegerGenerator;
23
+ }
24
+ export declare function integers(): IntegerGenerator;
25
+ export declare function keycodes(): Generator<number>;
26
+ export {};
27
+ //# sourceMappingURL=random.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"random.d.ts","sourceRoot":"","sources":["../../xp4svjzniwnfpczi2sribfgqa07pndsc-source/src/specification/random.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,IAAI,CAAC,CAAC;CACf;AAqCD,qBAAa,IAAI,CAAC,CAAC,CAAE,YAAW,SAAS,CAAC,CAAC,CAAC;IAC9B,OAAO,CAAC,QAAQ;gBAAR,QAAQ,EAAE,CAAC,EAAE;IAEjC,QAAQ;CAGT;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAK9C;AAID,cAAM,eAAgB,YAAW,SAAS,CAAC,MAAM,CAAC;IAChD,OAAO,CAAC,IAAI,CAAuB;IACnC,QAAQ;IAOR,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe;IAKvC,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe;CAIxC;AAED,wBAAgB,OAAO,IAAI,eAAe,CAEzC;AAcD,wBAAgB,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,CAE1C;AAED,cAAM,gBAAiB,YAAW,SAAS,CAAC,MAAM,CAAC;IACjD,OAAO,CAAC,KAAK,CAGX;IAEF,QAAQ;IAIR,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB;IAKpC,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB;CAIrC;AAED,wBAAgB,QAAQ,IAAI,gBAAgB,CAE3C;AAED,wBAAgB,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,CAE5C"}
package/package.json CHANGED
@@ -1 +1 @@
1
- {"description":"Type definitions for writing Bombadil specifications","exports":{".":{"types":"./dist/index.d.ts"},"./defaults":{"types":"./dist/defaults.d.ts"},"./internal":{"types":"./dist/internal.d.ts"}},"files":["dist","README.md"],"homepage":"https://github.com/antithesishq/bombadil","keywords":["testing","property-based-testing","fuzzing","web","browser","ui","antithesis"],"license":"MIT","name":"@antithesishq/bombadil","repository":{"type":"git","url":"https://github.com/antithesishq/bombadil"},"types":"./dist/index.d.ts","version":"0.2.1"}
1
+ {"description":"Type definitions for writing Bombadil specifications","exports":{".":{"types":"./dist/index.d.ts"},"./actions":{"types":"./dist/actions.d.ts"},"./defaults":{"types":"./dist/defaults.d.ts"},"./defaults/actions":{"types":"./dist/defaults/actions.d.ts"},"./defaults/properties":{"types":"./dist/defaults/properties.d.ts"},"./internal":{"types":"./dist/internal.d.ts"},"./random":{"types":"./dist/random.d.ts"}},"files":["dist","README.md"],"homepage":"https://github.com/antithesishq/bombadil","keywords":["testing","property-based-testing","fuzzing","web","browser","ui","antithesis"],"license":"MIT","name":"@antithesishq/bombadil","repository":{"type":"git","url":"https://github.com/antithesishq/bombadil"},"types":"./dist/index.d.ts","version":"0.3.1"}