@reventlessdev/reventless-core 3.0.0-alpha.250 → 3.0.0-alpha.252

package/tests/plugin/StateChangeSlice/PsTransitionSwitch.res

@@ -0,0 +1,59 @@
+// Test fixture spec for `commandTransition` — the edge declared as a switch
+// rather than as an attribute.
+//
+// Three cases in one command type:
+//
+//   `Book`     declares only through the switch, which is the case
+//              `@transition` cannot serve for a spliced constructor.
+//   `Rebook`   carries BOTH. The switch says `Booked`, the attribute says
+//              `Draft`; the switch is what must reach the commandDef, because
+//              two sources of truth need a stated winner.
+//   `Abandon`  declares nothing in either, and must stay unconstrained.
+//
+// The states go in as constructors of this file's own enum, so the compiler
+// resolves them. `@transition` on `Rebook` cannot — it is stripped before the
+// typechecker runs, which is why `PsDispatchShipment` can carry a typo at all.
+
+@@reventless.spec("TransitionSwitch")
+
+type bookingStatus = Draft | Booked | Abandoned
+
+@schema
+type consumedEvent = BookingDrafted({bookingId: string})
+
+let evolve = (_state, _event) => true
+
+type state = bool
+let initialState = false
+
+@schema
+type command =
+  | Book({bookingId: string})
+  | @transition(([Draft]) => Draft) Rebook({bookingId: string})
+  | Abandon({bookingId: string})
+
+@schema
+type error = BookingNotFound
+
+@schema
+type event = BookingBooked({bookingId: string}) | BookingAbandoned({bookingId: string})
+
+let decide = (_state, _command): result<array<event>, error> => Ok([])
+
+type lifecycleState = bookingStatus
+
+let commandTransition = (command: command): Reventless.Transition.t<lifecycleState> => {
+  open Reventless.Transition
+  switch command {
+  | Book(_) => Moves([Draft], Booked)
+  | Rebook(_) => Guards([Booked])
+  | Abandon(_) => Unrestricted
+  }
+}
+
+// Declared, so the structure has a graft to record. The value stands in for a
+// trait package's own `declaration` — a fixture cannot depend on one, and what is
+// under test is the collection, not where the value came from.
+let traits: array<Reventless.Trait.t> = [
+  {trait: "@reventlessdev/trait-booking", version: "9.9.9", posture: SelfContained},
+]

package/tests/plugin/StateChangeSlice/PsTransitionSwitch.res.mjs

