@kensio/yulin 1.19.4 → 1.20.1

package/dist/service/stepfunctions/definition/sim-states-definition-parse.js

@@ -0,0 +1,61 @@
+import { isRecord } from "../../../util/type-guard/record.js";
+import { SimStatesInvalidDefinition } from "../error/sim-step-functions.error.js";
+import { parseSimStatesState } from "./sim-states-state-parse.js";
+import { checkSimStatesTransitions } from "./sim-states-transitions.js";
+/**
+ * Read a state machine definition from the JSON string it was written as.
+ *
+ * A definition using anything this simulator does not run is refused whole,
+ * naming the state and what it used. A state machine missing one state runs
+ * wrong, and running wrong gives a passing test that lies.
+ */
+export function parseSimStatesDefinition(definition) {
+    const document = readDocument(definition);
+    const states = readStates(document);
+    const startAt = document["StartAt"];
+    if (typeof startAt !== "string") {
+        throw new SimStatesInvalidDefinition("A state machine definition needs a StartAt naming the state it begins at.");
+    }
+    if (!states.has(startAt)) {
+        throw new SimStatesInvalidDefinition(`StartAt names ${startAt}, which is not one of this state machine's states.`);
+    }
+    checkSimStatesTransitions(states);
+    const comment = document["Comment"];
+    return {
+        ...(typeof comment === "string" && { Comment: comment }),
+        StartAt: startAt,
+        States: states,
+    };
+}
+/**
+ * Read the definition string as the JSON object it has to be.
+ */
+function readDocument(definition) {
+    let document;
+    try {
+        document = JSON.parse(definition);
+    }
+    catch {
+        throw new SimStatesInvalidDefinition("The state machine definition is not JSON.");
+    }
+    if (!isRecord(document)) {
+        throw new SimStatesInvalidDefinition("A state machine definition is a JSON object.");
+    }
+    return document;
+}
+/**
+ * Read every state, refusing the ones this simulator has no implementation
+ * for.
+ */
+function readStates(document) {
+    const declared = document["States"];
+    if (!isRecord(declared) || Object.keys(declared).length === 0) {
+        throw new SimStatesInvalidDefinition("A state machine definition needs a States object holding at least one state.");
+    }
+    const states = new Map();
+    for (const [name, state] of Object.entries(declared)) {
+        states.set(name, parseSimStatesState(name, state));
+    }
+    return states;
+}
+//# sourceMappingURL=sim-states-definition-parse.js.map

package/dist/service/stepfunctions/definition/sim-states-definition-parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-definition-parse.js","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-definition-parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAGlF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAkB;IAElB,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IAEpC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,IAAI,0BAA0B,CAClC,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,0BAA0B,CAClC,iBAAiB,OAAO,oDAAoD,CAC7E,CAAC;IACJ,CAAC;IAED,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAElC,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IAEpC,OAAO;QACL,GAAG,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACxD,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,MAAM;KACf,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,UAAkB;IACtC,IAAI,QAAmB,CAAC;IAExB,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAc,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,0BAA0B,CAClC,2CAA2C,CAC5C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,0BAA0B,CAClC,8CAA8C,CAC/C,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CACjB,QAAmC;IAEnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAEpC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,0BAA0B,CAClC,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEjD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/service/stepfunctions/definition/sim-states-definition.d.ts

@@ -0,0 +1,15 @@
+import type { SimStatesState } from "./sim-states-state.js";
+/**
+ * One state machine's Amazon States Language definition, after it has been
+ * read and checked.
+ *
+ * A definition is checked once, when the state machine is created. An
+ * execution walks a definition it can rely on, which keeps the state types
+ * out of the interpreter's error handling.
+ */
+export interface SimStatesDefinition {
+    readonly Comment?: string;
+    readonly StartAt: string;
+    readonly States: ReadonlyMap<string, SimStatesState>;
+}
+//# sourceMappingURL=sim-states-definition.d.ts.map

package/dist/service/stepfunctions/definition/sim-states-definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-definition.d.ts","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-definition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACtD"}

package/dist/service/stepfunctions/definition/sim-states-definition.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sim-states-definition.js.map

package/dist/service/stepfunctions/definition/sim-states-definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-definition.js","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-definition.ts"],"names":[],"mappings":""}

package/dist/service/stepfunctions/definition/sim-states-state-fields.d.ts

