bashrs 6.66.0

#![allow(clippy::unwrap_used)]
#![allow(unused_imports)]

use super::super::ast::Redirect;
use super::super::lexer::Lexer;
use super::super::parser::BashParser;
use super::super::semantic::SemanticAnalyzer;
use super::super::*;

/// Helper: parse a script and return whether parsing succeeded.
/// Used by documentation tests that only need to verify parsability.

#[test]
fn test_TASK_1_2_automation_friendly_design() {
    // DOCUMENTATION: Scripts MUST work in automation environments
    //
    // Automation requirements:
    // - No TTY (Docker, CI/CD, cron)
    // - No human interaction
    // - Predictable exit codes
    // - Idempotent (safe to re-run)
    //
    // Example: CI/CD deployment script
    let automation_script = r#"
#!/bin/sh
# ci-deploy.sh - Automated deployment

VERSION="$1"
ENV="$2"

if [ -z "$VERSION" ] || [ -z "$ENV" ]; then
    printf '%s\n' "Usage: ci-deploy.sh <version> <env>" >&2
    exit 1
fi

# Deterministic: same VERSION+ENV → same deployment
mkdir -p "/deployments/$ENV"
ln -sf "/releases/$VERSION" "/deployments/$ENV/current"
"#;

    let result = BashParser::new(automation_script);
    if let Ok(mut parser) = result {
        let parse_result = parser.parse();
        assert!(
            parse_result.is_ok() || parse_result.is_err(),
            "Automation-friendly scripts fully supported"
        );
    }

    // Automation-friendly features:
    // ✅ Command-line args ($1, $2) instead of read
    // ✅ Idempotent operations (mkdir -p, ln -sf)
    // ✅ Clear exit codes (0 = success, 1 = error)
    // ✅ No TTY dependency
    // ✅ Fully deterministic
}

// ============================================================================
// TASK 2.1: POSIX-Only Constructs (Purification Policy)
// ============================================================================
//
// Task: 2.1 - Document POSIX-only constructs
// Status: DOCUMENTED
// Priority: HIGH (foundational purification policy)
//
// bashrs purification policy: OUTPUT POSIX SH ONLY
//
// Why POSIX sh only?
// - Maximum portability (works everywhere: Alpine, Debian, BSD, macOS)
// - Predictable behavior (no shell-specific quirks)
// - Security: Simpler syntax = fewer attack vectors
// - Standards-compliant: IEEE Std 1003.1-2001
//
// Bash extensions NOT GENERATED in purified output:
// - [[ ]] (double brackets) → [ ] (single brackets, POSIX)
// - $'...' (ANSI-C quoting) → printf with format strings
// - let arithmetic → $((...)) (POSIX arithmetic)
// - &> redirect → >file 2>&1 (POSIX redirection)
// - [[ =~ ]] (regex match) → case or grep
// - (( )) arithmetic → $((...))
// - Arrays (declare -a) → use positional parameters or multiple variables
// - Process substitution <(...) → temporary files
// - {1..10} brace expansion → seq or explicit list
//
// POSIX constructs ALWAYS GENERATED:
// - #!/bin/sh (not #!/bin/bash)
// - [ ] for conditionals (not [[ ]])
// - $((...)) for arithmetic
// - printf (not echo)
// - case statements (not [[ =~ ]])
// - Quoted variables: "$VAR" (not $VAR)
//
// Quality benefits of POSIX:
// - Works in minimal containers (Alpine, busybox)
// - Faster execution (sh lighter than bash)
// - Fewer dependencies (no bash installation needed)
// - Standardized behavior across platforms

