-
Notifications
You must be signed in to change notification settings - Fork 2
/
linenoise_stubs.c
64 lines (62 loc) · 1.57 KB
/
linenoise_stubs.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
#include <stddef.h>
#include "linenoise_c/linenoise.h"
#include "headers/cstubs_internals.h"
value linenoise_stub_linenoiseSetCompletionCallback(value x1)
{
void(* x2)(char*, struct linenoiseCompletions*) = CTYPES_TO_PTR(x1);
linenoiseSetCompletionCallback(x2);
return Val_unit;
}
value linenoise_stub_linenoiseAddCompletion(value x5, value x7)
{
struct linenoiseCompletions* x6 = CTYPES_TO_PTR(x5);
char* x8 = CTYPES_TO_PTR(x7);
linenoiseAddCompletion(x6, x8);
return Val_unit;
}
value linenoise_stub_linenoise(value x11)
{
char* x12 = CTYPES_TO_PTR(x11);
char* x13 = linenoise(x12);
value x14 = CTYPES_FROM_PTR(x13);
return x14;
}
value linenoise_stub_linenoiseHistoryAdd(value x15)
{
char* x16 = CTYPES_TO_PTR(x15);
int x17 = linenoiseHistoryAdd(x16);
value x18 = Val_int(x17);
return x18;
}
value linenoise_stub_linenoiseHistorySetMaxLen(value x19)
{
int x21 = Int_val(x19);
int x22 = linenoiseHistorySetMaxLen(x21);
value x23 = Val_int(x22);
return x23;
}
value linenoise_stub_linenoiseHistorySave(value x24)
{
char* x25 = CTYPES_TO_PTR(x24);
int x26 = linenoiseHistorySave(x25);
value x27 = Val_int(x26);
return x27;
}
value linenoise_stub_linenoiseHistoryLoad(value x28)
{
char* x29 = CTYPES_TO_PTR(x28);
int x30 = linenoiseHistoryLoad(x29);
value x31 = Val_int(x30);
return x31;
}
value linenoise_stub_linenoiseClearScreen(value x32)
{
linenoiseClearScreen();
return Val_unit;
}
value linenoise_stub_linenoiseSetMultiLine(value x36)
{
int x38 = Int_val(x36);
linenoiseSetMultiLine(x38);
return Val_unit;
}