@@ -0,0 +1,17 @@
+import type { JSONValue } from "../../../util/type-guard/json.js";
+/**
+ * Refuse the fields a state's type does not have.
+ *
+ * A definition carrying one of these would behave differently here than it
+ * does on AWS, where the field is simply not part of the state.
+ */
+export declare function checkSimStatesRefusedFields(name: string, type: string, state: Record<string, JSONValue>): void;
+/**
+ * Check the two fields that say what happens after a state.
+ *
+ * This runs on the state as it was written, before it is read as one of the
+ * state types. Once it has been, `End` is a boolean as far as the compiler is
+ * concerned, and a definition carrying `"true"` would be taken at its word.
+ */
+export declare function checkSimStatesTransitionFields(name: string, state: Record<string, JSONValue>): void;
+//# sourceMappingURL=sim-states-state-fields.d.ts.map

package/dist/service/stepfunctions/definition/sim-states-state-fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-state-fields.d.ts","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-state-fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAiBlE;;;;;GAKG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,IAAI,CAUN;AAED;;;;;;GAMG;AACH,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,IAAI,CAiBN"}

package/dist/service/stepfunctions/definition/sim-states-state-fields.js

@@ -0,0 +1,47 @@
+import { SimStatesInvalidDefinition } from "../error/sim-step-functions.error.js";
+// Real Step Functions gives a Fail state no input or output processing at all,
+// and gives a Succeed state only the two paths.
+const stateFieldsRefused = new Map([
+    [
+        "Fail",
+        ["InputPath", "OutputPath", "Parameters", "ResultPath", "ResultSelector"],
+    ],
+    ["Succeed", ["Parameters", "ResultPath", "ResultSelector"]],
+    // A Choice state and a Wait state produce no result of their own, so they
+    // carry the two paths and nothing that reshapes a result.
+    ["Choice", ["Parameters", "ResultPath", "ResultSelector"]],
+    ["Wait", ["Parameters", "ResultPath", "ResultSelector"]],
+]);
+/**
+ * Refuse the fields a state's type does not have.
+ *
+ * A definition carrying one of these would behave differently here than it
+ * does on AWS, where the field is simply not part of the state.
+ */
+export function checkSimStatesRefusedFields(name, type, state) {
+    const refused = stateFieldsRefused.get(type) ?? [];
+    const present = refused.filter((field) => Object.hasOwn(state, field));
+    if (present.length > 0) {
+        throw new SimStatesInvalidDefinition(`The ${type} state ${name} carries ${present.join(", ")}, which a ` +
+            `${type} state does not have.`);
+    }
+}
+/**
+ * Check the two fields that say what happens after a state.
+ *
+ * This runs on the state as it was written, before it is read as one of the
+ * state types. Once it has been, `End` is a boolean as far as the compiler is
+ * concerned, and a definition carrying `"true"` would be taken at its word.
+ */
+export function checkSimStatesTransitionFields(name, state) {
+    const end = state["End"];
+    if (end !== undefined && typeof end !== "boolean") {
+        throw new SimStatesInvalidDefinition(`The state ${name} has an End that is not a boolean. Only true ends an ` +
+            "execution there.");
+    }
+    const next = state["Next"];
+    if (next !== undefined && typeof next !== "string") {
+        throw new SimStatesInvalidDefinition(`The state ${name} has a Next that is not a state name.`);
+    }
+}
+//# sourceMappingURL=sim-states-state-fields.js.map

package/dist/service/stepfunctions/definition/sim-states-state-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-state-fields.js","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-state-fields.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAElF,+EAA+E;AAC/E,gDAAgD;AAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAA4B;IAC5D;QACE,MAAM;QACN,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,gBAAgB,CAAC;KAC1E;IACD,CAAC,SAAS,EAAE,CAAC,YAAY,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAC3D,0EAA0E;IAC1E,0DAA0D;IAC1D,CAAC,QAAQ,EAAE,CAAC,YAAY,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAC1D,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;CACzD,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAAY,EACZ,IAAY,EACZ,KAAgC;IAEhC,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAEvE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,0BAA0B,CAClC,OAAO,IAAI,UAAU,IAAI,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;YACjE,GAAG,IAAI,uBAAuB,CACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,8BAA8B,CAC5C,IAAY,EACZ,KAAgC;IAEhC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAEzB,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QAClD,MAAM,IAAI,0BAA0B,CAClC,aAAa,IAAI,uDAAuD;YACtE,kBAAkB,CACrB,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAE3B,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,MAAM,IAAI,0BAA0B,CAClC,aAAa,IAAI,uCAAuC,CACzD,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/service/stepfunctions/definition/sim-states-state-parse.d.ts

