redscript-mc 2.6.2 → 3.0.0

package/dist/src/index.d.ts

@@ -4,6 +4,7 @@
  * Main entry point for programmatic usage.
  */
 export declare const version = "2.0.0";
+import { DiagnosticError } from './diagnostics';
 export { compile, CompileOptions, CompileResult } from './emit/compile';
 export { compileModules } from './emit/modules';
 export type { ModuleInput, CompileModulesOptions, CompileModulesResult } from './emit/modules';
@@ -23,6 +24,10 @@ export interface CheckResult {
     error: Error | null;
     warnings: string[];
 }
+export interface DetailedCheckResult {
+    errors: DiagnosticError[];
+    warnings: string[];
+}
 /**
  * Check RedScript source code for errors without generating output.
  * Runs the full compile pipeline (lex → parse → HIR → MIR → LIR → emit)
@@ -37,3 +42,4 @@ export declare function check(source: string, namespace?: string, filePath?: str
  * Like check(), but also returns warnings (e.g., tick budget analysis).
  */
 export declare function checkWithWarnings(source: string, namespace?: string, filePath?: string): CheckResult;
+export declare function checkDetailed(source: string, namespace?: string, filePath?: string): DetailedCheckResult;

package/dist/src/index.js

@@ -8,8 +8,10 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.resetCompileCache = exports.compileIncremental = exports.parseImports = exports.DependencyGraph = exports.hashFile = exports.FileCache = exports.MCCommandValidator = exports.preprocessSourceWithMetadata = exports.preprocessSource = exports.Parser = exports.Lexer = exports.DEFAULT_MC_VERSION = exports.compareMcVersion = exports.parseMcVersion = exports.McVersion = exports.compileModules = exports.compile = exports.version = void 0;
 exports.check = check;
 exports.checkWithWarnings = checkWithWarnings;
+exports.checkDetailed = checkDetailed;
 exports.version = '2.0.0';
 const compile_1 = require("./emit/compile");
+const diagnostics_1 = require("./diagnostics");
 // Re-export v2 compile API
 var compile_2 = require("./emit/compile");
 Object.defineProperty(exports, "compile", { enumerable: true, get: function () { return compile_2.compile; } });