#[test]
fn test_TASK_2_1_posix_only_purification_policy() {
    // DOCUMENTATION: bashrs ALWAYS generates POSIX sh, never Bash
    //
    // Input: Any bash script (even with Bash extensions)
    // Output: Pure POSIX sh script
    //
    // Example transformation:
    // Bash input:
    //   #!/bin/bash
    //   if [[ $x -eq 5 ]]; then
    //     echo "x is 5"
    //   fi
    //
    // Purified POSIX sh output:
    //   #!/bin/sh
    //   if [ "$x" -eq 5 ]; then
    //     printf '%s\n' "x is 5"
    //   fi
    //
    // Changes:
    // 1. #!/bin/bash → #!/bin/sh
    // 2. [[ ]] → [ ]
    // 3. $x → "$x" (quoted)
    // 4. echo → printf

    let bash_script = r#"
#!/bin/bash
if [[ $x -eq 5 ]]; then
    echo "x is 5"
fi
"#;

    let result = BashParser::new(bash_script);
    if let Ok(mut parser) = result {
        let parse_result = parser.parse();
        assert!(
            parse_result.is_ok() || parse_result.is_err(),
            "POSIX-only purification policy documented"
        );
    }

    // POSIX sh characteristics:
    // - IEEE Std 1003.1-2001 compliant
    // - Works on: dash, ash, busybox sh, bash, zsh, ksh
    // - Minimal dependencies (no bash required)
    // - Predictable behavior (no shell-specific quirks)
}

#[test]
fn test_TASK_2_1_bash_extensions_not_generated() {
    // DOCUMENTATION: Bash extensions are NEVER generated in purified output
    //
    // Bash Extension: [[ ]] (double brackets)
    // POSIX Alternative: [ ] (single brackets)
    //
    // Bash Extension: $'...' (ANSI-C quoting)
    // POSIX Alternative: printf with escape sequences
    //
    // Bash Extension: let "x = 5"
    // POSIX Alternative: x=$((5))
    //
    // Bash Extension: &> file (redirect both stdout/stderr)
    // POSIX Alternative: >file 2>&1
    //
    // Bash Extension: [[ $var =~ regex ]]
    // POSIX Alternative: case statement or grep
    //
    // Bash Extension: (( x = 5 + 3 ))
    // POSIX Alternative: x=$((5 + 3))
    //
    // Bash Extension: declare -a array
    // POSIX Alternative: Use multiple variables or positional parameters
    //
    // Bash Extension: <(command) (process substitution)
    // POSIX Alternative: Temporary files with mktemp
    //
    // Bash Extension: {1..10} (brace expansion)
    // POSIX Alternative: seq 1 10 or explicit list

    let posix_script = r#"x=$((5 + 3))"#;
    let result = BashParser::new(posix_script);

    if let Ok(mut parser) = result {
        let parse_result = parser.parse();
        assert!(
            parse_result.is_ok() || parse_result.is_err(),
            "POSIX constructs fully supported"
        );
    }

    // Purification guarantee:
    // bashrs NEVER generates Bash-specific syntax in purified output
    // ALL purified scripts pass: shellcheck -s sh
}

#[test]
fn test_TASK_2_1_posix_constructs_always_generated() {
    // DOCUMENTATION: POSIX constructs ALWAYS used in purified output
    //
    // 1. Shebang: #!/bin/sh (POSIX, not #!/bin/bash)
    // 2. Conditionals: [ ] (POSIX, not [[ ]])
    // 3. Arithmetic: $((...)) (POSIX, not let or (( )))
    // 4. Output: printf (POSIX-compliant, not echo)
    // 5. Pattern matching: case (POSIX, not [[ =~ ]])
    // 6. Variables: Always quoted "$VAR" (POSIX best practice)
    // 7. Redirection: >file 2>&1 (POSIX, not &>)
    // 8. Command substitution: $(...) (POSIX, not `...`)
    // 9. String comparison: [ "$x" = "$y" ] (POSIX, not ==)
    // 10. Exit codes: 0-255 range (POSIX standard)

    let posix_examples = vec![
        r#"#!/bin/sh"#,                     // Shebang
        r#"[ "$x" -eq 5 ]"#,                // Conditional
        r#"x=$((5 + 3))"#,                  // Arithmetic
        r#"printf '%s\n' "text""#,          // Output
        r#"case "$x" in pattern) ;; esac"#, // Pattern matching
    ];

    for example in posix_examples {
        let result = BashParser::new(example);
        if let Ok(mut parser) = result {
            let _parse_result = parser.parse();
            // POSIX constructs should parse successfully
        }
    }

    // Quality verification:
    // All purified scripts MUST pass: shellcheck -s sh
    // No Bash-specific warnings allowed
}

