@veraxhq/verax 0.2.0 → 0.3.0

package/src/cli/util/angular-navigation-detector.js

@@ -0,0 +1,141 @@
+/**
+ * PHASE 20 — Angular Navigation Detector
+ * 
+ * Detects navigation promises in Angular applications:
+ * - routerLink directive in templates
+ * - Router.navigate() calls in component methods
+ * - ActivatedRoute navigation
+ */
+
+import { extractAngularComponent, extractTemplateBindings, mapTemplateHandlersToClass } from './angular-component-extractor.js';
+import { parse } from '@babel/parser';
+import traverse from '@babel/traverse';
+import { readFileSync, existsSync } from 'fs';
+
+/**
+ * Detect navigation promises in Angular component
+ * 
+ * @param {string} filePath - Path to .ts file
+ * @param {string} content - Full file content
+ * @param {string} projectRoot - Project root directory
+ * @returns {Array} Array of navigation expectations
+ */
+export function detectAngularNavigation(filePath, content, projectRoot) {
+  const expectations = [];
+  
+  try {
+    const component = extractAngularComponent(content, filePath, projectRoot);
+    
+    // Extract navigation from template (routerLink)
+    if (component.template) {
+      let templateContent = null;
+      
+      if (component.template.isInline) {
+        templateContent = component.template.content;
+      } else if (existsSync(component.template.path)) {
+        templateContent = readFileSync(component.template.path, 'utf8');
+      }
+      
+      if (templateContent) {
+        const templateBindings = extractTemplateBindings(templateContent);
+        
+        // Extract routerLink directives
+        const routerLinkRegex = /routerLink\s*=\s*["']([^"']+)["']/g;
+        let linkMatch;
+        while ((linkMatch = routerLinkRegex.exec(templateContent)) !== null) {
+          const href = linkMatch[1];
+          // Skip external links and hash-only links
+          if (href.startsWith('http://') || href.startsWith('https://') || href.startsWith('#')) {
+            continue;
+          }
+          
+          const beforeMatch = templateContent.substring(0, linkMatch.index);
+          const line = (beforeMatch.match(/\n/g) || []).length + 1;
+          
+          expectations.push({
+            type: 'navigation',
+            target: href,
+            context: 'template',
+            sourceRef: {
+              file: component.template.isInline ? filePath : component.template.path,
+              line,
+              snippet: linkMatch[0],
+            },
+            proof: 'PROVEN_EXPECTATION',
+            metadata: {
+              navigationType: 'routerLink',
+            },
+          });
+        }
+      }
+    }
+    
+    // Extract navigation from component class (Router.navigate())
+    if (component.componentClass && component.componentClass.content) {
+      try {
+        const ast = parse(component.componentClass.content, {
+          sourceType: 'module',
+          plugins: ['typescript', 'decorators-legacy', 'classProperties'],
+        });
+        
+        traverse.default(ast, {
+          CallExpression(path) {
+            const { node } = path;
+            
+            // Detect router.navigate() calls
+            if (
+              node.callee.type === 'MemberExpression' &&
+              node.callee.property.name === 'navigate' &&
+              node.arguments.length > 0
+            ) {
+              const arg = node.arguments[0];
+              let target = null;
+              
+              if (arg.type === 'StringLiteral') {
+                target = arg.value;
+              } else if (arg.type === 'ArrayExpression' && arg.elements.length > 0) {
+                // Router.navigate(['/path']) or Router.navigate(['/path', param])
+                const firstElement = arg.elements[0];
+                if (firstElement.type === 'StringLiteral') {
+                  target = firstElement.value;
+                }
+              } else if (arg.type === 'TemplateLiteral' && arg.quasis.length === 1) {
+                target = arg.quasis[0].value.raw;
+              }
+              
+              if (target && !target.startsWith('http://') && !target.startsWith('https://') && !target.startsWith('#')) {
+                const location = node.loc;
+                const line = component.componentClass.startLine + (location ? location.start.line - 1 : 0);
+                
+                expectations.push({
+                  type: 'navigation',
+                  target,
+                  context: 'router-navigate',
+                  sourceRef: {
+                    file: filePath,
+                    line,
+                    snippet: component.componentClass.content.substring(
+                      node.start - (ast.program.body[0]?.start || 0),
+                      node.end - (ast.program.body[0]?.start || 0)
+                    ),
+                  },
+                  proof: arg.type === 'StringLiteral' ? 'PROVEN_EXPECTATION' : 'LIKELY_EXPECTATION',
+                  metadata: {
+                    navigationType: 'router-navigate',
+                  },
+                });
+              }
+            }
+          },
+        });
+      } catch (parseError) {
+        // Skip if parsing fails
+      }
+    }
+  } catch (error) {
+    // Skip if extraction fails
+  }
+  
+  return expectations;
+}
+

