]>
Commit | Line | Data |
---|---|---|
c555d0ad | 1 | %PASSED Output from LCLint 3.0.0.7 |
885824d3 | 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 _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 | |
49 | %LCLSortTableEnd | |
50 | %LCLSymbolTable | |
1ac6313d | 51 | %LCLop min :int, int -> int |
885824d3 | 52 | %LCLop max :int, int -> int |
53 | %LCLop 0 : -> int | |
54 | %LCLop 0 : -> double | |
55 | %LCLop 1 : -> int | |
56 | %LCLop 1 : -> double | |
885824d3 | 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 | |
1ac6313d | 62 | %LCLop __ < __ :int, int -> bool |
63 | %LCLop __ < __ :double, double -> bool | |
885824d3 | 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 | |
885824d3 | 76 | %LCLop __ \implies __ :bool, bool -> bool |
1ac6313d | 77 | %LCLop removePrefix :_char_Vec, int -> _char_Vec |
885824d3 | 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 | |
88 | %LCLop 2 : -> int | |
89 | %LCLop 3 : -> int | |
90 | %LCLop 4 : -> int | |
91 | %LCLop 5 : -> int | |
92 | %LCLop 6 : -> int | |
93 | %LCLop 7 : -> int | |
94 | %LCLop 8 : -> int | |
95 | %LCLop 9 : -> int | |
96 | %LCLop MALE : -> _eemployee0e_Enum | |
97 | %LCLop FEMALE : -> _eemployee0e_Enum | |
885824d3 | 98 | %LCLop __ * __ :int, int -> int |
99 | %LCLop __ * __ :double, double -> double | |
1ac6313d | 100 | %LCLop gender_ANY : -> _eemployee0e_Enum |
885824d3 | 101 | %LCLop true : -> bool |
1ac6313d | 102 | %LCLtag eemployee0e enum |
885824d3 | 103 | %LCLop false : -> bool |
104 | %LCLop MGR : -> _eemployee1e_Enum | |
105 | %LCLop NONMGR : -> _eemployee1e_Enum | |
885824d3 | 106 | %LCLop __ \and __ :bool, bool -> bool |
1ac6313d | 107 | %LCLop job_ANY : -> _eemployee1e_Enum |
885824d3 | 108 | %LCLop __ \or __ :bool, bool -> bool |
885824d3 | 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 | |
1ac6313d | 115 | %LCLtag eemployee1e enum |
885824d3 | 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 | |
885824d3 | 123 | %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr |
124 | %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr | |
1ac6313d | 125 | %LCLop __ |- __ :_char_Vec, char -> _char_Vec |
885824d3 | 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 | |
1ac6313d | 130 | %LCLop __ -| __ :char, _char_Vec -> _char_Vec |
885824d3 | 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 | |
885824d3 | 190 | %LCLtype float float exposed |
191 | %LCLtype bool bool immutable | |
192 | %LCLconst FALSE bool | |
193 | %LCLconst TRUE bool | |
194 | %LCLtype float float exposed | |
195 | %LCLtype bool bool immutable | |
196 | %LCLconst FALSE bool | |
197 | %LCLconst TRUE bool | |
198 | %LCLtype float float exposed | |
199 | %LCLtype bool bool immutable | |
200 | %LCLconst FALSE bool | |
201 | %LCLconst TRUE bool | |
202 | %LCLconst TRUE bool | |
203 | %LCLconst FALSE bool | |
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 | |
216 | %LCLfcnGlobals | |
217 | %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool | |
218 | %LCLfcnGlobals | |
219 | %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool | |
220 | %LCLfcnGlobals | |
221 | %LCLfcn employee_initMod : -> void | |
222 | %LCLfcnGlobals | |
223 | %LCLtype float float exposed | |
224 | %LCLtype bool bool immutable | |
225 | %LCLconst FALSE bool | |
226 | %LCLconst TRUE bool | |
227 | %LCLtype float float exposed | |
228 | %LCLtype bool bool immutable | |
229 | %LCLconst FALSE bool | |
230 | %LCLconst TRUE bool | |
231 | %LCLtype float float exposed | |
232 | %LCLtype bool bool immutable | |
233 | %LCLconst FALSE bool | |
234 | %LCLconst TRUE bool | |
235 | %LCLconst TRUE bool | |
236 | %LCLconst FALSE bool | |
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 | |
249 | %LCLfcnGlobals | |
250 | %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool | |
251 | %LCLfcnGlobals | |
252 | %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool | |
253 | %LCLfcnGlobals | |
254 | %LCLfcn employee_initMod : -> void | |
255 | %LCLfcnGlobals | |
256 | %LCLtype eref eref immutable | |
257 | %LCLtype map map immutable | |
258 | %LCLvar m _map_Obj | |
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 | |
269 | %LCLfcnGlobals | |
270 | %LCLfcn eref_initMod : -> void | |
271 | %LCLfcnGlobals _map_Obj m; | |
272 | %LCLtype ereftab _ereftab_Obj mutable | |
273 | %LCLfcn ereftab_create : -> _ereftab_Obj | |
274 | %LCLfcnGlobals | |
275 | %LCLfcn ereftab_insert : _ereftab_Obj, _semployee0s_Struct_Tuple, eref -> void | |
276 | %LCLfcnGlobals | |
277 | %LCLfcn ereftab_delete : _ereftab_Obj, eref -> bool | |
278 | %LCLfcnGlobals | |
279 | %LCLfcn ereftab_lookup : _semployee0s_Struct_Tuple, _ereftab_Obj -> eref | |
280 | %LCLfcnGlobals | |
281 | %LCLfcn ereftab_initMod : -> void | |
282 | %LCLfcnGlobals | |
283 | %LCLSymbolTableEnd |