1 %PASSED Output from LCLint 3.0.0.17
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 _eemployee0e_Enum enum eemployee0e nil
16 %LCLsort gender_ANY enumMem nil nil
17 %LCLsort FEMALE enumMem nil nil
18 %LCLsort MALE enumMem nil nil
19 %LCLsort enumEnd nil nil nil
20 %LCLsort _gender synonym _eemployee0e_Enum nil
21 %LCLsort _eemployee1e_Enum enum eemployee1e nil
22 %LCLsort job_ANY enumMem nil nil
23 %LCLsort NONMGR enumMem nil nil
24 %LCLsort MGR enumMem nil nil
25 %LCLsort enumEnd nil nil nil
26 %LCLsort _job synonym _eemployee1e_Enum nil
27 %LCLsort _semployee0s_Struct str semployee0s nil
28 %LCLsort j strMem __eemployee1e_Enum_Obj nil
29 %LCLsort gen strMem __eemployee0e_Enum_Obj nil
30 %LCLsort salary strMem _int_Obj nil
31 %LCLsort name strMem __char_Obj_Arr nil
32 %LCLsort ssNum strMem _int_Obj nil
33 %LCLsort strEnd nil nil nil
34 %LCLsort _int_Obj obj int nil
35 %LCLsort __eemployee0e_Enum_Obj obj _eemployee0e_Enum nil
36 %LCLsort __eemployee1e_Enum_Obj obj _eemployee1e_Enum nil
37 %LCLsort _semployee0s_Struct_Tuple tup _semployee0s_Struct nil
38 %LCLsort __semployee0s_Struct_Ptr ptr _semployee0s_Struct nil
39 %LCLsort __semployee0s_Struct_Arr arr _semployee0s_Struct nil
40 %LCLsort __semployee0s_Struct_Tuple_Vec vec _semployee0s_Struct_Tuple __semployee0s_Struct_Arr
41 %LCLsort _employee synonym _semployee0s_Struct nil
42 %LCLsort eref immutable nil nil
43 %LCLsort map immutable nil nil
44 %LCLsort _map_Obj obj map nil
45 %LCLsort empset immutable nil nil
46 %LCLsort _empset_Obj mutable empset nil
47 %LCLsort ereftab immutable nil nil
48 %LCLsort _ereftab_Obj mutable ereftab nil
51 %LCLop min :int, int -> int
52 %LCLop max :int, int -> int
57 %LCLop if __ then __ else __ :bool, bool, bool -> bool
58 %LCLop if __ then __ else __ :bool, int, int -> int
59 %LCLop if __ then __ else __ :bool, double, double -> double
60 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
61 %LCLop if __ then __ else __ :bool, char, char -> char
62 %LCLop __ < __ :int, int -> bool
63 %LCLop __ < __ :double, double -> bool
64 %LCLop empty : -> _char_Vec
65 %LCLop __ > __ :int, int -> bool
66 %LCLop __ > __ :double, double -> bool
67 %LCLop count :char, _char_Vec -> int
68 %LCLop head :_char_Vec -> char
69 %LCLop __ \inv :double -> double
70 %LCLop init :_char_Vec -> _char_Vec
71 %LCLop isEmpty :_char_Vec -> bool
72 %LCLop last :_char_Vec -> char
73 %LCLop len :_char_Vec -> int
74 %LCLop prefix :_char_Vec, int -> _char_Vec
75 %LCLop __ / __ :double, double -> double
76 %LCLop __ \implies __ :bool, bool -> bool
77 %LCLop removePrefix :_char_Vec, int -> _char_Vec
78 %LCLop substring :_char_Vec, int, int -> _char_Vec
79 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
80 %LCLop tail :_char_Vec -> _char_Vec
81 %LCLop __ \in __ :char, _char_Vec -> bool
82 %LCLop nullTerminated :_char_Vec -> bool
83 %LCLop throughNull :_char_Vec -> _char_Vec
84 %LCLop sameStr :_char_Vec, _char_Vec -> bool
85 %LCLop lenStr :_char_Vec -> int
86 %LCLop times10plus :int, int -> int
87 %LCLop plus1 :int -> int
96 %LCLop MALE : -> _eemployee0e_Enum
97 %LCLop FEMALE : -> _eemployee0e_Enum
98 %LCLop __ * __ :int, int -> int
99 %LCLop __ * __ :double, double -> double
100 %LCLop gender_ANY : -> _eemployee0e_Enum
101 %LCLop true : -> bool
102 %LCLtag eemployee0e enum
103 %LCLop false : -> bool
104 %LCLop MGR : -> _eemployee1e_Enum
105 %LCLop NONMGR : -> _eemployee1e_Enum
106 %LCLop __ \and __ :bool, bool -> bool
107 %LCLop job_ANY : -> _eemployee1e_Enum
108 %LCLop __ \or __ :bool, bool -> bool
109 %LCLop __ \eq __ :bool, bool -> bool
110 %LCLop __ \eq __ :int, int -> bool
111 %LCLop __ \eq __ :double, double -> bool
112 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
113 %LCLop __ \eq __ :char, char -> bool
114 %LCLop \not __ :bool -> bool
115 %LCLtag eemployee1e enum
116 %LCLop __ \neq __ :bool, bool -> bool
117 %LCLop __ \neq __ :int, int -> bool
118 %LCLop __ \neq __ :double, double -> bool
119 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
120 %LCLop __ \neq __ :char, char -> bool
121 %LCLop { __ } :char -> _char_Vec
122 %LCLtag semployee0s struct
123 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
124 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
125 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
126 %LCLop __ [__] :_char_Vec, int -> char
127 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
128 %LCLop __ [__] :__semployee0s_Struct_Tuple_Vec, int -> _semployee0s_Struct_Tuple
129 %LCLop __ [__] :__semployee0s_Struct_Arr, int -> _semployee0s_Struct
130 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
131 %LCLop [__, __, __, __, __] :_eemployee1e_Enum, _eemployee0e_Enum, int, _char_Vec, int -> _semployee0s_Struct_Tuple
132 %LCLop __ \leq __ :int, int -> bool
133 %LCLop __ \leq __ :double, double -> bool
134 %LCLop __ \geq __ :int, int -> bool
135 %LCLop __ \geq __ :double, double -> bool
136 %LCLop null : -> char
137 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
138 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
139 %LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
140 %LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
141 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
142 %LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
143 %LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
144 %LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
145 %LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
146 %LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
147 %LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
148 %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
149 %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
150 %LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
151 %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
152 %LCLop NIL : -> __char_Obj_Ptr
153 %LCLop NIL : -> __semployee0s_Struct_Ptr
154 %LCLop - __ :int -> int
155 %LCLop - __ :double -> double
156 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
157 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
158 %LCLop __ + __ :int, int -> int
159 %LCLop __ + __ :double, double -> double
160 %LCLop __ + __ :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
161 %LCLop __ + __ :int, __semployee0s_Struct_Ptr -> __semployee0s_Struct_Ptr
162 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
163 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
164 %LCLop __ - __ :int, int -> int
165 %LCLop __ - __ :double, double -> double
166 %LCLop __ - __ :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
167 %LCLop __ - __ :__semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> int
168 %LCLop sizeof :bool -> int
169 %LCLop sizeof :int -> int
170 %LCLop sizeof :char -> int
171 %LCLop sizeof :void -> int
172 %LCLop sizeof :float -> int
173 %LCLop sizeof :double -> int
174 %LCLop sizeof :_eemployee0e_Enum -> int
175 %LCLop sizeof :_eemployee1e_Enum -> int
176 %LCLop sizeof :eref -> int
177 %LCLop sizeof :map -> int
178 %LCLop sizeof :empset -> int
179 %LCLop sizeof :ereftab -> int
180 %LCLop isSub :_char_Vec, int -> bool
181 %LCLop isSub :__char_Obj_Arr, int -> bool
182 %LCLop isSub :__semployee0s_Struct_Tuple_Vec, int -> bool
183 %LCLop isSub :__semployee0s_Struct_Arr, int -> bool
184 %LCLop succ :int -> int
185 %LCLop pred :int -> int
186 %LCLop abs :int -> int
187 %LCLop abs :double -> double
188 %LCLop div :int, int -> int
189 %LCLop mod :int, int -> int
190 %LCLtype float float exposed
191 %LCLtype bool bool immutable
194 %LCLtype float float exposed
195 %LCLtype bool bool immutable
198 %LCLtype float float exposed
199 %LCLtype bool bool immutable
204 %LCLconst maxEmployeeName int
205 %LCLconst employeePrintSize int
206 %LCLenumConst MALE _eemployee0e_Enum
207 %LCLenumConst FEMALE _eemployee0e_Enum
208 %LCLenumConst gender_ANY _eemployee0e_Enum
209 %LCLtype gender _gender exposed
210 %LCLenumConst MGR _eemployee1e_Enum
211 %LCLenumConst NONMGR _eemployee1e_Enum
212 %LCLenumConst job_ANY _eemployee1e_Enum
213 %LCLtype job _job exposed
214 %LCLtype employee _employee exposed
215 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void
217 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool
219 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool
221 %LCLfcn employee_initMod : -> void
223 %LCLtype float float exposed
224 %LCLtype bool bool immutable
227 %LCLtype float float exposed
228 %LCLtype bool bool immutable
231 %LCLtype float float exposed
232 %LCLtype bool bool immutable
237 %LCLconst maxEmployeeName int
238 %LCLconst employeePrintSize int
239 %LCLenumConst MALE _eemployee0e_Enum
240 %LCLenumConst FEMALE _eemployee0e_Enum
241 %LCLenumConst gender_ANY _eemployee0e_Enum
242 %LCLtype gender _gender exposed
243 %LCLenumConst MGR _eemployee1e_Enum
244 %LCLenumConst NONMGR _eemployee1e_Enum
245 %LCLenumConst job_ANY _eemployee1e_Enum
246 %LCLtype job _job exposed
247 %LCLtype employee _employee exposed
248 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void
250 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool
252 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool
254 %LCLfcn employee_initMod : -> void
256 %LCLtype eref eref immutable
257 %LCLtype map map immutable
259 %LCLconst erefNIL eref
260 %LCLfcn eref_alloc : -> eref
261 %LCLfcnGlobals _map_Obj m;
262 %LCLfcn eref_free : eref -> void
263 %LCLfcnGlobals _map_Obj m;
264 %LCLfcn eref_assign : eref, _semployee0s_Struct_Tuple -> void
265 %LCLfcnGlobals _map_Obj m;
266 %LCLfcn eref_get : eref -> _semployee0s_Struct
267 %LCLfcnGlobals _map_Obj m;
268 %LCLfcn eref_equal : eref, eref -> bool
270 %LCLfcn eref_initMod : -> void
271 %LCLfcnGlobals _map_Obj m;
272 %LCLtype ereftab _ereftab_Obj mutable
273 %LCLfcn ereftab_create : -> _ereftab_Obj
275 %LCLfcn ereftab_insert : _ereftab_Obj, _semployee0s_Struct_Tuple, eref -> void
277 %LCLfcn ereftab_delete : _ereftab_Obj, eref -> bool
279 %LCLfcn ereftab_lookup : _semployee0s_Struct_Tuple, _ereftab_Obj -> eref
281 %LCLfcn ereftab_initMod : -> void