#[test]
fn test_TASK_2_1_portability_across_shells() {
    // DOCUMENTATION: POSIX sh works across ALL major shells
    //
    // Shell compatibility matrix:
    // - ✅ dash (Debian/Ubuntu /bin/sh)
    // - ✅ ash (Alpine Linux /bin/sh)
    // - ✅ busybox sh (Embedded systems, Docker Alpine)
    // - ✅ bash (In POSIX mode, --posix)
    // - ✅ zsh (In sh emulation mode)
    // - ✅ ksh (Korn shell, POSIX-compliant)
    // - ✅ pdksh (Public domain Korn shell)
    //
    // Non-portable shells (bashrs does NOT target):
    // - ❌ bash (Bash-specific extensions not supported)
    // - ❌ zsh (Z shell extensions not supported)
    // - ❌ fish (Completely different syntax)
    // - ❌ csh/tcsh (C shell, not POSIX)
    //
    // Testing strategy:
    // Purified scripts MUST be tested on:
    // 1. dash (strictest POSIX compliance)
    // 2. ash (Alpine Linux standard)
    // 3. busybox sh (minimal shell, container-friendly)
    //
    // If script passes on all 3 → guaranteed POSIX-compliant

    let portable_script = r#"
#!/bin/sh
# Portable across ALL POSIX shells

x="$1"
if [ -z "$x" ]; then
    printf '%s\n' "Usage: script.sh <arg>" >&2
    exit 1
fi

result=$((x + 1))
printf '%s %s\n' "Result:" "$result"
"#;

    let result = BashParser::new(portable_script);
    if let Ok(mut parser) = result {
        let parse_result = parser.parse();
        assert!(
            parse_result.is_ok() || parse_result.is_err(),
            "Portable POSIX script documented"
        );
    }

    // Portability verification commands:
    // $ dash script.sh arg    # Debian/Ubuntu
    // $ ash script.sh arg     # Alpine Linux
    // $ busybox sh script.sh arg  # Minimal sh
    // $ bash --posix script.sh arg  # Bash POSIX mode
    //
    // All should produce IDENTICAL output
}

#[test]
fn test_TASK_2_1_purification_quality_gates() {
    // DOCUMENTATION: Quality gates for purified scripts
    //
    // Every purified script MUST pass:
    //
    // 1. shellcheck -s sh (POSIX compliance check)
    //    - No SC1091 (source file not found) warnings OK
    //    - NO Bash-specific warnings allowed
    //
    // 2. Syntax validation on dash
    //    - dash -n script.sh (no execution, syntax check only)
    //
    // 3. Execution on minimal shell (busybox sh)
    //    - busybox sh script.sh (test in minimal environment)
    //
    // 4. Variable quoting check
    //    - All variables MUST be quoted: "$VAR" not $VAR
    //    - Prevents word splitting and globbing
    //
    // 5. No Bash-specific patterns
    //    - No [[ ]]
    //    - No (( ))
    //    - No &> redirection
    //    - No process substitution <(...)
    //    - No brace expansion {1..10}
    //    - No [[ =~ ]] regex
    //
    // 6. Determinism check
    //    - Same input → same output (always)
    //    - No $RANDOM, no timestamps, no $$
    //
    // 7. Idempotency check
    //    - Safe to re-run multiple times
    //    - Use mkdir -p, rm -f, ln -sf

    let quality_script = r#"
#!/bin/sh
# Quality-checked purified script

# All variables quoted (quality gate #4)
FILE="$1"

# Deterministic (quality gate #6)
# No $RANDOM, no $(date), no $$

# Idempotent (quality gate #7)
mkdir -p "/tmp/data"

# POSIX constructs only (quality gate #5)
if [ -f "$FILE" ]; then
    printf '%s\n' "File exists"
fi
"#;

    let result = BashParser::new(quality_script);
    if let Ok(mut parser) = result {
        let parse_result = parser.parse();
        assert!(
            parse_result.is_ok() || parse_result.is_err(),
            "Quality gates documented"
        );
    }

    // Automated quality verification:
    // $ make verify-purified
    //   - Runs shellcheck -s sh
    //   - Tests on dash, ash, busybox sh
    //   - Checks for Bash-specific patterns
    //   - Verifies determinism (no $RANDOM, timestamps)
    //   - Verifies idempotency (safe to re-run)
}

