@elyx-code/project-logic-tree 0.0.6926 → 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,24 +179529,31 @@ 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) {
-  const p = [];
-  if (ct(s).filter((a) => gt.includes(a.type) || !S6(
-    a
-  ) ? !1 : !!(!a.successCalls.length && !a.errorCalls.length && a.calledBy.length)).length) {
-    const a = Rt({
+  var f, h;
+  const p = [], i = ((f = s.implements) == null ? void 0 : f.getDataType(null)) || null, r = s.returnStatements.length, a = ((h = i == null ? void 0 : i.entity) == null ? void 0 : h.id) !== re["primitive-entity"].void.id;
+  if (ct(s).filter((m) => gt.includes(m.type) || !S6(
+    m
+  ) ? !1 : !!(!m.successCalls.length && !m.errorCalls.length && m.calledBy.length)).length && (a || r)) {
+    const m = Rt({
       id: `${s.id}--${Ee.LackingReturnStatementOnSomeBranches}`,
       message: `The '${s.type}' entity "${le(
         s,
@@ -179556,7 +179563,7 @@ function A1(s) {
       code: Ee.LackingReturnStatementOnSomeBranches,
       entity: s
     });
-    p.push(a.error);
+    p.push(m.error);
   }
   return p;
 }
@@ -218910,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.6926",
+	"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",