]> andersk Git - splint.git/blob - test/db3/empset.lcs
Fixed test suite (temporarily) to run nested test cases
[splint.git] / test / db3 / empset.lcs
1 %PASSED Output from LCLint 3.0.0.19
2 %LCLimports 
3 %LCLSortTable
4 %LCLsort bool immutable nil nil
5 %LCLsort Bool synonym bool nil
6 %LCLsort int primitive nil nil
7 %LCLsort char primitive nil nil
8 %LCLsort void primitive nil nil
9 %LCLsort _char_Obj obj char nil
10 %LCLsort __char_Obj_Ptr ptr _char_Obj nil
11 %LCLsort __char_Obj_Arr arr _char_Obj nil
12 %LCLsort _char_Vec vec char __char_Obj_Arr
13 %LCLsort float primitive nil nil
14 %LCLsort double primitive nil nil
15 %LCLsort _size_t synonym int nil
16 %LCLsort _wchar_t synonym int nil
17 %LCLsort _sstdlib0s_Struct str sstdlib0s nil
18 %LCLsort quot strMem _int_Obj nil
19 %LCLsort rem strMem _int_Obj nil
20 %LCLsort strEnd nil nil nil
21 %LCLsort _int_Obj obj int nil
22 %LCLsort _sstdlib0s_Struct_Tuple tup _sstdlib0s_Struct nil
23 %LCLsort __sstdlib0s_Struct_Ptr ptr _sstdlib0s_Struct nil
24 %LCLsort __sstdlib0s_Struct_Arr arr _sstdlib0s_Struct nil
25 %LCLsort __sstdlib0s_Struct_Tuple_Vec vec _sstdlib0s_Struct_Tuple __sstdlib0s_Struct_Arr
26 %LCLsort _div_t synonym _sstdlib0s_Struct nil
27 %LCLsort _sstdlib1s_Struct str sstdlib1s nil
28 %LCLsort quot strMem _int_Obj nil
29 %LCLsort rem strMem _int_Obj nil
30 %LCLsort strEnd nil nil nil
31 %LCLsort _sstdlib1s_Struct_Tuple tup _sstdlib1s_Struct nil
32 %LCLsort __sstdlib1s_Struct_Ptr ptr _sstdlib1s_Struct nil
33 %LCLsort __sstdlib1s_Struct_Arr arr _sstdlib1s_Struct nil
34 %LCLsort __sstdlib1s_Struct_Tuple_Vec vec _sstdlib1s_Struct_Tuple __sstdlib1s_Struct_Arr
35 %LCLsort _ldiv_t synonym _sstdlib1s_Struct nil
36 %LCLsort _void_Obj obj void nil
37 %LCLsort __void_Obj_Ptr ptr _void_Obj nil
38 %LCLsort __void_Obj_Arr arr _void_Obj nil
39 %LCLsort _void_Vec vec void __void_Obj_Arr
40 %LCLsort _HOF_sort_32 hof nil nil
41 %LCLsort _HOF_sort_33 hof nil nil
42 %LCLsort __int_Obj_Ptr ptr _int_Obj nil
43 %LCLsort __int_Obj_Arr arr _int_Obj nil
44 %LCLsort _int_Vec vec int __int_Obj_Arr
45 %LCLsort _HOF_sort_37 hof nil nil
46 %LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
47 %LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil
48 %LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil
49 %LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr
50 %LCLsort FILE immutable nil nil
51 %LCLsort _va_list synonym __void_Obj_Ptr nil
52 %LCLsort _fpos_t synonym __void_Obj_Ptr nil
53 %LCLsort _FILE_Obj obj FILE nil
54 %LCLsort __FILE_Obj_Ptr ptr _FILE_Obj nil
55 %LCLsort __FILE_Obj_Arr arr _FILE_Obj nil
56 %LCLsort _FILE_Vec vec FILE __FILE_Obj_Arr
57 %LCLsort ___FILE_Obj_Ptr_Obj obj __FILE_Obj_Ptr nil
58 %LCLsort ___void_Obj_Ptr_Obj obj __void_Obj_Ptr nil
59 %LCLsort ____void_Obj_Ptr_Obj_Ptr ptr ___void_Obj_Ptr_Obj nil
60 %LCLsort ____void_Obj_Ptr_Obj_Arr arr ___void_Obj_Ptr_Obj nil
61 %LCLsort ___void_Obj_Ptr_Vec vec __void_Obj_Ptr ____void_Obj_Ptr_Obj_Arr
62 %LCLsort _eemployee0e_Enum enum eemployee0e nil
63 %LCLsort MALE enumMem nil nil
64 %LCLsort FEMALE enumMem nil nil
65 %LCLsort GENDER_UNKNOWN enumMem nil nil
66 %LCLsort enumEnd nil nil nil
67 %LCLsort _gender synonym _eemployee0e_Enum nil
68 %LCLsort _eemployee1e_Enum enum eemployee1e nil
69 %LCLsort MGR enumMem nil nil
70 %LCLsort NONMGR enumMem nil nil
71 %LCLsort JOB_UNKNOWN enumMem nil nil
72 %LCLsort enumEnd nil nil nil
73 %LCLsort _job synonym _eemployee1e_Enum nil
74 %LCLsort _semployee0s_Struct str semployee0s nil
75 %LCLsort ssNum strMem _int_Obj nil
76 %LCLsort name strMem __char_Obj_Arr nil
77 %LCLsort salary strMem _int_Obj nil
78 %LCLsort gen strMem __eemployee0e_Enum_Obj nil
79 %LCLsort j strMem __eemployee1e_Enum_Obj nil
80 %LCLsort strEnd nil nil nil
81 %LCLsort __eemployee0e_Enum_Obj obj _eemployee0e_Enum nil
82 %LCLsort __eemployee1e_Enum_Obj obj _eemployee1e_Enum nil
83 %LCLsort _semployee0s_Struct_Tuple tup _semployee0s_Struct nil
84 %LCLsort __semployee0s_Struct_Ptr ptr _semployee0s_Struct nil
85 %LCLsort __semployee0s_Struct_Arr arr _semployee0s_Struct nil
86 %LCLsort __semployee0s_Struct_Tuple_Vec vec _semployee0s_Struct_Tuple __semployee0s_Struct_Arr
87 %LCLsort _employee synonym _semployee0s_Struct nil
88 %LCLsort eref immutable nil nil
89 %LCLsort map immutable nil nil
90 %LCLsort _map_Obj obj map nil
91 %LCLsort empset immutable nil nil
92 %LCLsort _empset_Obj mutable empset nil
93 %LCLSortTableEnd
94 %LCLSymbolTable
95 %LCLop min :int, int -> int
96 %LCLop max :int, int -> int
97 %LCLop 0 : -> int
98 %LCLop 0 : -> double
99 %LCLop 1 : -> int
100 %LCLop 1 : -> double
101 %LCLop if __ then __ else __  :bool, bool, bool -> bool
102 %LCLop if __ then __ else __  :bool, int, int -> int
103 %LCLop if __ then __ else __  :bool, double, double -> double
104 %LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
105 %LCLop if __ then __ else __  :bool, char, char -> char
106 %LCLop __ < __  :int, int -> bool
107 %LCLop __ < __  :double, double -> bool
108 %LCLop empty : -> _char_Vec
109 %LCLop __ > __  :int, int -> bool
110 %LCLop __ > __  :double, double -> bool
111 %LCLop count :char, _char_Vec -> int
112 %LCLop head :_char_Vec -> char
113 %LCLop __ \inv :double -> double
114 %LCLop init :_char_Vec -> _char_Vec
115 %LCLop isEmpty :_char_Vec -> bool
116 %LCLop last :_char_Vec -> char
117 %LCLop len :_char_Vec -> int
118 %LCLop prefix :_char_Vec, int -> _char_Vec
119 %LCLop __ / __  :double, double -> double
120 %LCLop __ \implies __  :bool, bool -> bool
121 %LCLop removePrefix :_char_Vec, int -> _char_Vec
122 %LCLop substring :_char_Vec, int, int -> _char_Vec
123 %LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
124 %LCLop tail :_char_Vec -> _char_Vec
125 %LCLop __ \in __  :char, _char_Vec -> bool
126 %LCLop nullTerminated :_char_Vec -> bool
127 %LCLop throughNull :_char_Vec -> _char_Vec
128 %LCLop sameStr :_char_Vec, _char_Vec -> bool
129 %LCLop lenStr :_char_Vec -> int
130 %LCLop times10plus :int, int -> int
131 %LCLop plus1 :int -> int
132 %LCLop 2 : -> int
133 %LCLop 3 : -> int
134 %LCLop 4 : -> int
135 %LCLop 5 : -> int
136 %LCLop 6 : -> int
137 %LCLop 7 : -> int
138 %LCLop 8 : -> int
139 %LCLop 9 : -> int
140 %LCLtag sstdlib0s struct
141 %LCLop __ * __  :int, int -> int
142 %LCLop __ * __  :double, double -> double
143 %LCLop true : -> bool
144 %LCLop false : -> bool
145 %LCLop __ \and __  :bool, bool -> bool
146 %LCLop __ \or __  :bool, bool -> bool
147 %LCLtag sstdlib1s struct
148 %LCLop __ \eq __  :bool, bool -> bool
149 %LCLop __ \eq __  :int, int -> bool
150 %LCLop __ \eq __  :double, double -> bool
151 %LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
152 %LCLop __ \eq __  :char, char -> bool
153 %LCLop \not __  :bool -> bool
154 %LCLop __ \neq __  :bool, bool -> bool
155 %LCLop __ \neq __  :int, int -> bool
156 %LCLop __ \neq __  :double, double -> bool
157 %LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
158 %LCLop __ \neq __  :char, char -> bool
159 %LCLop MALE : -> _eemployee0e_Enum
160 %LCLop { __ } :char -> _char_Vec
161 %LCLop FEMALE : -> _eemployee0e_Enum
162 %LCLop GENDER_UNKNOWN : -> _eemployee0e_Enum
163 %LCLtag eemployee0e enum
164 %LCLop MGR : -> _eemployee1e_Enum
165 %LCLop NONMGR : -> _eemployee1e_Enum
166 %LCLop JOB_UNKNOWN : -> _eemployee1e_Enum
167 %LCLtag eemployee1e enum
168 %LCLop [__, __] :int, int -> _sstdlib0s_Struct_Tuple
169 %LCLop [__, __] :int, int -> _sstdlib1s_Struct_Tuple
170 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
171 %LCLop __ [] :__sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Arr
172 %LCLop __ [] :__sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Arr
173 %LCLop __ [] :__void_Obj_Ptr -> __void_Obj_Arr
174 %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
175 %LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
176 %LCLop __ [] :__FILE_Obj_Ptr -> __FILE_Obj_Arr
177 %LCLop __ [] :____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Arr
178 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
179 %LCLop __ |- __  :_char_Vec, char -> _char_Vec
180 %LCLop __ [__] :_char_Vec, int -> char
181 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
182 %LCLop __ [__] :__sstdlib0s_Struct_Tuple_Vec, int -> _sstdlib0s_Struct_Tuple
183 %LCLop __ [__] :__sstdlib0s_Struct_Arr, int -> _sstdlib0s_Struct
184 %LCLop __ [__] :__sstdlib1s_Struct_Tuple_Vec, int -> _sstdlib1s_Struct_Tuple
185 %LCLop __ [__] :__sstdlib1s_Struct_Arr, int -> _sstdlib1s_Struct
186 %LCLop __ [__] :_void_Vec, int -> void
187 %LCLop __ [__] :__void_Obj_Arr, int -> _void_Obj
188 %LCLop __ [__] :_int_Vec, int -> int
189 %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
190 %LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
191 %LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
192 %LCLop __ [__] :_FILE_Vec, int -> FILE
193 %LCLop __ [__] :__FILE_Obj_Arr, int -> _FILE_Obj
194 %LCLop __ [__] :___void_Obj_Ptr_Vec, int -> __void_Obj_Ptr
195 %LCLop __ [__] :____void_Obj_Ptr_Obj_Arr, int -> ___void_Obj_Ptr_Obj
196 %LCLop __ [__] :__semployee0s_Struct_Tuple_Vec, int -> _semployee0s_Struct_Tuple
197 %LCLop __ [__] :__semployee0s_Struct_Arr, int -> _semployee0s_Struct
198 %LCLop __ -| __  :char, _char_Vec -> _char_Vec
199 %LCLop [__, __, __, __, __] :_eemployee1e_Enum, _eemployee0e_Enum, int, _char_Vec, int -> _semployee0s_Struct_Tuple
200 %LCLop __ \select quot :_sstdlib0s_Struct_Tuple -> int
201 %LCLop __ \select quot :_sstdlib0s_Struct -> _int_Obj
202 %LCLop __ \select quot :_sstdlib1s_Struct_Tuple -> int
203 %LCLop __ \select quot :_sstdlib1s_Struct -> _int_Obj
204 %LCLtag semployee0s struct
205 %LCLop __ \leq __  :int, int -> bool
206 %LCLop __ \leq __  :double, double -> bool
207 %LCLop __ \field_arrow quot :__sstdlib0s_Struct_Ptr -> _int_Obj
208 %LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
209 %LCLop __ \select rem :_sstdlib0s_Struct_Tuple -> int
210 %LCLop __ \select rem :_sstdlib0s_Struct -> _int_Obj
211 %LCLop __ \select rem :_sstdlib1s_Struct_Tuple -> int
212 %LCLop __ \select rem :_sstdlib1s_Struct -> _int_Obj
213 %LCLop __ \geq __  :int, int -> bool
214 %LCLop __ \geq __  :double, double -> bool
215 %LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
216 %LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
217 %LCLop null : -> char
218 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
219 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
220 %LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
221 %LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
222 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
223 %LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
224 %LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
225 %LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
226 %LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
227 %LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
228 %LCLop NIL : -> __char_Obj_Ptr
229 %LCLop NIL : -> __sstdlib0s_Struct_Ptr
230 %LCLop NIL : -> __sstdlib1s_Struct_Ptr
231 %LCLop NIL : -> __void_Obj_Ptr
232 %LCLop NIL : -> __int_Obj_Ptr
233 %LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
234 %LCLop NIL : -> __FILE_Obj_Ptr
235 %LCLop NIL : -> ____void_Obj_Ptr_Obj_Ptr
236 %LCLop NIL : -> __semployee0s_Struct_Ptr
237 %LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
238 %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
239 %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
240 %LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
241 %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
242 %LCLop - __  :int -> int
243 %LCLop - __  :double -> double
244 %LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
245 %LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
246 %LCLop __ + __  :int, int -> int
247 %LCLop __ + __  :double, double -> double
248 %LCLop __ + __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
249 %LCLop __ + __  :int, __sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Ptr
250 %LCLop __ + __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
251 %LCLop __ + __  :int, __sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Ptr
252 %LCLop __ + __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
253 %LCLop __ + __  :int, __void_Obj_Ptr -> __void_Obj_Ptr
254 %LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
255 %LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
256 %LCLop __ + __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
257 %LCLop __ + __  :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
258 %LCLop __ + __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
259 %LCLop __ + __  :int, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
260 %LCLop __ + __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
261 %LCLop __ + __  :int, ____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Ptr
262 %LCLop __ + __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
263 %LCLop __ + __  :int, __semployee0s_Struct_Ptr -> __semployee0s_Struct_Ptr
264 %LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
265 %LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
266 %LCLop __ - __  :int, int -> int
267 %LCLop __ - __  :double, double -> double
268 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
269 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, __sstdlib0s_Struct_Ptr -> int
270 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
271 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, __sstdlib1s_Struct_Ptr -> int
272 %LCLop __ - __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
273 %LCLop __ - __  :__void_Obj_Ptr, __void_Obj_Ptr -> int
274 %LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
275 %LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
276 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
277 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
278 %LCLop __ - __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
279 %LCLop __ - __  :__FILE_Obj_Ptr, __FILE_Obj_Ptr -> int
280 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
281 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
282 %LCLop __ - __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
283 %LCLop __ - __  :__semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> int
284 %LCLop sizeof :bool -> int
285 %LCLop sizeof :int -> int
286 %LCLop sizeof :char -> int
287 %LCLop sizeof :void -> int
288 %LCLop sizeof :float -> int
289 %LCLop sizeof :double -> int
290 %LCLop sizeof :FILE -> int
291 %LCLop sizeof :_eemployee0e_Enum -> int
292 %LCLop sizeof :_eemployee1e_Enum -> int
293 %LCLop sizeof :eref -> int
294 %LCLop sizeof :map -> int
295 %LCLop sizeof :empset -> int
296 %LCLop isSub :_char_Vec, int -> bool
297 %LCLop isSub :__char_Obj_Arr, int -> bool
298 %LCLop isSub :__sstdlib0s_Struct_Tuple_Vec, int -> bool
299 %LCLop isSub :__sstdlib0s_Struct_Arr, int -> bool
300 %LCLop isSub :__sstdlib1s_Struct_Tuple_Vec, int -> bool
301 %LCLop isSub :__sstdlib1s_Struct_Arr, int -> bool
302 %LCLop isSub :_void_Vec, int -> bool
303 %LCLop isSub :__void_Obj_Arr, int -> bool
304 %LCLop isSub :_int_Vec, int -> bool
305 %LCLop isSub :__int_Obj_Arr, int -> bool
306 %LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
307 %LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
308 %LCLop isSub :_FILE_Vec, int -> bool
309 %LCLop isSub :__FILE_Obj_Arr, int -> bool
310 %LCLop isSub :___void_Obj_Ptr_Vec, int -> bool
311 %LCLop isSub :____void_Obj_Ptr_Obj_Arr, int -> bool
312 %LCLop isSub :__semployee0s_Struct_Tuple_Vec, int -> bool
313 %LCLop isSub :__semployee0s_Struct_Arr, int -> bool
314 %LCLop succ :int -> int
315 %LCLop pred :int -> int
316 %LCLop abs :int -> int
317 %LCLop abs :double -> double
318 %LCLop div :int, int -> int
319 %LCLop mod :int, int -> int
320 %LCLtype float float exposed
321 %LCLtype bool bool immutable
322 %LCLconst FALSE bool
323 %LCLconst TRUE bool
324 %LCLtype float float exposed
325 %LCLtype bool bool immutable
326 %LCLconst FALSE bool
327 %LCLconst TRUE bool
328 %LCLtype float float exposed
329 %LCLtype bool bool immutable
330 %LCLconst FALSE bool
331 %LCLconst TRUE bool
332 %LCLtype float float exposed
333 %LCLtype bool bool immutable
334 %LCLconst FALSE bool
335 %LCLconst TRUE bool
336 %LCLtype size_t _size_t exposed
337 %LCLtype wchar_t _wchar_t exposed
338 %LCLtype div_t _div_t exposed
339 %LCLtype ldiv_t _ldiv_t exposed
340 %LCLconst NULL __void_Obj_Ptr
341 %LCLconst EXIT_FAILURE int
342 %LCLconst EXIT_SUCCESS int
343 %LCLconst RAND_MAX int
344 %LCLconst MB_CUR_MAX int
345 %LCLfcn abort :  -> void 
346 %LCLfcnGlobals 
347 %LCLfcn abs : int -> int 
348 %LCLfcnGlobals 
349 %LCLfcn atexit : _HOF_sort_32 -> int 
350 %LCLfcnGlobals 
351 %LCLfcn atof : __char_Obj_Ptr -> double 
352 %LCLfcnGlobals 
353 %LCLfcn atoi : __char_Obj_Ptr -> int 
354 %LCLfcnGlobals 
355 %LCLfcn atol : __char_Obj_Ptr -> int 
356 %LCLfcnGlobals 
357 %LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr 
358 %LCLfcnGlobals 
359 %LCLfcn calloc : int, int -> __void_Obj_Ptr 
360 %LCLfcnGlobals 
361 %LCLfcn div : int, int -> _sstdlib0s_Struct 
362 %LCLfcnGlobals 
363 %LCLfcn exit : int -> void 
364 %LCLfcnGlobals 
365 %LCLfcn free : __void_Obj_Ptr -> void 
366 %LCLfcnGlobals 
367 %LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr 
368 %LCLfcnGlobals 
369 %LCLfcn labs : int -> int 
370 %LCLfcnGlobals 
371 %LCLfcn ldiv : int, int -> _sstdlib1s_Struct 
372 %LCLfcnGlobals 
373 %LCLfcn malloc : int -> __void_Obj_Ptr 
374 %LCLfcnGlobals 
375 %LCLfcn mblen : __char_Obj_Ptr, int -> int 
376 %LCLfcnGlobals 
377 %LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
378 %LCLfcnGlobals 
379 %LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
380 %LCLfcnGlobals 
381 %LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void 
382 %LCLfcnGlobals 
383 %LCLfcn rand :  -> int 
384 %LCLfcnGlobals 
385 %LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr 
386 %LCLfcnGlobals 
387 %LCLfcn srand : int -> void 
388 %LCLfcnGlobals 
389 %LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double 
390 %LCLfcnGlobals 
391 %LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
392 %LCLfcnGlobals 
393 %LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
394 %LCLfcnGlobals 
395 %LCLfcn system : __char_Obj_Ptr -> int 
396 %LCLfcnGlobals 
397 %LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int 
398 %LCLfcnGlobals 
399 %LCLfcn wctomb : __char_Obj_Ptr, int -> int 
400 %LCLfcnGlobals 
401 %LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void 
402 %LCLfcnGlobals 
403 %LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool 
404 %LCLfcnGlobals 
405 %LCLfcn bzero : __char_Obj_Ptr, int -> void 
406 %LCLfcnGlobals 
407 %LCLfcn ffs : int -> int 
408 %LCLfcnGlobals 
409 %LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
410 %LCLfcnGlobals 
411 %LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
412 %LCLfcnGlobals 
413 %LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool 
414 %LCLfcnGlobals 
415 %LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
416 %LCLfcnGlobals 
417 %LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
418 %LCLfcnGlobals 
419 %LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
420 %LCLfcnGlobals 
421 %LCLtype FILE FILE immutable
422 %LCLtype va_list _va_list exposed
423 %LCLtype fpos_t _fpos_t exposed
424 %LCLvar stdin ___FILE_Obj_Ptr_Obj
425 %LCLvar stdout ___FILE_Obj_Ptr_Obj
426 %LCLvar stderr ___FILE_Obj_Ptr_Obj
427 %LCLconst EOF int
428 %LCLfcn getc : __FILE_Obj_Ptr -> int 
429 %LCLfcnGlobals 
430 %LCLfcn getchar :  -> int 
431 %LCLfcnGlobals 
432 %LCLfcn putc : int, __FILE_Obj_Ptr -> int 
433 %LCLfcnGlobals 
434 %LCLfcn putchar : int -> int 
435 %LCLfcnGlobals 
436 %LCLfcn feof : __FILE_Obj_Ptr -> int 
437 %LCLfcnGlobals 
438 %LCLfcn ferror : __FILE_Obj_Ptr -> int 
439 %LCLfcnGlobals 
440 %LCLfcn fileno : __FILE_Obj_Ptr -> int 
441 %LCLfcnGlobals 
442 %LCLfcn _filbuf : __FILE_Obj_Ptr -> int 
443 %LCLfcnGlobals 
444 %LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int 
445 %LCLfcnGlobals 
446 %LCLfcn clearerr : __FILE_Obj_Ptr -> void 
447 %LCLfcnGlobals 
448 %LCLfcn fclose : __FILE_Obj_Ptr -> int 
449 %LCLfcnGlobals 
450 %LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr 
451 %LCLfcnGlobals 
452 %LCLfcn fflush : __FILE_Obj_Ptr -> int 
453 %LCLfcnGlobals 
454 %LCLfcn fgetc : __FILE_Obj_Ptr -> int 
455 %LCLfcnGlobals 
456 %LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
457 %LCLfcnGlobals 
458 %LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr 
459 %LCLfcnGlobals 
460 %LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
461 %LCLfcnGlobals 
462 %LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
463 %LCLfcnGlobals 
464 %LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
465 %LCLfcnGlobals 
466 %LCLfcn fputc : int, __FILE_Obj_Ptr -> int 
467 %LCLfcnGlobals 
468 %LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int 
469 %LCLfcnGlobals 
470 %LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
471 %LCLfcnGlobals 
472 %LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr 
473 %LCLfcnGlobals 
474 %LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
475 %LCLfcnGlobals 
476 %LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int 
477 %LCLfcnGlobals 
478 %LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
479 %LCLfcnGlobals 
480 %LCLfcn ftell : __FILE_Obj_Ptr -> int 
481 %LCLfcnGlobals 
482 %LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
483 %LCLfcnGlobals 
484 %LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr 
485 %LCLfcnGlobals 
486 %LCLfcn perror : __char_Obj_Ptr -> void 
487 %LCLfcnGlobals 
488 %LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
489 %LCLfcnGlobals 
490 %LCLfcn ungetc : char, __FILE_Obj_Ptr -> int 
491 %LCLfcnGlobals 
492 %LCLfcn printf : __char_Obj_Ptr -> int 
493 %LCLfcnGlobals 
494 %LCLfcn puts : __char_Obj_Ptr -> int 
495 %LCLfcnGlobals 
496 %LCLfcn remove : __char_Obj_Ptr -> int 
497 %LCLfcnGlobals 
498 %LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int 
499 %LCLfcnGlobals 
500 %LCLfcn rewind : __FILE_Obj_Ptr -> void 
501 %LCLfcnGlobals 
502 %LCLfcn scanf : __char_Obj_Ptr -> int 
503 %LCLfcnGlobals 
504 %LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void 
505 %LCLfcnGlobals 
506 %LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int 
507 %LCLfcnGlobals 
508 %LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int 
509 %LCLfcnGlobals 
510 %LCLfcn tmpfile :  -> __FILE_Obj_Ptr 
511 %LCLfcnGlobals 
512 %LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr 
513 %LCLfcnGlobals 
514 %LCLconst maxEmployeeName int
515 %LCLconst employeePrintSize int
516 %LCLenumConst MALE _eemployee0e_Enum
517 %LCLenumConst FEMALE _eemployee0e_Enum
518 %LCLenumConst GENDER_UNKNOWN _eemployee0e_Enum
519 %LCLtype gender _gender exposed
520 %LCLenumConst MGR _eemployee1e_Enum
521 %LCLenumConst NONMGR _eemployee1e_Enum
522 %LCLenumConst JOB_UNKNOWN _eemployee1e_Enum
523 %LCLtype job _job exposed
524 %LCLtype employee _employee exposed
525 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void 
526 %LCLfcnGlobals 
527 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool 
528 %LCLfcnGlobals 
529 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool 
530 %LCLfcnGlobals 
531 %LCLfcn employee_initMod :  -> void 
532 %LCLfcnGlobals 
533 %LCLtype empset _empset_Obj mutable
534 %LCLfcn empset_create :  -> _empset_Obj 
535 %LCLfcnGlobals 
536 %LCLfcn empset_final : _empset_Obj -> void 
537 %LCLfcnGlobals 
538 %LCLfcn empset_clear : _empset_Obj -> void 
539 %LCLfcnGlobals 
540 %LCLfcn empset_insert : _empset_Obj, _semployee0s_Struct_Tuple -> bool 
541 %LCLfcnGlobals 
542 %LCLfcn empset_insertUnique : _empset_Obj, _semployee0s_Struct_Tuple -> void 
543 %LCLfcnGlobals 
544 %LCLfcn empset_delete : _empset_Obj, _semployee0s_Struct_Tuple -> bool 
545 %LCLfcnGlobals 
546 %LCLfcn empset_union : _empset_Obj, _empset_Obj -> _empset_Obj 
547 %LCLfcnGlobals 
548 %LCLfcn empset_disjointUnion : _empset_Obj, _empset_Obj -> _empset_Obj 
549 %LCLfcnGlobals 
550 %LCLfcn empset_intersect : _empset_Obj, _empset_Obj -> void 
551 %LCLfcnGlobals 
552 %LCLfcn empset_size : _empset_Obj -> int 
553 %LCLfcnGlobals 
554 %LCLfcn empset_member : _semployee0s_Struct_Tuple, _empset_Obj -> bool 
555 %LCLfcnGlobals 
556 %LCLfcn empset_subset : _empset_Obj, _empset_Obj -> bool 
557 %LCLfcnGlobals 
558 %LCLfcn empset_choose : _empset_Obj -> _semployee0s_Struct 
559 %LCLfcnGlobals 
560 %LCLfcn empset_sprint : _empset_Obj -> __char_Obj_Ptr 
561 %LCLfcnGlobals 
562 %LCLfcn empset_initMod :  -> void 
563 %LCLfcnGlobals 
564 %LCLSymbolTableEnd
This page took 1.552507 seconds and 5 git commands to generate.