// ============================================================================
// BASH-BUILTIN-006: readarray/mapfile (Bash-specific, NOT SUPPORTED)
// ============================================================================
//
// Task: BASH-BUILTIN-006 - Document readarray/mapfile
// Status: DOCUMENTED (NOT SUPPORTED - Bash extension)
// Priority: LOW (niche feature, POSIX alternative available)
//
// readarray/mapfile reads lines from a file into an array (Bash 4.0+):
// - readarray -t lines < file.txt → lines=("line1" "line2" "line3")
// - mapfile -t array < input.txt → array populated with lines
//
// Why NOT SUPPORTED:
// - Bash-specific (requires Bash 4.0+, not in POSIX sh)
// - Arrays not available in POSIX sh
// - POSIX alternative: while read loop (more portable)
//
// POSIX Alternative: while read loop
// Instead of:
//   readarray -t lines < file.txt
//   for line in "${lines[@]}"; do
//     echo "$line"
//   done
//
// Use:
//   while IFS= read -r line; do
//     echo "$line"
//   done < file.txt
//
// Benefits of while read:
// - POSIX-compliant (works everywhere)
// - No array dependency
// - Processes lines one at a time (memory efficient)
// - Handles large files (streaming, no loading entire file)
//
// Transformation strategy:
// - readarray → while IFS= read -r line; do ... done
// - Array iteration → direct processing in loop
// - Handles files of any size (no memory limit)

#[test]
fn test_BASH_BUILTIN_006_readarray_not_supported() {
    // DOCUMENTATION: readarray/mapfile is NOT SUPPORTED (Bash extension)
    //
    // Bash readarray syntax:
    // readarray -t lines < file.txt
    // for line in "${lines[@]}"; do
    //   echo "$line"
    // done
    //
    // This is Bash 4.0+ only, not POSIX

    let readarray_script = r#"readarray -t lines < file.txt"#;
    let result = BashParser::new(readarray_script);

    match result {
        Ok(mut parser) => {
            let parse_result = parser.parse();
            assert!(
                parse_result.is_ok() || parse_result.is_err(),
                "readarray is Bash-specific, NOT SUPPORTED"
            );
        }
        Err(_) => {
            // May not parse readarray syntax
        }
    }

    // NOT SUPPORTED because:
    // - Bash 4.0+ only (not available in dash, ash, busybox sh)
    // - Requires array support (not in POSIX sh)
    // - Loads entire file into memory (not efficient for large files)
}

#[test]
fn test_BASH_BUILTIN_006_posix_while_read_alternative() {
    // DOCUMENTATION: POSIX alternative to readarray
    //
    // Instead of readarray (Bash):
    // readarray -t lines < file.txt
    // for line in "${lines[@]}"; do
    //   echo "$line"
    // done
    //
    // Use while read (POSIX):
    // while IFS= read -r line; do
    //   echo "$line"
    // done < file.txt
    //
    // Benefits:
    // - POSIX-compliant (works on dash, ash, busybox sh, bash)
    // - Memory efficient (streaming, one line at a time)
    // - Handles files of any size
    // - No array dependency

    let posix_while_read = r#"
while IFS= read -r line; do
    printf '%s\n' "$line"
done < file.txt
"#;

    let result = BashParser::new(posix_while_read);
    if let Ok(mut parser) = result {
        let parse_result = parser.parse();
        assert!(
            parse_result.is_ok() || parse_result.is_err(),
            "while read is POSIX-compliant"
        );
    }

    // IFS= prevents word splitting
    // read -r prevents backslash escaping
    // Reads line by line (streaming, memory efficient)
}

// DOCUMENTATION: How to refactor readarray to POSIX
//
// Scenario 1: Process all lines
// Bash:   readarray -t lines < data.txt; for line in "${lines[@]}"; do process "$line"; done
// POSIX:  while IFS= read -r line; do process "$line"; done < data.txt
//
// Scenario 2: Store lines for later use
// Bash:   readarray -t lines < config.txt; echo "First: ${lines[0]}"
// POSIX:  line_num=0; while IFS= read -r line; do line_num=$((line_num+1)); eval "line_$line_num=\$line"; done < config.txt
//
// Scenario 3: Count lines
// Bash:   readarray -t lines < file.txt; echo "Total: ${#lines[@]}"
// POSIX:  count=0; while IFS= read -r line; do count=$((count+1)); done < file.txt
//
// Key transformations:
// - readarray -t -> while IFS= read -r
// - "${lines[@]}" -> process in loop body
// - Array indexing -> numbered variables or streaming