@zenithbuild/core 0.6.2 → 1.0.1

package/compiler/parse/scriptAnalysis.ts

@@ -1,91 +0,0 @@
-/**
- * Script Analysis Utilities
- * 
- * Extracts state and prop declarations from <script> blocks
- */
-
-export interface StateInfo {
-    name: string
-    value: string
-}
-
-/**
- * Extract state declarations: state name = value
- */
-export function extractStateDeclarations(script: string): Map<string, string> {
-    const states = new Map<string, string>()
-    const statePattern = /state\s+([a-zA-Z_$][a-zA-Z0-9_$]*)\s*=\s*([^;]+?)(?:\s*;|\s*$)/gm
-    let match
-
-    while ((match = statePattern.exec(script)) !== null) {
-        if (match[1] && match[2]) {
-            states.set(match[1], match[2].trim())
-        }
-    }
-
-    return states
-}
-
-/**
- * Extract prop declarations: export let props: Props;
- */
-export function extractProps(script: string): string[] {
-    const props: string[] = []
-    const propPattern = /export\s+let\s+props(?:\s*:\s*([^;]+))?[ \t]*;?/g
-    let match
-
-    while ((match = propPattern.exec(script)) !== null) {
-        if (!props.includes('props')) {
-            props.push('props')
-        }
-    }
-
-    return props
-}
-
-/**
- * Transform script by removing state and prop declarations
- * Also strips .zen imports (resolved at compile time) and other compile-time-only imports
- */
-export function transformStateDeclarations(script: string): string {
-    let transformed = script
-
-    // Remove state declarations (state count = 0)
-    transformed = transformed.replace(/state\s+([a-zA-Z_$][a-zA-Z0-9_$]*)[ \t]*=[ \t]*([^;]+?)(?:[ \t]*;|\s*$)/gm, '')
-
-    // Remove export let props (legacy)
-    transformed = transformed.replace(/export\s+let\s+props(?:\s*:\s*([^;]+))?\s*;?[ \t]*/g, '')
-
-    // Remove type/interface Props (carefully handling comments)
-    // We search for the start of the word 'type' or 'interface' and match until the closing brace
-    transformed = transformed.replace(/(?:type|interface)\s+Props\s*=?\s*\{[^}]*(?:\{[^}]*\}[^}]*)*\}[ \t]*;?/gs, '')
-
-    // Remove zenith/runtime imports
-    transformed = transformed.replace(/import\s+{[^}]+}\s+from\s+['"]zenith\/runtime['"]\s*;?[ \t]*/g, '')
-
-    // Remove .zen file imports (resolved at compile time)
-    // Matches: import Name from '.../file.zen'; or import Name from '.../file.zen'
-    transformed = transformed.replace(/import\s+\w+\s+from\s+['"][^'"]*\.zen['"];?\s*/g, '')
-
-    // Remove relative imports with destructuring (components are inlined)
-    transformed = transformed.replace(/import\s+{[^}]*}\s+from\s+['"][^'"]+\.zen['"];?\s*/g, '')
-
-    // Transform zenith:content imports to global lookups
-    transformed = transformed.replace(
-        /import\s*{\s*([^}]+)\s*}\s*from\s*['"]zenith:content['"]\s*;?/g,
-        (_, imports) => `const { ${imports.trim()} } = window.__zenith;`
-    )
-
-    return transformed.trim()
-}
-
-/**
- * Inject props into a setup script as top-level variables
- */
-export function injectPropsIntoSetup(script: string, props: Record<string, any>): string {
-    const propDeclarations = Object.entries(props)
-        .map(([key, value]) => `const ${key} = ${typeof value === 'string' ? `'${value}'` : JSON.stringify(value)};`)
-        .join('\n')
-
-    return `${propDeclarations}\n\n${script}`
-}

package/compiler/parse/trackLoopContext.ts

