@saptools/service-flow 0.1.42 → 0.1.43

package/CHANGELOG.md

@@ -1,5 +1,12 @@
 # Changelog
 
+## 0.1.43
+
+- Reconciled inherited CDS operation search rows from the exact effective-operation set during extension materialization.
+- Invalidated concrete extension repositories when derived inherited operations or base resolution semantics change, while preserving no-op generations.
+- Tightened lexical binding scope so nested block declarations inside catch and loop bodies do not escape their real blocks.
+- Classified proven CAP `send(operationName, payload)` calls, including immutable aliases, without applying the rule to generic `send()` receivers.
+
 ## 0.1.42
 
 - Continued inherited CDS extension operations into the selected base implementation while retaining concrete routing evidence.

package/dist/{chunk-RP3BJ64F.js → chunk-KHQK7CFH.js}

@@ -950,6 +950,7 @@ function nodeContains(parent, child) {
 }
 function declarationScope(node) {
   if (ts4.isParameter(node)) return node.parent;
+  if (ts4.isCatchClause(node.parent) && node.parent.variableDeclaration === node) return node.parent;
   const list = node.parent;
   const blockScoped = (list.flags & (ts4.NodeFlags.Const | ts4.NodeFlags.Let)) !== 0;
   let current = list.parent;
@@ -957,26 +958,23 @@ function declarationScope(node) {
     while (current.parent && !isFunctionLikeScope(current)) current = current.parent;
     return current;
   }
-  while (current.parent && !ts4.isBlock(current) && !ts4.isSourceFile(current) && !ts4.isModuleBlock(current) && !ts4.isCaseBlock(current) && !ts4.isCatchClause(current) && !ts4.isForStatement(current) && !ts4.isForInStatement(current) && !ts4.isForOfStatement(current) && !isFunctionLikeScope(current)) current = current.parent;
+  while (current.parent && !ts4.isBlock(current) && !ts4.isSourceFile(current) && !ts4.isModuleBlock(current) && !ts4.isCaseBlock(current) && !isLoopInitializerScope(node, current) && !isFunctionLikeScope(current)) current = current.parent;
   return current;
 }
