import os

const x11_alias_vexe = @VEXE
const x11_alias_tests_dir = os.dir(@FILE)
const x11_alias_v3_dir = os.dir(x11_alias_tests_dir)
const x11_alias_vlib_dir = os.dir(x11_alias_v3_dir)
const x11_alias_v3_src = os.join_path(x11_alias_v3_dir, 'v3.v')

fn x11_alias_build_v3() string {
    v3_bin := os.join_path(os.temp_dir(), 'v3_x11_alias_test_${os.getpid()}')
    os.rm(v3_bin) or {}
    build :=
        os.execute('${x11_alias_vexe} -gc none -path "${x11_alias_vlib_dir}|@vlib|@vmodules" -o ${v3_bin} ${x11_alias_v3_src}')
    assert build.exit_code == 0, build.output
    return v3_bin
}

fn x11_alias_write_project() string {
    root := os.join_path(os.temp_dir(), 'v3_x11_alias_${os.getpid()}')
    os.rmdir_all(root) or {}
    os.mkdir_all(root) or { panic(err) }
    os.write_file(os.join_path(root, 'native_abi.h'), '#ifndef V3_X11_ALIAS_NATIVE_ABI_H
#define V3_X11_ALIAS_NATIVE_ABI_H
typedef unsigned long NativeAtom;
typedef unsigned long NativeKeySym;
typedef unsigned long NativeULong;
typedef unsigned long NativeWindow;
#endif
') or {
        panic(err)
    }
    os.write_file(os.join_path(root, 'main.v'), 'module main

#include "@DIR/native_abi.h"

pub type Atom = C.NativeAtom
pub type KeySym = C.NativeKeySym
pub type NativeULong = C.NativeULong
pub type Window = C.NativeWindow
pub type LocalId = u64

@[typedef]
struct C.Display {}

@[typedef]
struct C.XKeyEvent {}

fn C.XLookupString(event &C.XKeyEvent, buf &char, buf_len int, keysym &KeySym, status voidptr) int
fn C.XSetWMProtocols(display &C.Display, window Window, protocols &Atom, count int) int
fn C.XGetWindowProperty(display &C.Display, window Window, property Atom, offset i64, length i64, delete int, req_type Atom, actual &Atom, actual_format &int, count &NativeULong, bytes &NativeULong, prop &&u8) int

fn helper(display &C.Display, window Window, value &&u8) usize {
    mut actual_type := Atom(0)
    mut item_count := NativeULong(0)
    mut bytes_after := NativeULong(0)
    mut actual_format := 0
    property := Atom(0)
    C.XGetWindowProperty(display, window, property, 0, 1, 0, property, &actual_type,
        &actual_format, &item_count, &bytes_after, value)
    return usize(item_count)
}

fn main() {
    display := &C.Display(unsafe { nil })
    mut event := C.XKeyEvent{}
    mut keysym := KeySym(0)
    C.XLookupString(&event, nil, 0, &keysym, nil)
    mut protocols := [1]Atom{}
    protocols[0] = Atom(1)
    window := Window(0)
    C.XSetWMProtocols(display, window, &protocols[0], 1)
    mut value := &u8(unsafe { nil })
    count := helper(display, window, &&u8(&value))
    mut local_id := LocalId(9)
    score := int(count) + int(local_id)
    println(int_str(score))
}
') or {
        panic(err)
    }
    return root
}

fn test_c_typedef_aliases_are_preserved_for_x11_abi_shapes() {
    v3_bin := x11_alias_build_v3()
    root := x11_alias_write_project()
    c_path := os.join_path(root, 'out.c')
    compile := os.execute('${v3_bin} ${root} -b c -o ${c_path}')
    assert compile.exit_code == 0, compile.output

    c_code := os.read_file(c_path) or { panic(err) }
    compact := c_code.replace('\t', '').replace(' ', '').replace('\n', '')
    assert compact.contains('NativeKeySymkeysym'), c_code
    assert compact.contains('NativeAtomprotocols[1]'), c_code
    assert compact.contains('NativeWindowwindow'), c_code
    assert compact.contains('NativeAtomactual_type'), c_code
    assert compact.contains('NativeULongitem_count'), c_code
    assert compact.contains('NativeULongbytes_after'), c_code
    assert compact.contains('XLookupString(&event,NULL,0,&keysym,NULL);'), c_code
    assert compact.contains('XSetWMProtocols(display,window,&protocols[0],1);'), c_code
    assert compact.contains('XGetWindowProperty(display,window,property,0,1,0,property,&actual_type,&actual_format,&item_count,&bytes_after,value);'), c_code

    assert !compact.contains('u64keysym'), c_code
    assert !compact.contains('u64protocols[1]'), c_code
    assert !compact.contains('u64actual_type'), c_code
    assert !compact.contains('u64item_count'), c_code
    assert !compact.contains('u64bytes_after'), c_code
    assert !compact.contains('0&(u8)(value)'), c_code
    assert compact.contains('u64local_id'), c_code
    assert !compact.contains('LocalIdlocal_id'), c_code
}