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
47 %LCLop min :int, int -> int
48 %LCLop max :int, int -> int
53 %LCLop if __ then __ else __ :bool, bool, bool -> bool
54 %LCLop if __ then __ else __ :bool, int, int -> int
55 %LCLop if __ then __ else __ :bool, double, double -> double
56 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
57 %LCLop if __ then __ else __ :bool, char, char -> char
58 %LCLop __ < __ :int, int -> bool
59 %LCLop __ < __ :double, double -> bool
60 %LCLop empty : -> _char_Vec
61 %LCLop __ > __ :int, int -> bool
62 %LCLop __ > __ :double, double -> bool
63 %LCLop count :char, _char_Vec -> int
64 %LCLop head :_char_Vec -> char
65 %LCLop __ \inv :double -> double
66 %LCLop init :_char_Vec -> _char_Vec
67 %LCLop isEmpty :_char_Vec -> bool
68 %LCLop last :_char_Vec -> char
69 %LCLop len :_char_Vec -> int
70 %LCLop prefix :_char_Vec, int -> _char_Vec
71 %LCLop __ / __ :double, double -> double
72 %LCLop __ \implies __ :bool, bool -> bool
73 %LCLop removePrefix :_char_Vec, int -> _char_Vec
74 %LCLop substring :_char_Vec, int, int -> _char_Vec
75 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
76 %LCLop tail :_char_Vec -> _char_Vec
77 %LCLop __ \in __ :char, _char_Vec -> bool
78 %LCLop nullTerminated :_char_Vec -> bool
79 %LCLop throughNull :_char_Vec -> _char_Vec
80 %LCLop sameStr :_char_Vec, _char_Vec -> bool
81 %LCLop lenStr :_char_Vec -> int
82 %LCLop times10plus :int, int -> int
83 %LCLop plus1 :int -> int
92 %LCLop MALE : -> _eemployee0e_Enum
93 %LCLop FEMALE : -> _eemployee0e_Enum
94 %LCLop __ * __ :int, int -> int
95 %LCLop __ * __ :double, double -> double
96 %LCLop gender_ANY : -> _eemployee0e_Enum
98 %LCLtag eemployee0e enum
99 %LCLop false : -> bool
100 %LCLop MGR : -> _eemployee1e_Enum
101 %LCLop NONMGR : -> _eemployee1e_Enum
102 %LCLop __ \and __ :bool, bool -> bool
103 %LCLop job_ANY : -> _eemployee1e_Enum
104 %LCLop __ \or __ :bool, bool -> bool
105 %LCLop __ \eq __ :bool, bool -> bool
106 %LCLop __ \eq __ :int, int -> bool
107 %LCLop __ \eq __ :double, double -> bool
108 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
109 %LCLop __ \eq __ :char, char -> bool
110 %LCLop \not __ :bool -> bool
111 %LCLtag eemployee1e enum
112 %LCLop __ \neq __ :bool, bool -> bool
113 %LCLop __ \neq __ :int, int -> bool
114 %LCLop __ \neq __ :double, double -> bool
115 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
116 %LCLop __ \neq __ :char, char -> bool
117 %LCLop { __ } :char -> _char_Vec
118 %LCLtag semployee0s struct
119 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
120 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
121 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
122 %LCLop __ [__] :_char_Vec, int -> char
123 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
124 %LCLop __ [__] :__semployee0s_Struct_Tuple_Vec, int -> _semployee0s_Struct_Tuple
125 %LCLop __ [__] :__semployee0s_Struct_Arr, int -> _semployee0s_Struct
126 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
127 %LCLop [__, __, __, __, __] :_eemployee1e_Enum, _eemployee0e_Enum, int, _char_Vec, int -> _semployee0s_Struct_Tuple
128 %LCLop __ \leq __ :int, int -> bool
129 %LCLop __ \leq __ :double, double -> bool
130 %LCLop __ \geq __ :int, int -> bool
131 %LCLop __ \geq __ :double, double -> bool
132 %LCLop null : -> char
133 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
134 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
135 %LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
136 %LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
137 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
138 %LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
139 %LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
140 %LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
141 %LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
142 %LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
143 %LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
144 %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
145 %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
146 %LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
147 %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
148 %LCLop NIL : -> __char_Obj_Ptr
149 %LCLop NIL : -> __semployee0s_Struct_Ptr
150 %LCLop - __ :int -> int
151 %LCLop - __ :double -> double
152 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
153 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
154 %LCLop __ + __ :int, int -> int
155 %LCLop __ + __ :double, double -> double
156 %LCLop __ + __ :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
157 %LCLop __ + __ :int, __semployee0s_Struct_Ptr -> __semployee0s_Struct_Ptr
158 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
159 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
160 %LCLop __ - __ :int, int -> int
161 %LCLop __ - __ :double, double -> double
162 %LCLop __ - __ :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
163 %LCLop __ - __ :__semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> int
164 %LCLop sizeof :bool -> int
165 %LCLop sizeof :int -> int
166 %LCLop sizeof :char -> int
167 %LCLop sizeof :void -> int
168 %LCLop sizeof :float -> int
169 %LCLop sizeof :double -> int
170 %LCLop sizeof :_eemployee0e_Enum -> int
171 %LCLop sizeof :_eemployee1e_Enum -> int
172 %LCLop sizeof :eref -> int
173 %LCLop sizeof :map -> int
174 %LCLop isSub :_char_Vec, int -> bool
175 %LCLop isSub :__char_Obj_Arr, int -> bool
176 %LCLop isSub :__semployee0s_Struct_Tuple_Vec, int -> bool
177 %LCLop isSub :__semployee0s_Struct_Arr, int -> bool
178 %LCLop succ :int -> int
179 %LCLop pred :int -> int
180 %LCLop abs :int -> int
181 %LCLop abs :double -> double
182 %LCLop div :int, int -> int
183 %LCLop mod :int, int -> int
184 %LCLtype float float exposed
185 %LCLtype bool bool immutable
188 %LCLtype float float exposed
189 %LCLtype bool bool immutable
192 %LCLtype float float exposed
193 %LCLtype bool bool immutable
198 %LCLconst maxEmployeeName int
199 %LCLconst employeePrintSize int
200 %LCLenumConst MALE _eemployee0e_Enum
201 %LCLenumConst FEMALE _eemployee0e_Enum
202 %LCLenumConst gender_ANY _eemployee0e_Enum
203 %LCLtype gender _gender exposed
204 %LCLenumConst MGR _eemployee1e_Enum
205 %LCLenumConst NONMGR _eemployee1e_Enum
206 %LCLenumConst job_ANY _eemployee1e_Enum
207 %LCLtype job _job exposed
208 %LCLtype employee _employee exposed
209 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void
211 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool
213 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool
215 %LCLfcn employee_initMod : -> void
217 %LCLtype eref eref immutable
218 %LCLtype map map immutable
220 %LCLconst erefNIL eref
221 %LCLfcn eref_alloc : -> eref
222 %LCLfcnGlobals _map_Obj m;
223 %LCLfcn eref_free : eref -> void
224 %LCLfcnGlobals _map_Obj m;
225 %LCLfcn eref_assign : eref, _semployee0s_Struct_Tuple -> void
226 %LCLfcnGlobals _map_Obj m;
227 %LCLfcn eref_get : eref -> _semployee0s_Struct
228 %LCLfcnGlobals _map_Obj m;
229 %LCLfcn eref_equal : eref, eref -> bool
231 %LCLfcn eref_initMod : -> void
232 %LCLfcnGlobals _map_Obj m;