just-bash 2.5.5 → 2.7.0

package/dist/interpreter/builtins/variable-assignment.d.ts

@@ -0,0 +1,66 @@
+/**
+ * Variable assignment helpers for declare, readonly, local, export builtins.
+ */
+import type { ExecResult } from "../../types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Result of parsing an assignment argument.
+ */
+export interface ParsedAssignment {
+    name: string;
+    isArray: boolean;
+    arrayElements?: string[];
+    value?: string;
+    /** For array index assignment: a[index]=value */
+    arrayIndex?: string;
+}
+/**
+ * Parse an assignment argument like "name=value", "name=(a b c)", or "name[index]=value".
+ */
+export declare function parseAssignment(arg: string): ParsedAssignment;
+/**
+ * Options for setting a variable.
+ */
+export interface SetVariableOptions {
+    makeReadonly?: boolean;
+    checkReadonly?: boolean;
+}
+/**
+ * Set a variable from a parsed assignment.
+ * Returns an error result if the variable is readonly, otherwise null.
+ */
+export declare function setVariable(ctx: InterpreterContext, assignment: ParsedAssignment, options?: SetVariableOptions): Promise<ExecResult | null>;
+/**
+ * Mark a variable as being declared at the current call depth.
+ * Used for bash-specific unset scoping behavior.
+ */
+export declare function markLocalVarDepth(ctx: InterpreterContext, name: string): void;
+/**
+ * Get the call depth at which a local variable was declared.
+ * Returns undefined if the variable is not a local variable.
+ */
+export declare function getLocalVarDepth(ctx: InterpreterContext, name: string): number | undefined;
+/**
+ * Clear the local variable depth tracking for a variable.
+ * Called when a local variable is cell-unset (dynamic-unset).
+ */
+export declare function clearLocalVarDepth(ctx: InterpreterContext, name: string): void;
+/**
+ * Push the current value of a variable onto the local var stack.
+ * Used for bash's localvar-nest behavior where nested local declarations
+ * each create a new cell that can be unset independently.
+ */
+export declare function pushLocalVarStack(ctx: InterpreterContext, name: string, currentValue: string | undefined): void;
+/**
+ * Pop the top entry from the local var stack for a variable.
+ * Returns the saved value and scope index if there was an entry, or undefined if the stack was empty.
+ */
+export declare function popLocalVarStack(ctx: InterpreterContext, name: string): {
+    value: string | undefined;
+    scopeIndex: number;
+} | undefined;
+/**
+ * Clear all local var stack entries for a specific scope index.
+ * Called when a function returns and its local scope is popped.
+ */
+export declare function clearLocalVarStackForScope(ctx: InterpreterContext, scopeIndex: number): void;

package/dist/interpreter/command-resolution.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Command Resolution
+ *
+ * Handles PATH-based command resolution and lookup for external commands.
+ */
+import type { IFileSystem } from "../fs/interface.js";
+import type { Command, CommandRegistry } from "../types.js";
+import type { InterpreterState } from "./types.js";
+/**
+ * Context needed for command resolution
+ */
+export interface CommandResolutionContext {
+    fs: IFileSystem;
+    state: InterpreterState;
+    commands: CommandRegistry;
+}
+/**
+ * Result type for command resolution
+ */
+export type ResolveCommandResult = {
+    cmd: Command;
+    path: string;
+} | {
+    script: true;
+    path: string;
+} | {
+    error: "not_found" | "permission_denied";
+    path?: string;
+} | null;
+/**
+ * Resolve a command name to its implementation via PATH lookup.
+ * Returns the command and its resolved path, or null if not found.
+ *
+ * Resolution order:
+ * 1. If command contains "/", resolve as a path
+ * 2. Search PATH directories for the command file
+ * 3. Fall back to registry lookup (for non-InMemoryFs filesystems like OverlayFs)
+ */
+export declare function resolveCommand(ctx: CommandResolutionContext, commandName: string, pathOverride?: string): Promise<ResolveCommandResult>;
+/**
+ * Find all paths for a command in PATH (for `which -a`).
+ */
+export declare function findCommandInPath(ctx: CommandResolutionContext, commandName: string): Promise<string[]>;

