solidity-language-server 0.1.37

use solidity_language_server::build::{build_output_to_diagnostics, ignored_error_code_warning};
use solidity_language_server::runner::{ForgeRunner, Runner};
use solidity_language_server::utils::byte_offset_to_position;
use std::fs;
use tower_lsp::lsp_types::{Diagnostic, DiagnosticSeverity, NumberOrString};

static CONTRACT: &str = r#"// SPDX-License-Identifier: MIT
pragma solidity ^0.8.29;

contract A {
    using B for string;

    function() internal c;

    function add_num(uint256 a) public pure returns (uint256) {
        bool fad;
        return a + 4;
    }
}"#;

fn setup(contents: &str) -> (tempfile::TempDir, std::path::PathBuf, ForgeRunner) {
    let temp_dir = tempfile::tempdir().expect("failed to create temp dir");

    // Create src directory
    let src_dir = temp_dir.path().join("src");
    fs::create_dir(&src_dir).expect("failed to create src dir");

    // Write foundry.toml
    let foundry_toml = r#"[profile.default]
src = "src"
out = "out"
libs = ["lib"]
"#;
    fs::write(temp_dir.path().join("foundry.toml"), foundry_toml)
        .expect("failed to write foundry.toml");

    let contract_path = src_dir.join("Contract.sol");
    fs::write(&contract_path, contents).expect("failed to write contract");

    let compiler = ForgeRunner;
    (temp_dir, contract_path, compiler)
}

#[tokio::test]
async fn test_build_success() {
    let (temp_dir, _contract_path, compiler) = setup(CONTRACT);
    let file_path = temp_dir.path().to_string_lossy().to_string();

    let result = compiler.build(&file_path).await;
    assert!(result.is_ok(), "Expected build to succeed");
}

#[tokio::test]
async fn test_build_has_errors_array() {
    let (temp_dir, _contract_path, compiler) = setup(CONTRACT);
    let file_path = temp_dir.path().to_string_lossy().to_string();

    let json = compiler.build(&file_path).await.unwrap();
    assert!(
        json.get("errors").is_some(),
        "Expected 'errors' array in build output"
    );
}

#[tokio::test]
async fn test_build_error_formatting() {
    let (temp_dir, _contract_path, compiler) = setup(CONTRACT);
    let file_path = temp_dir.path().to_string_lossy().to_string();

    let json = compiler.build(&file_path).await.unwrap();
    if let Some(errors) = json.get("errors")
        && let Some(first) = errors.get(0)
    {
        assert!(
            first.get("message").is_some(),
            "Expected error object to have a message"
        );
    }
}

#[tokio::test]
async fn test_diagnostic_offsets_match_source() {
    let (temp_dir, contract_path, compiler) = setup(CONTRACT);
    let file_path = temp_dir.path().to_string_lossy().to_string();
    let source_code = tokio::fs::read_to_string(&contract_path)
        .await
        .expect("read source");
    let build_output = compiler.build(&file_path).await.expect("build failed");
    let expected_start_byte = 81;
    let expected_end_byte = 82;
    let expected_start_pos = byte_offset_to_position(&source_code, expected_start_byte);
    let expected_end_pos = byte_offset_to_position(&source_code, expected_end_byte);
    let diagnostics = build_output_to_diagnostics(&build_output, &contract_path, &source_code, &[]);
    assert!(!diagnostics.is_empty(), "no diagnostics found");

    let diag = &diagnostics[0];
    assert_eq!(diag.range.start.line, expected_start_pos.line);
    assert_eq!(diag.range.start.character, expected_start_pos.character);
    assert_eq!(diag.range.end.line, expected_end_pos.line);
    assert_eq!(diag.range.end.character, expected_end_pos.character);
}

#[tokio::test]
async fn test_build_output_to_diagnostics_from_file() {
    let (temp_dir, contract_path, compiler) = setup(CONTRACT);
    let file_path = temp_dir.path().to_string_lossy().to_string();
    let source_code = tokio::fs::read_to_string(&contract_path)
        .await
        .expect("Failed to read source file");
    let build_output = compiler
        .build(&file_path)
        .await
        .expect("Compiler build failed");

    let diagnostics = build_output_to_diagnostics(&build_output, &contract_path, &source_code, &[]);
    assert!(!diagnostics.is_empty(), "Expected at least one diagnostic");

    let diag = &diagnostics[0];
    assert_eq!(diag.severity, Some(DiagnosticSeverity::ERROR));
    assert!(diag.message.contains("Identifier is not a library name"));
    assert_eq!(diag.code, Some(NumberOrString::String("9589".to_string())));
    assert!(diag.range.start.line > 0);
    assert!(diag.range.start.character > 0);
}

#[tokio::test]
async fn test_ignored_code_for_tests() {
    let error_json = serde_json::json!({
        "errorCode": "5574",
        "sourceLocation": {
            "file": "test/ERC6909Claims.t.sol"
        }
    });
    assert!(ignored_error_code_warning(&error_json, &[]));

    let error_json_non_test = serde_json::json!({
        "errorCode": "5574",
        "sourceLocation": {
            "file": "contracts/ERC6909Claims.sol"
        }
    });
    // These codes are now ignored for all .sol files, not just test files
    assert!(ignored_error_code_warning(&error_json_non_test, &[]));

    let error_json_other_code = serde_json::json!({
        "errorCode": "1234",
        "sourceLocation": {
            "file": "test/ERC6909Claims.t.sol"
        }
    });
    assert!(!ignored_error_code_warning(&error_json_other_code, &[]));

    // User-configured ignored codes from foundry.toml
    let error_json_custom = serde_json::json!({
        "errorCode": "2394",
        "sourceLocation": {
            "file": "src/Core.sol"
        }
    });
    assert!(ignored_error_code_warning(
        &error_json_custom,
        &[2394, 6321]
    ));

    // Code not in the user list and not in defaults
    let error_json_not_ignored = serde_json::json!({
        "errorCode": "9999",
        "sourceLocation": {
            "file": "src/Core.sol"
        }
    });
    assert!(!ignored_error_code_warning(
        &error_json_not_ignored,
        &[2394, 6321]
    ));
}