package/src/cli/util/angular-network-detector.js

@@ -0,0 +1,161 @@
+/**
+ * PHASE 20 — Angular Network Detector
+ * 
+ * Detects network calls (HttpClient, fetch) in Angular component methods and services.
+ * Reuses AST network detector but ensures it works with Angular TypeScript files.
+ */
+
+import { extractAngularComponent, extractTemplateBindings, mapTemplateHandlersToClass } from './angular-component-extractor.js';
+import { detectNetworkCallsAST } from './ast-network-detector.js';
+import { relative } from 'path';
+import { readFileSync, existsSync } from 'fs';
+import { parse } from '@babel/parser';
+import traverse from '@babel/traverse';
+
+/**
+ * Detect network promises in Angular component
+ * 
+ * @param {string} filePath - Path to .ts file
+ * @param {string} content - Full file content
+ * @param {string} projectRoot - Project root directory
+ * @returns {Array} Array of network expectations
+ */
+export function detectAngularNetwork(filePath, content, projectRoot) {
+  const expectations = [];
+  
+  try {
+    const component = extractAngularComponent(content, filePath, projectRoot);
+    
+    // Extract event handlers from template to identify UI-bound handlers
+    let templateBindings = null;
+    if (component.template) {
+      let templateContent = null;
+      
+      if (component.template.isInline) {
+        templateContent = component.template.content;
+      } else if (existsSync(component.template.path)) {
+        templateContent = readFileSync(component.template.path, 'utf8');
+      }
+      
+      if (templateContent) {
+        templateBindings = extractTemplateBindings(templateContent);
+      }
+    }
+    
+    const mappedHandlers = component.componentClass && templateBindings
+      ? mapTemplateHandlersToClass(templateBindings.eventHandlers, component.componentClass.content)
+      : [];
+    
+    const uiBoundHandlers = new Set(mappedHandlers.map(h => h.methodName));
+    
+    // Process component class
+    if (component.componentClass && component.componentClass.content) {
+      // Use AST network detector on class content
+      const networkCalls = detectNetworkCallsAST(component.componentClass.content, filePath, relative(projectRoot, filePath));
+      
+      // Also detect HttpClient calls specifically
+      const httpClientCalls = detectHttpClientCalls(component.componentClass.content, component.componentClass.startLine);
+      
+      // Combine and filter network calls
+      const allNetworkCalls = [...networkCalls, ...httpClientCalls];
+      
+      for (const networkCall of allNetworkCalls) {
+        // Check if this is in a UI-bound handler
+        const isUIBound = networkCall.context && uiBoundHandlers.has(networkCall.context);
+        
+        // Skip analytics-only calls (filtered by guardrails later)
+        if (networkCall.target && (
+          networkCall.target.includes('/api/analytics') ||
+          networkCall.target.includes('/api/track') ||
+          networkCall.target.includes('/api/beacon')
+        )) {
+          continue;
+        }
+        
+        expectations.push({
+          type: 'network',
+          target: networkCall.target || networkCall.url,
+          method: networkCall.method || 'GET',
+          context: networkCall.context || 'component',
+          sourceRef: {
+            file: filePath,
+            line: networkCall.line || component.componentClass.startLine,
+            snippet: networkCall.snippet || '',
+          },
+          proof: networkCall.proof || 'LIKELY_EXPECTATION',
+          metadata: {
+            isUIBound,
+            handlerContext: networkCall.context,
+            networkKind: networkCall.kind || 'http',
+          },
+        });
+      }
+    }
+  } catch (error) {
+    // Skip if extraction fails
+  }
+  
+  return expectations;
+}
+
+/**
+ * Detect HttpClient calls (get, post, put, delete, etc.)
+ * 
+ * @param {string} classContent - Component class content
+ * @param {number} startLine - Starting line number
+ * @returns {Array} Array of network call detections
+ */
+function detectHttpClientCalls(classContent, startLine) {
+  const calls = [];
+  
+  try {
+    const ast = parse(classContent, {
+      sourceType: 'module',
+      plugins: ['typescript', 'decorators-legacy', 'classProperties'],
+    });
+    
+    traverse.default(ast, {
+      CallExpression(path) {
+        const { node } = path;
+        
+        // Detect http.get(), http.post(), etc.
+        if (
+          node.callee.type === 'MemberExpression' &&
+          ['get', 'post', 'put', 'delete', 'patch'].includes(node.callee.property.name)
+        ) {
+          const method = node.callee.property.name.toUpperCase();
+          const firstArg = node.arguments[0];
+          let url = null;
+          
+          if (firstArg && firstArg.type === 'StringLiteral') {
+            url = firstArg.value;
+          } else if (firstArg && firstArg.type === 'TemplateLiteral' && firstArg.quasis.length === 1) {
+            url = firstArg.quasis[0].value.raw;
+          }
+          
+          if (url) {
+            const location = node.loc;
+            const line = startLine + (location ? location.start.line - 1 : 0);
+            
+            calls.push({
+              target: url,
+              method,
+              line,
+              snippet: classContent.substring(
+                node.start - (ast.program.body[0]?.start || 0),
+                node.end - (ast.program.body[0]?.start || 0)
+              ),
+              kind: 'httpClient',
+              proof: firstArg.type === 'StringLiteral' ? 'PROVEN_EXPECTATION' : 'LIKELY_EXPECTATION',
+            });
+          }
+        }
+      },
+    });
+  } catch (parseError) {
+    // Skip if parsing fails
+  }
+  
+  return calls;
+}
+