@@ -1,82 +0,0 @@
-/**
- * Loop Context Tracking
- * 
- * Phase 7: Utilities for tracking and propagating loop context through the parse tree
- */
-
-import type { LoopContext, ExpressionIR } from '../ir/types'
-import { detectMapExpression, referencesLoopVariable } from './detectMapExpressions'
-
-/**
- * Check if an expression should have loop context attached
- * Returns the loop context if the expression references loop variables
- */
-export function shouldAttachLoopContext(
-  expr: ExpressionIR,
-  parentLoopContext?: LoopContext
-): LoopContext | undefined {
-  if (!parentLoopContext) {
-    return undefined
-  }
-  
-  // Check if this expression references any loop variables
-  if (referencesLoopVariable(expr.code, parentLoopContext.variables)) {
-    return parentLoopContext
-  }
-  
-  return undefined
-}
-
-/**
- * Merge loop contexts for nested loops
- * Inner loops inherit outer loop variables
- */
-export function mergeLoopContext(
-  outer?: LoopContext,
-  inner?: LoopContext
-): LoopContext | undefined {
-  if (!inner) {
-    return outer
-  }
-  
-  if (!outer) {
-    return inner
-  }
-  
-  // Merge variables: outer variables come first, then inner
-  // This allows expressions to reference both outer and inner loop variables
-  return {
-    variables: [...outer.variables, ...inner.variables],
-    mapSource: inner.mapSource || outer.mapSource
-  }
-}
-
-/**
- * Detect if an expression is a map expression and extract its loop context
- */
-export function extractLoopContextFromExpression(expr: ExpressionIR): LoopContext | undefined {
-  const mapInfo = detectMapExpression(expr)
-  
-  if (!mapInfo.isMap) {
-    return undefined
-  }
-  
-  // extractLoopVariables expects a MapExpressionInfo, not a string
-  const variables: string[] = []
-  if (mapInfo.itemVariable) {
-    variables.push(mapInfo.itemVariable)
-  }
-  if (mapInfo.indexVariable) {
-    variables.push(mapInfo.indexVariable)
-  }
-  
-  if (variables.length === 0) {
-    return undefined
-  }
-  
-  return {
-    variables,
-    mapSource: mapInfo.arraySource
-  }
-}
-

package/compiler/runtime/dataExposure.ts

