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
|
#include <sollya.h>
int callback(sollya_msg_t msg, void *data) {
(void)data; /* Avoiding "unused parameter" warning */
int message = sollya_lib_get_msg_id(msg);
if (message == SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED)
sollya_lib_printf("The following test is not correctly typed\n");
else
sollya_lib_printf("Unexpected warning\n");
return 0;
}
int main(void) {
sollya_obj_t a, res;
sollya_lib_init();
sollya_lib_install_msg_callback(callback, NULL);
a = sollya_lib_string("Hello world!");
res = sollya_lib_length(a);
sollya_lib_printf("length of %b is %b\n", a, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(res);
a = sollya_lib_parse_string("[|1,2,3,4,5|]");
res = sollya_lib_length(a);
sollya_lib_printf("length of %b is %b\n", a, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(res);
a = sollya_lib_parse_string("[||]");
res = sollya_lib_length(a);
sollya_lib_printf("length of %b is %b\n", a, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(res);
a = sollya_lib_parse_string("[|1,2...|]");
res = sollya_lib_length(a);
sollya_lib_printf("length of %b is %b\n", a, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(res);
a = sollya_lib_parse_string("[1,2]");
res = sollya_lib_length(a);
sollya_lib_printf("length of %b is %b\n", a, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(res);
sollya_lib_close();
return 0;
}
|
