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