// ---------------------------------------------------------------------------
// Regression: Issue #41 — AST cache not updated when there are compilation
// warnings. The old check was `diagnostics.is_empty()` which rejected any
// build with diagnostics, including warnings. The fix is to only block on
// ERROR-severity diagnostics.
// ---------------------------------------------------------------------------

/// Contract that compiles successfully but produces warnings (unused variables).
/// This is the same pattern as example/Counter.sol.
static WARNING_ONLY_CONTRACT: &str = r#"// SPDX-License-Identifier: MIT
pragma solidity ^0.8.29;

contract Counter {
    uint256 public count;

    function increment() public {
        uint256 oldCount = count;
        count += 1;
    }
}"#;

/// Contract with a real compilation error (undefined identifier).
static ERROR_CONTRACT: &str = r#"// SPDX-License-Identifier: MIT
pragma solidity ^0.8.29;

contract Broken {
    function bad() public pure returns (uint256) {
        return undefinedVariable;
    }
}"#;

/// Mirrors the `build_succeeded` logic from src/lsp.rs:78.
/// Returns true when there are no ERROR-severity diagnostics.
fn build_succeeded(diagnostics: &[Diagnostic]) -> bool {
    diagnostics
        .iter()
        .all(|d| d.severity != Some(DiagnosticSeverity::ERROR))
}

#[tokio::test]
async fn test_warning_only_build_should_succeed() {
    // Regression for issue #41: a contract with only warnings must not
    // prevent the AST cache from updating.
    let (_temp_dir, contract_path, compiler) = setup(WARNING_ONLY_CONTRACT);
    let file_path = _temp_dir.path().to_string_lossy().to_string();
    let source_code = tokio::fs::read_to_string(&contract_path)
        .await
        .expect("read source");
    let build_output = compiler.build(&file_path).await.expect("build failed");

    let diagnostics = build_output_to_diagnostics(&build_output, &contract_path, &source_code, &[]);

    // There should be at least one warning (unused variable)
    assert!(
        !diagnostics.is_empty(),
        "expected warnings from unused variable"
    );
    assert!(
        diagnostics
            .iter()
            .all(|d| d.severity == Some(DiagnosticSeverity::WARNING)),
        "all diagnostics should be warnings, got: {:?}",
        diagnostics.iter().map(|d| d.severity).collect::<Vec<_>>()
    );

    // The build_succeeded check must pass — this is what was broken in issue #41
    assert!(
        build_succeeded(&diagnostics),
        "build_succeeded should be true when only warnings are present"
    );
}

#[tokio::test]
async fn test_error_build_should_fail() {
    // Counterpart: a contract with a real error must block AST cache update.
    let (_temp_dir, contract_path, compiler) = setup(ERROR_CONTRACT);
    let file_path = _temp_dir.path().to_string_lossy().to_string();
    let source_code = tokio::fs::read_to_string(&contract_path)
        .await
        .expect("read source");
    let build_output = compiler.build(&file_path).await.expect("build failed");

    let diagnostics = build_output_to_diagnostics(&build_output, &contract_path, &source_code, &[]);

    assert!(!diagnostics.is_empty(), "expected errors");
    assert!(
        diagnostics
            .iter()
            .any(|d| d.severity == Some(DiagnosticSeverity::ERROR)),
        "expected at least one ERROR diagnostic"
    );

    // build_succeeded must be false
    assert!(
        !build_succeeded(&diagnostics),
        "build_succeeded should be false when errors are present"
    );
}

#[tokio::test]
async fn test_empty_diagnostics_should_succeed() {
    // A clean build with zero diagnostics should also succeed.
    let diagnostics: Vec<Diagnostic> = vec![];
    assert!(
        build_succeeded(&diagnostics),
        "build_succeeded should be true when no diagnostics at all"
    );
}

// ---------------------------------------------------------------------------
// Regression: PR #55 — source path filtering drops diagnostics when solc
// reports a path like "example/Shop.sol" but the foundry project root is the
// `example/` directory.  `path.strip_prefix(root)` produces "Shop.sol" which
// doesn't match "example/Shop.sol", so the diagnostic was silently dropped.
// ---------------------------------------------------------------------------

#[test]
fn test_source_location_matches_subdirectory_project() {
    // Simulate: solc reports "example/Shop.sol", project root is "/repo/example",
    // absolute path is "/repo/example/Shop.sol".
    let solc_output = serde_json::json!({
        "errors": [
            {
                "sourceLocation": {
                    "file": "example/Shop.sol",
                    "start": 10,
                    "end": 20
                },
                "type": "TypeError",
                "component": "general",
                "severity": "error",
                "errorCode": "9553",
                "message": "some error",
                "formattedMessage": "some error"
            }
        ]
    });

    let content = "0123456789\n0123456789\n0123456789\n";
    let path = std::path::Path::new("/repo/example/Shop.sol");
    let diagnostics = build_output_to_diagnostics(&solc_output, path, content, &[]);

    assert!(
        !diagnostics.is_empty(),
        "diagnostic should not be dropped when solc path is 'example/Shop.sol' and file is '/repo/example/Shop.sol'"
    );
    assert_eq!(diagnostics[0].severity, Some(DiagnosticSeverity::ERROR));
}