package/src/cli/util/angular-state-detector.js

@@ -0,0 +1,162 @@
+/**
+ * PHASE 20 — Angular State Detector
+ * 
+ * Detects state mutations (component properties, services) in Angular components.
+ * Only emits state promises if state is user-visible (used in template bindings).
+ */
+
+import { extractAngularComponent, extractTemplateBindings } from './angular-component-extractor.js';
+import { parse } from '@babel/parser';
+import traverse from '@babel/traverse';
+import { readFileSync, existsSync } from 'fs';
+
+/**
+ * Detect state promises in Angular component
+ * 
+ * @param {string} filePath - Path to .ts file
+ * @param {string} content - Full file content
+ * @param {string} projectRoot - Project root directory
+ * @returns {Array} Array of state expectations
+ */
+export function detectAngularState(filePath, content, projectRoot) {
+  const expectations = [];
+  
+  try {
+    const component = extractAngularComponent(content, filePath, projectRoot);
+    
+    // Extract template bindings to identify user-visible state
+    let templateBindings = null;
+    let templateContent = null;
+    
+    if (component.template) {
+      if (component.template.isInline) {
+        templateContent = component.template.content;
+      } else if (existsSync(component.template.path)) {
+        templateContent = readFileSync(component.template.path, 'utf8');
+      }
+      
+      if (templateContent) {
+        templateBindings = extractTemplateBindings(templateContent);
+      }
+    }
+    
+    // Collect all state variables used in template
+    const templateStateVars = new Set();
+    
+    // From property bindings: [property]="value"
+    if (templateBindings) {
+      templateBindings.propertyBindings.forEach(binding => {
+        templateStateVars.add(binding.value);
+      });
+      
+      // From structural directives: *ngIf="condition"
+      templateBindings.structuralDirectives.forEach(directive => {
+        // Extract variable names from expressions
+        const varMatch = directive.expression.match(/^([a-zA-Z_$][a-zA-Z0-9_$]*)/);
+        if (varMatch) {
+          templateStateVars.add(varMatch[1]);
+        }
+      });
+    }
+    
+    // From template interpolation: {{ variable }}
+    if (templateContent) {
+      const interpolationRegex = /\{\{\s*([a-zA-Z_$][a-zA-Z0-9_$]*)\s*\}\}/g;
+      let varMatch;
+      while ((varMatch = interpolationRegex.exec(templateContent)) !== null) {
+        templateStateVars.add(varMatch[1]);
+      }
+    }
+    
+    // Process component class to find state mutations
+    if (component.componentClass && component.componentClass.content) {
+      try {
+        const ast = parse(component.componentClass.content, {
+          sourceType: 'module',
+          plugins: ['typescript', 'decorators-legacy', 'classProperties'],
+        });
+        
+        traverse.default(ast, {
+          // Detect property assignments: this.property = value
+          AssignmentExpression(path) {
+            const { node } = path;
+            
+            if (
+              node.left.type === 'MemberExpression' &&
+              node.left.object.type === 'ThisExpression' &&
+              node.left.property.type === 'Identifier'
+            ) {
+              const propertyName = node.left.property.name;
+              
+              // Only emit if property is used in template
+              if (templateStateVars.has(propertyName)) {
+                const location = node.loc;
+                const line = component.componentClass.startLine + (location ? location.start.line - 1 : 0);
+                
+                expectations.push({
+                  type: 'state',
+                  expectedTarget: propertyName,
+                  context: 'property-assignment',
+                  sourceRef: {
+                    file: filePath,
+                    line,
+                    snippet: component.componentClass.content.substring(
+                      node.start - (ast.program.body[0]?.start || 0),
+                      node.end - (ast.program.body[0]?.start || 0)
+                    ),
+                  },
+                  proof: 'PROVEN_EXPECTATION',
+                  metadata: {
+                    templateUsage: Array.from(templateStateVars).filter(v => v === propertyName).length,
+                    stateType: 'component-property',
+                  },
+                });
+              }
+            }
+          },
+          
+          // Detect property declarations: property: type = value
+          ClassProperty(path) {
+            const { node } = path;
+            
+            if (node.key.type === 'Identifier') {
+              const propertyName = node.key.name;
+              
+              // Only emit if property is used in template and has initializer
+              if (templateStateVars.has(propertyName) && node.value) {
+                const location = node.loc;
+                const line = component.componentClass.startLine + (location ? location.start.line - 1 : 0);
+                
+                expectations.push({
+                  type: 'state',
+                  expectedTarget: propertyName,
+                  context: 'property-declaration',
+                  sourceRef: {
+                    file: filePath,
+                    line,
+                    snippet: component.componentClass.content.substring(
+                      node.start - (ast.program.body[0]?.start || 0),
+                      node.end - (ast.program.body[0]?.start || 0)
+                    ),
+                  },
+                  proof: 'PROVEN_EXPECTATION',
+                  metadata: {
+                    templateUsage: Array.from(templateStateVars).filter(v => v === propertyName).length,
+                    stateType: 'component-property',
+                  },
+                });
+              }
+            }
+          },
+        });
+      } catch (parseError) {
+        // Skip if parsing fails
+      }
+    }
+  } catch (error) {
+    // Skip if extraction fails
+  }
+  
+  return expectations;
+}
+