]> andersk Git - splint.git/blob - test/db2/dbase.lcs
Added additional tests for buffer overflow detection fixes to the test suite.
[splint.git] / test / db2 / dbase.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 rem strMem _int_Obj nil
19 %LCLsort quot 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 rem strMem _int_Obj nil
29 %LCLsort quot 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 gender_ANY enumMem nil nil
64 %LCLsort FEMALE enumMem nil nil
65 %LCLsort MALE 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 job_ANY enumMem nil nil
70 %LCLsort NONMGR enumMem nil nil
71 %LCLsort MGR 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 j strMem __eemployee1e_Enum_Obj nil
76 %LCLsort gen strMem __eemployee0e_Enum_Obj nil
77 %LCLsort salary strMem _int_Obj nil
78 %LCLsort name strMem __char_Obj_Arr nil
79 %LCLsort ssNum strMem _int_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 empset immutable nil nil
89 %LCLsort _empset_Obj mutable empset nil
90 %LCLsort _sdbase0s_Struct str sdbase0s nil
91 %LCLsort h strMem _int_Obj nil
92 %LCLsort l strMem _int_Obj nil
93 %LCLsort j strMem __eemployee1e_Enum_Obj nil
94 %LCLsort g strMem __eemployee0e_Enum_Obj nil
95 %LCLsort strEnd nil nil nil
96 %LCLsort _sdbase0s_Struct_Tuple tup _sdbase0s_Struct nil
97 %LCLsort __sdbase0s_Struct_Ptr ptr _sdbase0s_Struct nil
98 %LCLsort __sdbase0s_Struct_Arr arr _sdbase0s_Struct nil
99 %LCLsort __sdbase0s_Struct_Tuple_Vec vec _sdbase0s_Struct_Tuple __sdbase0s_Struct_Arr
100 %LCLsort _db_q synonym _sdbase0s_Struct nil
101 %LCLsort _edbase0e_Enum enum edbase0e nil
102 %LCLsort missERR enumMem nil nil
103 %LCLsort duplERR enumMem nil nil
104 %LCLsort jobERR enumMem nil nil
105 %LCLsort genderERR enumMem nil nil
106 %LCLsort salERR enumMem nil nil
107 %LCLsort db_OK enumMem nil nil
108 %LCLsort enumEnd nil nil nil
109 %LCLsort _db_status synonym _edbase0e_Enum nil
110 %LCLsort db immutable nil nil
111 %LCLsort _db_Obj obj db nil
112 %LCLSortTableEnd
113 %LCLSymbolTable
114 %LCLop missERR : -> _edbase0e_Enum
115 %LCLop min :int, int -> int
116 %LCLop max :int, int -> int
117 %LCLop 0 : -> int
118 %LCLop 0 : -> double
119 %LCLop 1 : -> int
120 %LCLop 1 : -> double
121 %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
122 %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
123 %LCLop __ \select j :_sdbase0s_Struct_Tuple -> _eemployee1e_Enum
124 %LCLop __ \select j :_sdbase0s_Struct -> __eemployee1e_Enum_Obj
125 %LCLop if __ then __ else __  :bool, bool, bool -> bool
126 %LCLop if __ then __ else __  :bool, int, int -> int
127 %LCLop if __ then __ else __  :bool, double, double -> double
128 %LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
129 %LCLop if __ then __ else __  :bool, char, char -> char
130 %LCLop __ < __  :int, int -> bool
131 %LCLop __ < __  :double, double -> bool
132 %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
133 %LCLop __ \field_arrow j :__sdbase0s_Struct_Ptr -> __eemployee1e_Enum_Obj
134 %LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
135 %LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
136 %LCLop empty : -> _char_Vec
137 %LCLop __ > __  :int, int -> bool
138 %LCLop __ > __  :double, double -> bool
139 %LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
140 %LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
141 %LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
142 %LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
143 %LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
144 %LCLop count :char, _char_Vec -> int
145 %LCLop __ \select g :_sdbase0s_Struct_Tuple -> _eemployee0e_Enum
146 %LCLop __ \select g :_sdbase0s_Struct -> __eemployee0e_Enum_Obj
147 %LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
148 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
149 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
150 %LCLop head :_char_Vec -> char
151 %LCLop __ \inv :double -> double
152 %LCLop __ \select l :_sdbase0s_Struct_Tuple -> int
153 %LCLop __ \select l :_sdbase0s_Struct -> _int_Obj
154 %LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
155 %LCLop init :_char_Vec -> _char_Vec
156 %LCLop __ \field_arrow g :__sdbase0s_Struct_Ptr -> __eemployee0e_Enum_Obj
157 %LCLop __ \select h :_sdbase0s_Struct_Tuple -> int
158 %LCLop __ \select h :_sdbase0s_Struct -> _int_Obj
159 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
160 %LCLop isEmpty :_char_Vec -> bool
161 %LCLop __ \field_arrow l :__sdbase0s_Struct_Ptr -> _int_Obj
162 %LCLop last :_char_Vec -> char
163 %LCLop __ \field_arrow h :__sdbase0s_Struct_Ptr -> _int_Obj
164 %LCLop len :_char_Vec -> int
165 %LCLop prefix :_char_Vec, int -> _char_Vec
166 %LCLop __ / __  :double, double -> double
167 %LCLop __ \implies __  :bool, bool -> bool
168 %LCLop removePrefix :_char_Vec, int -> _char_Vec
169 %LCLop substring :_char_Vec, int, int -> _char_Vec
170 %LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
171 %LCLop tail :_char_Vec -> _char_Vec
172 %LCLop __ \in __  :char, _char_Vec -> bool
173 %LCLop nullTerminated :_char_Vec -> bool
174 %LCLop throughNull :_char_Vec -> _char_Vec
175 %LCLop sameStr :_char_Vec, _char_Vec -> bool
176 %LCLop lenStr :_char_Vec -> int
177 %LCLop times10plus :int, int -> int
178 %LCLop plus1 :int -> int
179 %LCLop 2 : -> int
180 %LCLop 3 : -> int
181 %LCLop 4 : -> int
182 %LCLop 5 : -> int
183 %LCLop 6 : -> int
184 %LCLop 7 : -> int
185 %LCLop 8 : -> int
186 %LCLop 9 : -> int
187 %LCLop __ * __  :int, int -> int
188 %LCLop __ * __  :double, double -> double
189 %LCLtag sstdlib0s struct
190 %LCLop true : -> bool
191 %LCLop false : -> bool
192 %LCLop __ \and __  :bool, bool -> bool
193 %LCLop __ \or __  :bool, bool -> bool
194 %LCLop __ \eq __  :bool, bool -> bool
195 %LCLop __ \eq __  :int, int -> bool
196 %LCLop __ \eq __  :double, double -> bool
197 %LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
198 %LCLop __ \eq __  :char, char -> bool
199 %LCLop \not __  :bool -> bool
200 %LCLop __ \neq __  :bool, bool -> bool
201 %LCLop __ \neq __  :int, int -> bool
202 %LCLop __ \neq __  :double, double -> bool
203 %LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
204 %LCLop __ \neq __  :char, char -> bool
205 %LCLtag sstdlib1s struct
206 %LCLop { __ } :char -> _char_Vec
207 %LCLop [__, __] :int, int -> _sstdlib0s_Struct_Tuple
208 %LCLop [__, __] :int, int -> _sstdlib1s_Struct_Tuple
209 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
210 %LCLop __ [] :__sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Arr
211 %LCLop __ [] :__sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Arr
212 %LCLop __ [] :__void_Obj_Ptr -> __void_Obj_Arr
213 %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
214 %LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
215 %LCLop __ [] :__FILE_Obj_Ptr -> __FILE_Obj_Arr
216 %LCLop __ [] :____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Arr
217 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
218 %LCLop __ [] :__sdbase0s_Struct_Ptr -> __sdbase0s_Struct_Arr
219 %LCLop __ |- __  :_char_Vec, char -> _char_Vec
220 %LCLop __ [__] :_char_Vec, int -> char
221 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
222 %LCLop __ [__] :__sstdlib0s_Struct_Tuple_Vec, int -> _sstdlib0s_Struct_Tuple
223 %LCLop __ [__] :__sstdlib0s_Struct_Arr, int -> _sstdlib0s_Struct
224 %LCLop __ [__] :__sstdlib1s_Struct_Tuple_Vec, int -> _sstdlib1s_Struct_Tuple
225 %LCLop __ [__] :__sstdlib1s_Struct_Arr, int -> _sstdlib1s_Struct
226 %LCLop __ [__] :_void_Vec, int -> void
227 %LCLop __ [__] :__void_Obj_Arr, int -> _void_Obj
228 %LCLop __ [__] :_int_Vec, int -> int
229 %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
230 %LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
231 %LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
232 %LCLop __ [__] :_FILE_Vec, int -> FILE
233 %LCLop __ [__] :__FILE_Obj_Arr, int -> _FILE_Obj
234 %LCLop __ [__] :___void_Obj_Ptr_Vec, int -> __void_Obj_Ptr
235 %LCLop __ [__] :____void_Obj_Ptr_Obj_Arr, int -> ___void_Obj_Ptr_Obj
236 %LCLop __ [__] :__semployee0s_Struct_Tuple_Vec, int -> _semployee0s_Struct_Tuple
237 %LCLop __ [__] :__semployee0s_Struct_Arr, int -> _semployee0s_Struct
238 %LCLop __ [__] :__sdbase0s_Struct_Tuple_Vec, int -> _sdbase0s_Struct_Tuple
239 %LCLop __ [__] :__sdbase0s_Struct_Arr, int -> _sdbase0s_Struct
240 %LCLop __ -| __  :char, _char_Vec -> _char_Vec
241 %LCLop [__, __, __, __] :int, int, _eemployee1e_Enum, _eemployee0e_Enum -> _sdbase0s_Struct_Tuple
242 %LCLop [__, __, __, __, __] :_eemployee1e_Enum, _eemployee0e_Enum, int, _char_Vec, int -> _semployee0s_Struct_Tuple
243 %LCLop __ \leq __  :int, int -> bool
244 %LCLop __ \leq __  :double, double -> bool
245 %LCLop __ \select rem :_sstdlib0s_Struct_Tuple -> int
246 %LCLop __ \select rem :_sstdlib0s_Struct -> _int_Obj
247 %LCLop __ \select rem :_sstdlib1s_Struct_Tuple -> int
248 %LCLop __ \select rem :_sstdlib1s_Struct -> _int_Obj
249 %LCLop __ \geq __  :int, int -> bool
250 %LCLop __ \geq __  :double, double -> bool
251 %LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
252 %LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
253 %LCLop __ \select quot :_sstdlib0s_Struct_Tuple -> int
254 %LCLop __ \select quot :_sstdlib0s_Struct -> _int_Obj
255 %LCLop __ \select quot :_sstdlib1s_Struct_Tuple -> int
256 %LCLop __ \select quot :_sstdlib1s_Struct -> _int_Obj
257 %LCLop __ \field_arrow quot :__sstdlib0s_Struct_Ptr -> _int_Obj
258 %LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
259 %LCLop null : -> char
260 %LCLtag eemployee0e enum
261 %LCLop gender_ANY : -> _eemployee0e_Enum
262 %LCLop FEMALE : -> _eemployee0e_Enum
263 %LCLop MALE : -> _eemployee0e_Enum
264 %LCLtag eemployee1e enum
265 %LCLop job_ANY : -> _eemployee1e_Enum
266 %LCLop NONMGR : -> _eemployee1e_Enum
267 %LCLop MGR : -> _eemployee1e_Enum
268 %LCLtag semployee0s struct
269 %LCLop NIL : -> __char_Obj_Ptr
270 %LCLop NIL : -> __sstdlib0s_Struct_Ptr
271 %LCLop NIL : -> __sstdlib1s_Struct_Ptr
272 %LCLop NIL : -> __void_Obj_Ptr
273 %LCLop NIL : -> __int_Obj_Ptr
274 %LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
275 %LCLop NIL : -> __FILE_Obj_Ptr
276 %LCLop NIL : -> ____void_Obj_Ptr_Obj_Ptr
277 %LCLop NIL : -> __semployee0s_Struct_Ptr
278 %LCLop NIL : -> __sdbase0s_Struct_Ptr
279 %LCLop - __  :int -> int
280 %LCLop - __  :double -> double
281 %LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
282 %LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
283 %LCLop __ + __  :int, int -> int
284 %LCLop __ + __  :double, double -> double
285 %LCLop __ + __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
286 %LCLop __ + __  :int, __sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Ptr
287 %LCLop __ + __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
288 %LCLop __ + __  :int, __sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Ptr
289 %LCLop __ + __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
290 %LCLop __ + __  :int, __void_Obj_Ptr -> __void_Obj_Ptr
291 %LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
292 %LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
293 %LCLop __ + __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
294 %LCLop __ + __  :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
295 %LCLop __ + __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
296 %LCLop __ + __  :int, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
297 %LCLop __ + __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
298 %LCLop __ + __  :int, ____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Ptr
299 %LCLop __ + __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
300 %LCLop __ + __  :int, __semployee0s_Struct_Ptr -> __semployee0s_Struct_Ptr
301 %LCLop __ + __  :__sdbase0s_Struct_Ptr, int -> __sdbase0s_Struct_Ptr
302 %LCLop __ + __  :int, __sdbase0s_Struct_Ptr -> __sdbase0s_Struct_Ptr
303 %LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
304 %LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
305 %LCLop __ - __  :int, int -> int
306 %LCLop __ - __  :double, double -> double
307 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
308 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, __sstdlib0s_Struct_Ptr -> int
309 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
310 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, __sstdlib1s_Struct_Ptr -> int
311 %LCLop __ - __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
312 %LCLop __ - __  :__void_Obj_Ptr, __void_Obj_Ptr -> int
313 %LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
314 %LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
315 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
316 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
317 %LCLop __ - __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
318 %LCLop __ - __  :__FILE_Obj_Ptr, __FILE_Obj_Ptr -> int
319 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
320 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
321 %LCLop __ - __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
322 %LCLop __ - __  :__semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> int
323 %LCLop __ - __  :__sdbase0s_Struct_Ptr, int -> __sdbase0s_Struct_Ptr
324 %LCLop __ - __  :__sdbase0s_Struct_Ptr, __sdbase0s_Struct_Ptr -> int
325 %LCLop sizeof :bool -> int
326 %LCLop sizeof :int -> int
327 %LCLop sizeof :char -> int
328 %LCLop sizeof :void -> int
329 %LCLop sizeof :float -> int
330 %LCLop sizeof :double -> int
331 %LCLop sizeof :FILE -> int
332 %LCLop sizeof :_eemployee0e_Enum -> int
333 %LCLop sizeof :_eemployee1e_Enum -> int
334 %LCLop sizeof :empset -> int
335 %LCLop sizeof :_edbase0e_Enum -> int
336 %LCLop sizeof :db -> int
337 %LCLop isSub :_char_Vec, int -> bool
338 %LCLop isSub :__char_Obj_Arr, int -> bool
339 %LCLop isSub :__sstdlib0s_Struct_Tuple_Vec, int -> bool
340 %LCLop isSub :__sstdlib0s_Struct_Arr, int -> bool
341 %LCLop isSub :__sstdlib1s_Struct_Tuple_Vec, int -> bool
342 %LCLop isSub :__sstdlib1s_Struct_Arr, int -> bool
343 %LCLop isSub :_void_Vec, int -> bool
344 %LCLop isSub :__void_Obj_Arr, int -> bool
345 %LCLop isSub :_int_Vec, int -> bool
346 %LCLop isSub :__int_Obj_Arr, int -> bool
347 %LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
348 %LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
349 %LCLop isSub :_FILE_Vec, int -> bool
350 %LCLop isSub :__FILE_Obj_Arr, int -> bool
351 %LCLop isSub :___void_Obj_Ptr_Vec, int -> bool
352 %LCLop isSub :____void_Obj_Ptr_Obj_Arr, int -> bool
353 %LCLop isSub :__semployee0s_Struct_Tuple_Vec, int -> bool
354 %LCLop isSub :__semployee0s_Struct_Arr, int -> bool
355 %LCLop isSub :__sdbase0s_Struct_Tuple_Vec, int -> bool
356 %LCLop isSub :__sdbase0s_Struct_Arr, int -> bool
357 %LCLop succ :int -> int
358 %LCLop pred :int -> int
359 %LCLop db_OK : -> _edbase0e_Enum
360 %LCLop salERR : -> _edbase0e_Enum
361 %LCLop genderERR : -> _edbase0e_Enum
362 %LCLop abs :int -> int
363 %LCLop abs :double -> double
364 %LCLop jobERR : -> _edbase0e_Enum
365 %LCLop div :int, int -> int
366 %LCLop duplERR : -> _edbase0e_Enum
367 %LCLop mod :int, int -> int
368 %LCLtype float float exposed
369 %LCLtype bool bool immutable
370 %LCLconst FALSE bool
371 %LCLconst TRUE bool
372 %LCLtype float float exposed
373 %LCLtype bool bool immutable
374 %LCLconst FALSE bool
375 %LCLconst TRUE bool
376 %LCLtype float float exposed
377 %LCLtype bool bool immutable
378 %LCLconst FALSE bool
379 %LCLconst TRUE bool
380 %LCLtype float float exposed
381 %LCLtype bool bool immutable
382 %LCLconst FALSE bool
383 %LCLconst TRUE bool
384 %LCLtype size_t _size_t exposed
385 %LCLtype wchar_t _wchar_t exposed
386 %LCLtype div_t _div_t exposed
387 %LCLtype ldiv_t _ldiv_t exposed
388 %LCLconst NULL __void_Obj_Ptr
389 %LCLconst EXIT_FAILURE int
390 %LCLconst EXIT_SUCCESS int
391 %LCLconst RAND_MAX int
392 %LCLconst MB_CUR_MAX int
393 %LCLfcn abort :  -> void 
394 %LCLfcnGlobals 
395 %LCLfcn abs : int -> int 
396 %LCLfcnGlobals 
397 %LCLfcn atexit : _HOF_sort_32 -> int 
398 %LCLfcnGlobals 
399 %LCLfcn atof : __char_Obj_Ptr -> double 
400 %LCLfcnGlobals 
401 %LCLfcn atoi : __char_Obj_Ptr -> int 
402 %LCLfcnGlobals 
403 %LCLfcn atol : __char_Obj_Ptr -> int 
404 %LCLfcnGlobals 
405 %LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr 
406 %LCLfcnGlobals 
407 %LCLfcn calloc : int, int -> __void_Obj_Ptr 
408 %LCLfcnGlobals 
409 %LCLfcn div : int, int -> _sstdlib0s_Struct 
410 %LCLfcnGlobals 
411 %LCLfcn exit : int -> void 
412 %LCLfcnGlobals 
413 %LCLfcn free : __void_Obj_Ptr -> void 
414 %LCLfcnGlobals 
415 %LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr 
416 %LCLfcnGlobals 
417 %LCLfcn labs : int -> int 
418 %LCLfcnGlobals 
419 %LCLfcn ldiv : int, int -> _sstdlib1s_Struct 
420 %LCLfcnGlobals 
421 %LCLfcn malloc : int -> __void_Obj_Ptr 
422 %LCLfcnGlobals 
423 %LCLfcn mblen : __char_Obj_Ptr, int -> int 
424 %LCLfcnGlobals 
425 %LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
426 %LCLfcnGlobals 
427 %LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
428 %LCLfcnGlobals 
429 %LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void 
430 %LCLfcnGlobals 
431 %LCLfcn rand :  -> int 
432 %LCLfcnGlobals 
433 %LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr 
434 %LCLfcnGlobals 
435 %LCLfcn srand : int -> void 
436 %LCLfcnGlobals 
437 %LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double 
438 %LCLfcnGlobals 
439 %LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
440 %LCLfcnGlobals 
441 %LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
442 %LCLfcnGlobals 
443 %LCLfcn system : __char_Obj_Ptr -> int 
444 %LCLfcnGlobals 
445 %LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int 
446 %LCLfcnGlobals 
447 %LCLfcn wctomb : __char_Obj_Ptr, int -> int 
448 %LCLfcnGlobals 
449 %LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void 
450 %LCLfcnGlobals 
451 %LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool 
452 %LCLfcnGlobals 
453 %LCLfcn bzero : __char_Obj_Ptr, int -> void 
454 %LCLfcnGlobals 
455 %LCLfcn ffs : int -> int 
456 %LCLfcnGlobals 
457 %LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
458 %LCLfcnGlobals 
459 %LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
460 %LCLfcnGlobals 
461 %LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool 
462 %LCLfcnGlobals 
463 %LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
464 %LCLfcnGlobals 
465 %LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
466 %LCLfcnGlobals 
467 %LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
468 %LCLfcnGlobals 
469 %LCLtype FILE FILE immutable
470 %LCLtype va_list _va_list exposed
471 %LCLtype fpos_t _fpos_t exposed
472 %LCLvar stdin ___FILE_Obj_Ptr_Obj
473 %LCLvar stdout ___FILE_Obj_Ptr_Obj
474 %LCLvar stderr ___FILE_Obj_Ptr_Obj
475 %LCLconst EOF int
476 %LCLfcn getc : __FILE_Obj_Ptr -> int 
477 %LCLfcnGlobals 
478 %LCLfcn getchar :  -> int 
479 %LCLfcnGlobals 
480 %LCLfcn putc : int, __FILE_Obj_Ptr -> int 
481 %LCLfcnGlobals 
482 %LCLfcn putchar : int -> int 
483 %LCLfcnGlobals 
484 %LCLfcn feof : __FILE_Obj_Ptr -> int 
485 %LCLfcnGlobals 
486 %LCLfcn ferror : __FILE_Obj_Ptr -> int 
487 %LCLfcnGlobals 
488 %LCLfcn fileno : __FILE_Obj_Ptr -> int 
489 %LCLfcnGlobals 
490 %LCLfcn _filbuf : __FILE_Obj_Ptr -> int 
491 %LCLfcnGlobals 
492 %LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int 
493 %LCLfcnGlobals 
494 %LCLfcn clearerr : __FILE_Obj_Ptr -> void 
495 %LCLfcnGlobals 
496 %LCLfcn fclose : __FILE_Obj_Ptr -> int 
497 %LCLfcnGlobals 
498 %LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr 
499 %LCLfcnGlobals 
500 %LCLfcn fflush : __FILE_Obj_Ptr -> int 
501 %LCLfcnGlobals 
502 %LCLfcn fgetc : __FILE_Obj_Ptr -> int 
503 %LCLfcnGlobals 
504 %LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
505 %LCLfcnGlobals 
506 %LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr 
507 %LCLfcnGlobals 
508 %LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
509 %LCLfcnGlobals 
510 %LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
511 %LCLfcnGlobals 
512 %LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
513 %LCLfcnGlobals 
514 %LCLfcn fputc : int, __FILE_Obj_Ptr -> int 
515 %LCLfcnGlobals 
516 %LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int 
517 %LCLfcnGlobals 
518 %LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
519 %LCLfcnGlobals 
520 %LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr 
521 %LCLfcnGlobals 
522 %LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
523 %LCLfcnGlobals 
524 %LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int 
525 %LCLfcnGlobals 
526 %LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
527 %LCLfcnGlobals 
528 %LCLfcn ftell : __FILE_Obj_Ptr -> int 
529 %LCLfcnGlobals 
530 %LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
531 %LCLfcnGlobals 
532 %LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr 
533 %LCLfcnGlobals 
534 %LCLfcn perror : __char_Obj_Ptr -> void 
535 %LCLfcnGlobals 
536 %LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
537 %LCLfcnGlobals 
538 %LCLfcn ungetc : char, __FILE_Obj_Ptr -> int 
539 %LCLfcnGlobals 
540 %LCLfcn printf : __char_Obj_Ptr -> int 
541 %LCLfcnGlobals 
542 %LCLfcn puts : __char_Obj_Ptr -> int 
543 %LCLfcnGlobals 
544 %LCLfcn remove : __char_Obj_Ptr -> int 
545 %LCLfcnGlobals 
546 %LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int 
547 %LCLfcnGlobals 
548 %LCLfcn rewind : __FILE_Obj_Ptr -> void 
549 %LCLfcnGlobals 
550 %LCLfcn scanf : __char_Obj_Ptr -> int 
551 %LCLfcnGlobals 
552 %LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void 
553 %LCLfcnGlobals 
554 %LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int 
555 %LCLfcnGlobals 
556 %LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int 
557 %LCLfcnGlobals 
558 %LCLfcn tmpfile :  -> __FILE_Obj_Ptr 
559 %LCLfcnGlobals 
560 %LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr 
561 %LCLfcnGlobals 
562 %LCLconst maxEmployeeName int
563 %LCLconst employeePrintSize int
564 %LCLenumConst MALE _eemployee0e_Enum
565 %LCLenumConst FEMALE _eemployee0e_Enum
566 %LCLenumConst gender_ANY _eemployee0e_Enum
567 %LCLtype gender _gender exposed
568 %LCLenumConst MGR _eemployee1e_Enum
569 %LCLenumConst NONMGR _eemployee1e_Enum
570 %LCLenumConst job_ANY _eemployee1e_Enum
571 %LCLtype job _job exposed
572 %LCLtype employee _employee exposed
573 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void 
574 %LCLfcnGlobals 
575 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool 
576 %LCLfcnGlobals 
577 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool 
578 %LCLfcnGlobals 
579 %LCLfcn employee_initMod :  -> void 
580 %LCLfcnGlobals 
581 %LCLtype float float exposed
582 %LCLtype bool bool immutable
583 %LCLconst FALSE bool
584 %LCLconst TRUE bool
585 %LCLtype float float exposed
586 %LCLtype bool bool immutable
587 %LCLconst FALSE bool
588 %LCLconst TRUE bool
589 %LCLtype float float exposed
590 %LCLtype bool bool immutable
591 %LCLconst FALSE bool
592 %LCLconst TRUE bool
593 %LCLtype float float exposed
594 %LCLtype bool bool immutable
595 %LCLconst FALSE bool
596 %LCLconst TRUE bool
597 %LCLtype size_t _size_t exposed
598 %LCLtype wchar_t _wchar_t exposed
599 %LCLtype div_t _div_t exposed
600 %LCLtype ldiv_t _ldiv_t exposed
601 %LCLconst NULL __void_Obj_Ptr
602 %LCLconst EXIT_FAILURE int
603 %LCLconst EXIT_SUCCESS int
604 %LCLconst RAND_MAX int
605 %LCLconst MB_CUR_MAX int
606 %LCLfcn abort :  -> void 
607 %LCLfcnGlobals 
608 %LCLfcn abs : int -> int 
609 %LCLfcnGlobals 
610 %LCLfcn atexit : _HOF_sort_32 -> int 
611 %LCLfcnGlobals 
612 %LCLfcn atof : __char_Obj_Ptr -> double 
613 %LCLfcnGlobals 
614 %LCLfcn atoi : __char_Obj_Ptr -> int 
615 %LCLfcnGlobals 
616 %LCLfcn atol : __char_Obj_Ptr -> int 
617 %LCLfcnGlobals 
618 %LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr 
619 %LCLfcnGlobals 
620 %LCLfcn calloc : int, int -> __void_Obj_Ptr 
621 %LCLfcnGlobals 
622 %LCLfcn div : int, int -> _sstdlib0s_Struct 
623 %LCLfcnGlobals 
624 %LCLfcn exit : int -> void 
625 %LCLfcnGlobals 
626 %LCLfcn free : __void_Obj_Ptr -> void 
627 %LCLfcnGlobals 
628 %LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr 
629 %LCLfcnGlobals 
630 %LCLfcn labs : int -> int 
631 %LCLfcnGlobals 
632 %LCLfcn ldiv : int, int -> _sstdlib1s_Struct 
633 %LCLfcnGlobals 
634 %LCLfcn malloc : int -> __void_Obj_Ptr 
635 %LCLfcnGlobals 
636 %LCLfcn mblen : __char_Obj_Ptr, int -> int 
637 %LCLfcnGlobals 
638 %LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
639 %LCLfcnGlobals 
640 %LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
641 %LCLfcnGlobals 
642 %LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void 
643 %LCLfcnGlobals 
644 %LCLfcn rand :  -> int 
645 %LCLfcnGlobals 
646 %LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr 
647 %LCLfcnGlobals 
648 %LCLfcn srand : int -> void 
649 %LCLfcnGlobals 
650 %LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double 
651 %LCLfcnGlobals 
652 %LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
653 %LCLfcnGlobals 
654 %LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
655 %LCLfcnGlobals 
656 %LCLfcn system : __char_Obj_Ptr -> int 
657 %LCLfcnGlobals 
658 %LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int 
659 %LCLfcnGlobals 
660 %LCLfcn wctomb : __char_Obj_Ptr, int -> int 
661 %LCLfcnGlobals 
662 %LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void 
663 %LCLfcnGlobals 
664 %LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool 
665 %LCLfcnGlobals 
666 %LCLfcn bzero : __char_Obj_Ptr, int -> void 
667 %LCLfcnGlobals 
668 %LCLfcn ffs : int -> int 
669 %LCLfcnGlobals 
670 %LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
671 %LCLfcnGlobals 
672 %LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
673 %LCLfcnGlobals 
674 %LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool 
675 %LCLfcnGlobals 
676 %LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
677 %LCLfcnGlobals 
678 %LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
679 %LCLfcnGlobals 
680 %LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
681 %LCLfcnGlobals 
682 %LCLtype FILE FILE immutable
683 %LCLtype va_list _va_list exposed
684 %LCLtype fpos_t _fpos_t exposed
685 %LCLvar stdin ___FILE_Obj_Ptr_Obj
686 %LCLvar stdout ___FILE_Obj_Ptr_Obj
687 %LCLvar stderr ___FILE_Obj_Ptr_Obj
688 %LCLconst EOF int
689 %LCLfcn getc : __FILE_Obj_Ptr -> int 
690 %LCLfcnGlobals 
691 %LCLfcn getchar :  -> int 
692 %LCLfcnGlobals 
693 %LCLfcn putc : int, __FILE_Obj_Ptr -> int 
694 %LCLfcnGlobals 
695 %LCLfcn putchar : int -> int 
696 %LCLfcnGlobals 
697 %LCLfcn feof : __FILE_Obj_Ptr -> int 
698 %LCLfcnGlobals 
699 %LCLfcn ferror : __FILE_Obj_Ptr -> int 
700 %LCLfcnGlobals 
701 %LCLfcn fileno : __FILE_Obj_Ptr -> int 
702 %LCLfcnGlobals 
703 %LCLfcn _filbuf : __FILE_Obj_Ptr -> int 
704 %LCLfcnGlobals 
705 %LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int 
706 %LCLfcnGlobals 
707 %LCLfcn clearerr : __FILE_Obj_Ptr -> void 
708 %LCLfcnGlobals 
709 %LCLfcn fclose : __FILE_Obj_Ptr -> int 
710 %LCLfcnGlobals 
711 %LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr 
712 %LCLfcnGlobals 
713 %LCLfcn fflush : __FILE_Obj_Ptr -> int 
714 %LCLfcnGlobals 
715 %LCLfcn fgetc : __FILE_Obj_Ptr -> int 
716 %LCLfcnGlobals 
717 %LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
718 %LCLfcnGlobals 
719 %LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr 
720 %LCLfcnGlobals 
721 %LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
722 %LCLfcnGlobals 
723 %LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
724 %LCLfcnGlobals 
725 %LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
726 %LCLfcnGlobals 
727 %LCLfcn fputc : int, __FILE_Obj_Ptr -> int 
728 %LCLfcnGlobals 
729 %LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int 
730 %LCLfcnGlobals 
731 %LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
732 %LCLfcnGlobals 
733 %LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr 
734 %LCLfcnGlobals 
735 %LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
736 %LCLfcnGlobals 
737 %LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int 
738 %LCLfcnGlobals 
739 %LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
740 %LCLfcnGlobals 
741 %LCLfcn ftell : __FILE_Obj_Ptr -> int 
742 %LCLfcnGlobals 
743 %LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
744 %LCLfcnGlobals 
745 %LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr 
746 %LCLfcnGlobals 
747 %LCLfcn perror : __char_Obj_Ptr -> void 
748 %LCLfcnGlobals 
749 %LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
750 %LCLfcnGlobals 
751 %LCLfcn ungetc : char, __FILE_Obj_Ptr -> int 
752 %LCLfcnGlobals 
753 %LCLfcn printf : __char_Obj_Ptr -> int 
754 %LCLfcnGlobals 
755 %LCLfcn puts : __char_Obj_Ptr -> int 
756 %LCLfcnGlobals 
757 %LCLfcn remove : __char_Obj_Ptr -> int 
758 %LCLfcnGlobals 
759 %LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int 
760 %LCLfcnGlobals 
761 %LCLfcn rewind : __FILE_Obj_Ptr -> void 
762 %LCLfcnGlobals 
763 %LCLfcn scanf : __char_Obj_Ptr -> int 
764 %LCLfcnGlobals 
765 %LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void 
766 %LCLfcnGlobals 
767 %LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int 
768 %LCLfcnGlobals 
769 %LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int 
770 %LCLfcnGlobals 
771 %LCLfcn tmpfile :  -> __FILE_Obj_Ptr 
772 %LCLfcnGlobals 
773 %LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr 
774 %LCLfcnGlobals 
775 %LCLconst maxEmployeeName int
776 %LCLconst employeePrintSize int
777 %LCLenumConst MALE _eemployee0e_Enum
778 %LCLenumConst FEMALE _eemployee0e_Enum
779 %LCLenumConst gender_ANY _eemployee0e_Enum
780 %LCLtype gender _gender exposed
781 %LCLenumConst MGR _eemployee1e_Enum
782 %LCLenumConst NONMGR _eemployee1e_Enum
783 %LCLenumConst job_ANY _eemployee1e_Enum
784 %LCLtype job _job exposed
785 %LCLtype employee _employee exposed
786 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void 
787 %LCLfcnGlobals 
788 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool 
789 %LCLfcnGlobals 
790 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool 
791 %LCLfcnGlobals 
792 %LCLfcn employee_initMod :  -> void 
793 %LCLfcnGlobals 
794 %LCLtype empset _empset_Obj mutable
795 %LCLfcn empset_create :  -> _empset_Obj 
796 %LCLfcnGlobals 
797 %LCLfcn empset_final : _empset_Obj -> void 
798 %LCLfcnGlobals 
799 %LCLfcn empset_clear : _empset_Obj -> void 
800 %LCLfcnGlobals 
801 %LCLfcn empset_insert : _empset_Obj, _semployee0s_Struct_Tuple -> bool 
802 %LCLfcnGlobals 
803 %LCLfcn empset_insertUnique : _empset_Obj, _semployee0s_Struct_Tuple -> void 
804 %LCLfcnGlobals 
805 %LCLfcn empset_delete : _empset_Obj, _semployee0s_Struct_Tuple -> bool 
806 %LCLfcnGlobals 
807 %LCLfcn empset_union : _empset_Obj, _empset_Obj -> _empset_Obj 
808 %LCLfcnGlobals 
809 %LCLfcn empset_disjointUnion : _empset_Obj, _empset_Obj -> _empset_Obj 
810 %LCLfcnGlobals 
811 %LCLfcn empset_intersect : _empset_Obj, _empset_Obj -> void 
812 %LCLfcnGlobals 
813 %LCLfcn empset_size : _empset_Obj -> int 
814 %LCLfcnGlobals 
815 %LCLfcn empset_member : _semployee0s_Struct_Tuple, _empset_Obj -> bool 
816 %LCLfcnGlobals 
817 %LCLfcn empset_subset : _empset_Obj, _empset_Obj -> bool 
818 %LCLfcnGlobals 
819 %LCLfcn empset_choose : _empset_Obj -> _semployee0s_Struct 
820 %LCLfcnGlobals 
821 %LCLfcn empset_sprint : _empset_Obj -> __char_Obj_Ptr 
822 %LCLfcnGlobals 
823 %LCLfcn empset_initMod :  -> void 
824 %LCLfcnGlobals 
825 %LCLtype float float exposed
826 %LCLtype bool bool immutable
827 %LCLconst FALSE bool
828 %LCLconst TRUE bool
829 %LCLtype float float exposed
830 %LCLtype bool bool immutable
831 %LCLconst FALSE bool
832 %LCLconst TRUE bool
833 %LCLtype size_t _size_t exposed
834 %LCLtype wchar_t _wchar_t exposed
835 %LCLtype div_t _div_t exposed
836 %LCLtype ldiv_t _ldiv_t exposed
837 %LCLconst NULL __void_Obj_Ptr
838 %LCLconst EXIT_FAILURE int
839 %LCLconst EXIT_SUCCESS int
840 %LCLconst RAND_MAX int
841 %LCLconst MB_CUR_MAX int
842 %LCLfcn abort :  -> void 
843 %LCLfcnGlobals 
844 %LCLfcn abs : int -> int 
845 %LCLfcnGlobals 
846 %LCLfcn atexit : _HOF_sort_32 -> int 
847 %LCLfcnGlobals 
848 %LCLfcn atof : __char_Obj_Ptr -> double 
849 %LCLfcnGlobals 
850 %LCLfcn atoi : __char_Obj_Ptr -> int 
851 %LCLfcnGlobals 
852 %LCLfcn atol : __char_Obj_Ptr -> int 
853 %LCLfcnGlobals 
854 %LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr 
855 %LCLfcnGlobals 
856 %LCLfcn calloc : int, int -> __void_Obj_Ptr 
857 %LCLfcnGlobals 
858 %LCLfcn div : int, int -> _sstdlib0s_Struct 
859 %LCLfcnGlobals 
860 %LCLfcn exit : int -> void 
861 %LCLfcnGlobals 
862 %LCLfcn free : __void_Obj_Ptr -> void 
863 %LCLfcnGlobals 
864 %LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr 
865 %LCLfcnGlobals 
866 %LCLfcn labs : int -> int 
867 %LCLfcnGlobals 
868 %LCLfcn ldiv : int, int -> _sstdlib1s_Struct 
869 %LCLfcnGlobals 
870 %LCLfcn malloc : int -> __void_Obj_Ptr 
871 %LCLfcnGlobals 
872 %LCLfcn mblen : __char_Obj_Ptr, int -> int 
873 %LCLfcnGlobals 
874 %LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
875 %LCLfcnGlobals 
876 %LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
877 %LCLfcnGlobals 
878 %LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void 
879 %LCLfcnGlobals 
880 %LCLfcn rand :  -> int 
881 %LCLfcnGlobals 
882 %LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr 
883 %LCLfcnGlobals 
884 %LCLfcn srand : int -> void 
885 %LCLfcnGlobals 
886 %LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double 
887 %LCLfcnGlobals 
888 %LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
889 %LCLfcnGlobals 
890 %LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
891 %LCLfcnGlobals 
892 %LCLfcn system : __char_Obj_Ptr -> int 
893 %LCLfcnGlobals 
894 %LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int 
895 %LCLfcnGlobals 
896 %LCLfcn wctomb : __char_Obj_Ptr, int -> int 
897 %LCLfcnGlobals 
898 %LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void 
899 %LCLfcnGlobals 
900 %LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool 
901 %LCLfcnGlobals 
902 %LCLfcn bzero : __char_Obj_Ptr, int -> void 
903 %LCLfcnGlobals 
904 %LCLfcn ffs : int -> int 
905 %LCLfcnGlobals 
906 %LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
907 %LCLfcnGlobals 
908 %LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
909 %LCLfcnGlobals 
910 %LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool 
911 %LCLfcnGlobals 
912 %LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
913 %LCLfcnGlobals 
914 %LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
915 %LCLfcnGlobals 
916 %LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
917 %LCLfcnGlobals 
918 %LCLtype FILE FILE immutable
919 %LCLtype va_list _va_list exposed
920 %LCLtype fpos_t _fpos_t exposed
921 %LCLvar stdin ___FILE_Obj_Ptr_Obj
922 %LCLvar stdout ___FILE_Obj_Ptr_Obj
923 %LCLvar stderr ___FILE_Obj_Ptr_Obj
924 %LCLconst EOF int
925 %LCLfcn getc : __FILE_Obj_Ptr -> int 
926 %LCLfcnGlobals 
927 %LCLfcn getchar :  -> int 
928 %LCLfcnGlobals 
929 %LCLfcn putc : int, __FILE_Obj_Ptr -> int 
930 %LCLfcnGlobals 
931 %LCLfcn putchar : int -> int 
932 %LCLfcnGlobals 
933 %LCLfcn feof : __FILE_Obj_Ptr -> int 
934 %LCLfcnGlobals 
935 %LCLfcn ferror : __FILE_Obj_Ptr -> int 
936 %LCLfcnGlobals 
937 %LCLfcn fileno : __FILE_Obj_Ptr -> int 
938 %LCLfcnGlobals 
939 %LCLfcn _filbuf : __FILE_Obj_Ptr -> int 
940 %LCLfcnGlobals 
941 %LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int 
942 %LCLfcnGlobals 
943 %LCLfcn clearerr : __FILE_Obj_Ptr -> void 
944 %LCLfcnGlobals 
945 %LCLfcn fclose : __FILE_Obj_Ptr -> int 
946 %LCLfcnGlobals 
947 %LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr 
948 %LCLfcnGlobals 
949 %LCLfcn fflush : __FILE_Obj_Ptr -> int 
950 %LCLfcnGlobals 
951 %LCLfcn fgetc : __FILE_Obj_Ptr -> int 
952 %LCLfcnGlobals 
953 %LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
954 %LCLfcnGlobals 
955 %LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr 
956 %LCLfcnGlobals 
957 %LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
958 %LCLfcnGlobals 
959 %LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
960 %LCLfcnGlobals 
961 %LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
962 %LCLfcnGlobals 
963 %LCLfcn fputc : int, __FILE_Obj_Ptr -> int 
964 %LCLfcnGlobals 
965 %LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int 
966 %LCLfcnGlobals 
967 %LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
968 %LCLfcnGlobals 
969 %LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr 
970 %LCLfcnGlobals 
971 %LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
972 %LCLfcnGlobals 
973 %LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int 
974 %LCLfcnGlobals 
975 %LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
976 %LCLfcnGlobals 
977 %LCLfcn ftell : __FILE_Obj_Ptr -> int 
978 %LCLfcnGlobals 
979 %LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
980 %LCLfcnGlobals 
981 %LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr 
982 %LCLfcnGlobals 
983 %LCLfcn perror : __char_Obj_Ptr -> void 
984 %LCLfcnGlobals 
985 %LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
986 %LCLfcnGlobals 
987 %LCLfcn ungetc : char, __FILE_Obj_Ptr -> int 
988 %LCLfcnGlobals 
989 %LCLfcn printf : __char_Obj_Ptr -> int 
990 %LCLfcnGlobals 
991 %LCLfcn puts : __char_Obj_Ptr -> int 
992 %LCLfcnGlobals 
993 %LCLfcn remove : __char_Obj_Ptr -> int 
994 %LCLfcnGlobals 
995 %LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int 
996 %LCLfcnGlobals 
997 %LCLfcn rewind : __FILE_Obj_Ptr -> void 
998 %LCLfcnGlobals 
999 %LCLfcn scanf : __char_Obj_Ptr -> int 
1000 %LCLfcnGlobals 
1001 %LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void 
1002 %LCLfcnGlobals 
1003 %LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int 
1004 %LCLfcnGlobals 
1005 %LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int 
1006 %LCLfcnGlobals 
1007 %LCLfcn tmpfile :  -> __FILE_Obj_Ptr 
1008 %LCLfcnGlobals 
1009 %LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr 
1010 %LCLfcnGlobals 
1011 %LCLtype db_q _db_q exposed
1012 %LCLenumConst db_OK _edbase0e_Enum
1013 %LCLenumConst salERR _edbase0e_Enum
1014 %LCLenumConst genderERR _edbase0e_Enum
1015 %LCLenumConst jobERR _edbase0e_Enum
1016 %LCLenumConst duplERR _edbase0e_Enum
1017 %LCLenumConst missERR _edbase0e_Enum
1018 %LCLtype db_status _db_status exposed
1019 %LCLtype db db immutable
1020 %LCLvar d _db_Obj
1021 %LCLfcn hire : _semployee0s_Struct_Tuple -> _edbase0e_Enum 
1022 %LCLfcnGlobals _db_Obj d; 
1023 %LCLfcn uncheckedHire : _semployee0s_Struct_Tuple -> void 
1024 %LCLfcnGlobals _db_Obj d; 
1025 %LCLfcn fire : int -> bool 
1026 %LCLfcnGlobals _db_Obj d; 
1027 %LCLfcn query : _sdbase0s_Struct_Tuple, _empset_Obj -> int 
1028 %LCLfcnGlobals _db_Obj d; 
1029 %LCLfcn promote : int -> bool 
1030 %LCLfcnGlobals _db_Obj d; 
1031 %LCLfcn setSalary : int, int -> _edbase0e_Enum 
1032 %LCLfcnGlobals _db_Obj d; 
1033 %LCLfcn db_print :  -> void 
1034 %LCLfcnGlobals _db_Obj d; ___FILE_Obj_Ptr_Obj stdout; 
1035 %LCLfcn db_initMod :  -> void 
1036 %LCLfcnGlobals _db_Obj d; 
1037 %LCLSymbolTableEnd
This page took 0.117905 seconds and 5 git commands to generate.