@@ -56,12 +58,25 @@ function check(source, namespace = 'redscript', filePath) {
  * Like check(), but also returns warnings (e.g., tick budget analysis).
  */
 function checkWithWarnings(source, namespace = 'redscript', filePath) {
+    const result = checkDetailed(source, namespace, filePath);
+    return { error: result.errors[0] ?? null, warnings: result.warnings };
+}
+function checkDetailed(source, namespace = 'redscript', filePath) {
     try {
-        const result = (0, compile_1.compile)(source, { namespace, filePath });
-        return { error: null, warnings: result.warnings };
+        const result = (0, compile_1.compile)(source, { namespace, filePath, stopAfterCheck: true });
+        return { errors: [], warnings: result.warnings };
     }
     catch (err) {
-        return { error: err, warnings: [] };
+        if (err instanceof diagnostics_1.CheckFailedError) {
+            return { errors: err.diagnostics, warnings: err.warnings };
+        }
+        if (err instanceof diagnostics_1.DiagnosticError) {
+            return { errors: [err], warnings: [] };
+        }
+        return {
+            errors: [(0, diagnostics_1.parseErrorMessage)('LoweringError', err.message, source.split('\n'), filePath)],
+            warnings: [],
+        };
     }
 }
 //# sourceMappingURL=index.js.map

package/dist/src/lexer/index.d.ts

@@ -5,7 +5,7 @@
  * Handles special cases like entity selectors vs decorators,
  * range literals, and raw commands.
  */
-export type TokenKind = 'fn' | 'let' | 'const' | 'if' | 'else' | 'while' | 'for' | 'foreach' | 'match' | 'return' | 'break' | 'continue' | 'as' | 'at' | 'in' | 'is' | 'struct' | 'impl' | 'enum' | 'trigger' | 'namespace' | 'module' | 'execute' | 'run' | 'unless' | 'declare' | 'export' | 'int' | 'bool' | 'float' | 'fixed' | 'string' | 'void' | 'BlockPos' | 'true' | 'false' | 'selector' | 'decorator' | 'int_lit' | 'float_lit' | 'byte_lit' | 'short_lit' | 'long_lit' | 'double_lit' | 'string_lit' | 'f_string' | 'range_lit' | 'rel_coord' | 'local_coord' | '+' | '-' | '*' | '/' | '%' | '~' | '^' | '==' | '!=' | '<' | '<=' | '>' | '>=' | '&&' | '||' | '!' | '=' | '+=' | '-=' | '*=' | '/=' | '%=' | '{' | '}' | '(' | ')' | '[' | ']' | ',' | ';' | ':' | '::' | '->' | '=>' | '.' | 'ident' | 'mc_name' | 'raw_cmd' | 'eof';
+export type TokenKind = 'fn' | 'let' | 'const' | 'if' | 'else' | 'while' | 'for' | 'foreach' | 'match' | 'do' | 'repeat' | 'return' | 'break' | 'continue' | 'as' | 'at' | 'in' | 'is' | 'struct' | 'extends' | 'impl' | 'enum' | 'trigger' | 'namespace' | 'module' | 'interface' | 'execute' | 'run' | 'unless' | 'declare' | 'export' | 'import' | 'int' | 'bool' | 'float' | 'fixed' | 'string' | 'void' | 'BlockPos' | 'true' | 'false' | 'selector' | 'decorator' | 'int_lit' | 'float_lit' | 'byte_lit' | 'short_lit' | 'long_lit' | 'double_lit' | 'string_lit' | 'f_string' | 'range_lit' | 'rel_coord' | 'local_coord' | '+' | '-' | '*' | '/' | '%' | '~' | '^' | '==' | '!=' | '<' | '<=' | '>' | '>=' | '&&' | '||' | '!' | '=' | '+=' | '-=' | '*=' | '/=' | '%=' | '{' | '}' | '(' | ')' | '[' | ']' | ',' | ';' | ':' | '::' | '->' | '=>' | '.' | 'ident' | 'mc_name' | 'raw_cmd' | 'eof';
 export interface Token {
     kind: TokenKind;
     value: string;
@@ -30,6 +30,7 @@ export declare class Lexer {
     private scanToken;
     private scanAtToken;
     private scanSelectorParams;
+    private scanMultiLineString;
     private scanString;
     private scanFString;
     private scanNumber;

package/dist/src/lexer/index.js

@@ -21,6 +21,8 @@ const KEYWORDS = {
     while: 'while',
     for: 'for',
     foreach: 'foreach',
+    do: 'do',
+    repeat: 'repeat',
     match: 'match',
     return: 'return',
     break: 'break',
@@ -30,6 +32,7 @@ const KEYWORDS = {
     in: 'in',
     is: 'is',
     struct: 'struct',
+    extends: 'extends',
     impl: 'impl',
     enum: 'enum',
     trigger: 'trigger',
@@ -40,6 +43,8 @@ const KEYWORDS = {
     unless: 'unless',
     declare: 'declare',
     export: 'export',
+    import: 'import',
+    interface: 'interface',
     int: 'int',
     bool: 'bool',
     float: 'float',
@@ -289,9 +294,16 @@ class Lexer {
             this.scanFString(startLine, startCol);
             return;
         }
-        // String literal
+        // String literal (triple-quoted multi-line or regular)
         if (char === '"') {
-            this.scanString(startLine, startCol);
+            if (this.peek() === '"' && this.peek(1) === '"') {
+                this.advance(); // consume second "
+                this.advance(); // consume third "
+                this.scanMultiLineString(startLine, startCol);
+            }
+            else {
+                this.scanString(startLine, startCol);
+            }
             return;
         }
         // MC name literal: #ident (e.g. #health, #red, #hasKey)
@@ -338,7 +350,7 @@ class Lexer {
         }
         // Otherwise it's a decorator (@tick, @on_trigger, etc.)
         let value = '@';
-        while (/[a-zA-Z_0-9]/.test(this.peek())) {
+        while (/[a-zA-Z_0-9-]/.test(this.peek())) {
             value += this.advance();
         }
         // Check for decorator arguments (rate=N)
@@ -374,6 +386,30 @@ class Lexer {
         }
         return result;
     }
+    scanMultiLineString(startLine, startCol) {
+        let value = '';
+        while (!this.isAtEnd()) {
+            // Check for closing """
+            if (this.peek() === '"' && this.peek(1) === '"' && this.peek(2) === '"') {
+                this.advance(); // consume first "
+                this.advance(); // consume second "
+                this.advance(); // consume third "
+                break;
+            }
+            if (this.peek() === '\\' && this.peek(1) === '"') {
+                this.advance(); // skip backslash
+                value += this.advance(); // add escaped quote
+                continue;
+            }
+            value += this.advance();
+        }
+        // Trim leading/trailing newline for cleaner multi-line strings
+        if (value.startsWith('\n'))
+            value = value.slice(1);
+        if (value.endsWith('\n'))
+            value = value.slice(0, -1);
+        this.addToken('string_lit', value, startLine, startCol);
+    }
     scanString(startLine, startCol) {
         let value = '';
         let interpolationDepth = 0;

package/dist/src/lint/index.d.ts

@@ -0,0 +1,45 @@
+/**
+ * RedScript Lint Engine
+ *
+ * Analyzes HIR to detect potential issues (warnings, not errors).
+ * Run after HIR lowering, before MIR.
+ *
+ * Rules:
+ *   unused-variable   — let x = 5 but x never read
+ *   unused-import     — import math::sin but sin never called
+ *   magic-number      — literal number > 1 used directly (0 and 1 ignored)
+ *   dead-branch       — if (const == const) always-true/false condition
+ *   function-too-long — function body exceeds 50 lines
+ */
+import type { HIRModule } from '../hir/types';
+import type { ImportDecl } from '../ast/types';
+export interface LintWarning {
+    rule: string;
+    message: string;
+    file?: string;
+    line?: number;
+    col?: number;
+}
+export interface LintOptions {
+    filePath?: string;
+    /** Max function body lines before function-too-long fires (default: 50) */
+    maxFunctionLines?: number;
+}
+/**
+ * Lint a RedScript source file. Parses → lowers → analyzes HIR.
+ * Returns a (possibly empty) list of lint warnings.
+ */
+export declare function lintSource(source: string, imports: ImportDecl[], hir: HIRModule, options?: LintOptions): LintWarning[];
+/**
+ * Lint from a file path. Convenience wrapper.
+ */
+export declare function lintFile(filePath: string, namespace?: string, options?: LintOptions): LintWarning[];
+/**
+ * Lint from source string + file path for error reporting.
+ */
+export declare function lintString(source: string, filePath: string, namespace?: string, options?: LintOptions): LintWarning[];
+/**
+ * Format lint warnings in the standard output format:
+ *   file:line:col [rule] message
+ */
+export declare function formatLintWarning(w: LintWarning): string;