1 %PASSED Output from LCLint 3.0.0.7
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 MALE enumMem nil nil
17 %LCLsort FEMALE enumMem nil nil
18 %LCLsort gender_ANY 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 MGR enumMem nil nil
23 %LCLsort NONMGR enumMem nil nil
24 %LCLsort job_ANY 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 ssNum strMem _int_Obj nil
29 %LCLsort name strMem __char_Obj_Arr nil
30 %LCLsort salary strMem _int_Obj nil
31 %LCLsort gen strMem __eemployee0e_Enum_Obj nil
32 %LCLsort j strMem __eemployee1e_Enum_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
49 %LCLop min :int, int -> int
50 %LCLop max :int, int -> int
55 %LCLop if __ then __ else __ :bool, bool, bool -> bool
56 %LCLop if __ then __ else __ :bool, int, int -> int
57 %LCLop if __ then __ else __ :bool, double, double -> double
58 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
59 %LCLop if __ then __ else __ :bool, char, char -> char
60 %LCLop __ < __ :int, int -> bool
61 %LCLop __ < __ :double, double -> bool
62 %LCLop empty : -> _char_Vec
63 %LCLop __ > __ :int, int -> bool
64 %LCLop __ > __ :double, double -> bool
65 %LCLop count :char, _char_Vec -> int
66 %LCLop head :_char_Vec -> char
67 %LCLop __ \inv :double -> double
68 %LCLop init :_char_Vec -> _char_Vec
69 %LCLop isEmpty :_char_Vec -> bool
70 %LCLop last :_char_Vec -> char
71 %LCLop len :_char_Vec -> int
72 %LCLop prefix :_char_Vec, int -> _char_Vec
73 %LCLop __ / __ :double, double -> double
74 %LCLop __ \implies __ :bool, bool -> bool
75 %LCLop removePrefix :_char_Vec, int -> _char_Vec
76 %LCLop substring :_char_Vec, int, int -> _char_Vec
77 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
78 %LCLop tail :_char_Vec -> _char_Vec
79 %LCLop __ \in __ :char, _char_Vec -> bool
80 %LCLop nullTerminated :_char_Vec -> bool
81 %LCLop throughNull :_char_Vec -> _char_Vec
82 %LCLop sameStr :_char_Vec, _char_Vec -> bool
83 %LCLop lenStr :_char_Vec -> int
84 %LCLop times10plus :int, int -> int
85 %LCLop plus1 :int -> int
94 %LCLop MALE : -> _eemployee0e_Enum
95 %LCLop FEMALE : -> _eemployee0e_Enum
96 %LCLop __ * __ :int, int -> int
97 %LCLop __ * __ :double, double -> double
98 %LCLop gender_ANY : -> _eemployee0e_Enum
100 %LCLtag eemployee0e enum
101 %LCLop false : -> bool
102 %LCLop MGR : -> _eemployee1e_Enum
103 %LCLop NONMGR : -> _eemployee1e_Enum
104 %LCLop __ \and __ :bool, bool -> bool
105 %LCLop job_ANY : -> _eemployee1e_Enum
106 %LCLop __ \or __ :bool, bool -> bool
107 %LCLop __ \eq __ :bool, bool -> bool
108 %LCLop __ \eq __ :int, int -> bool
109 %LCLop __ \eq __ :double, double -> bool
110 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
111 %LCLop __ \eq __ :char, char -> bool
112 %LCLop \not __ :bool -> bool
113 %LCLtag eemployee1e enum
114 %LCLop __ \neq __ :bool, bool -> bool
115 %LCLop __ \neq __ :int, int -> bool
116 %LCLop __ \neq __ :double, double -> bool
117 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
118 %LCLop __ \neq __ :char, char -> bool
119 %LCLop { __ } :char -> _char_Vec
120 %LCLtag semployee0s struct
121 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
122 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
123 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
124 %LCLop __ [__] :_char_Vec, int -> char
125 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
126 %LCLop __ [__] :__semployee0s_Struct_Tuple_Vec, int -> _semployee0s_Struct_Tuple
127 %LCLop __ [__] :__semployee0s_Struct_Arr, int -> _semployee0s_Struct
128 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
129 %LCLop [__, __, __, __, __] :_eemployee1e_Enum, _eemployee0e_Enum, int, _char_Vec, int -> _semployee0s_Struct_Tuple
130 %LCLop __ \leq __ :int, int -> bool
131 %LCLop __ \leq __ :double, double -> bool
132 %LCLop __ \geq __ :int, int -> bool
133 %LCLop __ \geq __ :double, double -> bool
134 %LCLop null : -> char
135 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
136 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
137 %LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
138 %LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
139 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
140 %LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
141 %LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
142 %LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
143 %LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
144 %LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
145 %LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
146 %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
147 %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
148 %LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
149 %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
150 %LCLop NIL : -> __char_Obj_Ptr
151 %LCLop NIL : -> __semployee0s_Struct_Ptr
152 %LCLop - __ :int -> int
153 %LCLop - __ :double -> double
154 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
155 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
156 %LCLop __ + __ :int, int -> int
157 %LCLop __ + __ :double, double -> double
158 %LCLop __ + __ :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
159 %LCLop __ + __ :int, __semployee0s_Struct_Ptr -> __semployee0s_Struct_Ptr
160 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
161 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
162 %LCLop __ - __ :int, int -> int
163 %LCLop __ - __ :double, double -> double
164 %LCLop __ - __ :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
165 %LCLop __ - __ :__semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> int
166 %LCLop sizeof :bool -> int
167 %LCLop sizeof :int -> int
168 %LCLop sizeof :char -> int
169 %LCLop sizeof :void -> int
170 %LCLop sizeof :float -> int
171 %LCLop sizeof :double -> int
172 %LCLop sizeof :_eemployee0e_Enum -> int
173 %LCLop sizeof :_eemployee1e_Enum -> int
174 %LCLop sizeof :eref -> int
175 %LCLop sizeof :map -> int
176 %LCLop sizeof :empset -> int
177 %LCLop isSub :_char_Vec, int -> bool
178 %LCLop isSub :__char_Obj_Arr, int -> bool
179 %LCLop isSub :__semployee0s_Struct_Tuple_Vec, int -> bool
180 %LCLop isSub :__semployee0s_Struct_Arr, int -> bool
181 %LCLop succ :int -> int
182 %LCLop pred :int -> int
183 %LCLop abs :int -> int
184 %LCLop abs :double -> double
185 %LCLop div :int, int -> int
186 %LCLop mod :int, int -> int
187 %LCLtype float float exposed
188 %LCLtype bool bool immutable
191 %LCLtype float float exposed
192 %LCLtype bool bool immutable
195 %LCLtype float float exposed
196 %LCLtype bool bool immutable
201 %LCLconst maxEmployeeName int
202 %LCLconst employeePrintSize int
203 %LCLenumConst MALE _eemployee0e_Enum
204 %LCLenumConst FEMALE _eemployee0e_Enum
205 %LCLenumConst gender_ANY _eemployee0e_Enum
206 %LCLtype gender _gender exposed
207 %LCLenumConst MGR _eemployee1e_Enum
208 %LCLenumConst NONMGR _eemployee1e_Enum
209 %LCLenumConst job_ANY _eemployee1e_Enum
210 %LCLtype job _job exposed
211 %LCLtype employee _employee exposed
212 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void
214 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool
216 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool
218 %LCLfcn employee_initMod : -> void
220 %LCLtype empset _empset_Obj mutable
221 %LCLfcn empset_create : -> _empset_Obj
223 %LCLfcn empset_final : _empset_Obj -> void
225 %LCLfcn empset_clear : _empset_Obj -> void
227 %LCLfcn empset_insert : _empset_Obj, _semployee0s_Struct_Tuple -> bool
229 %LCLfcn empset_insertUnique : _empset_Obj, _semployee0s_Struct_Tuple -> void
231 %LCLfcn empset_delete : _empset_Obj, _semployee0s_Struct_Tuple -> bool
233 %LCLfcn empset_union : _empset_Obj, _empset_Obj -> _empset_Obj
235 %LCLfcn empset_disjointUnion : _empset_Obj, _empset_Obj -> _empset_Obj
237 %LCLfcn empset_intersect : _empset_Obj, _empset_Obj -> void
239 %LCLfcn empset_size : _empset_Obj -> int
241 %LCLfcn empset_member : _semployee0s_Struct_Tuple, _empset_Obj -> bool
243 %LCLfcn empset_subset : _empset_Obj, _empset_Obj -> bool
245 %LCLfcn empset_choose : _empset_Obj -> _semployee0s_Struct
247 %LCLfcn empset_sprint : _empset_Obj -> __char_Obj_Ptr
249 %LCLfcn empset_initMod : -> void