@@ -1,317 +0,0 @@
-/**
- * Explicit Data Exposure Analysis
- * 
- * Phase 6: Analyzes expressions to detect data dependencies and ensure
- * all data references are explicit (loader, props, stores) rather than implicit globals
- */
-
-import type { ExpressionIR } from '../ir/types'
-import { CompilerError } from '../errors/compilerError'
-import { transformExpressionJSX } from '../transform/expressionTransformer'
-
-/**
- * Data dependency information for an expression
- */
-export interface ExpressionDataDependencies {
-  expressionId: string
-  usesLoaderData: boolean
-  usesProps: boolean
-  usesStores: boolean
-  usesState: boolean
-  loaderProperties: string[]  // e.g., ['user', 'user.name']
-  propNames: string[]         // e.g., ['title', 'showWelcome']
-  storeNames: string[]        // e.g., ['cart', 'notifications']
-  stateProperties: string[]   // e.g., ['count', 'isLoading']
-}
-
-/**
- * Analyze an expression to detect its data dependencies
- * 
- * This is a simple heuristic-based analyzer that looks for patterns like:
- * - user.name, user.email → loader data
- * - props.title, props.showWelcome → props
- * - stores.cart, stores.notifications → stores
- * - count, isLoading → state (top-level properties)
- */
-export function analyzeExpressionDependencies(
-  expr: ExpressionIR,
-  declaredLoaderProps: string[] = [],
-  declaredProps: string[] = [],
-  declaredStores: string[] = []
-): ExpressionDataDependencies {
-  const { id, code } = expr
-
-  const dependencies: ExpressionDataDependencies = {
-    expressionId: id,
-    usesLoaderData: false,
-    usesProps: false,
-    usesStores: false,
-    usesState: false,
-    loaderProperties: [],
-    propNames: [],
-    storeNames: [],
-    stateProperties: []
-  }
-
-  // Simple pattern matching (for Phase 6 - can be enhanced with proper AST parsing later)
-
-  // Check for loader data references (loaderData.property or direct property access)
-  // We assume properties not starting with props/stores/state are loader data
-  const loaderPattern = /\b(loaderData\.(\w+(?:\.\w+)*)|(?<!props\.|stores\.|state\.)(\w+)\.(\w+))/g
-  let match
-
-  // Check for explicit loaderData references
-  if (/loaderData\./.test(code)) {
-    dependencies.usesLoaderData = true
-    while ((match = loaderPattern.exec(code)) !== null) {
-      if (match[1]?.startsWith('loaderData.')) {
-        const propPath = match[1].replace('loaderData.', '')
-        if (!dependencies.loaderProperties.includes(propPath)) {
-          dependencies.loaderProperties.push(propPath)
-        }
-      }
-    }
-  }
-
-  // Check for props references
-  const propsPattern = /\bprops\.(\w+)(?:\.(\w+))*/g
-  if (/props\./.test(code)) {
-    dependencies.usesProps = true
-    while ((match = propsPattern.exec(code)) !== null) {
-      const propName = match[1]
-      if (propName && !dependencies.propNames.includes(propName)) {
-        dependencies.propNames.push(propName)
-      }
-    }
-  }
-
-  // Check for stores references
-  const storesPattern = /\bstores\.(\w+)(?:\.(\w+))*/g
-  if (/stores\./.test(code)) {
-    dependencies.usesStores = true
-    while ((match = storesPattern.exec(code)) !== null) {
-      const storeName = match[1]
-      if (storeName && !dependencies.storeNames.includes(storeName)) {
-        dependencies.storeNames.push(storeName)
-      }
-    }
-  }
-
-  // Check for state references (top-level properties)
-  // Simple identifiers that aren't part of props/stores/loaderData paths
-  const identifierPattern = /\b([a-zA-Z_$][a-zA-Z0-9_$]*)\b/g
-  const reserved = ['props', 'stores', 'loaderData', 'state', 'true', 'false', 'null', 'undefined', 'this', 'window']
-
-  const identifiers = new Set<string>()
-  while ((match = identifierPattern.exec(code)) !== null) {
-    const ident = match[1]
-    if (ident && !reserved.includes(ident) && !ident.includes('.')) {
-      identifiers.add(ident)
-    }
-  }
-
-  // If we have identifiers, check if they are props or state
-  if (identifiers.size > 0) {
-    const propIdents: string[] = []
-    const stateIdents: string[] = []
-
-    for (const ident of identifiers) {
-      if (declaredProps.includes(ident)) {
-        propIdents.push(ident)
-      } else {
-        stateIdents.push(ident)
-      }
-    }
-
-    if (propIdents.length > 0) {
-      dependencies.usesProps = true
-      dependencies.propNames = [...new Set([...dependencies.propNames, ...propIdents])]
-    }
-
-    if (stateIdents.length > 0) {
-      dependencies.usesState = true
-      dependencies.stateProperties = Array.from(new Set([...dependencies.stateProperties, ...stateIdents]))
-    }
-  }
-
-  return dependencies
-}
-
-/**
- * Validate that all referenced data exists
- */
-export function validateDataDependencies(
-  dependencies: ExpressionDataDependencies,
-  filePath: string,
-  declaredLoaderProps: string[] = [],
-  declaredProps: string[] = [],
-  declaredStores: string[] = []
-): void {
-  const errors: CompilerError[] = []
-
-  // Validate loader data properties
-  if (dependencies.usesLoaderData && dependencies.loaderProperties.length > 0) {
-    // For Phase 6, we'll allow any loader property (can be enhanced with type checking later)
-    // Just warn if property path is suspicious
-    for (const prop of dependencies.loaderProperties) {
-      if (!/^[a-zA-Z_$][a-zA-Z0-9_$.]*$/.test(prop)) {
-        errors.push(new CompilerError(
-          `Invalid loader data property reference: ${prop}`,
-          filePath,
-          0,
-          0
-        ))
-      }
-    }
-  }
-
-  // Validate props
-  if (dependencies.usesProps && dependencies.propNames.length > 0) {
-    for (const propName of dependencies.propNames) {
-      if (declaredProps.length > 0 && !declaredProps.includes(propName)) {
-        // This is a warning, not an error - props might be passed at runtime
-        console.warn(`[Zenith] Prop "${propName}" referenced but not declared in component`)
-      }
-    }
-  }
-
-  // Validate stores
-  if (dependencies.usesStores && dependencies.storeNames.length > 0) {
-    for (const storeName of dependencies.storeNames) {
-      if (declaredStores.length > 0 && !declaredStores.includes(storeName)) {
-        errors.push(new CompilerError(
-          `Store "${storeName}" referenced but not imported or declared`,
-          filePath,
-          0,
-          0
-        ))
-      }
-    }
-  }
-
-  if (errors.length > 0) {
-    throw errors[0] // Throw first error (can be enhanced to collect all)
-  }
-}
-
-/**
- * Transform expression code to use explicit data arguments
- * 
- * Converts patterns like:
- * - user.name → loaderData.user.name
- * - title → props.title (if declared as prop)
- * - cart.items → stores.cart.items
- */
-export function transformExpressionCode(
-  code: string,
-  dependencies: ExpressionDataDependencies,
-  declaredProps: string[] = []
-): string {
-  let transformed = code
-
-  // For Phase 6, we keep the code as-is but ensure expressions
-  // receive the right arguments. The actual transformation happens
-  // in the expression wrapper function signature.
-
-  // However, if the code references properties directly (without loaderData/props/stores prefix),
-  // we need to assume they're state properties (backwards compatibility)
-
-  return transformed
-}
-
-/**
- * Generate expression wrapper with explicit data arguments
- */
-export function generateExplicitExpressionWrapper(
-  expr: ExpressionIR,
-  dependencies: ExpressionDataDependencies
-): string {
-  const { id, code } = expr
-
-  // Build function signature based on dependencies
-  const params: string[] = ['state']
-
-  if (dependencies.usesLoaderData) {
-    params.push('loaderData')
-  }
-  if (dependencies.usesProps) {
-    params.push('props')
-  }
-  if (dependencies.usesStores) {
-    params.push('stores')
-  }
-
-  const paramList = params.join(', ')
-
-  // Build evaluation context
-  const contextParts: string[] = []
-
-  if (dependencies.usesLoaderData) {
-    contextParts.push('loaderData')
-  }
-  if (dependencies.usesProps) {
-    contextParts.push('props')
-  }
-  if (dependencies.usesStores) {
-    contextParts.push('stores')
-  }
-  if (dependencies.usesState) {
-    contextParts.push('state')
-  }
-
-  // Create merged context for 'with' statement
-  const contextCode = contextParts.length > 0
-    ? `const __ctx = Object.assign({}, ${contextParts.join(', ')});\n      with (__ctx) {`
-    : 'with (state) {'
-
-  // Escape the code for use in a single-line comment (replace newlines with spaces)
-  const commentCode = code.replace(/[\r\n]+/g, ' ').replace(/\s+/g, ' ').substring(0, 100)
-
-  // JSON.stringify the code for error messages (properly escapes quotes, newlines, etc.)
-  const jsonEscapedCode = JSON.stringify(code)
-
-  // Transform JSX
-  const transformedCode = transformExpressionJSX(code)
-
-  return `
-  // Expression: ${commentCode}${code.length > 100 ? '...' : ''}
-  // Dependencies: ${JSON.stringify({
-    loaderData: dependencies.usesLoaderData,
-    props: dependencies.usesProps,
-    stores: dependencies.usesStores,
-    state: dependencies.usesState
-  })}
-  const ${id} = (${paramList}) => {
-    try {
-      ${contextCode}
-        return ${transformedCode};
-      }
-    } catch (e) {
-      console.warn('[Zenith] Expression evaluation error:', ${jsonEscapedCode}, e);
-      return undefined;
-    }
-  };`
-}
-
-/**
- * Analyze all expressions in a template
- */
-export function analyzeAllExpressions(
-  expressions: ExpressionIR[],
-  filePath: string,
-  declaredLoaderProps: string[] = [],
-  declaredProps: string[] = [],
-  declaredStores: string[] = []
-): ExpressionDataDependencies[] {
-  const dependencies = expressions.map(expr =>
-    analyzeExpressionDependencies(expr, declaredLoaderProps, declaredProps, declaredStores)
-  )
-
-  // Validate all dependencies
-  for (const dep of dependencies) {
-    validateDataDependencies(dep, filePath, declaredLoaderProps, declaredProps, declaredStores)
-  }
-
-  return dependencies
-}
-