@isl-lang/repl 0.1.0 → 0.1.1

package/dist/index.d.cts

@@ -49,6 +49,12 @@ declare class Session {
     private loadedFiles;
     /** Session configuration */
     private config;
+    /** Evaluation context (set by .context command) */
+    private evalContext;
+    /** Pre-state context for old() expressions */
+    private preContext;
+    /** Loaded domain AST (from real parser) */
+    private domainAST;
     constructor(config?: SessionConfig);
     /**
      * Define a new intent
@@ -128,6 +134,51 @@ declare class Session {
         success: boolean;
         error?: string;
     }>;
+    /**
+     * Set evaluation context from JSON string
+     */
+    setEvalContext(json: string): {
+        success: boolean;
+        count: number;
+        error?: string;
+    };
+    /**
+     * Set pre-state context for old() expressions
+     */
+    setPreContext(json: string): {
+        success: boolean;
+        error?: string;
+    };
+    /**
+     * Get evaluation context
+     */
+    getEvalContext(): Record<string, unknown>;
+    /**
+     * Get pre-state context
+     */
+    getPreContext(): Record<string, unknown> | null;
+    /**
+     * Resolve a dot-path against the evaluation context
+     */
+    resolveValue(dotPath: string): {
+        found: boolean;
+        value: unknown;
+    };
+    /**
+     * Resolve a dot-path against the pre-state context
+     */
+    resolvePreValue(dotPath: string): {
+        found: boolean;
+        value: unknown;
+    };
+    /**
+     * Set domain AST (from real parser)
+     */
+    setDomainAST(ast: unknown): void;
+    /**
+     * Get domain AST
+     */
+    getDomainAST(): unknown;
     /**
      * Clear all session state
      */
@@ -248,6 +299,12 @@ interface REPLOptions {
     colors?: boolean;
     verbose?: boolean;
     historyFile?: string;
+    /** Load an ISL file on startup */
+    load?: string;
+    /** Set initial evaluation context (JSON string) */
+    context?: string;
+    /** Parse-only mode (non-interactive, for piped input) */
+    parseOnly?: boolean;
 }
 /**
  * ISL REPL - Interactive Read-Eval-Print Loop
@@ -266,6 +323,14 @@ declare class ISLREPL {
      * Start the REPL
      */
     start(): void;
+    /**
+     * Apply startup options (--load, --context)
+     */
+    private applyStartupOptions;
+    /**
+     * Run in pipe mode (read all stdin, parse, and output)
+     */
+    private runPipeMode;
     /**
      * Print the welcome banner
      */
@@ -273,27 +338,19 @@ declare class ISLREPL {
     /**
      * Handle a line of input
      */
-    private handleLine;
+    handleLine(line: string): void;
     /**
-     * Handle a meta command (. prefix)
+     * Handle a dot command (. prefix)
      */
-    private handleMetaCommand;
+    private handleDotCommand;
     /**
-     * Handle an ISL command (: prefix)
-     */
-    private handleISLCommand;
-    /**
-     * Evaluate ISL code
+     * Evaluate ISL code (multi-line input or bare expressions)
      */
     private evaluate;
     /**
      * Evaluate an intent definition
      */
     private evaluateIntent;
-    /**
-     * Print a parse error with location info
-     */
-    private printParseError;
     /**
      * Print an error
      */
@@ -345,22 +402,13 @@ interface MetaCommand {
     usage: string;
     handler: (args: string[], session: Session, repl: REPL) => CommandResult;
 }
-/**
- * ISL command definition (: prefix)
- */
-interface ISLCommand {
-    name: string;
-    aliases: string[];
-    description: string;
-    usage: string;
-    handler: (args: string[], session: Session, repl: REPL) => CommandResult;
-}
+type ISLCommand = MetaCommand;
 declare const metaCommands: MetaCommand[];
 declare const islCommands: ISLCommand[];
 /**
  * Find a similar command name
  */
-declare function findSimilarCommand(input: string, type: 'meta' | 'isl'): string | null;
+declare function findSimilarCommand(input: string, _type?: 'meta' | 'isl'): string | null;
 
 /**
  * Completion item
@@ -379,7 +427,7 @@ declare const KEYWORDS: CompletionItem[];
  */
 declare const META_COMMANDS: CompletionItem[];
 /**
- * ISL commands (: prefix)
+ * ISL commands (kept empty for backward compat — all commands use . prefix)
  */
 declare const ISL_COMMANDS: CompletionItem[];
 /**
@@ -533,4 +581,9 @@ declare function wrapText(text: string, maxWidth: number): string;
  */
 declare function drawBox(lines: string[], title?: string): string;
 
-export { COMMANDS, type CommandResult, type CompletionItem, CompletionProvider, type Condition, History, type ISLCommand, ISLREPL, ISL_COMMANDS, type Intent, KEYWORDS, META_COMMANDS, MemoryHistory, type MetaCommand, type REPLOptions, type Scenario, Session, type SessionConfig, colors, createCompleter, createSession, drawBox, findSimilarCommand, formatCondition, formatError, formatInfo, formatIntent, formatParseError, formatSuccess, formatTable, formatTypeError, formatValue, formatWarning, highlightExpression, highlightISL, islCommands, metaCommands, startREPL, stripColors, wrapText };
+/**
+ * Main entry point
+ */
+declare function main(): void;
+
+export { COMMANDS, type CommandResult, type CompletionItem, CompletionProvider, type Condition, History, type ISLCommand, ISLREPL, ISL_COMMANDS, type Intent, KEYWORDS, META_COMMANDS, MemoryHistory, type MetaCommand, type REPLOptions, type Scenario, Session, type SessionConfig, colors, createCompleter, createSession, drawBox, findSimilarCommand, formatCondition, formatError, formatInfo, formatIntent, formatParseError, formatSuccess, formatTable, formatTypeError, formatValue, formatWarning, highlightExpression, highlightISL, islCommands, main, metaCommands, startREPL, stripColors, wrapText };

package/dist/index.d.ts

@@ -49,6 +49,12 @@ declare class Session {
     private loadedFiles;
     /** Session configuration */
     private config;
+    /** Evaluation context (set by .context command) */
+    private evalContext;
+    /** Pre-state context for old() expressions */
+    private preContext;
+    /** Loaded domain AST (from real parser) */
+    private domainAST;
     constructor(config?: SessionConfig);
     /**
      * Define a new intent
@@ -128,6 +134,51 @@ declare class Session {
         success: boolean;
         error?: string;
     }>;
+    /**
+     * Set evaluation context from JSON string
+     */
+    setEvalContext(json: string): {
+        success: boolean;
+        count: number;
+        error?: string;
+    };
+    /**
+     * Set pre-state context for old() expressions
+     */
+    setPreContext(json: string): {
+        success: boolean;
+        error?: string;
+    };
+    /**
+     * Get evaluation context
+     */
+    getEvalContext(): Record<string, unknown>;
+    /**
+     * Get pre-state context
+     */
+    getPreContext(): Record<string, unknown> | null;
+    /**
+     * Resolve a dot-path against the evaluation context
+     */
+    resolveValue(dotPath: string): {
+        found: boolean;
+        value: unknown;
+    };
+    /**
+     * Resolve a dot-path against the pre-state context
+     */
+    resolvePreValue(dotPath: string): {
+        found: boolean;
+        value: unknown;
+    };
+    /**
+     * Set domain AST (from real parser)
+     */
+    setDomainAST(ast: unknown): void;
+    /**
+     * Get domain AST
+     */
+    getDomainAST(): unknown;
     /**
      * Clear all session state
      */
@@ -248,6 +299,12 @@ interface REPLOptions {
     colors?: boolean;
     verbose?: boolean;
     historyFile?: string;
+    /** Load an ISL file on startup */
+    load?: string;
+    /** Set initial evaluation context (JSON string) */
+    context?: string;
+    /** Parse-only mode (non-interactive, for piped input) */
+    parseOnly?: boolean;
 }
 /**
  * ISL REPL - Interactive Read-Eval-Print Loop
@@ -266,6 +323,14 @@ declare class ISLREPL {
      * Start the REPL
      */
     start(): void;
+    /**
+     * Apply startup options (--load, --context)
+     */
+    private applyStartupOptions;
+    /**
+     * Run in pipe mode (read all stdin, parse, and output)
+     */
+    private runPipeMode;
     /**
      * Print the welcome banner
      */
@@ -273,27 +338,19 @@ declare class ISLREPL {
     /**
      * Handle a line of input
      */
-    private handleLine;
+    handleLine(line: string): void;
     /**
-     * Handle a meta command (. prefix)
+     * Handle a dot command (. prefix)
      */
-    private handleMetaCommand;
+    private handleDotCommand;
     /**
-     * Handle an ISL command (: prefix)
-     */
-    private handleISLCommand;
-    /**
-     * Evaluate ISL code
+     * Evaluate ISL code (multi-line input or bare expressions)
      */
     private evaluate;
     /**
      * Evaluate an intent definition
      */
     private evaluateIntent;
-    /**
-     * Print a parse error with location info
-     */
-    private printParseError;
     /**
      * Print an error
      */
@@ -345,22 +402,13 @@ interface MetaCommand {
     usage: string;
     handler: (args: string[], session: Session, repl: REPL) => CommandResult;
 }
-/**
- * ISL command definition (: prefix)
- */
-interface ISLCommand {
-    name: string;
-    aliases: string[];
-    description: string;
-    usage: string;
-    handler: (args: string[], session: Session, repl: REPL) => CommandResult;
-}
+type ISLCommand = MetaCommand;
 declare const metaCommands: MetaCommand[];
 declare const islCommands: ISLCommand[];
 /**
  * Find a similar command name
  */
-declare function findSimilarCommand(input: string, type: 'meta' | 'isl'): string | null;
+declare function findSimilarCommand(input: string, _type?: 'meta' | 'isl'): string | null;
 
 /**
  * Completion item
@@ -379,7 +427,7 @@ declare const KEYWORDS: CompletionItem[];
  */
 declare const META_COMMANDS: CompletionItem[];
 /**
- * ISL commands (: prefix)
+ * ISL commands (kept empty for backward compat — all commands use . prefix)
  */
 declare const ISL_COMMANDS: CompletionItem[];
 /**
@@ -533,4 +581,9 @@ declare function wrapText(text: string, maxWidth: number): string;
  */
 declare function drawBox(lines: string[], title?: string): string;
 
-export { COMMANDS, type CommandResult, type CompletionItem, CompletionProvider, type Condition, History, type ISLCommand, ISLREPL, ISL_COMMANDS, type Intent, KEYWORDS, META_COMMANDS, MemoryHistory, type MetaCommand, type REPLOptions, type Scenario, Session, type SessionConfig, colors, createCompleter, createSession, drawBox, findSimilarCommand, formatCondition, formatError, formatInfo, formatIntent, formatParseError, formatSuccess, formatTable, formatTypeError, formatValue, formatWarning, highlightExpression, highlightISL, islCommands, metaCommands, startREPL, stripColors, wrapText };
+/**
+ * Main entry point
+ */
+declare function main(): void;
+
+export { COMMANDS, type CommandResult, type CompletionItem, CompletionProvider, type Condition, History, type ISLCommand, ISLREPL, ISL_COMMANDS, type Intent, KEYWORDS, META_COMMANDS, MemoryHistory, type MetaCommand, type REPLOptions, type Scenario, Session, type SessionConfig, colors, createCompleter, createSession, drawBox, findSimilarCommand, formatCondition, formatError, formatInfo, formatIntent, formatParseError, formatSuccess, formatTable, formatTypeError, formatValue, formatWarning, highlightExpression, highlightISL, islCommands, main, metaCommands, startREPL, stripColors, wrapText };