This repository has been archived by the owner on Dec 7, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 28
/
splint.xh
91 lines (52 loc) · 2.49 KB
/
splint.xh
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
// Iup additional annotations
void IupSetAttribute(/*@null@*/ void *ih,
const char *name, const char *value);
/*@printflike@*/ void IupSetfAttribute(/*@null@*/ void *ih, const char *name,
const char *format,...);
/*@dependent@*/ void *IupSetAtt(/*@null@*/ const char *handle_name,
void *ih, /*@null@*/ const char *name,...);
/*@dependent@*/ void *IupSetAttributes(/*@null@*/ void *ih,const char *str);
/*@null@*//*@dependent@*/ char *IupGetAttribute(/*@null@*/ void *ih,
const char *name);
/*@dependent@*/ void *IupSetAtt(/*@null@*/ const char *handle_name,
void *ih, const char *name, ...);
/*@dependent@*/ void *IupText(/*@null@*/ const char *action);
/*@dependent@*/ void *IupLabel(/*@null@*/ const char *title);
/*@dependent@*/ void *IupButton(/*@null@*/ const char *title,
/*@null@*/ const char *action);
/*@dependent@*/ void *IupList(/*@null@*/ const char *action);
/*@dependent@*/ void *IupToggle(/*@null@*/ const char *title,
/*@null@*/ const char *action);
/*@dependent@*/ void *IupVal(/*@null@*/ const char *type);
/*@dependent@*/ void *IupFrame(void *child);
/*@dependent@*/ void *IupTabs(void *child,...);
/*@dependent@*/ void *IupFill(void);
/*@dependent@*/ void *IupVbox(void *child,...);
/*@dependent@*/ void *IupHbox(void *child,...);
/*@dependent@*/ void *IupCbox(void *child,...);
/*@dependent@*/ void *IupDialog(void *child);
/*@dependent@*/ void *IupFileDlg(void);
/*@dependent@*/ void *IupMessageDlg(void);
/*@dependent@*/ void *IupTimer(void);
// Randr additional annotations
void *xcb_connect (/*@null@*/ const char *display,
/*@out@*/ int *screen );
void *xcb_randr_query_version_reply (void *c,
void cookie,/*@out@*/ void **e);
/*@dependent@*/ const void *xcb_get_setup(void *c);
/*@dependent@*/ void *xcb_randr_get_screen_resources_current_crtcs(const void *R);
/*@dependent@*/ void *xcb_randr_get_crtc_gamma_red (const void *R);
/*@dependent@*/ void *xcb_randr_get_crtc_gamma_green (const void *R);
/*@dependent@*/ void *xcb_randr_get_crtc_gamma_blue (const void *R);
/*@dependent@*/ void *xcb_request_check(void* c,void cookie);
void *xcb_randr_get_crtc_gamma_reply(
void *conn,void cookie,
/*@out@*/ void *error);
// Win32 additional annotations
void GetSystemTimeAsFileTime(/*@out@*/ void *lpSystemTimeAsFileTime);
void *GetDC(/*@nulL@*/ void *hWnd);
int GetDeviceCaps(void *hdc,int nIndex);
short GetDeviceGammaRamp(void *hDC,/*@out@*/ void *lpRamp);
short SetDeviceGammaRamp(void *hDC,void*lpRamp);
int ReleaseDC(/*@null@*/ void *hWnd,void *hDC);
// vim:ft=c