@@ -0,0 +1,7 @@
+import type { JSONValue } from "../../../util/type-guard/json.js";
+import { type SimStatesState } from "./sim-states-state.js";
+/**
+ * Check one state's type, and the fields that type is allowed.
+ */
+export declare function parseSimStatesState(name: string, state: JSONValue): SimStatesState;
+//# sourceMappingURL=sim-states-state-parse.d.ts.map

package/dist/service/stepfunctions/definition/sim-states-state-parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-state-parse.d.ts","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-state-parse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAiBlE,OAAO,EAEL,KAAK,cAAc,EAIpB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,GACf,cAAc,CAyChB"}

package/dist/service/stepfunctions/definition/sim-states-state-parse.js

@@ -0,0 +1,67 @@
+import { isRecord } from "../../../util/type-guard/record.js";
+import { checkSimStatesChoiceDefault, parseSimStatesChoices, } from "../choice/sim-states-choice-parse.js";
+import { SimStatesInvalidDefinition, SimStatesUnsimulatedInput, } from "../error/sim-step-functions.error.js";
+import { checkSimStatesTaskFields } from "../task/sim-states-task-fields.js";
+import { parseSimStatesTaskResource } from "../task/sim-states-task-resource.js";
+import { checkSimStatesWaitFields } from "../wait/sim-states-wait-fields.js";
+import { checkSimStatesRefusedFields, checkSimStatesTransitionFields, } from "./sim-states-state-fields.js";
+import { simStatesRunnableTypes, simStatesStateTypes, } from "./sim-states-state.js";
+/**
+ * Check one state's type, and the fields that type is allowed.
+ */
+export function parseSimStatesState(name, state) {
+    if (!isRecord(state)) {
+        throw new SimStatesInvalidDefinition(`The state ${name} is not an object.`);
+    }
+    const type = state["Type"];
+    if (typeof type !== "string") {
+        throw new SimStatesInvalidDefinition(`The state ${name} has no Type.`);
+    }
+    if (!simStatesStateTypes.includes(type)) {
+        throw new SimStatesInvalidDefinition(`The state ${name} has a Type of ${type}, which Amazon States Language ` +
+            "does not define.");
+    }
+    if (!simStatesRunnableTypes.includes(type)) {
+        throw new SimStatesUnsimulatedInput(`The state ${name} is a ${type} state, which this simulator does not ` +
+            `run yet. It runs ${simStatesRunnableTypes.join(", ")}.`);
+    }
+    checkSimStatesRefusedFields(name, type, state);
+    checkSimStatesTransitionFields(name, state);
+    if (type === "Choice") {
+        return readChoiceState(name, state);
+    }
+    if (type === "Task") {
+        return readTaskState(name, state);
+    }
+    if (type === "Wait") {
+        checkSimStatesWaitFields(name, state);
+    }
+    return state;
+}
+/**
+ * Read a `Choice` state, whose rules are checked and built as it is read.
+ *
+ * The rules become the objects the state tests its input with, so a `Choice`
+ * state that runs has already had its comparators, paths and operands read.
+ */
+function readChoiceState(name, state) {
+    checkSimStatesChoiceDefault(name, state);
+    return {
+        ...state,
+        Choices: parseSimStatesChoices(name, state),
+    };
+}
+/**
+ * Read a `Task` state, whose `Resource` is read as the state is.
+ *
+ * The target becomes the object the state invokes through, so a `Task` state
+ * that runs has already had its `Resource` and its `Parameters` read.
+ */
+function readTaskState(name, state) {
+    checkSimStatesTaskFields(name, state);
+    return {
+        ...state,
+        target: parseSimStatesTaskResource(name, state),
+    };
+}
+//# sourceMappingURL=sim-states-state-parse.js.map

