@elyx-code/project-logic-tree 0.0.6927 → 0.0.6928

package/dist/index.d.ts

@@ -9994,7 +9994,16 @@ export declare enum BaseValueDescriptorIds {
      isPreexistingRowTransformerUpToDate: boolean;
  };
 
- export declare function checkParentEntryPointRequiresTermination(self: PassThroughCallableEntityState): boolean;
+ /**
+  * Checks whether a the scope owner requires all branches to end in return.
+  *
+  * This could be because of its type signature or because there is already one or more returns that would create a race condition
+  * for any branches not connected to it.
+  *
+  * @param {PassThroughCallableEntityState} self
+  * @returns
+  */
+ export declare function checkParentEntryPointRequiresEndingBranchesInReturn(self: PassThroughCallableEntityState): boolean;
 
  export declare function checkReachesOrIsTarget(entity: ExecutableEntityState, target: CallableEntityState): 'success' | 'error' | 'entry' | 'loop-body' | 'same-entity' | null;
 
@@ -35188,6 +35197,13 @@ export declare enum BaseValueDescriptorIds {
       }[];
   };
 
+  /**
+   * Validates that if the entity implements a descriptor with return values,
+   * it has a termination on every branch
+   *
+   * @param {EntryPointEntityState} self
+   * @returns {EntityError[]}
+   */
   export declare function validateEntryPointsTermination(self: EntryPointEntityState): EntityError[];
 
   export declare function validateErrorCaller(data: ElementGenerationTarget, callerEntity: CallerEntityState): {

package/dist/index.js

@@ -179529,17 +179529,23 @@ function M6i(s) {
   );
 }
 function S6(s) {
-  var r, a, c, e;
+  var a, c, e, f;
   if (s.type !== d.InternalCall) {
     if (!jt.includes(s.parent.type))
       return !1;
-    const h = ((r = s.parent.implements) == null ? void 0 : r.getDataType(null)) || null;
-    return !(!h || ((a = h.entity) == null ? void 0 : a.id) === re["primitive-entity"].void.id);
+    const h = s.parent;
+    if (!!h.returnStatements.length)
+      return !0;
+    const b = ((a = h.implements) == null ? void 0 : a.getDataType(null)) || null;
+    return !(!b || ((c = b.entity) == null ? void 0 : c.id) === re["primitive-entity"].void.id);
   }
   if (!jt.includes(s.parent.parent.type))
     return !1;
-  const i = ((c = s.parent.parent.implements) == null ? void 0 : c.getDataType(null)) || null;
-  return !(!i || ((e = i.entity) == null ? void 0 : e.id) === re["primitive-entity"].void.id);
+  const p = s.parent.parent;
+  if (!!p.returnStatements.length)
+    return !0;
+  const r = ((e = p.implements) == null ? void 0 : e.getDataType(null)) || null;
+  return !(!r || ((f = r.entity) == null ? void 0 : f.id) === re["primitive-entity"].void.id);
 }
 function A1(s) {
   var f, h;
@@ -218911,7 +218917,7 @@ export {
   cqi as checkIsOnlyNull,
   tu as checkIsRequiredValue,
   vDi as checkIsRowTransformerUpToDate,
-  S6 as checkParentEntryPointRequiresTermination,
+  S6 as checkParentEntryPointRequiresEndingBranchesInReturn,
   E5i as checkReachesOrIsTarget,
   _s as checkScopeCompatibility,
   C1 as checkShouldInputOrOutputBePartOfFinalVariableObjectValue,

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@elyx-code/project-logic-tree",
-	"version": "0.0.6927",
+	"version": "0.0.6928",
 	"author": "Sergio Herrero",
 	"license": "UNLICENSED",
 	"description": "An installable module which contains the type definitions and ephemeral state management for a projects' logic tree data structure",