@polymorphism-tech/morph-spec 2.2.0 → 2.4.0

package/src/lib/blazor-concurrency-analyzer.js

@@ -0,0 +1,288 @@
+/**
+ * Blazor Concurrency Analyzer
+ *
+ * Detects potential DbContext concurrency issues in Blazor Server applications.
+ * Identifies patterns that lead to "A second operation was started" exceptions.
+ *
+ * @module blazor-concurrency-analyzer
+ */
+
+/**
+ * @typedef {Object} ConcurrencyIssue
+ * @property {'error' | 'warning' | 'info'} type
+ * @property {string} message
+ * @property {string} [suggestion]
+ * @property {string} file
+ * @property {number} [line]
+ * @property {string} [code]
+ */
+
+// Patterns that indicate scoped DbContext injection
+const SCOPED_DBCONTEXT_PATTERNS = [
+  /private readonly (\w+DbContext)\s+_\w+/g,
+  /\[Inject\]\s*(?:private|public)\s+(\w+DbContext)/g,
+  /private readonly I(\w+)Repository\s+_\w+/g,
+];
+
+// Patterns that indicate background operations
+const BACKGROUND_OPERATION_PATTERNS = [
+  /Task\.Run\s*\(/,
+  /Task\.Factory\.StartNew\s*\(/,
+  /Parallel\.For/,
+  /Parallel\.ForEach/,
+  /\.ConfigureAwait\(false\)/,
+  /_ = \w+Async\(/,  // Fire-and-forget pattern
+  /ThreadPool\.QueueUserWorkItem/,
+];
+
+// Patterns that indicate factory usage (GOOD)
+const FACTORY_PATTERNS = [
+  /IDbContextFactory<\w+>/,
+  /IDbContextFactory\s*<\s*\w+\s*>/,
+  /_factory\.CreateDbContext/,
+  /_contextFactory\.CreateDbContext/,
+  /await using var \w+ = .*CreateDbContext/,
+];
+
+// Hangfire patterns
+const HANGFIRE_PATTERNS = [
+  /BackgroundJob\.Enqueue/,
+  /BackgroundJob\.Schedule/,
+  /RecurringJob\.AddOrUpdate/,
+  /\[AutomaticRetry\]/,
+];
+
+/**
+ * Checks for scoped DbContext used in background operations.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {ConcurrencyIssue[]}
+ */
+export function checkScopedDbContextInBackground(content, filePath) {
+  const issues = [];
+  const lines = content.split('\n');
+
+  // First, check if file has scoped DbContext
+  let hasScopedDbContext = false;
+  let dbContextLine = 0;
+
+  lines.forEach((line, index) => {
+    SCOPED_DBCONTEXT_PATTERNS.forEach((pattern) => {
+      if (pattern.test(line)) {
+        hasScopedDbContext = true;
+        dbContextLine = index + 1;
+      }
+      pattern.lastIndex = 0;
+    });
+  });
+
+  if (!hasScopedDbContext) {
+    return issues;
+  }
+
+  // Check if file has factory pattern (GOOD - no issues)
+  const hasFactory = FACTORY_PATTERNS.some((pattern) => pattern.test(content));
+
+  if (hasFactory) {
+    return issues; // Using factory pattern correctly
+  }
+
+  // Check for background operations
+  lines.forEach((line, index) => {
+    BACKGROUND_OPERATION_PATTERNS.forEach((pattern) => {
+      if (pattern.test(line)) {
+        issues.push({
+          type: 'error',
+          message: 'Operacao background com DbContext scoped detectada',
+          suggestion:
+            'Use IDbContextFactory<T> ou Repository Factory pattern para operacoes background. Ver framework/standards/blazor-efcore.md',
+          file: filePath,
+          line: index + 1,
+          code: line.trim(),
+        });
+      }
+    });
+  });
+
+  return issues;
+}
+
+/**
+ * Checks for Hangfire jobs using scoped services.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {ConcurrencyIssue[]}
+ */
+export function checkHangfireWithScopedServices(content, filePath) {
+  const issues = [];
+  const lines = content.split('\n');
+
+  // Check if file has Hangfire patterns
+  const hasHangfire = HANGFIRE_PATTERNS.some((pattern) => pattern.test(content));
+
+  if (!hasHangfire) {
+    return issues;
+  }
+
+  // Check if using factory pattern
+  const hasFactory = FACTORY_PATTERNS.some((pattern) => pattern.test(content));
+
+  if (hasFactory) {
+    return issues; // Good - using factory
+  }
+
+  // Check for scoped DbContext
+  const hasScopedDbContext = SCOPED_DBCONTEXT_PATTERNS.some((pattern) => {
+    const result = pattern.test(content);
+    pattern.lastIndex = 0;
+    return result;
+  });
+
+  if (hasScopedDbContext) {
+    lines.forEach((line, index) => {
+      HANGFIRE_PATTERNS.forEach((pattern) => {
+        if (pattern.test(line)) {
+          issues.push({
+            type: 'error',
+            message: 'Hangfire job com DbContext scoped',
+            suggestion:
+              'Hangfire jobs rodam fora do escopo HTTP. Use IDbContextFactory<T> para criar contextos isolados.',
+            file: filePath,
+            line: index + 1,
+            code: line.trim(),
+          });
+        }
+      });
+    });
+  }
+
+  return issues;
+}
+
+/**
+ * Checks for scoped services injected into singleton services.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {ConcurrencyIssue[]}
+ */
+export function checkScopedInSingleton(content, filePath) {
+  const issues = [];
+  const lines = content.split('\n');
+
+  // Check if class might be a singleton (common naming patterns)
+  const isSingletonCandidate =
+    filePath.includes('BackgroundService') ||
+    filePath.includes('HostedService') ||
+    filePath.includes('Worker') ||
+    content.includes(': BackgroundService') ||
+    content.includes(': IHostedService') ||
+    content.includes('[Singleton]');
+
+  if (!isSingletonCandidate) {
+    return issues;
+  }
+
+  // Check for scoped service injection
+  lines.forEach((line, index) => {
+    SCOPED_DBCONTEXT_PATTERNS.forEach((pattern) => {
+      if (pattern.test(line)) {
+        issues.push({
+          type: 'warning',
+          message: 'Possivel injecao de servico scoped em singleton',
+          suggestion:
+            'Services scoped (DbContext, Repositories) nao devem ser injetados em singletons. Use IServiceScopeFactory ou IDbContextFactory.',
+          file: filePath,
+          line: index + 1,
+          code: line.trim(),
+        });
+      }
+      pattern.lastIndex = 0;
+    });
+  });
+
+  return issues;
+}
+
+/**
+ * Checks for concurrent DbContext access in Blazor components.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {ConcurrencyIssue[]}
+ */
+export function checkConcurrentAccess(content, filePath) {
+  const issues = [];
+  const lines = content.split('\n');
+
+  // Check for multiple Task.WhenAll with repository/context calls
+  if (content.includes('Task.WhenAll') || content.includes('Task.WhenAny')) {
+    // Check if the tasks involve database operations
+    const hasDbOperations =
+      content.includes('Repository') ||
+      content.includes('DbContext') ||
+      content.includes('SaveChangesAsync') ||
+      content.includes('ToListAsync');
+
+    if (hasDbOperations) {
+      lines.forEach((line, index) => {
+        if (line.includes('Task.WhenAll') || line.includes('Task.WhenAny')) {
+          issues.push({
+            type: 'warning',
+            message: 'Task.WhenAll/WhenAny com possivel acesso concorrente ao DbContext',
+            suggestion:
+              'Se as tasks acessam o mesmo DbContext, isso causara erros. Cada task deve ter seu proprio contexto via IDbContextFactory.',
+            file: filePath,
+            line: index + 1,
+            code: line.trim(),
+          });
+        }
+      });
+    }
+  }
+
+  return issues;
+}
+
+/**
+ * Runs all concurrency checks on a file.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {ConcurrencyIssue[]}
+ */
+export function analyzeConcurrency(content, filePath) {
+  const issues = [];
+
+  issues.push(...checkScopedDbContextInBackground(content, filePath));
+  issues.push(...checkHangfireWithScopedServices(content, filePath));
+  issues.push(...checkScopedInSingleton(content, filePath));
+  issues.push(...checkConcurrentAccess(content, filePath));
+
+  return issues;
+}
+
+/**
+ * Counts issues by type.
+ *
+ * @param {ConcurrencyIssue[]} issues
+ * @returns {{ errors: number, warnings: number, infos: number }}
+ */
+export function countIssues(issues) {
+  return {
+    errors: issues.filter((i) => i.type === 'error').length,
+    warnings: issues.filter((i) => i.type === 'warning').length,
+    infos: issues.filter((i) => i.type === 'info').length,
+  };
+}
+
+export default {
+  analyzeConcurrency,
+  checkScopedDbContextInBackground,
+  checkHangfireWithScopedServices,
+  checkScopedInSingleton,
+  checkConcurrentAccess,
+  countIssues,
+};

package/src/lib/blazor-state-validator.js

@@ -0,0 +1,291 @@
+/**
+ * Blazor State Validator
+ *
+ * Validates SessionState patterns in Blazor Server applications.
+ * Ensures proper Persist + Reload pattern implementation.
+ *
+ * @module blazor-state-validator
+ */
+
+/**
+ * @typedef {Object} StateIssue
+ * @property {'error' | 'warning' | 'info'} type
+ * @property {string} message
+ * @property {string} [suggestion]
+ * @property {string} file
+ * @property {number} [line]
+ * @property {string} [code]
+ */
+
+// SessionState class patterns
+const SESSION_STATE_CLASS_PATTERNS = [
+  /class\s+SessionState/,
+  /public\s+class\s+\w*Session\w*State/,
+  /public\s+class\s+\w*State\w*Session/,
+];
+
+// LoadFrom method pattern
+const LOAD_FROM_PATTERN = /void\s+LoadFrom|LoadFrom\s*\(/;
+
+// IsLoaded property pattern
+const IS_LOADED_PATTERN = /bool\s+IsLoaded|IsLoaded\s*\{/;
+
+// Session middleware patterns
+const SESSION_MIDDLEWARE_PATTERNS = [
+  /SessionMiddleware/,
+  /UseSessionTracking/,
+  /X-Session-Id/,
+  /SessionId/,
+];
+
+// OnInitializedAsync with session reload pattern
+const ON_INITIALIZED_RELOAD_PATTERN = /OnInitializedAsync.*Session.*LoadFrom|Session\.IsLoaded/s;
+
+/**
+ * Validates SessionState class implementation.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {StateIssue[]}
+ */
+export function validateSessionStateClass(content, filePath) {
+  const issues = [];
+
+  // Check if this is a SessionState class
+  const isSessionStateClass = SESSION_STATE_CLASS_PATTERNS.some((pattern) =>
+    pattern.test(content)
+  );
+
+  if (!isSessionStateClass) {
+    return issues;
+  }
+
+  // Check for LoadFrom method
+  if (!LOAD_FROM_PATTERN.test(content)) {
+    issues.push({
+      type: 'error',
+      message: 'SessionState sem metodo LoadFrom()',
+      suggestion:
+        'Adicione um metodo LoadFrom(entity) para carregar estado do banco. Ver framework/standards/blazor-state.md',
+      file: filePath,
+    });
+  }
+
+  // Check for IsLoaded property
+  if (!IS_LOADED_PATTERN.test(content)) {
+    issues.push({
+      type: 'warning',
+      message: 'SessionState sem propriedade IsLoaded',
+      suggestion:
+        'Adicione propriedade IsLoaded para evitar reloads desnecessarios',
+      file: filePath,
+    });
+  }
+
+  // Check for ToEntity method
+  if (!content.includes('ToEntity')) {
+    issues.push({
+      type: 'info',
+      message: 'SessionState sem metodo ToEntity()',
+      suggestion:
+        'Considere adicionar ToEntity() para facilitar persistencia',
+      file: filePath,
+    });
+  }
+
+  return issues;
+}
+
+/**
+ * Validates Program.cs for session middleware setup.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {StateIssue[]}
+ */
+export function validateProgramCsSetup(content, filePath) {
+  const issues = [];
+
+  // Only check Program.cs
+  if (!filePath.toLowerCase().includes('program.cs')) {
+    return issues;
+  }
+
+  // Check if project uses SessionState
+  if (!content.includes('SessionState') && !content.includes('ISessionRepository')) {
+    return issues; // Project doesn't seem to use session state
+  }
+
+  // Check for session middleware
+  const hasSessionMiddleware = SESSION_MIDDLEWARE_PATTERNS.some((pattern) =>
+    pattern.test(content)
+  );
+
+  if (!hasSessionMiddleware) {
+    issues.push({
+      type: 'warning',
+      message: 'SessionMiddleware nao encontrado em Program.cs',
+      suggestion:
+        'Adicione app.UseSessionTracking() antes de UseRouting(). Ver framework/standards/blazor-state.md',
+      file: filePath,
+    });
+  }
+
+  // Check for IHttpContextAccessor
+  if (!content.includes('AddHttpContextAccessor')) {
+    issues.push({
+      type: 'warning',
+      message: 'IHttpContextAccessor nao registrado',
+      suggestion:
+        'Adicione builder.Services.AddHttpContextAccessor() para acessar SessionId em componentes',
+      file: filePath,
+    });
+  }
+
+  return issues;
+}
+
+/**
+ * Validates Blazor pages for session reload pattern.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {StateIssue[]}
+ */
+export function validatePageSessionReload(content, filePath) {
+  const issues = [];
+
+  // Only check .razor files
+  if (!filePath.endsWith('.razor')) {
+    return issues;
+  }
+
+  // Check if page uses SessionState
+  const usesSessionState =
+    content.includes('SessionState') ||
+    content.includes('@inject SessionState') ||
+    content.includes('[Inject] SessionState');
+
+  if (!usesSessionState) {
+    return issues;
+  }
+
+  // Check for OnInitializedAsync
+  if (!content.includes('OnInitializedAsync')) {
+    issues.push({
+      type: 'warning',
+      message: 'Pagina usa SessionState mas nao tem OnInitializedAsync',
+      suggestion:
+        'Adicione OnInitializedAsync para verificar e recarregar SessionState',
+      file: filePath,
+    });
+    return issues;
+  }
+
+  // Check for IsLoaded check or LoadFrom in OnInitializedAsync
+  if (!content.includes('IsLoaded') && !content.includes('LoadFrom')) {
+    issues.push({
+      type: 'warning',
+      message: 'Pagina usa SessionState sem verificar IsLoaded',
+      suggestion:
+        'Verifique Session.IsLoaded e chame LoadFrom() em OnInitializedAsync se necessario',
+      file: filePath,
+    });
+  }
+
+  return issues;
+}
+
+/**
+ * Validates session repository implementation.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {StateIssue[]}
+ */
+export function validateSessionRepository(content, filePath) {
+  const issues = [];
+
+  // Check if this is a session repository
+  const isSessionRepo =
+    content.includes('ISessionRepository') ||
+    content.includes('SessionRepository') ||
+    content.includes('GetBySessionIdAsync');
+
+  if (!isSessionRepo) {
+    return issues;
+  }
+
+  // Check for essential methods
+  if (!content.includes('GetBySessionIdAsync')) {
+    issues.push({
+      type: 'error',
+      message: 'SessionRepository sem GetBySessionIdAsync',
+      suggestion: 'Adicione metodo para buscar sessao por ID',
+      file: filePath,
+    });
+  }
+
+  if (!content.includes('SaveAsync') && !content.includes('UpsertAsync')) {
+    issues.push({
+      type: 'warning',
+      message: 'SessionRepository sem metodo de persistencia (SaveAsync/UpsertAsync)',
+      suggestion: 'Adicione metodo para salvar estado da sessao',
+      file: filePath,
+    });
+  }
+
+  // Check for cleanup method
+  if (!content.includes('CleanupExpiredAsync') && !content.includes('DeleteExpired')) {
+    issues.push({
+      type: 'info',
+      message: 'SessionRepository sem metodo de limpeza de sessoes expiradas',
+      suggestion:
+        'Considere adicionar CleanupExpiredAsync() para remover sessoes antigas',
+      file: filePath,
+    });
+  }
+
+  return issues;
+}
+
+/**
+ * Runs all state validations on a file.
+ *
+ * @param {string} content - File content
+ * @param {string} filePath - Path to the file
+ * @returns {StateIssue[]}
+ */
+export function validateBlazorState(content, filePath) {
+  const issues = [];
+
+  issues.push(...validateSessionStateClass(content, filePath));
+  issues.push(...validateProgramCsSetup(content, filePath));
+  issues.push(...validatePageSessionReload(content, filePath));
+  issues.push(...validateSessionRepository(content, filePath));
+
+  return issues;
+}
+
+/**
+ * Counts issues by type.
+ *
+ * @param {StateIssue[]} issues
+ * @returns {{ errors: number, warnings: number, infos: number }}
+ */
+export function countIssues(issues) {
+  return {
+    errors: issues.filter((i) => i.type === 'error').length,
+    warnings: issues.filter((i) => i.type === 'warning').length,
+    infos: issues.filter((i) => i.type === 'info').length,
+  };
+}
+
+export default {
+  validateBlazorState,
+  validateSessionStateClass,
+  validateProgramCsSetup,
+  validatePageSessionReload,
+  validateSessionRepository,
+  countIssues,
+};