package/dist/service/stepfunctions/definition/sim-states-state-parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-state-parse.js","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-state-parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EACL,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EACL,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAIL,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,KAAgB;IAEhB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,0BAA0B,CAAC,aAAa,IAAI,oBAAoB,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAE3B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,0BAA0B,CAAC,aAAa,IAAI,eAAe,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAa,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,0BAA0B,CAClC,aAAa,IAAI,kBAAkB,IAAI,iCAAiC;YACtE,kBAAkB,CACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAa,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,yBAAyB,CACjC,aAAa,IAAI,SAAS,IAAI,wCAAwC;YACpE,oBAAoB,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3D,CAAC;IACJ,CAAC;IAED,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAE5C,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,KAAkC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CACtB,IAAY,EACZ,KAAgC;IAEhC,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAEzC,OAAO;QACL,GAAI,KAAyC;QAC7C,OAAO,EAAE,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CACpB,IAAY,EACZ,KAAgC;IAEhC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAEtC,OAAO;QACL,GAAI,KAAuC;QAC3C,MAAM,EAAE,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC;KAChD,CAAC;AACJ,CAAC"}

package/dist/service/stepfunctions/definition/sim-states-state.d.ts

@@ -0,0 +1,98 @@
+import type { JSONValue } from "../../../util/type-guard/json.js";
+import type { SimStatesChoiceRule } from "../choice/sim-states-choice-rule.js";
+import type { SimStatesDataFlowFields } from "../data/sim-states-data-flow.js";
+import type { SimStatesTaskTarget } from "../task/sim-states-task-target.js";
+/**
+ * Every state type Amazon States Language defines.
+ *
+ * The ones this simulator has no implementation for are named here so a
+ * definition using one can be refused by its own name.
+ */
+export declare const simStatesStateTypes: readonly ["Pass", "Succeed", "Fail", "Task", "Choice", "Wait", "Parallel", "Map"];
+export type SimStatesStateType = (typeof simStatesStateTypes)[number];
+/**
+ * The state types this simulator runs.
+ */
+export declare const simStatesRunnableTypes: readonly ["Pass", "Succeed", "Fail", "Task", "Choice", "Wait"];
+export type SimStatesRunnableType = (typeof simStatesRunnableTypes)[number];
+/**
+ * What every state carries, whatever its type.
+ */
+interface SimStatesCommonState extends SimStatesDataFlowFields {
+    readonly Comment?: string;
+    readonly Next?: string;
+    readonly End?: boolean;
+}
+/**
+ * A `Pass` state, which produces a result without doing any work.
+ */
+export interface SimStatesPassState extends SimStatesCommonState {
+    readonly Type: "Pass";
+    readonly Result?: JSONValue;
+}
+/**
+ * A `Task` state, which does work outside the state machine.
+ *
+ * `Resource` is held as it was written, and `target` is what it named. The
+ * `Resource` is read when the definition is read, so one this simulator cannot
+ * reach is refused there rather than when an execution arrives at the state.
+ */
+export interface SimStatesTaskState extends SimStatesCommonState {
+    readonly Type: "Task";
+    readonly Resource: string;
+    readonly target: SimStatesTaskTarget;
+}
+/**
+ * A `Succeed` state, which ends an execution successfully.
+ */
+export interface SimStatesSucceedState extends SimStatesCommonState {
+    readonly Type: "Succeed";
+}
+/**
+ * A `Choice` state, which picks where the execution goes by testing its input.
+ *
+ * A `Choice` state has no result of its own, so it carries the two paths and
+ * none of the other data-flow fields.
+ */
+export interface SimStatesChoiceState {
+    readonly Type: "Choice";
+    readonly Comment?: string;
+    readonly InputPath?: string | null;
+    readonly OutputPath?: string | null;
+    readonly Choices: readonly SimStatesChoiceRule[];
+    readonly Default?: string;
+}
+/**
+ * A `Wait` state, which holds the execution until an instant on the clock.
+ */
+export interface SimStatesWaitState {
+    readonly Type: "Wait";
+    readonly Comment?: string;
+    readonly InputPath?: string | null;
+    readonly OutputPath?: string | null;
+    readonly Next?: string;
+    readonly End?: boolean;
+    readonly Seconds?: number;
+    readonly SecondsPath?: string;
+    readonly Timestamp?: string;
+    readonly TimestampPath?: string;
+}
+/**
+ * A `Fail` state, which ends an execution with an error.
+ *
+ * Real Step Functions gives `Fail` no input or output processing, so the
+ * data-flow fields on it are refused when the definition is read.
+ */
+export interface SimStatesFailState {
+    readonly Type: "Fail";
+    readonly Comment?: string;
+    readonly Error?: string;
+    readonly Cause?: string;
+}
+export type SimStatesState = SimStatesPassState | SimStatesTaskState | SimStatesSucceedState | SimStatesFailState | SimStatesChoiceState | SimStatesWaitState;
+/**
+ * Whether a state ends the execution when it is reached.
+ */
+export declare function isSimStatesTerminal(state: SimStatesState): boolean;
+export {};
+//# sourceMappingURL=sim-states-state.d.ts.map

