1 %PASSED Output from LCLint 2.5m
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 abst1 immutable nil nil
16 %LCLsort _abst1_Obj mutable abst1 nil
17 %LCLsort abst2 immutable nil nil
18 %LCLsort _abst2_Obj mutable abst2 nil
21 %LCLop min :int, int -> int
22 %LCLop max :int, int -> int
27 %LCLop if __ then __ else __ :bool, bool, bool -> bool
28 %LCLop if __ then __ else __ :bool, int, int -> int
29 %LCLop if __ then __ else __ :bool, double, double -> double
30 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
31 %LCLop if __ then __ else __ :bool, char, char -> char
32 %LCLop __ < __ :int, int -> bool
33 %LCLop __ < __ :double, double -> bool
34 %LCLop empty : -> _char_Vec
35 %LCLop __ > __ :int, int -> bool
36 %LCLop __ > __ :double, double -> bool
37 %LCLop count :char, _char_Vec -> int
38 %LCLop head :_char_Vec -> char
39 %LCLop __ \inv :double -> double
40 %LCLop init :_char_Vec -> _char_Vec
41 %LCLop isEmpty :_char_Vec -> bool
42 %LCLop last :_char_Vec -> char
43 %LCLop len :_char_Vec -> int
44 %LCLop prefix :_char_Vec, int -> _char_Vec
45 %LCLop __ / __ :double, double -> double
46 %LCLop __ \implies __ :bool, bool -> bool
47 %LCLop removePrefix :_char_Vec, int -> _char_Vec
48 %LCLop substring :_char_Vec, int, int -> _char_Vec
49 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
50 %LCLop tail :_char_Vec -> _char_Vec
51 %LCLop __ \in __ :char, _char_Vec -> bool
52 %LCLop nullTerminated :_char_Vec -> bool
53 %LCLop throughNull :_char_Vec -> _char_Vec
54 %LCLop sameStr :_char_Vec, _char_Vec -> bool
55 %LCLop lenStr :_char_Vec -> int
56 %LCLop times10plus :int, int -> int
57 %LCLop plus1 :int -> int
66 %LCLop __ * __ :int, int -> int
67 %LCLop __ * __ :double, double -> double
69 %LCLop false : -> bool
70 %LCLop __ \and __ :bool, bool -> bool
71 %LCLop __ \or __ :bool, bool -> bool
72 %LCLop __ \eq __ :bool, bool -> bool
73 %LCLop __ \eq __ :int, int -> bool
74 %LCLop __ \eq __ :double, double -> bool
75 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
76 %LCLop __ \eq __ :char, char -> bool
77 %LCLop \not __ :bool -> bool
78 %LCLop __ \neq __ :bool, bool -> bool
79 %LCLop __ \neq __ :int, int -> bool
80 %LCLop __ \neq __ :double, double -> bool
81 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
82 %LCLop __ \neq __ :char, char -> bool
83 %LCLop { __ } :char -> _char_Vec
84 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
85 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
86 %LCLop __ [__] :_char_Vec, int -> char
87 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
88 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
89 %LCLop __ \leq __ :int, int -> bool
90 %LCLop __ \leq __ :double, double -> bool
91 %LCLop __ \geq __ :int, int -> bool
92 %LCLop __ \geq __ :double, double -> bool
94 %LCLop NIL : -> __char_Obj_Ptr
95 %LCLop - __ :int -> int
96 %LCLop - __ :double -> double
97 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
98 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
99 %LCLop __ + __ :int, int -> int
100 %LCLop __ + __ :double, double -> double
101 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
102 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
103 %LCLop __ - __ :int, int -> int
104 %LCLop __ - __ :double, double -> double
105 %LCLop sizeof :bool -> int
106 %LCLop sizeof :int -> int
107 %LCLop sizeof :char -> int
108 %LCLop sizeof :void -> int
109 %LCLop sizeof :float -> int
110 %LCLop sizeof :double -> int
111 %LCLop sizeof :abst1 -> int
112 %LCLop sizeof :abst2 -> int
113 %LCLop isSub :_char_Vec, int -> bool
114 %LCLop isSub :__char_Obj_Arr, int -> bool
115 %LCLop succ :int -> int
116 %LCLop pred :int -> int
117 %LCLop abs :int -> int
118 %LCLop abs :double -> double
119 %LCLop div :int, int -> int
120 %LCLop mod :int, int -> int
121 %LCLtype float float exposed
122 %LCLtype bool bool immutable
125 %LCLtype abst1 _abst1_Obj mutable
126 %LCLtype abst2 _abst2_Obj mutable