-function declarationScopedAncestor(node) {
-  let current = node.parent;
-  while (current) {
-    if (ts4.isCatchClause(current) || ts4.isForStatement(current) || ts4.isForInStatement(current) || ts4.isForOfStatement(current)) return current;
-    if (ts4.isSourceFile(current) || ts4.isFunctionLike(current)) return void 0;
-    current = current.parent;
-  }
-  return void 0;
+function isLoopInitializerScope(declaration, scope) {
+  const list = declaration.parent;
+  return ts4.isForStatement(scope) && scope.initializer === list || (ts4.isForInStatement(scope) || ts4.isForOfStatement(scope)) && scope.initializer === list;
+}
+function catchBindingScope(declaration) {
+  if (ts4.isParameter(declaration)) return void 0;
+  return ts4.isCatchClause(declaration.parent) && declaration.parent.variableDeclaration === declaration ? declaration.parent : void 0;
 }
 function isAccessibleDeclaration(declaration, use) {
   const source = use.getSourceFile();
   if (declaration.name.getStart(source) >= use.getStart(source)) return false;
-  const scopedAncestor = declarationScopedAncestor(declaration);
-  if (scopedAncestor && ts4.isCatchClause(scopedAncestor)) return nodeContains(scopedAncestor.block, use);
-  if (scopedAncestor && (ts4.isForStatement(scopedAncestor) || ts4.isForInStatement(scopedAncestor) || ts4.isForOfStatement(scopedAncestor))) return nodeContains(scopedAncestor.statement, use);
+  const catchScope = catchBindingScope(declaration);
+  if (catchScope) return nodeContains(catchScope.block, use);
   const scope = declarationScope(declaration);
-  if (ts4.isCatchClause(scope)) return nodeContains(scope.block, use);
   if (ts4.isForStatement(scope) || ts4.isForInStatement(scope) || ts4.isForOfStatement(scope)) return nodeContains(scope.statement, use);
   return ts4.isSourceFile(scope) || nodeContains(scope, use);
 }
@@ -1084,6 +1082,11 @@ function httpMethodFromObject(object, use) {
   const text = resolveExpression(propertyInitializer(object, "method"), use, "literal").value;
   return text ? stripQuotes(text).toUpperCase() : void 0;
 }
+var supportedHttpMethods = /* @__PURE__ */ new Set(["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD"]);
+function safeOperationName(value) {
+  if (!value || !/^[A-Za-z_$][\w$]*(?:[./][A-Za-z_$][\w$]*)*$/.test(value)) return void 0;
+  return operationPathFromStatic(value);
+}
 function hasTemplatePlaceholder(value) {
   return /\$\{|%7B|%7D/i.test(value);
 }
@@ -1263,16 +1266,18 @@ function classifyOutboundCallsInSource(source, filePath) {
         } else {
           const receiver = receiverName(expr.expression);
           const rootReceiver = rootReceiverName(expr.expression);
-          const method = resolveExpression(node.arguments[0], node, "literal").value?.toUpperCase();
+          const firstArg2 = resolveExpression(node.arguments[0], node, "literal");
+          const method = firstArg2.value?.toUpperCase();
           const pathArg = node.arguments[1];
-          const supported = method && ["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD"].includes(method);
+          const supported = method && supportedHttpMethods.has(method);
           if (receiver && supported && serviceVariables.has(rootReceiver ?? receiver)) {
             const resolvedPath = staticPathExpression(pathArg, node);
             const operationPathExpr = operationPathFromStatic(resolvedPath.text);
             const intent = classifyODataPathIntent(operationPathExpr, method);
             add(node, { callType: "remote_action", serviceVariableName: rootReceiver ?? receiver, method, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: operationPathExpr ? 0.8 : 0.45, unresolvedReason: operationPathExpr ? void 0 : "dynamic_operation_path_identifier" }, { receiver, rootReceiver, classifier: "service_client_send_method_path", rawPathExpression: resolvedPath.rawExpression, literalPathSource: resolvedPath.text ? resolvedPath.sourceKind === "const" ? "same_scope_const_initializer" : resolvedPath.sourceKind : void 0, odataPathIntent: operationPathExpr ? intent : void 0, parserWarning: operationPathExpr ? void 0 : "dynamic_operation_path_identifier" });
           } else if (receiver && serviceVariables.has(rootReceiver ?? receiver)) {
-            add(node, { callType: "remote_action", serviceVariableName: rootReceiver ?? receiver, method, payloadSummary: summarizeExpression(node.getText(source)), confidence: 0.35, unresolvedReason: "unsupported_cap_send_signature" }, { receiver, rootReceiver, classifier: "service_client_send_unsupported_signature" });
+            const operationPathExpr = safeOperationName(firstArg2.value);
+            add(node, { callType: "remote_action", serviceVariableName: rootReceiver ?? receiver, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: operationPathExpr ? 0.75 : 0.35, unresolvedReason: operationPathExpr ? void 0 : "unsupported_cap_send_signature" }, { receiver, rootReceiver, classifier: operationPathExpr ? "service_client_send_operation_event" : "service_client_send_unsupported_signature", rawOperationExpression: firstArg2.rawExpression, literalOperationSource: firstArg2.value ? firstArg2.sourceKind : void 0, parserWarning: operationPathExpr ? void 0 : "unsupported_cap_send_signature" });
           }
         }
       } else if (ts4.isCallExpression(expr) && ts4.isIdentifier(expr.expression) && wrapperSpecs.has(expr.expression.text) || ts4.isIdentifier(expr) && wrapperSpecs.has(expr.text)) {
@@ -3292,4 +3297,4 @@ export {
   linkWorkspace,
   trace
 };
-//# sourceMappingURL=chunk-RP3BJ64F.js.map
+//# sourceMappingURL=chunk-KHQK7CFH.js.map