package/dist/service/stepfunctions/definition/sim-states-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-state.d.ts","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAE7E;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,YAC9B,MAAM,EACN,SAAS,EACT,MAAM,EACN,MAAM,EACN,QAAQ,EACR,MAAM,EACN,UAAU,EACV,KAAK,CACG,CAAC;AAEX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE;;GAEG;AACH,eAAO,MAAM,sBAAsB,YACjC,MAAM,EACN,SAAS,EACT,MAAM,EACN,MAAM,EACN,QAAQ,EACR,MAAM,CACE,CAAC;AAEX,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5E;;GAEG;AACH,UAAU,oBAAqB,SAAQ,uBAAuB;IAC5D,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,oBAAoB;IACjE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACjD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,cAAc,GACtB,kBAAkB,GAClB,kBAAkB,GAClB,qBAAqB,GACrB,kBAAkB,GAClB,oBAAoB,GACpB,kBAAkB,CAAC;AAEvB;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAElE"}

package/dist/service/stepfunctions/definition/sim-states-state.js

@@ -0,0 +1,34 @@
+/**
+ * Every state type Amazon States Language defines.
+ *
+ * The ones this simulator has no implementation for are named here so a
+ * definition using one can be refused by its own name.
+ */
+export const simStatesStateTypes = [
+    "Pass",
+    "Succeed",
+    "Fail",
+    "Task",
+    "Choice",
+    "Wait",
+    "Parallel",
+    "Map",
+];
+/**
+ * The state types this simulator runs.
+ */
+export const simStatesRunnableTypes = [
+    "Pass",
+    "Succeed",
+    "Fail",
+    "Task",
+    "Choice",
+    "Wait",
+];
+/**
+ * Whether a state ends the execution when it is reached.
+ */
+export function isSimStatesTerminal(state) {
+    return state.Type === "Succeed" || state.Type === "Fail";
+}
+//# sourceMappingURL=sim-states-state.js.map

package/dist/service/stepfunctions/definition/sim-states-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-state.js","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-state.ts"],"names":[],"mappings":"AAKA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,MAAM;IACN,SAAS;IACT,MAAM;IACN,MAAM;IACN,QAAQ;IACR,MAAM;IACN,UAAU;IACV,KAAK;CACG,CAAC;AAIX;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,MAAM;IACN,SAAS;IACT,MAAM;IACN,MAAM;IACN,QAAQ;IACR,MAAM;CACE,CAAC;AA6FX;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAqB;IACvD,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;AAC3D,CAAC"}

package/dist/service/stepfunctions/definition/sim-states-transitions.d.ts

@@ -0,0 +1,10 @@
+import { type SimStatesState } from "./sim-states-state.js";
+/**
+ * Check that every state either ends the execution or moves to one that
+ * exists.
+ *
+ * A `Next` naming a state that is not there is a definition fault rather than
+ * a runtime one, and real Step Functions refuses it at creation too.
+ */
+export declare function checkSimStatesTransitions(states: ReadonlyMap<string, SimStatesState>): void;
+//# sourceMappingURL=sim-states-transitions.d.ts.map

package/dist/service/stepfunctions/definition/sim-states-transitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-transitions.d.ts","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-transitions.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,uBAAuB,CAAC;AAE/B;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GAC1C,IAAI,CAcN"}

package/dist/service/stepfunctions/definition/sim-states-transitions.js