package/dist/interpreter/conditionals.d.ts

@@ -14,4 +14,4 @@ import type { ExecResult } from "../types.js";
 import type { InterpreterContext } from "./types.js";
 export declare function evaluateConditional(ctx: InterpreterContext, expr: ConditionalExpressionNode): Promise<boolean>;
 export declare function evaluateTestArgs(ctx: InterpreterContext, args: string[]): Promise<ExecResult>;
-export declare function matchPattern(value: string, pattern: string): boolean;
+export declare function matchPattern(value: string, pattern: string, nocasematch?: boolean, extglob?: boolean): boolean;

package/dist/interpreter/errors.d.ts

@@ -78,7 +78,12 @@ export declare class ExitError extends ControlFlowError {
  */
 export declare class ArithmeticError extends ControlFlowError {
     readonly name = "ArithmeticError";
-    constructor(message: string, stdout?: string, stderr?: string);
+    /**
+     * If true, this error should abort script execution (like missing operand after binary operator).
+     * If false, the error is recoverable and execution can continue.
+     */
+    fatal: boolean;
+    constructor(message: string, stdout?: string, stderr?: string, fatal?: boolean);
 }
 /**
  * Error thrown for bad substitution errors (e.g., ${#var:1:3}).
@@ -88,6 +93,22 @@ export declare class BadSubstitutionError extends ControlFlowError {
     readonly name = "BadSubstitutionError";
     constructor(message: string, stdout?: string, stderr?: string);
 }
+/**
+ * Error thrown when failglob is enabled and a glob pattern has no matches.
+ * Returns exit code 1.
+ */
+export declare class GlobError extends ControlFlowError {
+    readonly name = "GlobError";
+    constructor(pattern: string, stdout?: string, stderr?: string);
+}
+/**
+ * Error thrown for invalid brace expansions (e.g., mixed case character ranges like {z..A}).
+ * Returns exit code 1 (matching bash behavior).
+ */
+export declare class BraceExpansionError extends ControlFlowError {
+    readonly name = "BraceExpansionError";
+    constructor(message: string, stdout?: string, stderr?: string);
+}
 /**
  * Error thrown when execution limits are exceeded (recursion depth, command count, loop iterations).
  * This should ALWAYS be thrown before JavaScript's native RangeError kicks in.
@@ -112,4 +133,18 @@ export declare class SubshellExitError extends ControlFlowError {
  * These need special handling vs errexit/nounset which terminate execution.
  */
 export declare function isScopeExitError(error: unknown): error is BreakError | ContinueError | ReturnError;
+/**
+ * Error thrown when a POSIX special builtin fails in POSIX mode.
+ * In POSIX mode (set -o posix), errors in special builtins like
+ * shift, set, readonly, export, etc. cause the entire script to exit.
+ *
+ * Per POSIX 2.8.1 - Consequences of Shell Errors:
+ * "A special built-in utility causes an interactive or non-interactive shell
+ * to exit when an error occurs."
+ */
+export declare class PosixFatalError extends ControlFlowError {
+    readonly exitCode: number;
+    readonly name = "PosixFatalError";
+    constructor(exitCode: number, stdout?: string, stderr?: string);
+}
 export {};

package/dist/interpreter/expansion/analysis.d.ts

@@ -1,28 +1,24 @@
 /**
  * Word Analysis
  *
- * Functions for analyzing word parts to determine:
- * - Whether async execution is needed
- * - What types of expansions are present
+ * Functions for analyzing word parts to determine what types of expansions are present.
  */
-import type { ParameterExpansionPart, WordNode, WordPart } from "../../ast/types.js";
+import type { ParameterExpansionPart, WordPart } from "../../ast/types.js";
 /**
- * Check if a parameter expansion requires async execution
+ * Check if a glob pattern string contains variable references ($var or ${var})
+ * This is used to detect when IFS splitting should apply to expanded glob patterns.
  */
-export declare function paramExpansionNeedsAsync(part: ParameterExpansionPart): boolean;
+export declare function globPatternHasVarRef(pattern: string): boolean;
 /**
- * Check if a word part requires async execution
- */
-export declare function partNeedsAsync(part: WordPart): boolean;
-/**
- * Check if a word requires async execution
- */
-export declare function wordNeedsAsync(word: WordNode): boolean;
-/**
- * Check if a parameter expansion has quoted parts in its operation word
- * e.g., ${v:-"AxBxC"} has a quoted default value
+ * Check if a parameter expansion's operation word is entirely quoted (all parts are quoted).
+ * This is different from hasQuotedOperationWord which returns true if ANY part is quoted.
+ *
+ * For word splitting purposes:
+ * - ${v:-"AxBxC"} - entirely quoted, should NOT be split
+ * - ${v:-x"AxBxC"x} - mixed quoted/unquoted, SHOULD be split (on unquoted parts)
+ * - ${v:-AxBxC} - entirely unquoted, SHOULD be split
  */
-export declare function hasQuotedOperationWord(part: ParameterExpansionPart): boolean;
+export declare function isOperationWordEntirelyQuoted(part: ParameterExpansionPart): boolean;
 /**
  * Result of analyzing word parts
  */
@@ -32,6 +28,8 @@ export interface WordPartsAnalysis {
     hasArrayVar: boolean;
     hasArrayAtExpansion: boolean;
     hasParamExpansion: boolean;
+    hasVarNamePrefixExpansion: boolean;
+    hasIndirection: boolean;
 }
 /**
  * Analyze word parts for expansion behavior

package/dist/interpreter/expansion/arith-text-expansion.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Arithmetic Text Expansion
+ *
+ * Functions for expanding variables within arithmetic expression text.
+ * This handles the bash behavior where $(( $x * 3 )) with x='1 + 2' should
+ * expand to $(( 1 + 2 * 3 )) = 7, not $(( (1+2) * 3 )) = 9.
+ */
+import type { InterpreterContext } from "../types.js";
+/**
+ * Expand $var patterns in arithmetic expression text for text substitution.
+ * Only expands simple $var patterns, not ${...}, $(()), $(), etc.
+ */
+export declare function expandDollarVarsInArithText(ctx: InterpreterContext, text: string): Promise<string>;
+/**
+ * Expand variable references and command substitutions in an array subscript.
+ * e.g., "${array[@]}" -> "1 2 3", "$(echo 1)" -> "1"
+ * This is needed for associative array subscripts like assoc["${array[@]}"]
+ * where the subscript may contain variable or array expansions.
+ */
+export declare function expandSubscriptForAssocArray(ctx: InterpreterContext, subscript: string): Promise<string>;

package/dist/interpreter/expansion/array-pattern-ops.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Array Pattern Operations
+ *
+ * Handles pattern replacement and pattern removal for array expansions:
+ * - "${arr[@]/pattern/replacement}" - pattern replacement
+ * - "${arr[@]#pattern}" - prefix removal
+ * - "${arr[@]%pattern}" - suffix removal
+ */
+import type { WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+import type { ArrayExpansionResult, ExpandPartFn, ExpandWordPartsAsyncFn } from "./array-word-expansion.js";
+/**
+ * Handle "${arr[@]/pattern/replacement}" and "${arr[*]/pattern/replacement}"
+ * Returns null if this handler doesn't apply.
+ */
+export declare function handleArrayPatternReplacement(ctx: InterpreterContext, wordParts: WordPart[], expandWordPartsAsync: ExpandWordPartsAsyncFn, expandPart: ExpandPartFn): Promise<ArrayExpansionResult>;
+/**
+ * Handle "${arr[@]#pattern}" and "${arr[*]#pattern}" - array pattern removal
+ * Returns null if this handler doesn't apply.
+ */
+export declare function handleArrayPatternRemoval(ctx: InterpreterContext, wordParts: WordPart[], expandWordPartsAsync: ExpandWordPartsAsyncFn, expandPart: ExpandPartFn): Promise<ArrayExpansionResult>;

package/dist/interpreter/expansion/array-prefix-suffix.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Array Expansion with Prefix/Suffix Handlers
+ *
+ * Handles array expansions that have adjacent text in double quotes:
+ * - "${prefix}${arr[@]#pattern}${suffix}" - pattern removal with prefix/suffix
+ * - "${prefix}${arr[@]/pattern/replacement}${suffix}" - pattern replacement with prefix/suffix
+ * - "${prefix}${arr[@]}${suffix}" - simple array expansion with prefix/suffix
+ * - "${arr[@]:-${default[@]}}" - array default/alternative values
+ */
+import type { WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Result type for array expansion handlers.
+ * `null` means the handler doesn't apply to this case.
+ */
+export type ArrayExpansionResult = {
+    values: string[];
+    quoted: boolean;
+} | null;
+/**
+ * Type for expandPart function reference
+ */
+export type ExpandPartFn = (ctx: InterpreterContext, part: WordPart) => Promise<string>;
+/**
+ * Type for expandWordPartsAsync function reference
+ */
+export type ExpandWordPartsAsyncFn = (ctx: InterpreterContext, parts: WordPart[]) => Promise<string>;
+/**
+ * Handle "${arr[@]:-${default[@]}}", "${arr[@]:+${alt[@]}}", and "${arr[@]:=default}"
+ * Also handles "${var:-${default[@]}}" where var is a scalar variable.
+ * When the default value contains an array expansion, each element should become a separate word.
+ */
+export declare function handleArrayDefaultValue(ctx: InterpreterContext, wordParts: WordPart[]): Promise<ArrayExpansionResult>;
+/**
+ * Handle "${prefix}${arr[@]#pattern}${suffix}" and "${prefix}${arr[@]/pat/rep}${suffix}"
+ * Array pattern operations with adjacent text in double quotes.
+ * Each array element has the pattern applied, then becomes a separate word
+ * with prefix joined to first and suffix joined to last.
+ */
+export declare function handleArrayPatternWithPrefixSuffix(ctx: InterpreterContext, wordParts: WordPart[], hasArrayAtExpansion: boolean, expandPart: ExpandPartFn, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<ArrayExpansionResult>;
+/**
+ * Handle "${prefix}${arr[@]}${suffix}" - array expansion with adjacent text in double quotes.
+ * Each array element becomes a separate word, with prefix joined to first and suffix joined to last.
+ * This is similar to how "$@" works with prefix/suffix.
+ */
+export declare function handleArrayWithPrefixSuffix(ctx: InterpreterContext, wordParts: WordPart[], hasArrayAtExpansion: boolean, expandPart: ExpandPartFn): Promise<ArrayExpansionResult>;

package/dist/interpreter/expansion/array-slice-transform.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Array Slicing and Transform Operations
+ *
+ * Handles array expansion with slicing and transform operators:
+ * - "${arr[@]:offset}" and "${arr[@]:offset:length}" - array slicing
+ * - "${arr[@]@a}", "${arr[@]@P}", "${arr[@]@Q}" - transform operations
+ */
+import type { WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Result type for array expansion handlers.
+ * `null` means the handler doesn't apply to this case.
+ */
+export type ArrayExpansionResult = {
+    values: string[];
+    quoted: boolean;
+} | null;
+import type { ArithExpr } from "../../ast/types.js";
+/**
+ * Type for evaluateArithmetic function
+ */
+export type EvaluateArithmeticFn = (ctx: InterpreterContext, expr: ArithExpr, isExpansionContext?: boolean) => Promise<number>;
+/**
+ * Handle "${arr[@]:offset}" and "${arr[@]:offset:length}" - array slicing with multiple return values
+ * "${arr[@]:n:m}" returns m elements starting from index n as separate words
+ * "${arr[*]:n:m}" returns m elements starting from index n joined with IFS as one word
+ */
+export declare function handleArraySlicing(ctx: InterpreterContext, wordParts: WordPart[], evaluateArithmetic: EvaluateArithmeticFn): Promise<ArrayExpansionResult>;
+/**
+ * Handle "${arr[@]@a}", "${arr[@]@P}", "${arr[@]@Q}" - array Transform operations
+ * "${arr[@]@a}": Return attribute letter for each element (e.g., 'a' for indexed array)
+ * "${arr[@]@P}": Return each element's value (prompt expansion, limited implementation)
+ * "${arr[@]@Q}": Return each element quoted for shell reuse
+ * "${arr[*]@X}": Same as above but joined with IFS as one word
+ */
+export declare function handleArrayTransform(ctx: InterpreterContext, wordParts: WordPart[]): ArrayExpansionResult;

package/dist/interpreter/expansion/array-word-expansion.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Array Word Expansion Handlers
+ *
+ * Handles complex array expansion cases in word expansion:
+ * - "${arr[@]}" and "${arr[*]}" - array element expansion
+ * - "${arr[@]:-default}" - array with defaults
+ * - "${arr[@]:offset:length}" - array slicing
+ * - "${arr[@]/pattern/replacement}" - pattern replacement
+ * - "${arr[@]#pattern}" - pattern removal
+ * - "${arr[@]@op}" - transform operations
+ */
+import type { WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Result type for array expansion handlers.
+ * `null` means the handler doesn't apply to this case.
+ */
+export type ArrayExpansionResult = {
+    values: string[];
+    quoted: boolean;
+} | null;
+/**
+ * Helper type for expandWordPartsAsync function reference
+ */
+export type ExpandWordPartsAsyncFn = (ctx: InterpreterContext, parts: WordPart[]) => Promise<string>;
+/**
+ * Helper type for expandPart function reference
+ */
+export type ExpandPartFn = (ctx: InterpreterContext, part: WordPart) => Promise<string>;
+/**
+ * Handle simple "${arr[@]}" expansion without operations.
+ * Returns each array element as a separate word.
+ */
+export declare function handleSimpleArrayExpansion(ctx: InterpreterContext, wordParts: WordPart[]): ArrayExpansionResult;
+/**
+ * Handle namerefs pointing to array[@] - "${ref}" where ref='arr[@]'
+ * When a nameref points to array[@], expanding "$ref" should produce multiple words
+ */
+export declare function handleNamerefArrayExpansion(ctx: InterpreterContext, wordParts: WordPart[]): ArrayExpansionResult;

package/dist/interpreter/expansion/command-substitution.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Command Substitution Helpers
+ *
+ * Helper functions for handling command substitution patterns.
+ */
+import type { ScriptNode, WordNode } from "../../ast/types.js";
+/**
+ * Check if a command substitution body matches the $(<file) shorthand pattern.
+ * This is a special case where $(< file) is equivalent to $(cat file) but reads
+ * the file directly without spawning a subprocess.
+ *
+ * For this to match, the body must consist of:
+ * - One statement without operators (no && or ||)
+ * - One pipeline with one command
+ * - A SimpleCommand with no name, no args, no assignments
+ * - Exactly one input redirection (<)
+ *
+ * Note: The special $(<file) behavior only works when it's the ONLY element
+ * in the command substitution. $(< file; cmd) or $(cmd; < file) are NOT special.
+ */
+export declare function getFileReadShorthand(body: ScriptNode): {
+    target: WordNode;
+} | null;

package/dist/interpreter/expansion/glob-escape.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Glob Helper Functions
+ *
+ * Functions for handling glob patterns, escaping, and unescaping.
+ */
+/**
+ * Check if a string contains glob patterns, including extglob when enabled.
+ */
+export declare function hasGlobPattern(value: string, extglob: boolean): boolean;
+/**
+ * Unescape a glob pattern - convert escaped glob chars to literal chars.
+ * For example, [\]_ (escaped pattern) becomes [\\]_ (literal string).
+ *
+ * This is used when we need to take a pattern that was built with escaped
+ * glob characters and convert it back to a literal string (e.g., for
+ * no-match fallback when nullglob is off).
+ *
+ * Note: The input is expected to be a pattern string where backslashes escape
+ * the following character. For patterns like "test\\[*" (user input: test\[*)
+ * the output is "\\_" (with processed escapes), not [\\]_ (raw pattern).
+ */
+export declare function unescapeGlobPattern(pattern: string): string;
+/**
+ * Escape glob metacharacters in a string for literal matching.
+ * Includes extglob metacharacters: ( ) |
+ */
+export declare function escapeGlobChars(str: string): string;
+/**
+ * Escape regex metacharacters in a string for literal matching.
+ * Used when quoted patterns are used with =~ operator.
+ */
+export declare function escapeRegexChars(str: string): string;

package/dist/interpreter/expansion/indirect-expansion.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Indirect Array Expansion Handlers
+ *
+ * Handles "${!ref}" style indirect expansions where ref points to an array:
+ * - "${!ref}" where ref='arr[@]' or ref='arr[*]'
+ * - "${!ref:offset}" and "${!ref:offset:length}" - array slicing via indirection
+ * - "${!ref:-default}" and "${!ref:+alternative}" - default/alternative via indirection
+ * - "${ref+${!ref}}" - indirect in alternative value
+ */
+import type { ParameterExpansionPart, WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Result type for indirect expansion handlers.
+ * `null` means the handler doesn't apply to this case.
+ */
+export type IndirectExpansionResult = {
+    values: string[];
+    quoted: boolean;
+} | null;
+/**
+ * Type for expandParameterAsync function reference
+ */
+export type ExpandParameterAsyncFn = (ctx: InterpreterContext, part: ParameterExpansionPart, inDoubleQuotes?: boolean) => Promise<string>;
+/**
+ * Type for expandWordPartsAsync function reference
+ */
+export type ExpandWordPartsAsyncFn = (ctx: InterpreterContext, parts: WordPart[], inDoubleQuotes?: boolean) => Promise<string>;
+/**
+ * Handle "${!ref}" where ref='arr[@]' or ref='arr[*]' - indirect array expansion.
+ * This handles all the inner operation cases as well.
+ */
+export declare function handleIndirectArrayExpansion(ctx: InterpreterContext, wordParts: WordPart[], hasIndirection: boolean, expandParameterAsync: ExpandParameterAsyncFn, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<IndirectExpansionResult>;
+/**
+ * Handle ${ref+${!ref}} or ${ref-${!ref}} - indirect in alternative/default value.
+ * This handles patterns like: ${hooksSlice+"${!hooksSlice}"} which should preserve element boundaries
+ */
+export declare function handleIndirectInAlternative(ctx: InterpreterContext, wordParts: WordPart[]): Promise<IndirectExpansionResult>;
+/**
+ * Handle ${!ref+${!ref}} or ${!ref-${!ref}} - indirect with innerOp in alternative/default value.
+ * This handles patterns like: ${!hooksSlice+"${!hooksSlice}"} which should preserve element boundaries
+ */
+export declare function handleIndirectionWithInnerAlternative(ctx: InterpreterContext, wordParts: WordPart[]): Promise<IndirectExpansionResult>;

package/dist/interpreter/expansion/parameter-ops.d.ts

@@ -0,0 +1,113 @@
+/**
+ * Parameter Operation Handlers
+ *
+ * Handles individual parameter expansion operations:
+ * - DefaultValue, AssignDefault, UseAlternative, ErrorIfUnset
+ * - PatternRemoval, PatternReplacement
+ * - Length, Substring
+ * - CaseModification, Transform
+ * - Indirection, ArrayKeys, VarNamePrefix
+ */
+import type { CaseModificationOp, ErrorIfUnsetOp, InnerParameterOperation, ParameterExpansionPart, PatternRemovalOp, PatternReplacementOp, SubstringOp, WordNode, WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Type for expandWordPartsAsync function reference
+ */
+export type ExpandWordPartsAsyncFn = (ctx: InterpreterContext, parts: WordPart[], inDoubleQuotes?: boolean) => Promise<string>;
+/**
+ * Type for expandPart function reference
+ */
+export type ExpandPartFn = (ctx: InterpreterContext, part: WordPart, inDoubleQuotes?: boolean) => Promise<string>;
+/**
+ * Type for self-reference to expandParameterAsync
+ */
+export type ExpandParameterAsyncFn = (ctx: InterpreterContext, part: ParameterExpansionPart, inDoubleQuotes?: boolean) => Promise<string>;
+/**
+ * Context with computed values used across multiple operation handlers
+ */
+export interface ParameterOpContext {
+    value: string;
+    isUnset: boolean;
+    isEmpty: boolean;
+    effectiveValue: string;
+    inDoubleQuotes: boolean;
+}
+/**
+ * Handle DefaultValue operation: ${param:-word}
+ */
+export declare function handleDefaultValue(ctx: InterpreterContext, operation: {
+    word?: WordNode;
+    checkEmpty?: boolean;
+}, opCtx: ParameterOpContext, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<string>;
+/**
+ * Handle AssignDefault operation: ${param:=word}
+ */
+export declare function handleAssignDefault(ctx: InterpreterContext, parameter: string, operation: {
+    word?: WordNode;
+    checkEmpty?: boolean;
+}, opCtx: ParameterOpContext, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<string>;
+/**
+ * Handle ErrorIfUnset operation: ${param:?word}
+ */
+export declare function handleErrorIfUnset(ctx: InterpreterContext, parameter: string, operation: ErrorIfUnsetOp, opCtx: ParameterOpContext, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<string>;
+/**
+ * Handle UseAlternative operation: ${param:+word}
+ */
+export declare function handleUseAlternative(ctx: InterpreterContext, operation: {
+    word?: WordNode;
+    checkEmpty?: boolean;
+}, opCtx: ParameterOpContext, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<string>;
+/**
+ * Handle PatternRemoval operation: ${param#pattern}, ${param%pattern}
+ */
+export declare function handlePatternRemoval(ctx: InterpreterContext, value: string, operation: PatternRemovalOp, expandWordPartsAsync: ExpandWordPartsAsyncFn, expandPart: ExpandPartFn): Promise<string>;
+/**
+ * Handle PatternReplacement operation: ${param/pattern/replacement}
+ */
+export declare function handlePatternReplacement(ctx: InterpreterContext, value: string, operation: PatternReplacementOp, expandWordPartsAsync: ExpandWordPartsAsyncFn, expandPart: ExpandPartFn): Promise<string>;
+/**
+ * Handle Length operation: ${#param}
+ */
+export declare function handleLength(ctx: InterpreterContext, parameter: string, value: string): string;
+/**
+ * Handle Substring operation: ${param:offset:length}
+ */
+export declare function handleSubstring(ctx: InterpreterContext, parameter: string, value: string, operation: SubstringOp): Promise<string>;
+/**
+ * Handle CaseModification operation: ${param^pattern}, ${param,pattern}
+ */
+export declare function handleCaseModification(ctx: InterpreterContext, value: string, operation: CaseModificationOp, expandWordPartsAsync: ExpandWordPartsAsyncFn, expandParameterAsync: ExpandParameterAsyncFn): Promise<string>;
+/**
+ * Handle Transform operation: ${param@operator}
+ */
+export declare function handleTransform(ctx: InterpreterContext, parameter: string, value: string, isUnset: boolean, operation: {
+    operator: string;
+}): string;
+/**
+ * Handle Indirection operation: ${!param}
+ */
+export declare function handleIndirection(ctx: InterpreterContext, parameter: string, value: string, isUnset: boolean, operation: {
+    innerOp?: InnerParameterOperation;
+}, expandParameterAsync: ExpandParameterAsyncFn, inDoubleQuotes?: boolean): Promise<string>;
+/**
+ * Handle ArrayKeys operation: ${!arr[@]}, ${!arr[*]}
+ */
+export declare function handleArrayKeys(ctx: InterpreterContext, operation: {
+    array: string;
+    star: boolean;
+}): string;
+/**
+ * Handle VarNamePrefix operation: ${!prefix*}, ${!prefix@}
+ */
+export declare function handleVarNamePrefix(ctx: InterpreterContext, operation: {
+    prefix: string;
+    star: boolean;
+}): string;
+/**
+ * Compute whether the parameter value is "empty" for expansion purposes.
+ * This handles special cases for $*, $@, array[*], and array[@].
+ */
+export declare function computeIsEmpty(ctx: InterpreterContext, parameter: string, value: string, inDoubleQuotes: boolean): {
+    isEmpty: boolean;
+    effectiveValue: string;
+};

package/dist/interpreter/expansion/pattern-expansion.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Pattern Expansion
+ *
+ * Functions for expanding variables within glob/extglob patterns.
+ * Handles command substitution, variable expansion, and quoting within patterns.
+ */
+import type { InterpreterContext } from "../types.js";
+/**
+ * Check if a pattern string contains command substitution $(...)
+ */
+export declare function patternHasCommandSubstitution(pattern: string): boolean;
+/**
+ * Expand variables within a glob/extglob pattern string.
+ * This handles patterns like @($var|$other) where variables need expansion.
+ * Also handles quoted strings inside patterns (e.g., @(foo|'bar'|"$baz")).
+ * Preserves pattern metacharacters while expanding $var and ${var} references.
+ */
+export declare function expandVariablesInPattern(ctx: InterpreterContext, pattern: string): string;
+/**
+ * Async version of expandVariablesInPattern that handles command substitutions.
+ * This handles patterns like @($var|$(echo foo)) where command substitutions need expansion.
+ */
+export declare function expandVariablesInPatternAsync(ctx: InterpreterContext, pattern: string): Promise<string>;

package/dist/interpreter/expansion/pattern-removal.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Pattern Removal Helpers
+ *
+ * Functions for ${var#pattern}, ${var%pattern}, ${!prefix*} etc.
+ */
+import type { InterpreterContext } from "../types.js";
+/**
+ * Apply pattern removal (prefix or suffix strip) to a single value.
+ * Used by both scalar and vectorized array operations.
+ */
+export declare function applyPatternRemoval(value: string, regexStr: string, side: "prefix" | "suffix", greedy: boolean): string;
+/**
+ * Get variable names that match a given prefix.
+ * Used for ${!prefix*} and ${!prefix@} expansions.
+ * Handles arrays properly - includes array base names from __length markers,
+ * excludes internal storage keys like arr_0, arr__length.
+ */
+export declare function getVarNamesWithPrefix(ctx: InterpreterContext, prefix: string): string[];

package/dist/interpreter/expansion/pattern.d.ts

@@ -18,5 +18,6 @@
  * Convert a shell glob pattern to a regex string.
  * @param pattern - The glob pattern (*, ?, [...])
  * @param greedy - Whether * should be greedy (true for suffix matching, false for prefix)
+ * @param extglob - Whether to support extended glob patterns (@(...), *(...), +(...), ?(...), !(...))
  */
-export declare function patternToRegex(pattern: string, greedy: boolean): string;
+export declare function patternToRegex(pattern: string, greedy: boolean, extglob?: boolean): string;