import Clava from "@specs-feup/clava/api/clava/Clava.js";
import { countErrorsAfterCorrection, countMISRAErrors, registerSourceCode, TestFile } from "../utils.js";
import path from "path";
import { fileURLToPath } from "url";

const passingCode = `
#include <math.h>

static unsigned int func() {
    return 0;
}

static void test_17_3_1() {
    double result = sqrt(func());
}
`;


const failingCode = `
static void test_17_3_2() {
    double a = 2.0, b = 3.0;

    // Implicit call to pow(): <math.h> is missing
    double res1 = pow(a, b); 
    double res2 = pow(b, a);

    // Implicit call to strlen: <ctype.h> is missing
    char lower1 = 'a';
    char upper1 = toupper(lower1); 
    
    // Implicit call to sin(): <math.h> is missing
    double angle = 3.14159265; 
    double sin_val = sin(angle);

    // Implicit call to strlen(): <ctype.h> is missing
    char lower2 = 'b';
    char upper2 = toupper(lower2); 

    // Implicit call to toupper_transformation(): <ctype.h> is missing
    char lower3 = 'c';
    char upper3 = toupper_transformation(lower3); 

}`;

const failingCode2 = `
#include <math.h>

static unsigned int func2() {
    double a = 2.0, b = 3.0;

    double pow_result = pow(a, b); 
    double sum = half(b) + pow_result;  // Implicit call to 'half': provided math.h does not solve

    // Implicit call: <ctype.h> is missing
    char lower1 = 'a';
    char upper1 = toupper_transformation(lower1);

    return 0;
}`;

// Missing externs
const failingCode3 = `
static unsigned int test_17_3_3() {
    int x = func(); // Implicit call to func() in good.c

    // Implicit call to func2() in bad2.c; Provided file in config does not include definition
    int y = func2(); 

    // Implicit call with wrong params
    (void) test_17_3_1(1, 4);
    return 0;
}
`;

const files: TestFile[] = [
    { name: "bad1.c", code: failingCode },
    { name: "bad2.c", code: failingCode2 },
    { name: "bad3.c", code: failingCode3 },
    { name: "good.c", code: passingCode },
];

describe("Rule 17.3 (without config)", () => {
    if (Clava.getStandard() !== "c90")  {
        it("should skip tests for c99 and c11", () => {});
    } else {
        registerSourceCode(files);

        it("should detect errors", () => {
            expect(countMISRAErrors()).toBe(11);  
            expect(countMISRAErrors("17.3")).toBe(11); 

        });

        it("should correct errors", () => {
            expect(countErrorsAfterCorrection()).toBe(11);
        });
    }
});