-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsymbol_ut.c
executable file
·88 lines (83 loc) · 2.19 KB
/
symbol_ut.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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
#include <string.h>
#include <assert.h>
#include "symbol.h"
#include "symbol_ut.h"
void tst_symbol()
{
const char* s1 = "s1";
const char* s2 = "s2";
TYPE* symbol1 = mk_symbol(s1);
TYPE* symbol2 = mk_symbol(s2);
TYPE* symbol3 = mk_symbol(s1);
assert(!is_symbol_eq(symbol1, symbol2));
assert(is_symbol_eq(symbol1, symbol3));
mk_symbol("pair?");
mk_symbol("cons");
mk_symbol("car");
mk_symbol("cdr");
mk_symbol("null?");
mk_symbol("number?");
mk_symbol("complex?");
mk_symbol("real?");
mk_symbol("rational?");
mk_symbol("integer?");
mk_symbol("exact?");
mk_symbol("inexact?");
mk_symbol("=");
mk_symbol("<");
mk_symbol(">");
mk_symbol("<=");
mk_symbol(">=");
mk_symbol("zero?");
mk_symbol("positive?");
mk_symbol("negative?");
mk_symbol("odd?");
mk_symbol("even?");
mk_symbol("max?");
mk_symbol("min?");
mk_symbol("+");
mk_symbol("*");
mk_symbol("-");
mk_symbol("/");
mk_symbol("abs");
mk_symbol("quotient");
mk_symbol("remainder");
mk_symbol("modulo");
mk_symbol("gcd");
mk_symbol("lcm");
mk_symbol("boolean?");
mk_symbol("and");
mk_symbol("or");
mk_symbol("not");
mk_symbol("string?");
mk_symbol("make-string");
mk_symbol("string");
mk_symbol("string-length");
mk_symbol("string-ref");
mk_symbol("string-set!");
mk_symbol("string=?");
mk_symbol("string-ci=?");
mk_symbol("string<?");
mk_symbol("string>?");
mk_symbol("string<=?");
mk_symbol("string>=?");
mk_symbol("string-ci<?");
mk_symbol("string-ci>?");
mk_symbol("string-ci<=?");
mk_symbol("string-ci>=?");
mk_symbol("substring");
mk_symbol("string-append");
mk_symbol("string->list");
mk_symbol("string-copy");
mk_symbol("string-fill!");
mk_symbol("vector?");
mk_symbol("make-vector");
mk_symbol("vector");
mk_symbol("vector-length");
mk_symbol("vector-ref");
mk_symbol("vector-set!");
mk_symbol("vector->list");
mk_symbol("list->vector");
mk_symbol("vector-fill!");
mk_symbol("quit");
}