@holoscript/core 1.0.0-alpha.1 → 2.0.0

package/src/HoloScriptTypeChecker.js

@@ -0,0 +1,356 @@
+/**
+ * HoloScript Type Checker
+ *
+ * Static type analysis for HoloScript code.
+ * Validates types, detects errors, and provides type information.
+ */
+// Built-in type definitions
+const BUILTIN_FUNCTIONS = new Map([
+    ['add', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],
+    ['subtract', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],
+    ['multiply', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],
+    ['divide', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],
+    ['concat', { type: 'function', parameters: [{ name: 'a', type: 'string' }, { name: 'b', type: 'string' }], returnType: 'string' }],
+    ['length', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'number' }],
+    ['push', { type: 'function', parameters: [{ name: 'arr', type: 'array' }, { name: 'item', type: 'any' }], returnType: 'array' }],
+    ['pop', { type: 'function', parameters: [{ name: 'arr', type: 'array' }], returnType: 'any' }],
+    ['log', { type: 'function', parameters: [{ name: 'message', type: 'any' }], returnType: 'void' }],
+    ['print', { type: 'function', parameters: [{ name: 'message', type: 'any' }], returnType: 'void' }],
+    ['show', { type: 'function', parameters: [{ name: 'target', type: 'orb' }], returnType: 'void' }],
+    ['hide', { type: 'function', parameters: [{ name: 'target', type: 'orb' }], returnType: 'void' }],
+    ['pulse', { type: 'function', parameters: [{ name: 'target', type: 'orb' }], returnType: 'void' }],
+    ['animate', { type: 'function', parameters: [{ name: 'target', type: 'orb' }, { name: 'config', type: 'object' }], returnType: 'void' }],
+    ['spawn', { type: 'function', parameters: [{ name: 'type', type: 'string' }, { name: 'position', type: 'object' }], returnType: 'orb' }],
+    ['isNumber', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'boolean' }],
+    ['isString', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'boolean' }],
+    ['isArray', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'boolean' }],
+]);
+export class HoloScriptTypeChecker {
+    constructor() {
+        this.typeMap = new Map();
+        this.diagnostics = [];
+        this.currentLine = 0;
+        this.currentColumn = 0;
+        // Initialize with built-in functions
+        BUILTIN_FUNCTIONS.forEach((type, name) => {
+            this.typeMap.set(name, type);
+        });
+    }
+    /**
+     * Type check an AST
+     */
+    check(ast) {
+        this.diagnostics = [];
+        // First pass: collect declarations
+        for (const node of ast) {
+            this.collectDeclaration(node);
+        }
+        // Second pass: validate types
+        for (const node of ast) {
+            this.checkNode(node);
+        }
+        return {
+            valid: this.diagnostics.filter(d => d.severity === 'error').length === 0,
+            diagnostics: this.diagnostics,
+            typeMap: new Map(this.typeMap),
+        };
+    }
+    /**
+     * Collect type declarations
+     */
+    collectDeclaration(node) {
+        switch (node.type) {
+            case 'orb':
+                this.collectOrbDeclaration(node);
+                break;
+            case 'method':
+                this.collectMethodDeclaration(node);
+                break;
+            case 'variable-declaration':
+                this.collectVariableDeclaration(node);
+                break;
+            case 'stream':
+                this.collectStreamDeclaration(node);
+                break;
+        }
+    }
+    collectOrbDeclaration(node) {
+        const properties = new Map();
+        // Add default orb properties
+        properties.set('position', { type: 'object', properties: new Map([
+                ['x', { type: 'number' }],
+                ['y', { type: 'number' }],
+                ['z', { type: 'number' }],
+            ]) });
+        properties.set('color', { type: 'string' });
+        properties.set('glow', { type: 'boolean' });
+        properties.set('interactive', { type: 'boolean' });
+        properties.set('visible', { type: 'boolean' });
+        // Add user-defined properties
+        for (const [key, value] of Object.entries(node.properties)) {
+            properties.set(key, this.inferType(value));
+        }
+        this.typeMap.set(node.name, {
+            type: 'orb',
+            properties,
+        });
+    }
+    collectMethodDeclaration(node) {
+        const parameters = node.parameters.map(p => ({
+            name: p.name,
+            type: this.parseTypeString(p.dataType),
+            optional: p.defaultValue !== undefined,
+            defaultValue: p.defaultValue,
+        }));
+        this.typeMap.set(node.name, {
+            type: 'function',
+            parameters,
+            returnType: node.returnType ? this.parseTypeString(node.returnType) : 'void',
+        });
+    }
+    collectVariableDeclaration(node) {
+        let type = 'any';
+        if (node.dataType) {
+            type = this.parseTypeString(node.dataType);
+        }
+        else if (node.value !== undefined) {
+            type = this.inferType(node.value).type;
+        }
+        this.typeMap.set(node.name, { type });
+    }
+    collectStreamDeclaration(node) {
+        this.typeMap.set(node.name, {
+            type: 'stream',
+            properties: new Map([
+                ['source', { type: 'string' }],
+                ['result', { type: 'any' }],
+            ]),
+        });
+    }
+    /**
+     * Check a node for type errors
+     */
+    checkNode(node) {
+        this.currentLine = node.position?.x ?? 0;
+        this.currentColumn = node.position?.y ?? 0;
+        switch (node.type) {
+            case 'connection':
+                this.checkConnection(node);
+                break;
+            case 'gate':
+                this.checkGate(node);
+                break;
+            case 'for-loop':
+                this.checkForLoop(node);
+                break;
+            case 'while-loop':
+                this.checkWhileLoop(node);
+                break;
+            case 'foreach-loop':
+                this.checkForEachLoop(node);
+                break;
+            case 'import':
+                this.checkImport(node);
+                break;
+            case 'export':
+                this.checkExport(node);
+                break;
+        }
+    }
+    checkConnection(node) {
+        const fromType = this.typeMap.get(node.from);
+        const toType = this.typeMap.get(node.to);
+        if (!fromType) {
+            this.addDiagnostic('error', `Unknown source '${node.from}' in connection`, 'E001');
+        }
+        if (!toType) {
+            this.addDiagnostic('error', `Unknown target '${node.to}' in connection`, 'E002');
+        }
+        // Check if types are compatible
+        if (fromType && toType && node.dataType !== 'any') {
+            // Warn if connecting incompatible types
+            if (fromType.type !== toType.type && fromType.type !== 'any' && toType.type !== 'any') {
+                this.addDiagnostic('warning', `Connection from '${node.from}' (${fromType.type}) to '${node.to}' (${toType.type}) may be incompatible`, 'W001', [`Consider using 'as "any"' to bypass type checking`]);
+            }
+        }
+    }
+    checkGate(node) {
+        // Validate condition references valid variables
+        const conditionVars = this.extractVariables(node.condition);
+        for (const varName of conditionVars) {
+            if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {
+                this.addDiagnostic('error', `Unknown variable '${varName}' in gate condition`, 'E003');
+            }
+        }
+    }
+    checkForLoop(node) {
+        // Check init references
+        const initVars = this.extractVariables(node.init);
+        // For loops can declare new variables in init, so we add them
+        for (const varName of initVars) {
+            if (!this.typeMap.has(varName)) {
+                this.typeMap.set(varName, { type: 'number' }); // Loop vars are typically numbers
+            }
+        }
+        // Check condition
+        const condVars = this.extractVariables(node.condition);
+        for (const varName of condVars) {
+            if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {
+                this.addDiagnostic('error', `Unknown variable '${varName}' in for loop condition`, 'E004');
+            }
+        }
+    }
+    checkWhileLoop(node) {
+        const condVars = this.extractVariables(node.condition);
+        for (const varName of condVars) {
+            if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {
+                this.addDiagnostic('error', `Unknown variable '${varName}' in while loop condition`, 'E005');
+            }
+        }
+    }
+    checkForEachLoop(node) {
+        // Check collection exists
+        if (!this.typeMap.has(node.collection)) {
+            this.addDiagnostic('error', `Unknown collection '${node.collection}' in forEach loop`, 'E006');
+        }
+        else {
+            const collectionType = this.typeMap.get(node.collection);
+            if (collectionType && collectionType.type !== 'array' && collectionType.type !== 'any') {
+                this.addDiagnostic('error', `'${node.collection}' is not iterable (type: ${collectionType.type})`, 'E007');
+            }
+        }
+        // Add loop variable to scope
+        this.typeMap.set(node.variable, { type: 'any' });
+    }
+    checkImport(node) {
+        if (!node.modulePath) {
+            this.addDiagnostic('error', 'Import statement missing module path', 'E008');
+        }
+        // Register imported names as 'any' type (can't resolve external modules)
+        for (const name of node.imports) {
+            this.typeMap.set(name, { type: 'any' });
+        }
+        if (node.defaultImport) {
+            this.typeMap.set(node.defaultImport, { type: 'any' });
+        }
+    }
+    checkExport(node) {
+        if (node.exports) {
+            for (const name of node.exports) {
+                if (!this.typeMap.has(name)) {
+                    this.addDiagnostic('error', `Cannot export unknown identifier '${name}'`, 'E009');
+                }
+            }
+        }
+    }
+    /**
+     * Infer type from a value
+     */
+    inferType(value) {
+        if (value === null || value === undefined) {
+            return { type: 'any', nullable: true };
+        }
+        if (typeof value === 'number') {
+            return { type: 'number' };
+        }
+        if (typeof value === 'string') {
+            return { type: 'string' };
+        }
+        if (typeof value === 'boolean') {
+            return { type: 'boolean' };
+        }
+        if (Array.isArray(value)) {
+            const elementType = value.length > 0 ? this.inferType(value[0]).type : 'any';
+            return { type: 'array', elementType };
+        }
+        if (typeof value === 'object') {
+            const properties = new Map();
+            for (const [key, val] of Object.entries(value)) {
+                properties.set(key, this.inferType(val));
+            }
+            return { type: 'object', properties };
+        }
+        return { type: 'any' };
+    }
+    /**
+     * Parse type string to HoloScriptType
+     */
+    parseTypeString(typeStr) {
+        const normalized = typeStr.toLowerCase().trim();
+        const validTypes = [
+            'number', 'string', 'boolean', 'array', 'object',
+            'function', 'void', 'any', 'unknown', 'never',
+            'orb', 'stream', 'connection', 'gate'
+        ];
+        if (validTypes.includes(normalized)) {
+            return normalized;
+        }
+        return 'any';
+    }
+    /**
+     * Extract variable names from an expression string
+     */
+    extractVariables(expr) {
+        const varPattern = /\b([a-zA-Z_][a-zA-Z0-9_]*)\b/g;
+        const matches = expr.match(varPattern) || [];
+        const keywords = ['true', 'false', 'null', 'undefined', 'if', 'else', 'for', 'while', 'return'];
+        return matches.filter(m => !keywords.includes(m));
+    }
+    /**
+     * Check if string is a literal
+     */
+    isLiteral(str) {
+        // Number literal
+        if (/^-?\d+(\.\d+)?$/.test(str))
+            return true;
+        // Boolean
+        if (str === 'true' || str === 'false')
+            return true;
+        // String literal
+        if (/^["'].*["']$/.test(str))
+            return true;
+        return false;
+    }
+    /**
+     * Add a diagnostic
+     */
+    addDiagnostic(severity, message, code, suggestions) {
+        this.diagnostics.push({
+            severity,
+            message,
+            line: this.currentLine,
+            column: this.currentColumn,
+            code,
+            suggestions,
+        });
+    }
+    /**
+     * Get type info for a name
+     */
+    getType(name) {
+        return this.typeMap.get(name);
+    }
+    /**
+     * Get all registered types
+     */
+    getAllTypes() {
+        return new Map(this.typeMap);
+    }
+    /**
+     * Reset the type checker
+     */
+    reset() {
+        this.typeMap.clear();
+        this.diagnostics = [];
+        // Re-add built-ins
+        BUILTIN_FUNCTIONS.forEach((type, name) => {
+            this.typeMap.set(name, type);
+        });
+    }
+}
+/**
+ * Create a type checker instance
+ */
+export function createTypeChecker() {
+    return new HoloScriptTypeChecker();
+}