]> andersk Git - splint.git/blame - test/enum.lcs
Created repository.
[splint.git] / test / enum.lcs
CommitLineData
885824d3 1%PASSED Output from LCLint 2.5m
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 _eenum0e_Enum enum eenum0e nil
16%LCLsort three enumMem nil nil
17%LCLsort two enumMem nil nil
18%LCLsort one enumMem nil nil
19%LCLsort enumEnd nil nil nil
20%LCLsort _etype synonym _eenum0e_Enum nil
21%LCLsort _eenum1e_Enum enum eenum1e nil
22%LCLsort dos enumMem nil nil
23%LCLsort uno enumMem nil nil
24%LCLsort cero enumMem nil nil
25%LCLsort enumEnd nil nil nil
26%LCLsort _stype synonym _eenum1e_Enum nil
27%LCLsort __ietag_Enum enum _ietag nil
28%LCLsort siete enumMem nil nil
29%LCLsort enumEnd nil nil nil
30%LCLsort _itype synonym __ietag_Enum nil
31%LCLsort _senum0s_Struct str senum0s nil
32%LCLsort b strMem _int_Obj nil
33%LCLsort a strMem _int_Obj nil
34%LCLsort strEnd nil nil nil
35%LCLsort _int_Obj obj int nil
36%LCLsort _senum0s_Struct_Tuple tup _senum0s_Struct nil
37%LCLsort __senum0s_Struct_Ptr ptr _senum0s_Struct nil
38%LCLsort __senum0s_Struct_Arr arr _senum0s_Struct nil
39%LCLsort __senum0s_Struct_Tuple_Vec vec _senum0s_Struct_Tuple __senum0s_Struct_Arr
40%LCLsort _st synonym _senum0s_Struct nil
41%LCLsort _senum1s_Struct str senum1s nil
42%LCLsort c strMem _int_Obj nil
43%LCLsort b strMem _int_Obj nil
44%LCLsort a strMem _int_Obj nil
45%LCLsort strEnd nil nil nil
46%LCLsort _senum1s_Struct_Tuple tup _senum1s_Struct nil
47%LCLsort __senum1s_Struct_Ptr ptr _senum1s_Struct nil
48%LCLsort __senum1s_Struct_Arr arr _senum1s_Struct nil
49%LCLsort __senum1s_Struct_Tuple_Vec vec _senum1s_Struct_Tuple __senum1s_Struct_Arr
50%LCLsort _st2 synonym _senum1s_Struct nil
51%LCLsort _eenum2e_Enum enum eenum2e nil
52%LCLsort yasta enumMem nil nil
53%LCLsort pasta enumMem nil nil
54%LCLsort hasta enumMem nil nil
55%LCLsort enumEnd nil nil nil
56%LCLSortTableEnd
57%LCLSymbolTable
58%LCLop max :int, int -> int
59%LCLop 0 : -> int
60%LCLop 0 : -> double
61%LCLop 1 : -> int
62%LCLop 1 : -> double
63%LCLop __ < __ :int, int -> bool
64%LCLop __ < __ :double, double -> bool
65%LCLop if __ then __ else __ :bool, bool, bool -> bool
66%LCLop if __ then __ else __ :bool, int, int -> int
67%LCLop if __ then __ else __ :bool, double, double -> double
68%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
69%LCLop if __ then __ else __ :bool, char, char -> char
70%LCLop empty : -> _char_Vec
71%LCLop __ > __ :int, int -> bool
72%LCLop __ > __ :double, double -> bool
73%LCLop count :char, _char_Vec -> int
74%LCLop head :_char_Vec -> char
75%LCLop __ \inv :double -> double
76%LCLop init :_char_Vec -> _char_Vec
77%LCLop isEmpty :_char_Vec -> bool
78%LCLop last :_char_Vec -> char
79%LCLop len :_char_Vec -> int
80%LCLop prefix :_char_Vec, int -> _char_Vec
81%LCLop __ / __ :double, double -> double
82%LCLop removePrefix :_char_Vec, int -> _char_Vec
83%LCLop __ \implies __ :bool, bool -> bool
84%LCLop substring :_char_Vec, int, int -> _char_Vec
85%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
86%LCLop tail :_char_Vec -> _char_Vec
87%LCLop __ \in __ :char, _char_Vec -> bool
88%LCLop nullTerminated :_char_Vec -> bool
89%LCLop throughNull :_char_Vec -> _char_Vec
90%LCLop sameStr :_char_Vec, _char_Vec -> bool
91%LCLop lenStr :_char_Vec -> int
92%LCLop times10plus :int, int -> int
93%LCLop plus1 :int -> int
94%LCLop 2 : -> int
95%LCLop 3 : -> int
96%LCLop 4 : -> int
97%LCLop 5 : -> int
98%LCLop 6 : -> int
99%LCLop 7 : -> int
100%LCLop 8 : -> int
101%LCLop 9 : -> int
102%LCLop one : -> _eenum0e_Enum
103%LCLop two : -> _eenum0e_Enum
104%LCLop three : -> _eenum0e_Enum
105%LCLop cero : -> _eenum1e_Enum
106%LCLop uno : -> _eenum1e_Enum
107%LCLop dos : -> _eenum1e_Enum
108%LCLop __ * __ :int, int -> int
109%LCLop __ * __ :double, double -> double
110%LCLop true : -> bool
111%LCLop false : -> bool
112%LCLtag _ietag enum
113%LCLop siete : -> __ietag_Enum
114%LCLop __ \and __ :bool, bool -> bool
115%LCLop __ \or __ :bool, bool -> bool
116%LCLop __ \eq __ :bool, bool -> bool
117%LCLop __ \eq __ :int, int -> bool
118%LCLop __ \eq __ :double, double -> bool
119%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
120%LCLop __ \eq __ :char, char -> bool
121%LCLop \not __ :bool -> bool
122%LCLop __ \neq __ :bool, bool -> bool
123%LCLop __ \neq __ :int, int -> bool
124%LCLop __ \neq __ :double, double -> bool
125%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
126%LCLop __ \neq __ :char, char -> bool
127%LCLop { __ } :char -> _char_Vec
128%LCLop [__, __] :int, int -> _senum0s_Struct_Tuple
129%LCLop __ |- __ :_char_Vec, char -> _char_Vec
130%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
131%LCLop __ [] :__senum0s_Struct_Ptr -> __senum0s_Struct_Arr
132%LCLop __ [] :__senum1s_Struct_Ptr -> __senum1s_Struct_Arr
133%LCLop [__, __, __] :int, int, int -> _senum1s_Struct_Tuple
134%LCLop __ -| __ :char, _char_Vec -> _char_Vec
135%LCLop __ [__] :_char_Vec, int -> char
136%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
137%LCLop __ [__] :__senum0s_Struct_Tuple_Vec, int -> _senum0s_Struct_Tuple
138%LCLop __ [__] :__senum0s_Struct_Arr, int -> _senum0s_Struct
139%LCLop __ [__] :__senum1s_Struct_Tuple_Vec, int -> _senum1s_Struct_Tuple
140%LCLop __ [__] :__senum1s_Struct_Arr, int -> _senum1s_Struct
141%LCLop __ \leq __ :int, int -> bool
142%LCLop __ \leq __ :double, double -> bool
143%LCLop __ \geq __ :int, int -> bool
144%LCLop __ \geq __ :double, double -> bool
145%LCLop hasta : -> _eenum2e_Enum
146%LCLop null : -> char
147%LCLop pasta : -> _eenum2e_Enum
148%LCLop yasta : -> _eenum2e_Enum
149%LCLop __ \select a :_senum0s_Struct_Tuple -> int
150%LCLop __ \select a :_senum0s_Struct -> _int_Obj
151%LCLop __ \select a :_senum1s_Struct_Tuple -> int
152%LCLop __ \select a :_senum1s_Struct -> _int_Obj
153%LCLop __ \select b :_senum0s_Struct_Tuple -> int
154%LCLop __ \select b :_senum0s_Struct -> _int_Obj
155%LCLop __ \select b :_senum1s_Struct_Tuple -> int
156%LCLop __ \select b :_senum1s_Struct -> _int_Obj
157%LCLop __ \field_arrow a :__senum0s_Struct_Ptr -> _int_Obj
158%LCLop __ \field_arrow a :__senum1s_Struct_Ptr -> _int_Obj
159%LCLop __ \field_arrow b :__senum0s_Struct_Ptr -> _int_Obj
160%LCLop __ \field_arrow b :__senum1s_Struct_Ptr -> _int_Obj
161%LCLop __ \select c :_senum1s_Struct_Tuple -> int
162%LCLop __ \select c :_senum1s_Struct -> _int_Obj
163%LCLop __ \field_arrow c :__senum1s_Struct_Ptr -> _int_Obj
164%LCLop NIL : -> __char_Obj_Ptr
165%LCLop NIL : -> __senum0s_Struct_Ptr
166%LCLop NIL : -> __senum1s_Struct_Ptr
167%LCLop - __ :int -> int
168%LCLop - __ :double -> double
169%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
170%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
171%LCLop __ + __ :int, int -> int
172%LCLop __ + __ :double, double -> double
173%LCLop __ + __ :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr
174%LCLop __ + __ :int, __senum0s_Struct_Ptr -> __senum0s_Struct_Ptr
175%LCLop __ + __ :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr
176%LCLop __ + __ :int, __senum1s_Struct_Ptr -> __senum1s_Struct_Ptr
177%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
178%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
179%LCLop __ - __ :int, int -> int
180%LCLop __ - __ :double, double -> double
181%LCLop __ - __ :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr
182%LCLop __ - __ :__senum0s_Struct_Ptr, __senum0s_Struct_Ptr -> int
183%LCLop __ - __ :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr
184%LCLop __ - __ :__senum1s_Struct_Ptr, __senum1s_Struct_Ptr -> int
185%LCLop sizeof :bool -> int
186%LCLop sizeof :int -> int
187%LCLop sizeof :char -> int
188%LCLop sizeof :void -> int
189%LCLop sizeof :float -> int
190%LCLop sizeof :double -> int
191%LCLop sizeof :_eenum0e_Enum -> int
192%LCLop sizeof :_eenum1e_Enum -> int
193%LCLop sizeof :__ietag_Enum -> int
194%LCLop sizeof :_eenum2e_Enum -> int
195%LCLop isSub :_char_Vec, int -> bool
196%LCLop isSub :__char_Obj_Arr, int -> bool
197%LCLop isSub :__senum0s_Struct_Tuple_Vec, int -> bool
198%LCLop isSub :__senum0s_Struct_Arr, int -> bool
199%LCLop isSub :__senum1s_Struct_Tuple_Vec, int -> bool
200%LCLop isSub :__senum1s_Struct_Arr, int -> bool
201%LCLop succ :int -> int
202%LCLop pred :int -> int
203%LCLop abs :int -> int
204%LCLop abs :double -> double
205%LCLop div :int, int -> int
206%LCLop mod :int, int -> int
207%LCLop min :int, int -> int
208%LCLtype float float exposed
209%LCLtype bool bool immutable
210%LCLconst FALSE bool
211%LCLconst TRUE bool
212%LCLenumConst one _eenum0e_Enum
213%LCLenumConst two _eenum0e_Enum
214%LCLenumConst three _eenum0e_Enum
215%LCLtype etype _etype exposed
216%LCLenumConst cero _eenum1e_Enum
217%LCLenumConst uno _eenum1e_Enum
218%LCLenumConst dos _eenum1e_Enum
219%LCLtype stype _stype exposed
220%LCLenumConst siete __ietag_Enum
221%LCLtype itype _itype exposed
222%LCLtype st _st exposed
223%LCLtype st2 _st2 exposed
224%LCLenumConst hasta _eenum2e_Enum
225%LCLenumConst pasta _eenum2e_Enum
226%LCLenumConst yasta _eenum2e_Enum
227%LCLSymbolTableEnd
This page took 0.072183 seconds and 5 git commands to generate.