test/db1/dbase.lcs

   1 %PASSED Output from LCLint 3.0.0.17
   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 %LCLsort erc immutable nil nil
  50 %LCLsort _erc_Obj mutable erc nil
  51 %LCLsort ercIter immutable nil nil
  52 %LCLsort _ercIter_Obj mutable ercIter nil
  53 %LCLsort _size_t synonym int nil
  54 %LCLsort _wchar_t synonym int nil
  55 %LCLsort _sstdlib0s_Struct str sstdlib0s nil
  56 %LCLsort rem strMem _int_Obj nil
  57 %LCLsort quot strMem _int_Obj nil
  58 %LCLsort strEnd nil nil nil
  59 %LCLsort _sstdlib0s_Struct_Tuple tup _sstdlib0s_Struct nil
  60 %LCLsort __sstdlib0s_Struct_Ptr ptr _sstdlib0s_Struct nil
  61 %LCLsort __sstdlib0s_Struct_Arr arr _sstdlib0s_Struct nil
  62 %LCLsort __sstdlib0s_Struct_Tuple_Vec vec _sstdlib0s_Struct_Tuple __sstdlib0s_Struct_Arr
  63 %LCLsort _div_t synonym _sstdlib0s_Struct nil
  64 %LCLsort _sstdlib1s_Struct str sstdlib1s nil
  65 %LCLsort rem strMem _int_Obj nil
  66 %LCLsort quot strMem _int_Obj nil
  67 %LCLsort strEnd nil nil nil
  68 %LCLsort _sstdlib1s_Struct_Tuple tup _sstdlib1s_Struct nil
  69 %LCLsort __sstdlib1s_Struct_Ptr ptr _sstdlib1s_Struct nil
  70 %LCLsort __sstdlib1s_Struct_Arr arr _sstdlib1s_Struct nil
  71 %LCLsort __sstdlib1s_Struct_Tuple_Vec vec _sstdlib1s_Struct_Tuple __sstdlib1s_Struct_Arr
  72 %LCLsort _ldiv_t synonym _sstdlib1s_Struct nil
  73 %LCLsort _void_Obj obj void nil
  74 %LCLsort __void_Obj_Ptr ptr _void_Obj nil
  75 %LCLsort __void_Obj_Arr arr _void_Obj nil
  76 %LCLsort _void_Vec vec void __void_Obj_Arr
  77 %LCLsort _HOF_sort_32 hof nil nil
  78 %LCLsort _HOF_sort_33 hof nil nil
  79 %LCLsort __int_Obj_Ptr ptr _int_Obj nil
  80 %LCLsort __int_Obj_Arr arr _int_Obj nil
  81 %LCLsort _int_Vec vec int __int_Obj_Arr
  82 %LCLsort _HOF_sort_37 hof nil nil
  83 %LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
  84 %LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil
  85 %LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil
  86 %LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr
  87 %LCLsort FILE immutable nil nil
  88 %LCLsort _va_list synonym __void_Obj_Ptr nil
  89 %LCLsort _fpos_t synonym __void_Obj_Ptr nil
  90 %LCLsort _FILE_Obj obj FILE nil
  91 %LCLsort __FILE_Obj_Ptr ptr _FILE_Obj nil
  92 %LCLsort __FILE_Obj_Arr arr _FILE_Obj nil
  93 %LCLsort _FILE_Vec vec FILE __FILE_Obj_Arr
  94 %LCLsort ___FILE_Obj_Ptr_Obj obj __FILE_Obj_Ptr nil
  95 %LCLsort ___void_Obj_Ptr_Obj obj __void_Obj_Ptr nil
  96 %LCLsort ____void_Obj_Ptr_Obj_Ptr ptr ___void_Obj_Ptr_Obj nil
  97 %LCLsort ____void_Obj_Ptr_Obj_Arr arr ___void_Obj_Ptr_Obj nil
  98 %LCLsort ___void_Obj_Ptr_Vec vec __void_Obj_Ptr ____void_Obj_Ptr_Obj_Arr
  99 %LCLsort _sdbase1s_Struct str sdbase1s nil
 100 %LCLsort h strMem _int_Obj nil
 101 %LCLsort l strMem _int_Obj nil
 102 %LCLsort j strMem __eemployee1e_Enum_Obj nil
 103 %LCLsort g strMem __eemployee0e_Enum_Obj nil
 104 %LCLsort strEnd nil nil nil
 105 %LCLsort _sdbase1s_Struct_Tuple tup _sdbase1s_Struct nil
 106 %LCLsort __sdbase1s_Struct_Ptr ptr _sdbase1s_Struct nil
 107 %LCLsort __sdbase1s_Struct_Arr arr _sdbase1s_Struct nil
 108 %LCLsort __sdbase1s_Struct_Tuple_Vec vec _sdbase1s_Struct_Tuple __sdbase1s_Struct_Arr
 109 %LCLsort _db_q synonym _sdbase1s_Struct nil
 110 %LCLsort _edbase2e_Enum enum edbase2e nil
 111 %LCLsort missERR enumMem nil nil
 112 %LCLsort duplERR enumMem nil nil
 113 %LCLsort jobERR enumMem nil nil
 114 %LCLsort genderERR enumMem nil nil
 115 %LCLsort salERR enumMem nil nil
 116 %LCLsort db_OK enumMem nil nil
 117 %LCLsort enumEnd nil nil nil
 118 %LCLsort _db_status synonym _edbase2e_Enum nil
 119 %LCLsort db immutable nil nil
 120 %LCLsort _db_Obj obj db nil
 121 %LCLSortTableEnd
 122 %LCLSymbolTable
 123 %LCLop min :int, int -> int
 124 %LCLop max :int, int -> int
 125 %LCLop 0 : -> int
 126 %LCLop 0 : -> double
 127 %LCLop 1 : -> int
 128 %LCLop 1 : -> double
 129 %LCLop if __ then __ else __  :bool, bool, bool -> bool
 130 %LCLop if __ then __ else __  :bool, int, int -> int
 131 %LCLop if __ then __ else __  :bool, double, double -> double
 132 %LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
 133 %LCLop if __ then __ else __  :bool, char, char -> char
 134 %LCLop __ < __  :int, int -> bool
 135 %LCLop __ < __  :double, double -> bool
 136 %LCLop empty : -> _char_Vec
 137 %LCLop __ > __  :int, int -> bool
 138 %LCLop __ > __  :double, double -> bool
 139 %LCLop count :char, _char_Vec -> int
 140 %LCLop head :_char_Vec -> char
 141 %LCLop __ \inv :double -> double
 142 %LCLop init :_char_Vec -> _char_Vec
 143 %LCLop isEmpty :_char_Vec -> bool
 144 %LCLop last :_char_Vec -> char
 145 %LCLop len :_char_Vec -> int
 146 %LCLop prefix :_char_Vec, int -> _char_Vec
 147 %LCLop __ / __  :double, double -> double
 148 %LCLop __ \implies __  :bool, bool -> bool
 149 %LCLop removePrefix :_char_Vec, int -> _char_Vec
 150 %LCLop substring :_char_Vec, int, int -> _char_Vec
 151 %LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
 152 %LCLop tail :_char_Vec -> _char_Vec
 153 %LCLop __ \in __  :char, _char_Vec -> bool
 154 %LCLop nullTerminated :_char_Vec -> bool
 155 %LCLop throughNull :_char_Vec -> _char_Vec
 156 %LCLop sameStr :_char_Vec, _char_Vec -> bool
 157 %LCLop lenStr :_char_Vec -> int
 158 %LCLop times10plus :int, int -> int
 159 %LCLop plus1 :int -> int
 160 %LCLop 2 : -> int
 161 %LCLop 3 : -> int
 162 %LCLop 4 : -> int
 163 %LCLop 5 : -> int
 164 %LCLop 6 : -> int
 165 %LCLop 7 : -> int
 166 %LCLop 8 : -> int
 167 %LCLop 9 : -> int
 168 %LCLtag sstdlib0s struct
 169 %LCLop MALE : -> _eemployee0e_Enum
 170 %LCLop FEMALE : -> _eemployee0e_Enum
 171 %LCLop __ * __  :int, int -> int
 172 %LCLop __ * __  :double, double -> double
 173 %LCLop gender_ANY : -> _eemployee0e_Enum
 174 %LCLop true : -> bool
 175 %LCLtag eemployee0e enum
 176 %LCLop false : -> bool
 177 %LCLop MGR : -> _eemployee1e_Enum
 178 %LCLop NONMGR : -> _eemployee1e_Enum
 179 %LCLop __ \and __  :bool, bool -> bool
 180 %LCLtag sstdlib1s struct
 181 %LCLop job_ANY : -> _eemployee1e_Enum
 182 %LCLop __ \or __  :bool, bool -> bool
 183 %LCLop __ \eq __  :bool, bool -> bool
 184 %LCLop __ \eq __  :int, int -> bool
 185 %LCLop __ \eq __  :double, double -> bool
 186 %LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
 187 %LCLop __ \eq __  :char, char -> bool
 188 %LCLop \not __  :bool -> bool
 189 %LCLtag eemployee1e enum
 190 %LCLop __ \neq __  :bool, bool -> bool
 191 %LCLop __ \neq __  :int, int -> bool
 192 %LCLop __ \neq __  :double, double -> bool
 193 %LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
 194 %LCLop __ \neq __  :char, char -> bool
 195 %LCLop { __ } :char -> _char_Vec
 196 %LCLtag semployee0s struct
 197 %LCLop db_OK : -> _edbase2e_Enum
 198 %LCLop salERR : -> _edbase2e_Enum
 199 %LCLop genderERR : -> _edbase2e_Enum
 200 %LCLop jobERR : -> _edbase2e_Enum
 201 %LCLop duplERR : -> _edbase2e_Enum
 202 %LCLop missERR : -> _edbase2e_Enum
 203 %LCLop [__, __] :int, int -> _sstdlib0s_Struct_Tuple
 204 %LCLop [__, __] :int, int -> _sstdlib1s_Struct_Tuple
 205 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
 206 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
 207 %LCLop __ [] :__sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Arr
 208 %LCLop __ [] :__sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Arr
 209 %LCLop __ [] :__void_Obj_Ptr -> __void_Obj_Arr
 210 %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
 211 %LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
 212 %LCLop __ [] :__FILE_Obj_Ptr -> __FILE_Obj_Arr
 213 %LCLop __ [] :____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Arr
 214 %LCLop __ [] :__sdbase1s_Struct_Ptr -> __sdbase1s_Struct_Arr
 215 %LCLop __ |- __  :_char_Vec, char -> _char_Vec
 216 %LCLop __ [__] :_char_Vec, int -> char
 217 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
 218 %LCLop __ [__] :__semployee0s_Struct_Tuple_Vec, int -> _semployee0s_Struct_Tuple
 219 %LCLop __ [__] :__semployee0s_Struct_Arr, int -> _semployee0s_Struct
 220 %LCLop __ [__] :__sstdlib0s_Struct_Tuple_Vec, int -> _sstdlib0s_Struct_Tuple
 221 %LCLop __ [__] :__sstdlib0s_Struct_Arr, int -> _sstdlib0s_Struct
 222 %LCLop __ [__] :__sstdlib1s_Struct_Tuple_Vec, int -> _sstdlib1s_Struct_Tuple
 223 %LCLop __ [__] :__sstdlib1s_Struct_Arr, int -> _sstdlib1s_Struct
 224 %LCLop __ [__] :_void_Vec, int -> void
 225 %LCLop __ [__] :__void_Obj_Arr, int -> _void_Obj
 226 %LCLop __ [__] :_int_Vec, int -> int
 227 %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
 228 %LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
 229 %LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
 230 %LCLop __ [__] :_FILE_Vec, int -> FILE
 231 %LCLop __ [__] :__FILE_Obj_Arr, int -> _FILE_Obj
 232 %LCLop __ [__] :___void_Obj_Ptr_Vec, int -> __void_Obj_Ptr
 233 %LCLop __ [__] :____void_Obj_Ptr_Obj_Arr, int -> ___void_Obj_Ptr_Obj
 234 %LCLop __ [__] :__sdbase1s_Struct_Tuple_Vec, int -> _sdbase1s_Struct_Tuple
 235 %LCLop __ [__] :__sdbase1s_Struct_Arr, int -> _sdbase1s_Struct
 236 %LCLop __ -| __  :char, _char_Vec -> _char_Vec
 237 %LCLop [__, __, __, __] :int, int, _eemployee1e_Enum, _eemployee0e_Enum -> _sdbase1s_Struct_Tuple
 238 %LCLop __ \select quot :_sstdlib0s_Struct_Tuple -> int
 239 %LCLop __ \select quot :_sstdlib0s_Struct -> _int_Obj
 240 %LCLop __ \select quot :_sstdlib1s_Struct_Tuple -> int
 241 %LCLop __ \select quot :_sstdlib1s_Struct -> _int_Obj
 242 %LCLop [__, __, __, __, __] :_eemployee1e_Enum, _eemployee0e_Enum, int, _char_Vec, int -> _semployee0s_Struct_Tuple
 243 %LCLop __ \select rem :_sstdlib0s_Struct_Tuple -> int
 244 %LCLop __ \select rem :_sstdlib0s_Struct -> _int_Obj
 245 %LCLop __ \select rem :_sstdlib1s_Struct_Tuple -> int
 246 %LCLop __ \select rem :_sstdlib1s_Struct -> _int_Obj
 247 %LCLop __ \leq __  :int, int -> bool
 248 %LCLop __ \leq __  :double, double -> bool
 249 %LCLop __ \field_arrow quot :__sstdlib0s_Struct_Ptr -> _int_Obj
 250 %LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
 251 %LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
 252 %LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
 253 %LCLop __ \geq __  :int, int -> bool
 254 %LCLop __ \geq __  :double, double -> bool
 255 %LCLop null : -> char
 256 %LCLop __ \select g :_sdbase1s_Struct_Tuple -> _eemployee0e_Enum
 257 %LCLop __ \select g :_sdbase1s_Struct -> __eemployee0e_Enum_Obj
 258 %LCLop __ \select l :_sdbase1s_Struct_Tuple -> int
 259 %LCLop __ \select l :_sdbase1s_Struct -> _int_Obj
 260 %LCLop __ \field_arrow g :__sdbase1s_Struct_Ptr -> __eemployee0e_Enum_Obj
 261 %LCLop __ \select h :_sdbase1s_Struct_Tuple -> int
 262 %LCLop __ \select h :_sdbase1s_Struct -> _int_Obj
 263 %LCLop __ \field_arrow l :__sdbase1s_Struct_Ptr -> _int_Obj
 264 %LCLop __ \field_arrow h :__sdbase1s_Struct_Ptr -> _int_Obj
 265 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
 266 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
 267 %LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
 268 %LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
 269 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
 270 %LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
 271 %LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
 272 %LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
 273 %LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
 274 %LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
 275 %LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
 276 %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
 277 %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
 278 %LCLop __ \select j :_sdbase1s_Struct_Tuple -> _eemployee1e_Enum
 279 %LCLop __ \select j :_sdbase1s_Struct -> __eemployee1e_Enum_Obj
 280 %LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
 281 %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
 282 %LCLop __ \field_arrow j :__sdbase1s_Struct_Ptr -> __eemployee1e_Enum_Obj
 283 %LCLop NIL : -> __char_Obj_Ptr
 284 %LCLop NIL : -> __semployee0s_Struct_Ptr
 285 %LCLop NIL : -> __sstdlib0s_Struct_Ptr
 286 %LCLop NIL : -> __sstdlib1s_Struct_Ptr
 287 %LCLop NIL : -> __void_Obj_Ptr
 288 %LCLop NIL : -> __int_Obj_Ptr
 289 %LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
 290 %LCLop NIL : -> __FILE_Obj_Ptr
 291 %LCLop NIL : -> ____void_Obj_Ptr_Obj_Ptr
 292 %LCLop NIL : -> __sdbase1s_Struct_Ptr
 293 %LCLop - __  :int -> int
 294 %LCLop - __  :double -> double
 295 %LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
 296 %LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
 297 %LCLop __ + __  :int, int -> int
 298 %LCLop __ + __  :double, double -> double
 299 %LCLop __ + __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
 300 %LCLop __ + __  :int, __semployee0s_Struct_Ptr -> __semployee0s_Struct_Ptr
 301 %LCLop __ + __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
 302 %LCLop __ + __  :int, __sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Ptr
 303 %LCLop __ + __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
 304 %LCLop __ + __  :int, __sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Ptr
 305 %LCLop __ + __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
 306 %LCLop __ + __  :int, __void_Obj_Ptr -> __void_Obj_Ptr
 307 %LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
 308 %LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
 309 %LCLop __ + __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
 310 %LCLop __ + __  :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
 311 %LCLop __ + __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
 312 %LCLop __ + __  :int, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
 313 %LCLop __ + __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
 314 %LCLop __ + __  :int, ____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Ptr
 315 %LCLop __ + __  :__sdbase1s_Struct_Ptr, int -> __sdbase1s_Struct_Ptr
 316 %LCLop __ + __  :int, __sdbase1s_Struct_Ptr -> __sdbase1s_Struct_Ptr
 317 %LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
 318 %LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
 319 %LCLop __ - __  :int, int -> int
 320 %LCLop __ - __  :double, double -> double
 321 %LCLop __ - __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
 322 %LCLop __ - __  :__semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> int
 323 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
 324 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, __sstdlib0s_Struct_Ptr -> int
 325 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
 326 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, __sstdlib1s_Struct_Ptr -> int
 327 %LCLop __ - __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
 328 %LCLop __ - __  :__void_Obj_Ptr, __void_Obj_Ptr -> int
 329 %LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
 330 %LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
 331 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
 332 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
 333 %LCLop __ - __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
 334 %LCLop __ - __  :__FILE_Obj_Ptr, __FILE_Obj_Ptr -> int
 335 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
 336 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
 337 %LCLop __ - __  :__sdbase1s_Struct_Ptr, int -> __sdbase1s_Struct_Ptr
 338 %LCLop __ - __  :__sdbase1s_Struct_Ptr, __sdbase1s_Struct_Ptr -> int
 339 %LCLop sizeof :bool -> int
 340 %LCLop sizeof :int -> int
 341 %LCLop sizeof :char -> int
 342 %LCLop sizeof :void -> int
 343 %LCLop sizeof :float -> int
 344 %LCLop sizeof :double -> int
 345 %LCLop sizeof :_eemployee0e_Enum -> int
 346 %LCLop sizeof :_eemployee1e_Enum -> int
 347 %LCLop sizeof :eref -> int
 348 %LCLop sizeof :map -> int
 349 %LCLop sizeof :empset -> int
 350 %LCLop sizeof :ereftab -> int
 351 %LCLop sizeof :erc -> int
 352 %LCLop sizeof :ercIter -> int
 353 %LCLop sizeof :FILE -> int
 354 %LCLop sizeof :_edbase2e_Enum -> int
 355 %LCLop sizeof :db -> int
 356 %LCLop isSub :_char_Vec, int -> bool
 357 %LCLop isSub :__char_Obj_Arr, int -> bool
 358 %LCLop isSub :__semployee0s_Struct_Tuple_Vec, int -> bool
 359 %LCLop isSub :__semployee0s_Struct_Arr, int -> bool
 360 %LCLop isSub :__sstdlib0s_Struct_Tuple_Vec, int -> bool
 361 %LCLop isSub :__sstdlib0s_Struct_Arr, int -> bool
 362 %LCLop isSub :__sstdlib1s_Struct_Tuple_Vec, int -> bool
 363 %LCLop isSub :__sstdlib1s_Struct_Arr, int -> bool
 364 %LCLop isSub :_void_Vec, int -> bool
 365 %LCLop isSub :__void_Obj_Arr, int -> bool
 366 %LCLop isSub :_int_Vec, int -> bool
 367 %LCLop isSub :__int_Obj_Arr, int -> bool
 368 %LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
 369 %LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
 370 %LCLop isSub :_FILE_Vec, int -> bool
 371 %LCLop isSub :__FILE_Obj_Arr, int -> bool
 372 %LCLop isSub :___void_Obj_Ptr_Vec, int -> bool
 373 %LCLop isSub :____void_Obj_Ptr_Obj_Arr, int -> bool
 374 %LCLop isSub :__sdbase1s_Struct_Tuple_Vec, int -> bool
 375 %LCLop isSub :__sdbase1s_Struct_Arr, int -> bool
 376 %LCLop succ :int -> int
 377 %LCLop pred :int -> int
 378 %LCLop abs :int -> int
 379 %LCLop abs :double -> double
 380 %LCLop div :int, int -> int
 381 %LCLop mod :int, int -> int
 382 %LCLtype float float exposed
 383 %LCLtype bool bool immutable
 384 %LCLconst FALSE bool
 385 %LCLconst TRUE bool
 386 %LCLtype float float exposed
 387 %LCLtype bool bool immutable
 388 %LCLconst FALSE bool
 389 %LCLconst TRUE bool
 390 %LCLtype float float exposed
 391 %LCLtype bool bool immutable
 392 %LCLconst FALSE bool
 393 %LCLconst TRUE bool
 394 %LCLconst TRUE bool
 395 %LCLconst FALSE bool
 396 %LCLconst maxEmployeeName int
 397 %LCLconst employeePrintSize int
 398 %LCLenumConst MALE _eemployee0e_Enum
 399 %LCLenumConst FEMALE _eemployee0e_Enum
 400 %LCLenumConst gender_ANY _eemployee0e_Enum
 401 %LCLtype gender _gender exposed
 402 %LCLenumConst MGR _eemployee1e_Enum
 403 %LCLenumConst NONMGR _eemployee1e_Enum
 404 %LCLenumConst job_ANY _eemployee1e_Enum
 405 %LCLtype job _job exposed
 406 %LCLtype employee _employee exposed
 407 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void
 408 %LCLfcnGlobals
 409 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool
 410 %LCLfcnGlobals
 411 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool
 412 %LCLfcnGlobals
 413 %LCLfcn employee_initMod :  -> void
 414 %LCLfcnGlobals
 415 %LCLtype float float exposed
 416 %LCLtype bool bool immutable
 417 %LCLconst FALSE bool
 418 %LCLconst TRUE bool
 419 %LCLtype float float exposed
 420 %LCLtype bool bool immutable
 421 %LCLconst FALSE bool
 422 %LCLconst TRUE bool
 423 %LCLtype float float exposed
 424 %LCLtype bool bool immutable
 425 %LCLconst FALSE bool
 426 %LCLconst TRUE bool
 427 %LCLconst TRUE bool
 428 %LCLconst FALSE bool
 429 %LCLconst maxEmployeeName int
 430 %LCLconst employeePrintSize int
 431 %LCLenumConst MALE _eemployee0e_Enum
 432 %LCLenumConst FEMALE _eemployee0e_Enum
 433 %LCLenumConst gender_ANY _eemployee0e_Enum
 434 %LCLtype gender _gender exposed
 435 %LCLenumConst MGR _eemployee1e_Enum
 436 %LCLenumConst NONMGR _eemployee1e_Enum
 437 %LCLenumConst job_ANY _eemployee1e_Enum
 438 %LCLtype job _job exposed
 439 %LCLtype employee _employee exposed
 440 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void
 441 %LCLfcnGlobals
 442 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool
 443 %LCLfcnGlobals
 444 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool
 445 %LCLfcnGlobals
 446 %LCLfcn employee_initMod :  -> void
 447 %LCLfcnGlobals
 448 %LCLtype empset _empset_Obj mutable
 449 %LCLfcn empset_create :  -> _empset_Obj
 450 %LCLfcnGlobals
 451 %LCLfcn empset_final : _empset_Obj -> void
 452 %LCLfcnGlobals
 453 %LCLfcn empset_clear : _empset_Obj -> void
 454 %LCLfcnGlobals
 455 %LCLfcn empset_insert : _empset_Obj, _semployee0s_Struct_Tuple -> bool
 456 %LCLfcnGlobals
 457 %LCLfcn empset_insertUnique : _empset_Obj, _semployee0s_Struct_Tuple -> void
 458 %LCLfcnGlobals
 459 %LCLfcn empset_delete : _empset_Obj, _semployee0s_Struct_Tuple -> bool
 460 %LCLfcnGlobals
 461 %LCLfcn empset_union : _empset_Obj, _empset_Obj -> _empset_Obj
 462 %LCLfcnGlobals
 463 %LCLfcn empset_disjointUnion : _empset_Obj, _empset_Obj -> _empset_Obj
 464 %LCLfcnGlobals
 465 %LCLfcn empset_intersect : _empset_Obj, _empset_Obj -> void
 466 %LCLfcnGlobals
 467 %LCLfcn empset_size : _empset_Obj -> int
 468 %LCLfcnGlobals
 469 %LCLfcn empset_member : _semployee0s_Struct_Tuple, _empset_Obj -> bool
 470 %LCLfcnGlobals
 471 %LCLfcn empset_subset : _empset_Obj, _empset_Obj -> bool
 472 %LCLfcnGlobals
 473 %LCLfcn empset_choose : _empset_Obj -> _semployee0s_Struct
 474 %LCLfcnGlobals
 475 %LCLfcn empset_sprint : _empset_Obj -> __char_Obj_Ptr
 476 %LCLfcnGlobals
 477 %LCLfcn empset_initMod :  -> void
 478 %LCLfcnGlobals
 479 %LCLtype float float exposed
 480 %LCLtype bool bool immutable
 481 %LCLconst FALSE bool
 482 %LCLconst TRUE bool
 483 %LCLtype float float exposed
 484 %LCLtype bool bool immutable
 485 %LCLconst FALSE bool
 486 %LCLconst TRUE bool
 487 %LCLtype size_t _size_t exposed
 488 %LCLtype wchar_t _wchar_t exposed
 489 %LCLtype div_t _div_t exposed
 490 %LCLtype ldiv_t _ldiv_t exposed
 491 %LCLconst NULL __void_Obj_Ptr
 492 %LCLconst EXIT_FAILURE int
 493 %LCLconst EXIT_SUCCESS int
 494 %LCLconst RAND_MAX int
 495 %LCLconst MB_CUR_MAX int
 496 %LCLfcn abort :  -> void
 497 %LCLfcnGlobals
 498 %LCLfcn abs : int -> int
 499 %LCLfcnGlobals
 500 %LCLfcn atexit : _HOF_sort_32 -> int
 501 %LCLfcnGlobals
 502 %LCLfcn atof : __char_Obj_Ptr -> double
 503 %LCLfcnGlobals
 504 %LCLfcn atoi : __char_Obj_Ptr -> int
 505 %LCLfcnGlobals
 506 %LCLfcn atol : __char_Obj_Ptr -> int
 507 %LCLfcnGlobals
 508 %LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr
 509 %LCLfcnGlobals
 510 %LCLfcn calloc : int, int -> __void_Obj_Ptr
 511 %LCLfcnGlobals
 512 %LCLfcn div : int, int -> _sstdlib0s_Struct
 513 %LCLfcnGlobals
 514 %LCLfcn exit : int -> void
 515 %LCLfcnGlobals
 516 %LCLfcn free : __void_Obj_Ptr -> void
 517 %LCLfcnGlobals
 518 %LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr
 519 %LCLfcnGlobals
 520 %LCLfcn labs : int -> int
 521 %LCLfcnGlobals
 522 %LCLfcn ldiv : int, int -> _sstdlib1s_Struct
 523 %LCLfcnGlobals
 524 %LCLfcn malloc : int -> __void_Obj_Ptr
 525 %LCLfcnGlobals
 526 %LCLfcn mblen : __char_Obj_Ptr, int -> int
 527 %LCLfcnGlobals
 528 %LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
 529 %LCLfcnGlobals
 530 %LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
 531 %LCLfcnGlobals
 532 %LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void
 533 %LCLfcnGlobals
 534 %LCLfcn rand :  -> int
 535 %LCLfcnGlobals
 536 %LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr
 537 %LCLfcnGlobals
 538 %LCLfcn srand : int -> void
 539 %LCLfcnGlobals
 540 %LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double
 541 %LCLfcnGlobals
 542 %LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
 543 %LCLfcnGlobals
 544 %LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
 545 %LCLfcnGlobals
 546 %LCLfcn system : __char_Obj_Ptr -> int
 547 %LCLfcnGlobals
 548 %LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int
 549 %LCLfcnGlobals
 550 %LCLfcn wctomb : __char_Obj_Ptr, int -> int
 551 %LCLfcnGlobals
 552 %LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void
 553 %LCLfcnGlobals
 554 %LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool
 555 %LCLfcnGlobals
 556 %LCLfcn bzero : __char_Obj_Ptr, int -> void
 557 %LCLfcnGlobals
 558 %LCLfcn ffs : int -> int
 559 %LCLfcnGlobals
 560 %LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr
 561 %LCLfcnGlobals
 562 %LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
 563 %LCLfcnGlobals
 564 %LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool
 565 %LCLfcnGlobals
 566 %LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
 567 %LCLfcnGlobals
 568 %LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
 569 %LCLfcnGlobals
 570 %LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
 571 %LCLfcnGlobals
 572 %LCLtype FILE FILE immutable
 573 %LCLtype va_list _va_list exposed
 574 %LCLtype fpos_t _fpos_t exposed
 575 %LCLvar stdin ___FILE_Obj_Ptr_Obj
 576 %LCLvar stdout ___FILE_Obj_Ptr_Obj
 577 %LCLvar stderr ___FILE_Obj_Ptr_Obj
 578 %LCLconst EOF int
 579 %LCLfcn getc : __FILE_Obj_Ptr -> int
 580 %LCLfcnGlobals
 581 %LCLfcn getchar :  -> int
 582 %LCLfcnGlobals
 583 %LCLfcn putc : int, __FILE_Obj_Ptr -> int
 584 %LCLfcnGlobals
 585 %LCLfcn putchar : int -> int
 586 %LCLfcnGlobals
 587 %LCLfcn feof : __FILE_Obj_Ptr -> int
 588 %LCLfcnGlobals
 589 %LCLfcn ferror : __FILE_Obj_Ptr -> int
 590 %LCLfcnGlobals
 591 %LCLfcn fileno : __FILE_Obj_Ptr -> int
 592 %LCLfcnGlobals
 593 %LCLfcn _filbuf : __FILE_Obj_Ptr -> int
 594 %LCLfcnGlobals
 595 %LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int
 596 %LCLfcnGlobals
 597 %LCLfcn clearerr : __FILE_Obj_Ptr -> void
 598 %LCLfcnGlobals
 599 %LCLfcn fclose : __FILE_Obj_Ptr -> int
 600 %LCLfcnGlobals
 601 %LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr
 602 %LCLfcnGlobals
 603 %LCLfcn fflush : __FILE_Obj_Ptr -> int
 604 %LCLfcnGlobals
 605 %LCLfcn fgetc : __FILE_Obj_Ptr -> int
 606 %LCLfcnGlobals
 607 %LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
 608 %LCLfcnGlobals
 609 %LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr
 610 %LCLfcnGlobals
 611 %LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr
 612 %LCLfcnGlobals
 613 %LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
 614 %LCLfcnGlobals
 615 %LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
 616 %LCLfcnGlobals
 617 %LCLfcn fputc : int, __FILE_Obj_Ptr -> int
 618 %LCLfcnGlobals
 619 %LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int
 620 %LCLfcnGlobals
 621 %LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int
 622 %LCLfcnGlobals
 623 %LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
 624 %LCLfcnGlobals
 625 %LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
 626 %LCLfcnGlobals
 627 %LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int
 628 %LCLfcnGlobals
 629 %LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
 630 %LCLfcnGlobals
 631 %LCLfcn ftell : __FILE_Obj_Ptr -> int
 632 %LCLfcnGlobals
 633 %LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int
 634 %LCLfcnGlobals
 635 %LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr
 636 %LCLfcnGlobals
 637 %LCLfcn perror : __char_Obj_Ptr -> void
 638 %LCLfcnGlobals
 639 %LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr
 640 %LCLfcnGlobals
 641 %LCLfcn ungetc : char, __FILE_Obj_Ptr -> int
 642 %LCLfcnGlobals
 643 %LCLfcn printf : __char_Obj_Ptr -> int
 644 %LCLfcnGlobals
 645 %LCLfcn puts : __char_Obj_Ptr -> int
 646 %LCLfcnGlobals
 647 %LCLfcn remove : __char_Obj_Ptr -> int
 648 %LCLfcnGlobals
 649 %LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int
 650 %LCLfcnGlobals
 651 %LCLfcn rewind : __FILE_Obj_Ptr -> void
 652 %LCLfcnGlobals
 653 %LCLfcn scanf : __char_Obj_Ptr -> int
 654 %LCLfcnGlobals
 655 %LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void
 656 %LCLfcnGlobals
 657 %LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int
 658 %LCLfcnGlobals
 659 %LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int
 660 %LCLfcnGlobals
 661 %LCLfcn tmpfile :  -> __FILE_Obj_Ptr
 662 %LCLfcnGlobals
 663 %LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr
 664 %LCLfcnGlobals
 665 %LCLtype db_q _db_q exposed
 666 %LCLenumConst db_OK _edbase2e_Enum
 667 %LCLenumConst salERR _edbase2e_Enum
 668 %LCLenumConst genderERR _edbase2e_Enum
 669 %LCLenumConst jobERR _edbase2e_Enum
 670 %LCLenumConst duplERR _edbase2e_Enum
 671 %LCLenumConst missERR _edbase2e_Enum
 672 %LCLtype db_status _db_status exposed
 673 %LCLtype db db immutable
 674 %LCLvar d _db_Obj
 675 %LCLfcn hire : _semployee0s_Struct_Tuple -> _edbase2e_Enum
 676 %LCLfcnGlobals _db_Obj d;
 677 %LCLfcn uncheckedHire : _semployee0s_Struct_Tuple -> void
 678 %LCLfcnGlobals _db_Obj d;
 679 %LCLfcn fire : int -> bool
 680 %LCLfcnGlobals _db_Obj d;
 681 %LCLfcn query : _sdbase1s_Struct_Tuple, _empset_Obj -> int
 682 %LCLfcnGlobals _db_Obj d;
 683 %LCLfcn promote : int -> bool
 684 %LCLfcnGlobals _db_Obj d;
 685 %LCLfcn setSalary : int, int -> _edbase2e_Enum
 686 %LCLfcnGlobals _db_Obj d;
 687 %LCLfcn db_print :  -> void
 688 %LCLfcnGlobals _db_Obj d; ___FILE_Obj_Ptr_Obj stdout;
 689 %LCLfcn db_initMod :  -> void
 690 %LCLfcnGlobals _db_Obj d;
 691 %LCLSymbolTableEnd