@@ -0,0 +1,115 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
+
+let consumedEventSchema = Sury.$schema(s => ({
+  TAG: "BookingDrafted",
+  bookingId: s.m(DcbTag$Reventless.string)
+}));
+
+function evolve(_state, _event) {
+  return true;
+}
+
+let commandSchema = Sury.union([
+  Sury.$schema(s => ({
+    TAG: "Book",
+    bookingId: s.m(DcbTag$Reventless.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "Rebook",
+    bookingId: s.m(DcbTag$Reventless.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "Abandon",
+    bookingId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+let errorSchema = Sury.literal("BookingNotFound");
+
+let eventSchema = Sury.union([
+  Sury.$schema(s => ({
+    TAG: "BookingBooked",
+    bookingId: s.m(DcbTag$Reventless.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "BookingAbandoned",
+    bookingId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+function decide(_state, _command) {
+  return {
+    TAG: "Ok",
+    _0: []
+  };
+}
+
+function commandTransition(command) {
+  switch (command.TAG) {
+    case "Book" :
+      return {
+        TAG: "Moves",
+        _0: ["Draft"],
+        _1: "Booked"
+      };
+    case "Rebook" :
+      return {
+        TAG: "Guards",
+        _0: ["Booked"]
+      };
+    case "Abandon" :
+      return "Unrestricted";
+  }
+}
+
+let traits = [{
+    trait: "@reventlessdev/trait-booking",
+    version: "9.9.9",
+    posture: "SelfContained"
+  }];
+
+let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [[
+    "Rebook",
+    ["Draft"]
+  ]]);
+
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+    "Rebook",
+    "Draft"
+  ]]);
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "TransitionSwitch";
+
+let Id;
+
+let initialState = false;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsTransitionSwitch.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  evolve,
+  initialState,
+  errorSchema,
+  eventSchema,
+  decide,
+  commandTransition,
+  traits,
+  commandSchema$2 as commandSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateChangeSlice/PsTypoStore.res.mjs

@@ -35,6 +35,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let name = "TypoStore";
 
 let Id;
@@ -58,5 +64,7 @@ export {
   moduleUrl,
   commandAuthorization,
   readConsistency,
+  commandTransition,
+  traits,
 }
 /* consumedEventSchema Not a pure module */

package/tests/plugin/StateChangeSlice/PsUploadAvatar.res.mjs

@@ -37,6 +37,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let name = "UploadAvatar";
 
 let Id;
@@ -60,5 +66,7 @@ export {
   moduleUrl,
   commandAuthorization,
   readConsistency,
+  commandTransition,
+  traits,
 }
 /* consumedEventSchema Not a pure module */

package/tests/plugin/StateChangeSlice/PsUploadImages.res.mjs

@@ -39,6 +39,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let name = "UploadImages";
 
 let Id;
@@ -62,5 +68,7 @@ export {
   moduleUrl,
   commandAuthorization,
   readConsistency,
+  commandTransition,
+  traits,
 }
 /* consumedEventSchema Not a pure module */

package/tests/plugin/pluginDefinitionRequiredScalars.txt

@@ -74,13 +74,21 @@
 .structure.automationSlices[].name: string
 .structure.automationSlices[].producedCommandTypes[]: string
 .structure.automationSlices[].targetName: string
+.structure.extensionPoints[].acceptedCommands[].name: string
+.structure.extensionPoints[].acceptedCommands[].toCommandTypes[]: string
 .structure.extensionPoints[].commandTypes[]: string
 .structure.extensionPoints[].delegateNames[]: string
 .structure.extensionPoints[].name: string
+.structure.extensionPoints[].publishedEvents[].fromEventTypes[]: string
+.structure.extensionPoints[].publishedEvents[].name: string
 .structure.extensionPoints[].sourceEventTypes[]: string
 .structure.extensions[].commandTypes[]: string
 .structure.extensions[].delegateNames[]: string
 .structure.extensions[].eventTypes[]: string
+.structure.extensions[].handledEvents[].name: string
+.structure.extensions[].handledEvents[].toCommandTypes[]: string
+.structure.extensions[].issuedCommands[].fromEventTypes[]: string
+.structure.extensions[].issuedCommands[].name: string
 .structure.extensions[].name: string
 .structure.inboundTranslationSlices[].commandTypes[]: string
 .structure.inboundTranslationSlices[].name: string
@@ -97,6 +105,24 @@
 .structure.readModels[].retiredValues[]: string
 .structure.readModels[].schema: string
 .structure.readModels[].searchableFields[]: string
+# `requiredCapabilities` is itself `js_nullable` and is NEW, so no persisted payload
+# carries the array: a stored structure heals to null and these two are never reached.
+# Required inside it because a declaration naming no capability, or no declaring
+# component, is not a declaration — the same call `requiredStoreDeclarations` made for
+# `store`/`component`/`field`.
+.structure.requiredCapabilities[].capability: string
+.structure.requiredCapabilities[].component: string
+# `traitDeclarations` is itself `js_nullable` and is NEW, so no persisted payload
+# carries the array: a stored structure heals to null and these four are never
+# reached. Required inside it for the same reason the two above are — a graft
+# naming no trait, no version, no posture or no component is not a record of a
+# graft, and a fabricated `""` here would read as "grafted from nothing", which is
+# worse than absent. The version is read from the trait's own package rather than
+# written by hand, so it cannot be the empty string in practice either.
+.structure.traitDeclarations[].component: string
+.structure.traitDeclarations[].posture: string
+.structure.traitDeclarations[].trait: string
+.structure.traitDeclarations[].version: string
 .structure.requiredStoreDeclarations[].component: string
 .structure.requiredStoreDeclarations[].field: string
 .structure.requiredStoreDeclarations[].store: string

package/tests/util/CommandPublisherTest.res.mjs

@@ -15,10 +15,18 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let TestSpec = {
   name: "TestCmd",
   commandSchema: commandSchema,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 function publishCommands(_name, cmds) {