@@ -0,0 +1,79 @@
+import { SimStatesInvalidDefinition } from "../error/sim-step-functions.error.js";
+import { isSimStatesTerminal, } from "./sim-states-state.js";
+/**
+ * Check that every state either ends the execution or moves to one that
+ * exists.
+ *
+ * A `Next` naming a state that is not there is a definition fault rather than
+ * a runtime one, and real Step Functions refuses it at creation too.
+ */
+export function checkSimStatesTransitions(states) {
+    for (const [name, state] of states) {
+        if (isSimStatesTerminal(state)) {
+            checkTerminal(name, state);
+            continue;
+        }
+        if (state.Type === "Choice") {
+            checkChoice(name, state, states);
+            continue;
+        }
+        checkTransition(name, state, states);
+    }
+}
+/**
+ * A terminal state ends the execution, so it carries neither field.
+ */
+function checkTerminal(name, state) {
+    for (const field of ["Next", "End"]) {
+        if (Object.hasOwn(state, field)) {
+            throw new SimStatesInvalidDefinition(`The ${state.Type} state ${name} carries ${field}. A ${state.Type} ` +
+                "state ends the execution and carries neither.");
+        }
+    }
+}
+/**
+ * Every other state moves on, by Next or by ending the execution itself.
+ */
+function checkTransition(name, state, states) {
+    const next = "Next" in state ? state.Next : undefined;
+    // `End` is already known to be a boolean: the state was checked as it was
+    // read, before it was taken as one of the state types.
+    const ends = "End" in state && state.End;
+    if (next === undefined && !ends) {
+        throw new SimStatesInvalidDefinition(`The state ${name} carries neither Next nor End, so nothing says what ` +
+            "happens after it.");
+    }
+    if (next !== undefined && ends) {
+        throw new SimStatesInvalidDefinition(`The state ${name} carries both Next and End.`);
+    }
+    if (next !== undefined && !states.has(next)) {
+        throw new SimStatesInvalidDefinition(`The state ${name} moves to ${next}, which is not one of this state ` +
+            "machine's states.");
+    }
+}
+/**
+ * A `Choice` state moves on through its rules rather than through `Next`.
+ *
+ * Amazon States Language gives a `Choice` state neither `Next` nor `End` of
+ * its own. Every rule names where a match goes, and `Default` names where the
+ * execution goes when no rule holds.
+ */
+function checkChoice(name, state, states) {
+    for (const field of ["Next", "End"]) {
+        if (Object.hasOwn(state, field)) {
+            throw new SimStatesInvalidDefinition(`The Choice state ${name} carries ${field}. A Choice state moves on ` +
+                "through its Choices and its Default, and carries neither.");
+        }
+    }
+    for (const rule of state.Choices) {
+        if (!states.has(rule.next)) {
+            throw new SimStatesInvalidDefinition(`A rule in the Choice state ${name} moves to ${rule.next}, which is ` +
+                "not one of this state machine's states.");
+        }
+    }
+    if (state.Default !== undefined && !states.has(state.Default)) {
+        throw new SimStatesInvalidDefinition(`The Choice state ${name} has a Default of ${state.Default}, which is ` +
+            "not one of this state machine's states.");
+    }
+}
+//# sourceMappingURL=sim-states-transitions.js.map

package/dist/service/stepfunctions/definition/sim-states-transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sim-states-transitions.js","sourceRoot":"","sources":["../../../../src/service/stepfunctions/definition/sim-states-transitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAGL,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAE/B;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAA2C;IAE3C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,IAAI,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QAED,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAAY,EAAE,KAAqB;IACxD,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,0BAA0B,CAClC,OAAO,KAAK,CAAC,IAAI,UAAU,IAAI,YAAY,KAAK,OAAO,KAAK,CAAC,IAAI,GAAG;gBAClE,+CAA+C,CAClD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,IAAY,EACZ,KAAqB,EACrB,MAA2C;IAE3C,MAAM,IAAI,GAAG,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,0EAA0E;IAC1E,uDAAuD;IACvD,MAAM,IAAI,GAAG,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC;IAEzC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,0BAA0B,CAClC,aAAa,IAAI,sDAAsD;YACrE,mBAAmB,CACtB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,0BAA0B,CAClC,aAAa,IAAI,6BAA6B,CAC/C,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,0BAA0B,CAClC,aAAa,IAAI,aAAa,IAAI,mCAAmC;YACnE,mBAAmB,CACtB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAClB,IAAY,EACZ,KAA2B,EAC3B,MAA2C;IAE3C,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,0BAA0B,CAClC,oBAAoB,IAAI,YAAY,KAAK,4BAA4B;gBACnE,2DAA2D,CAC9D,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,0BAA0B,CAClC,8BAA8B,IAAI,aAAa,IAAI,CAAC,IAAI,aAAa;gBACnE,yCAAyC,CAC5C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,0BAA0B,CAClC,oBAAoB,IAAI,qBAAqB,KAAK,CAAC,OAAO,aAAa;YACrE,yCAAyC,CAC5C,CAAC;IACJ,CAAC;AACH,CAAC"}