1 %PASSED Output from LCLint 3.0b-alpha
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 abst immutable nil nil
16 %LCLsort _abst_Obj mutable abst nil
17 %LCLsort immut immutable nil nil
18 %LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
19 %LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil
20 %LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil
21 %LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr
22 %LCLsort _____char_Obj_Ptr_Obj_Ptr_Obj obj ____char_Obj_Ptr_Obj_Ptr nil
23 %LCLsort _int_Obj obj int nil
24 %LCLsort __int_Obj_Ptr ptr _int_Obj nil
25 %LCLsort __int_Obj_Arr arr _int_Obj nil
26 %LCLsort _int_Vec vec int __int_Obj_Arr
29 %LCLop min :int, int -> int
30 %LCLop max :int, int -> int
35 %LCLop if __ then __ else __ :bool, bool, bool -> bool
36 %LCLop if __ then __ else __ :bool, int, int -> int
37 %LCLop if __ then __ else __ :bool, double, double -> double
38 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
39 %LCLop if __ then __ else __ :bool, char, char -> char
40 %LCLop __ < __ :int, int -> bool
41 %LCLop __ < __ :double, double -> bool
42 %LCLop empty : -> _char_Vec
43 %LCLop __ > __ :int, int -> bool
44 %LCLop __ > __ :double, double -> bool
45 %LCLop count :char, _char_Vec -> int
46 %LCLop head :_char_Vec -> char
47 %LCLop __ \inv :double -> double
48 %LCLop init :_char_Vec -> _char_Vec
49 %LCLop isEmpty :_char_Vec -> bool
50 %LCLop last :_char_Vec -> char
51 %LCLop len :_char_Vec -> int
52 %LCLop prefix :_char_Vec, int -> _char_Vec
53 %LCLop __ / __ :double, double -> double
54 %LCLop __ \implies __ :bool, bool -> bool
55 %LCLop removePrefix :_char_Vec, int -> _char_Vec
56 %LCLop substring :_char_Vec, int, int -> _char_Vec
57 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
58 %LCLop tail :_char_Vec -> _char_Vec
59 %LCLop __ \in __ :char, _char_Vec -> bool
60 %LCLop nullTerminated :_char_Vec -> bool
61 %LCLop throughNull :_char_Vec -> _char_Vec
62 %LCLop sameStr :_char_Vec, _char_Vec -> bool
63 %LCLop lenStr :_char_Vec -> int
64 %LCLop times10plus :int, int -> int
65 %LCLop plus1 :int -> int
74 %LCLop __ * __ :int, int -> int
75 %LCLop __ * __ :double, double -> double
77 %LCLop false : -> bool
78 %LCLop __ \and __ :bool, bool -> bool
79 %LCLop __ \or __ :bool, bool -> bool
80 %LCLop __ \eq __ :bool, bool -> bool
81 %LCLop __ \eq __ :int, int -> bool
82 %LCLop __ \eq __ :double, double -> bool
83 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
84 %LCLop __ \eq __ :char, char -> bool
85 %LCLop \not __ :bool -> bool
86 %LCLop __ \neq __ :bool, bool -> bool
87 %LCLop __ \neq __ :int, int -> bool
88 %LCLop __ \neq __ :double, double -> bool
89 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
90 %LCLop __ \neq __ :char, char -> bool
91 %LCLop { __ } :char -> _char_Vec
92 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
93 %LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
94 %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
95 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
96 %LCLop __ [__] :_char_Vec, int -> char
97 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
98 %LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
99 %LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
100 %LCLop __ [__] :_int_Vec, int -> int
101 %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
102 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
103 %LCLop __ \leq __ :int, int -> bool
104 %LCLop __ \leq __ :double, double -> bool
105 %LCLop __ \geq __ :int, int -> bool
106 %LCLop __ \geq __ :double, double -> bool
107 %LCLop null : -> char
108 %LCLop NIL : -> __char_Obj_Ptr
109 %LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
110 %LCLop NIL : -> __int_Obj_Ptr
111 %LCLop - __ :int -> int
112 %LCLop - __ :double -> double
113 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
114 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
115 %LCLop __ + __ :int, int -> int
116 %LCLop __ + __ :double, double -> double
117 %LCLop __ + __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
118 %LCLop __ + __ :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
119 %LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
120 %LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr
121 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
122 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
123 %LCLop __ - __ :int, int -> int
124 %LCLop __ - __ :double, double -> double
125 %LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
126 %LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
127 %LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
128 %LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int
129 %LCLop sizeof :bool -> int
130 %LCLop sizeof :int -> int
131 %LCLop sizeof :char -> int
132 %LCLop sizeof :void -> int
133 %LCLop sizeof :float -> int
134 %LCLop sizeof :double -> int
135 %LCLop sizeof :abst -> int
136 %LCLop sizeof :immut -> int
137 %LCLop isSub :_char_Vec, int -> bool
138 %LCLop isSub :__char_Obj_Arr, int -> bool
139 %LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
140 %LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
141 %LCLop isSub :_int_Vec, int -> bool
142 %LCLop isSub :__int_Obj_Arr, int -> bool
143 %LCLop succ :int -> int
144 %LCLop pred :int -> int
145 %LCLop abs :int -> int
146 %LCLop abs :double -> double
147 %LCLop div :int, int -> int
148 %LCLop mod :int, int -> int
149 %LCLtype float float exposed
150 %LCLtype bool bool immutable
153 %LCLtype abst _abst_Obj mutable
154 %LCLtype immut immut immutable
155 %LCLvar globstring _____char_Obj_Ptr_Obj_Ptr_Obj
156 %LCLfcn abst_create : _abst_Obj, __char_Obj_Ptr, int -> _abst_Obj
157 %LCLfcnGlobals _____char_Obj_Ptr_Obj_Ptr_Obj globstring;
158 %LCLfcn abst_name : _abst_Obj -> __char_Obj_Ptr
160 %LCLfcn abst_val : _abst_Obj -> int
162 %LCLfcn abst_aval : _abst_Obj -> __int_Obj_Ptr
164 %LCLfcn abst_parent : _abst_Obj -> _abst_Obj
166 %LCLfcn immut_name : immut -> __char_Obj_Ptr
168 %LCLfcn abst_setIm : _abst_Obj, immut -> void
170 %LCLfcn abst_getIm : _abst_Obj -> immut