]> andersk Git - splint.git/blame - lib/ansi.lcd
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Put manual in CVS
[splint.git] / lib / ansi.lcd
CommitLineData
11db3170 1;;; Splint Library ansi.lcd
45569d72 2;;Splint 3.0.1 --- 06 Jan 2002
3;;lib:296
885824d3 4;;ctTable
50 u-2 19 38
60 p1|-2 20 39
70 b-2 21 40
80 p3|-2 22 41
90 p4|-2 23 42
100 p5|-2 24 43
110 p6|-2 25 44
120 p7|-2 26 45
130 p8|-2 27 46
140 p9|-2 28 47
150 p10|-2 29 48
160 p11|-2 30 49
170 p12|-2 31 50
180 p13|-2 32 51
190 p14|-2 33 52
200 p15|-2 34 53
210 p16|-2 35 54
220 p17|-2 36 55
230 p18|-2 37 56
27c9e640 241 t0|0 315 -1
885824d3 251 t1|1&
261 t2|2&
271 t3|3&
27c9e640 281 t4|4 316 -1
885824d3 291 t5|5&
301 t6|6&
311 t7|7&
321 t8|8&
331 t9|9&
341 t10|10&
351 t11|11&
361 t12|12&
371 t13|13&
381 t14|14&
391 t15|15&
401 t16|16&
411 t17|17&
421 t18|18&
432 y0|0&
442 y1|1&
452 y2|2&
462 y3|3&
472 y4|4&
482 y5|5&
492 y6|6&
502 y7|7&
512 y8|8&
522 y9|9&
532 y10|10&
542 y11|11&
552 y12|12&
562 y13|13&
572 y14|14&
582 y15|15&
592 y16|16&
602 y17|17&
612 y18|18&
62-2 ?!
b46462e0 630 a0|&
640 s10|&
650 s11|&
660 s12|&
b46462e0 670 s24|&
680 s25|&
3e3ec469 690 s26|&
27c9e640 700 s27|-1 384 -1
3e3ec469 710 s28|&
27c9e640 720 a29|-1 402 -1
885824d3 733 C0.5/20|!
920a3797 743 C0.68/2|!
885824d3 753 C0.2/5|!
920a3797 763 f0 (70|@7|$#,)!
773 f1 (70|@7|$#,)!
27c9e640 783 C0.4/3|!
793 C0.5/73|!
803 f0 (74|$#,)!
813 f2 (74|$#,)!
823 f70 (74|$#,)!
833 f0 (74|$#,)!
843 f2 (74|$#,)!
853 f70 (74|$#,)!
863 f0 (74|$#,)!
873 f2 (74|$#,)!
883 f70 (74|$#,)!
893 f0 (74|$#,)!
903 f2 (74|$#,)!
913 f70 (74|$#,)!
885824d3 923 C0.2/5|!
27c9e640 933 f0 (74|$#,)!
943 f2 (74|$#,)!
953 f87 (74|$#,)!
963 C0.5/73|!
973 f0 (91|$#,)!
983 f2 (91|$#,)!
993 f87 (91|$#,)!
1003 f0 (91|$#,)!
1013 f2 (91|$#,)!
1023 f87 (91|$#,)!
1033 f0 (91|$#,)!
1043 f2 (91|$#,)!
1053 f87 (91|$#,)!
1063 f0 (91|$#,)!
1073 f2 (91|$#,)!
1083 f87 (91|$#,)!
885824d3 1093 C0.2/5|!
27c9e640 1103 f0 (91|$#,)!
1113 f2 (91|$#,)!
1123 f104 (91|$#,)!
1133 C0.5/73|!
1143 f0 (108|$#,)!
1153 f2 (108|$#,)!
1163 f104 (108|$#,)!
885824d3 1173 C0.4/5|!
27c9e640 1183 f0 (108|$#,)!
1193 f4 (108|$#,)!
1203 f112 (108|$#,)!
1213 f0 (108|$#,)!
1223 f4 (108|$#,)!
1233 f112 (108|$#,)!
885824d3 1243 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|^#int_frac_digits,4|@1|^#frac_digits,4|@1|^#p_cs_precedes,4|@1|^#p_sep_by_space,4|@1|^#n_cs_precedes,4|@1|^#n_sep_by_space,4|@1|^#p_sign_posn,4|@1|^#n_sign_posn,}!
27c9e640 1250 s46|-1 126 -1
885824d3 1263 f0 (5|$#,23|0@5@7&#,)!
1273 f19 (5|$#,23|0@5@7&#,)!
1283 f23 (5|$#,23|0@5@7&#,)!
1293 f0 ()!
1303 f19 ()!
27c9e640 1311 t120|120&
1323 f126 ()!
885824d3 1333 f0 (17|$#,)!
1343 f17 (17|$#,)!
1353 f0 (17|$#,)!
1363 f17 (17|$#,)!
1373 f0 (17|$#,)!
1383 f17 (17|$#,)!
1393 f0 (17|$#,)!
1403 f17 (17|$#,)!
1413 f0 (17|$#,)!
1423 f17 (17|$#,)!
1433 f0 (17|$#,)!
1443 f17 (17|$#,)!
1453 f0 (17|$#,17|$#,)!
1463 f17 (17|$#,17|$#,)!
1473 f0 (17|$#,)!
1483 f17 (17|$#,)!
1493 f0 (17|$#,)!
1503 f17 (17|$#,)!
1513 f0 (17|$#,)!
1523 f17 (17|$#,)!
1533 f0 (17|$#,)!
1543 f17 (17|$#,)!
1553 f0 (17|$#,5|$#,)!
1563 f17 (17|$#,5|$#,)!
1573 f0 (17|$#,24|4@0@7&#,)!
1583 f17 (17|$#,24|4@0@7&#,)!
1593 f0 (17|$#,)!
1603 f17 (17|$#,)!
1613 f0 (17|$#,)!
1623 f17 (17|$#,)!
1633 f0 (17|$#,17|$#,)!
1643 f17 (17|$#,17|$#,)!
1653 f0 (17|$#,)!
1663 f17 (17|$#,)!
1673 f0 (17|$#,)!
1683 f17 (17|$#,)!
1693 f0 (17|$#,)!
1703 f17 (17|$#,)!
1713 f0 (17|$#,)!
1723 f17 (17|$#,)!
1733 f0 (17|$#,36|4@0@7&#,)!
1743 f17 (17|$#,36|4@0@7&#,)!
1753 f0 (17|$#,17|$#,)!
1763 f17 (17|$#,17|$#,)!
3e3ec469 1770 a124|&
27c9e640 1783 f0 (172|4@0@7&#,)!
1793 f5 (172|4@0@7&#,)!
1803 f0 (172|$#,5|$#,)!
1813 f1 (172|$#,5|$#,)!
3e3ec469 1820 s133|&
885824d3 1833 ?!
27c9e640 1843 f178 (5|$#,)!
1853 f1 (5|$#,)^181
1861 t180|180&
885824d3 1873 ?!
27c9e640 1883 f182 (5|$#,)!
1893 f1 (5|$#,)^185
1901 t184|184&
885824d3 1913 ?!
27c9e640 1923 f186 (5|$#,)!
1933 f1 (5|$#,)^189
1941 t188|188&
885824d3 1953 ?!
27c9e640 1963 f190 (5|$#,)!
1973 f1 (5|$#,)^193
1981 t192|192&
1993 f0 (5|$#,193|0@5@7&#,)!
2003 f19 (5|$#,193|0@5@7&#,)^196
2011 t195|195&
885824d3 2023 ?!
27c9e640 2033 f197 (5|$#,)!
885824d3 2043 f19 (5|$#,)!
27c9e640 2053 f1 (5|$#,193|0@5@7&#,)!
885824d3 2063 f1 (5|$#,)!
27c9e640 2073 f201 (5|$#,193|0@5@7&#,)!
885824d3 2083 f0 (5|$#,)!
2093 f5 (5|$#,)!
3e3ec469 2100 a139|&
27c9e640 2113 f0 (205|4@0@7&#,!.,)!
2123 f1 (205|4@0@7&#,!.,)!
2133 f0 (205|$#,)!
2143 f1 (205|$#,)!
2150 a142|-1 212 -1
2160 a143|-1 290 -1
2171 t210|210&
885824d3 2183 f0 (23|$#,)!
2193 f5 (23|$#,)!
2203 f0 (23|$#,23|$#,)!
2213 f5 (23|$#,23|$#,)!
2223 f0 ()!
2233 f19 ()!
27c9e640 2243 f212 ()!
885824d3 2253 f0 (23|@5|4@5@7&#,)!
2263 f19 (23|@5|4@5@7&#,)!
2273 f23 (23|@5|4@5@7&#,)!
27c9e640 2283 f0 (212|$#,)!
2293 f5 (212|$#,)!
2303 f0 (212|0@5@7&#,)!
2313 f5 (212|0@5@7&#,)!
885824d3 2323 f0 (23|$#,23|$#,)!
2333 f19 (23|$#,23|$#,)!
27c9e640 2343 f212 (23|$#,23|$#,)!
2353 f0 (23|$#,23|$#,212|$#,)!
2363 f19 (23|$#,23|$#,212|$#,)!
2373 f212 (23|$#,23|$#,212|$#,)!
2383 f0 (212|$#,23|0@5@19@2@0#,)!
2393 f1 (212|$#,23|0@5@19@2@0#,)!
2403 f0 (212|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
2413 f5 (212|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
885824d3 2423 C0.5/1|!
27c9e640 2433 f0 (212|$#,23|$#,!.,)!
2443 f5 (212|$#,23|$#,!.,)!
2453 f237 (212|$#,23|$#,!.,)!
2463 f0 (212|$#,23|$#,!.,)!
2473 f5 (212|$#,23|$#,!.,)!
885824d3 2483 f0 (23|$#,!.,)!
2493 f5 (23|$#,!.,)!
27c9e640 2503 f237 (23|$#,!.,)!
885824d3 2513 f0 (23|$#,!.,)!
2523 f5 (23|$#,!.,)!
2533 f0 (23|4@0@7&#,23|$#,!.,)!
2543 f5 (23|4@0@7&#,23|$#,!.,)!
27c9e640 2553 f237 (23|4@0@7&#,23|$#,!.,)!
885824d3 2563 f0 (23|4@0@7&#,23|$#,!.,)!
2573 f5 (23|4@0@7&#,23|$#,!.,)!
27c9e640 2583 f0 (23|$#,205|$#,)!
2593 f5 (23|$#,205|$#,)!
2603 f0 (212|$#,23|$#,205|$#,)!
2613 f5 (212|$#,23|$#,205|$#,)!
2623 f0 (23|4@0@7&#,23|$#,205|$#,)!
2633 f5 (23|4@0@7&#,23|$#,205|$#,)!
2643 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
2653 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
2663 f0 (212|$#,)!
2673 f5 (212|$#,)!
2683 f0 (23|@5|4@0@7&#,5|$#,212|$#,)!
2693 f19 (23|@5|4@0@7&#,5|$#,212|$#,)!
2703 f23 (23|@5|4@0@7&#,5|$#,212|$#,)!
885824d3 2713 C0.5/4|!
27c9e640 2723 f0 (266|$#,212|$#,)!
2733 f5 (266|$#,212|$#,)!
2743 f0 (23|$#,212|$#,)!
2753 f5 (23|$#,212|$#,)!
2763 f0 (212|@7|$#,)!
2773 f5 (212|@7|$#,)!
885824d3 2783 f0 ()!
2793 f5 ()!
2803 f0 (23|4@0@7&#,)!
2813 f19 (23|4@0@7&#,)!
2823 f23 (23|4@0@7&#,)!
27c9e640 2833 f0 (266|$#,212|@7|$#,)!
2843 f5 (266|$#,212|@7|$#,)!
2853 f0 (266|$#,)!
2863 f5 (266|$#,)!
885824d3 2873 f0 (23|$#,)!
2883 f5 (23|$#,)!
27c9e640 2893 f0 (266|$#,212|$#,)!
2903 f5 (266|$#,212|$#,)!
2913 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
2923 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
2933 f0 (20|$#,63|$#,63|$#,212|$#,)!
2943 f63 (20|$#,63|$#,63|$#,212|$#,)!
2951 t211|211&
2963 f0 (212|$#,290|4@0@7&#,)!
2973 f5 (212|$#,290|4@0@7&#,)!
2983 f0 (212|$#,9|$#,5|$#,)!
2993 f5 (212|$#,9|$#,5|$#,)!
3003 f0 (212|$#,290|$#,)!
3013 f5 (212|$#,290|$#,)!
3023 f0 (212|$#,)!
3033 f9 (212|$#,)!
3043 f0 (212|$#,)!
3053 f1 (212|$#,)!
3063 f0 (212|$#,)!
3073 f1 (212|$#,)!
3083 f0 (212|$#,)!
3093 f5 (212|$#,)!
3103 f0 (212|$#,)!
3113 f5 (212|$#,)!
885824d3 3123 f0 (23|0@5@7&#,)!
3133 f1 (23|0@5@7&#,)!
3143 f0 (23|$#,)!
3153 f17 (23|$#,)!
3163 f0 (23|$#,)!
3173 f5 (23|$#,)!
3183 f0 (23|$#,)!
3193 f9 (23|$#,)!
3201 t19|19&
3211 t23|23&
27c9e640 3223 f0 (23|$#,316|4@5@7&#,)!
3233 f17 (23|$#,316|4@5@7&#,)!
3243 f0 (23|$#,316|4@5@7&#,5|$#,)!
3253 f9 (23|$#,316|4@5@7&#,5|$#,)!
3263 f0 (23|$#,316|4@5@7&#,5|$#,)!
3273 f10 (23|$#,316|4@5@7&#,5|$#,)!
885824d3 3283 f0 ()!
3293 f5 ()!
3303 f0 (6|$#,)!
3313 f1 (6|$#,)!
3323 f0 (63|$#,63|$#,)!
3333 f19 (63|$#,63|$#,)!
3343 f20 (63|$#,63|$#,)!
3353 f0 (63|$#,)!
3363 f19 (63|$#,)!
3373 f20 (63|$#,)!
3383 f0 (20|@5|4@5@2&#,63|$#,)!
3393 f19 (20|@5|4@5@2&#,63|$#,)!
3403 f20 (20|@5|4@5@2&#,63|$#,)!
3413 f0 (20|4@5@2&#,)!
3423 f1 (20|4@5@2&#,)!
3433 f0 ()!
3443 f1 ()!
3453 f0 (5|$#,)!
3463 f1 (5|$#,)!
3473 ?!
27c9e640 3483 f342 ()!
3493 f1 ()^345
3501 t344|344&
3513 f0 (345|$#,)!
3523 f5 (345|$#,)!
885824d3 3533 f0 (23|$#,)!
3543 f19 (23|$#,)!
3553 f23 (23|$#,)!
3563 f0 (23|0@5@7&#,)!
3573 f5 (23|0@5@7&#,)!
3583 ?!
27c9e640 3593 f353 (20|$#,20|$#,)!
3603 f5 (20|$#,20|$#,)^356
3611 t355|355&
3623 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
3633 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
3643 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
885824d3 3653 ?!
27c9e640 3663 f360 (20|$#,20|$#,)!
3673 f5 (20|$#,20|$#,)^363
3681 t362|362&
3693 f0 (20|$#,63|$#,63|$#,363|$#,)!
3703 f1 (20|$#,63|$#,63|$#,363|$#,)!
885824d3 3713 f0 (5|$#,)!
3723 f5 (5|$#,)!
3733 S!2{5|@1|^#quot,5|@1|^#rem,}!
ccf0a4a8 3740 s222|&
3e3ec469 3750 s223|&
885824d3 3763 f0 (5|$#,5|$#,)!
27c9e640 3773 f370 (5|$#,5|$#,)!
885824d3 3783 f0 (9|$#,)!
3793 f9 (9|$#,)!
3803 S!3{9|@1|^#quot,9|@1|^#rem,}!
ccf0a4a8 3810 s226|&
3e3ec469 3820 s227|&
885824d3 3833 f0 (9|$#,9|$#,)!
27c9e640 3843 f377 (9|$#,9|$#,)!
885824d3 3853 f0 (5|$#,)!
3863 f66 (5|$#,)!
27c9e640 3873 f0 (212|$#,)!
3883 f66 (212|$#,)!
3891 t65|65 466 -1
3903 f0 (384|@5|$#,5|$#,212|$#,)!
3913 f19 (384|@5|$#,5|$#,212|$#,)!
3923 f384 (384|@5|$#,5|$#,212|$#,)!
3933 f0 (65|$#,212|$#,)!
3943 f66 (65|$#,212|$#,)!
3953 f0 (384|$#,212|$#,)!
3963 f5 (384|$#,212|$#,)!
3973 f0 (212|$#,5|$#,)!
3983 f5 (212|$#,5|$#,)!
3993 f0 (212|$#,384|$#,!.,)!
4003 f5 (212|$#,384|$#,!.,)!
4013 f0 (212|$#,384|$#,!.,)!
4023 f5 (212|$#,384|$#,!.,)!
4033 f0 (212|@7|$#,)!
4043 f66 (212|@7|$#,)!
885824d3 4053 f0 ()!
4063 f66 ()!
4071 t67|67&
27c9e640 4083 f0 (23|$#,63|$#,402|0@5@7&#,)!
4093 f63 (23|$#,63|$#,402|0@5@7&#,)!
4103 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
4113 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
4123 f0 (402|0@5@7&#,)!
4133 f5 (402|0@5@7&#,)!
4143 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
4153 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
4163 f0 (65|$#,212|@7|$#,)!
4173 f66 (65|$#,212|@7|$#,)!
885824d3 4183 f0 (65|$#,)!
4193 f66 (65|$#,)!
27c9e640 4203 f0 (384|$#,63|$#,384|$#,!.,)!
4213 f5 (384|$#,63|$#,384|$#,!.,)!
4223 f0 (384|$#,384|$#,!.,)!
4233 f5 (384|$#,384|$#,!.,)!
4243 f0 (66|$#,212|$#,)!
4253 f66 (66|$#,212|$#,)!
4263 f0 (212|$#,384|$#,205|$#,)!
4273 f5 (212|$#,384|$#,205|$#,)!
4283 f0 (384|$#,63|$#,384|$#,205|$#,)!
4293 f5 (384|$#,63|$#,384|$#,205|$#,)!
4303 f0 (384|$#,205|$#,)!
4313 f5 (384|$#,205|$#,)!
4323 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
4333 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
4343 C0.1/384|!
4353 f0 (384|@5|4@0@9&#,384|$#,)!
4363 f1 (384|@5|4@0@9&#,384|$#,)!
4373 f429 (384|@5|4@0@9&#,384|$#,)!
4383 f0 (384|@5|$#,65|$#,)!
4393 f19 (384|@5|$#,65|$#,)!
4403 f384 (384|@5|$#,65|$#,)!
4413 f0 (384|$#,384|$#,)!
4423 f5 (384|$#,384|$#,)!
4433 f0 (384|$#,384|$#,)!
4443 f5 (384|$#,384|$#,)!
4453 f0 (384|@5|4@0@9&#,384|$#,)!
4463 f1 (384|@5|4@0@9&#,384|$#,)!
4473 f429 (384|@5|4@0@9&#,384|$#,)!
4483 f0 (384|$#,384|$#,)!
4493 f63 (384|$#,384|$#,)!
4500 s262|-1 446 -1
4511 t445|445&
4523 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
4533 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
4543 f0 (384|$#,)!
4553 f63 (384|$#,)!
4563 C0.1/384|!
4573 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
4583 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
4593 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
4603 f0 (384|$#,384|$#,63|$#,)!
4613 f5 (384|$#,384|$#,63|$#,)!
4623 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
4633 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
4643 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
4653 f0 (384|@5|$#,384|$#,)!
4663 f19 (384|@5|$#,384|$#,)!
4673 f384 (384|@5|$#,384|$#,)!
4683 f0 (384|@5|$#,65|$#,)!
4693 f19 (384|@5|$#,65|$#,)!
4703 f384 (384|@5|$#,65|$#,)!
4711 t384|384&
4723 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
4733 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
4743 f0 (384|$#,384|$#,)!
4753 f63 (384|$#,384|$#,)!
4763 f0 (384|$#,384|$#,)!
4773 f19 (384|$#,384|$#,)!
4783 f384 (384|$#,384|$#,)!
4793 f0 (384|$#,466|0@5@7&#,)!
4803 f17 (384|$#,466|0@5@7&#,)!
4813 f0 (384|0@5@7&#,384|$#,466|$#,)!
4823 f19 (384|0@5@7&#,384|$#,466|$#,)!
4833 f384 (384|0@5@7&#,384|$#,466|$#,)!
4843 f0 (384|$#,466|0@5@7&#,5|$#,)!
4853 f9 (384|$#,466|0@5@7&#,5|$#,)!
4863 f0 (384|$#,466|0@5@7&#,5|$#,)!
4873 f10 (384|$#,466|0@5@7&#,5|$#,)!
4883 f0 (384|0@5@7&#,384|$#,63|$#,)!
4893 f63 (384|0@5@7&#,384|$#,63|$#,)!
885824d3 4903 f0 (66|$#,)!
4913 f5 (66|$#,)!
27c9e640 4923 f0 (384|$#,65|$#,63|$#,)!
4933 f19 (384|$#,65|$#,63|$#,)!
4943 f384 (384|$#,65|$#,63|$#,)!
4953 f0 (384|$#,384|$#,63|$#,)!
4963 f5 (384|$#,384|$#,63|$#,)!
4973 f0 (384|@5|$#,384|$#,63|$#,)!
4983 f19 (384|@5|$#,384|$#,63|$#,)!
4993 f384 (384|@5|$#,384|$#,63|$#,)!
5003 f0 (384|@5|$#,384|$#,63|$#,)!
5013 f19 (384|@5|$#,384|$#,63|$#,)!
5023 f384 (384|@5|$#,384|$#,63|$#,)!
5033 f0 (384|@5|$#,65|$#,63|$#,)!
5043 f19 (384|@5|$#,65|$#,63|$#,)!
5053 f384 (384|@5|$#,65|$#,63|$#,)!
5063 f0 (384|$#,!.,)!
5073 f5 (384|$#,!.,)!
5083 f0 (384|$#,!.,)!
5093 f5 (384|$#,!.,)!
ccf0a4a8 5100 s286|&
3e3ec469 5110 s287|&
885824d3 5123 C0.2/5|!
5133 f0 (66|$#,)!
5143 f2 (66|$#,)!
27c9e640 5153 f507 (66|$#,)!
885824d3 5163 f0 (66|$#,)!
5173 f2 (66|$#,)!
27c9e640 5183 f507 (66|$#,)!
885824d3 5193 f0 (66|$#,)!
5203 f2 (66|$#,)!
27c9e640 5213 f507 (66|$#,)!
5223 f0 (66|$#,505|$#,)!
5233 f2 (66|$#,505|$#,)!
5243 f507 (66|$#,505|$#,)!
885824d3 5253 f0 (66|$#,)!
5263 f2 (66|$#,)!
27c9e640 5273 f507 (66|$#,)!
885824d3 5283 f0 (66|$#,)!
5293 f2 (66|$#,)!
5303 C0.2/5|!
27c9e640 5313 f525 (66|$#,)!
885824d3 5323 f0 (66|$#,)!
5333 f2 (66|$#,)!
27c9e640 5343 f525 (66|$#,)!
885824d3 5353 f0 (66|$#,)!
5363 f2 (66|$#,)!
27c9e640 5373 f525 (66|$#,)!
885824d3 5383 f0 (66|$#,)!
5393 f2 (66|$#,)!
27c9e640 5403 f525 (66|$#,)!
885824d3 5413 f0 (66|$#,)!
5423 f2 (66|$#,)!
27c9e640 5433 f525 (66|$#,)!
885824d3 5443 f0 (66|$#,)!
5453 f2 (66|$#,)!
27c9e640 5463 f525 (66|$#,)!
885824d3 5473 C0.2/5|!
5483 f0 (66|$#,)!
5493 f2 (66|$#,)!
27c9e640 5503 f542 (66|$#,)!
885824d3 5513 C0.66/5|!
27c9e640 5523 f0 (66|$#,506|$#,)!
5533 f66 (66|$#,506|$#,)!
5543 f546 (66|$#,506|$#,)!
885824d3 5553 f0 (66|$#,)!
5563 f66 (66|$#,)!
27c9e640 5573 f546 (66|$#,)!
885824d3 5583 f0 (66|$#,)!
5593 f66 (66|$#,)!
27c9e640 5603 f546 (66|$#,)!
885824d3 5613 f0 (23|$#,)!
27c9e640 5623 f506 (23|$#,)!
885824d3 5633 f0 (23|$#,)!
27c9e640 5643 f505 (23|$#,)!
885824d3 5653 f0 (23|$#,63|$#,)!
5663 f5 (23|$#,63|$#,)!
27c9e640 5673 f0 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
5683 f5 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
885824d3 5693 f0 (23|4@5@7&#,65|$#,)!
5703 f5 (23|4@5@7&#,65|$#,)!
27c9e640 5713 f0 (384|4@0@7&#,23|$#,63|$#,)!
5723 f63 (384|4@0@7&#,23|$#,63|$#,)!
5733 f0 (23|4@0@7&#,384|$#,63|$#,)!
5743 f63 (23|4@0@7&#,384|$#,63|$#,)!
885824d3 5753 C0.1/20|!
5763 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
5773 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
27c9e640 5783 f570 (20|@5|4@0@9&#,20|$#,63|$#,)!
885824d3 5793 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
5803 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
27c9e640 5813 f570 (20|@5|4@0@7&#,20|$#,63|$#,)!
885824d3 5823 C0.1/23|!
7b1629ab 5833 f0 (23|@5|4@0@9&#,23|$#,)!
5843 f1 (23|@5|4@0@9&#,23|$#,)!
27c9e640 5853 f577 (23|@5|4@0@9&#,23|$#,)!
7b1629ab 5863 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
5873 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
27c9e640 5883 f577 (23|@5|4@0@9&#,23|$#,63|$#,)!
119f0b93 5893 f0 (23|@5|0@0@9&#,23|$#,)!
5903 f1 (23|@5|0@0@9&#,23|$#,)!
27c9e640 5913 f577 (23|@5|0@0@9&#,23|$#,)!
119f0b93 5923 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
5933 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
27c9e640 5943 f577 (23|@5|0@0@9&#,23|$#,63|$#,)!
885824d3 5953 f0 (20|$#,20|$#,63|$#,)!
5963 f5 (20|$#,20|$#,63|$#,)!
5973 f0 (23|$#,23|$#,)!
5983 f5 (23|$#,23|$#,)!
5993 f0 (23|$#,23|$#,)!
6003 f5 (23|$#,23|$#,)!
6013 f0 (23|$#,23|$#,63|$#,)!
6023 f5 (23|$#,23|$#,63|$#,)!
6033 f0 (23|4@5@7&#,23|$#,63|$#,)!
6043 f63 (23|4@5@7&#,23|$#,63|$#,)!
6053 f0 (20|$#,5|$#,63|$#,)!
6063 f19 (20|$#,5|$#,63|$#,)!
6073 f20 (20|$#,5|$#,63|$#,)!
27c9e640 6083 f0 (23|@5|$#,266|$#,)!
6093 f19 (23|@5|$#,266|$#,)!
6103 f23 (23|@5|$#,266|$#,)!
885824d3 6113 f0 (23|$#,23|$#,)!
6123 f63 (23|$#,23|$#,)!
6133 f0 (23|@5|$#,23|$#,)!
6143 f19 (23|@5|$#,23|$#,)!
6153 f23 (23|@5|$#,23|$#,)!
27c9e640 6163 f0 (23|@5|$#,266|$#,)!
6173 f19 (23|@5|$#,266|$#,)!
6183 f23 (23|@5|$#,266|$#,)!
885824d3 6193 f0 (23|$#,23|$#,)!
6203 f63 (23|$#,23|$#,)!
6213 f0 (23|@5|0@0@9&#,23|$#,)!
6223 f19 (23|@5|0@0@9&#,23|$#,)!
6233 f23 (23|@5|0@0@9&#,23|$#,)!
6243 f0 (23|@5|0@5@7&#,23|$#,)!
6253 f19 (23|@5|0@5@7&#,23|$#,)!
6263 f23 (23|@5|0@5@7&#,23|$#,)!
6273 C0.1/20|!
6283 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
6293 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
27c9e640 6303 f622 (20|@5|4@0@7&#,5|$#,63|$#,)!
885824d3 6313 f0 (5|$#,)!
6323 f19 (5|$#,)!
6333 f23 (5|$#,)!
6343 f0 (23|$#,)!
6353 f63 (23|$#,)!
3e3ec469 6360 s333|&
27c9e640 6370 s334|-1 640 -1
885824d3 6383 Stm{5|@1|^#tm_sec,5|@1|^#tm_min,5|@1|^#tm_hour,5|@1|^#tm_mday,5|@1|^#tm_mon,5|@1|^#tm_year,5|@1|^#tm_wday,5|@1|^#tm_yday,5|@1|^#tm_isdst,}!
6393 f0 ()!
27c9e640 6403 f631 ()!
6413 f0 (632|$#,632|$#,)!
6423 f17 (632|$#,632|$#,)!
6433 f0 (446|$#,)!
6443 f632 (446|$#,)!
6451 t632|632&
6463 f0 (640|4@5@7&#,)!
6473 f632 (640|4@5@7&#,)!
6483 f0 (446|$#,)!
6493 f19 (446|$#,)!
6503 f23 (446|$#,)!
6513 f0 (640|$#,)!
6523 f19 (640|$#,)!
6533 f23 (640|$#,)!
6543 f0 (640|$#,)!
6553 f19 (640|$#,)!
6563 f446 (640|$#,)!
6573 f0 (640|$#,)!
6583 f19 (640|$#,)!
6593 f446 (640|$#,)!
6603 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
6613 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
d1eb0f0f 6620 s344|&
6630 s345|&
6640 s346|&
6650 s347|&
6660 s348|&
857474bf 6670 s349|&
6680 s350|&
6690 s351|&
6700 s352|&
6710 s353|&
6720 s354|&
6730 s355|&
6740 s356|&
6750 s357|&
6760 s358|&
6770 s359|&
6780 s360|&
6790 s361|&
6800 s362|&
6810 s363|&
6820 s364|&
6830 s365|&
6840 s366|&
6850 s367|&
6860 s368|&
6870 s369|&
6880 s370|&
3e3ec469 6890 s371|&
885824d3 690;;tistable
6910
3e3ec469 69229
69329,124
694124
69529,124,139
696139
69729,124,139,142
b46462e0 698142
3e3ec469 69929,124,139,142,143
700143
885824d3 701;;symTable
702*0 (Datatype)
b46462e0 703^0 2@+@-@0@0@0@0@2#lltX_bool
704*1 (Constant)
705^1 2@i0@0@6#FALSE
706^2 2@i1@0@0#TRUE
707*11 (GlobalMarker)
708*1 (Constant)
709^4 5$#__LINE__
710^5 23$#__DATE__#__FILE__#__BASE_FILE__
711^8 5$#__INCLUDE_LEVEL__
712^9 23$#__VERSION__
713*0 (Datatype)
714^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
715^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
716^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
717*1 (Constant)
718^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
3e3ec469 719^16 5$#S_SPLINT_S#__LCLINT__
b46462e0 720*3 (Variable)
27c9e640 721^18 212|@1|6@0@0@0@1#stdin#stdout
b46462e0 722*1 (Constant)
3e3ec469 723^20 5$#EDOM#ERANGE#EILSEQ
b46462e0 724*3 (Variable)
3e3ec469 725^23 5|@1|6@0@0@0@1#errno
b46462e0 726*0 (Datatype)
3e3ec469 727^24 13@-@-@0@0@0@0@62#ptrdiff_t
728^25 14@-@-@0@0@0@0@63#size_t
729^26 15@-@-@0@0@0@0@64#ssize_t
730^27 13@-@-@0@0@0@0@65#wchar_t
731^28 13@-@-@0@0@0@0@66#wint_t
732^29 0@+@=@0@0@0@0@67#mbstate_t
b46462e0 733*1 (Constant)
3e3ec469 734^30 0@i0@0@6#NULL
735^31 2$#NDEBUG
b46462e0 736*4 (Function)
3e3ec469 737^32 72@6@0@8@0@0^$@0#assert
27c9e640 738^33 77$^$@0#isalnum
739^34 80$^$@0#isalpha
740^35 83$^$@0#iscntrl
741^36 86$^$@0#isdigit
742^37 90$^$@0#isgraph
743^38 94$^$@0#islower
744^39 97$^$@0#isprint
745^40 100$^$@0#ispunct
746^41 103$^$@0#isspace
747^42 107$^$@0#isupper
748^43 111$^$@0#isxdigit
749^44 115$^$@0#tolower
750^45 118$^$@0#toupper
b46462e0 751*7 (Struct tag)
27c9e640 752^46 119@120#@lconv
b46462e0 753*1 (Constant)
3e3ec469 754^47 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
b46462e0 755*4 (Function)
27c9e640 756^53 123@6@5@1@0@0@0@s1,g23@6@0@1@s1,g23@19@3@0#setlocale
757^54 127$^@3@0@0#localeconv
b46462e0 758*3 (Variable)
3e3ec469 759^55 5|@1|6@0@0@0@1#DBL_DIG
760^56 17|@1|6@0@0@0@1#DBL_EPSILON
761^57 5|@1|6@0@0@0@1#DBL_MANT_DIG
762^58 17|@1|6@0@0@0@1#DBL_MAX
763^59 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
764^61 17|@1|6@0@0@0@1#DBL_MIN
765^62 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
766^65 16|@1|6@0@0@0@1#FLT_EPSILON
767^66 5|@1|6@0@0@0@1#FLT_MANT_DIG
768^67 16|@1|6@0@0@0@1#FLT_MAX
769^68 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
770^70 16|@1|6@0@0@0@1#FLT_MIN
771^71 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
b46462e0 772*1 (Constant)
3e3ec469 773^73 5$#FLT_RADIX
b46462e0 774*3 (Variable)
3e3ec469 775^74 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
776^76 18|@1|6@0@0@0@1#LDBL_EPSILON
777^77 5|@1|6@0@0@0@1#LDBL_MANT_DIG
778^78 18|@1|6@0@0@0@1#LDBL_MAX
779^79 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
780^81 18|@1|6@0@0@0@1#LDBL_MIN
781^82 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
b46462e0 782*1 (Constant)
3e3ec469 783^84 5$#CHAR_BIT
784^85 4$#CHAR_MAX#CHAR_MIN
785^87 5$#INT_MAX#INT_MIN
786^89 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
787^92 4$#SCHAR_MAX#SCHAR_MIN
788^94 7$#SHRT_MAX#SHRT_MIN
789^96 3$#UCHAR_MAX#UCHAR_MIN
790^98 6$#UINT_MAX
791^99 10$#ULONG_MAX
792^100 8$#USHRT_MAX
793^101 17$#HUGE_VAL
b46462e0 794*4 (Function)
27c9e640 795^102 129$^$@0#sin
796^103 131$^$@0#cos
797^104 133$^$@0#tan
798^105 135$@0@g23@6@0@1@g23$@0#asin
799^106 137$@0@g23@6@0@1@g23$@0#acos
800^107 139$^$@0#atan
801^108 141$^$@0#atan2
802^109 143$^$@0#sinh
803^110 145$@0@g23@6@0@1@g23$@0#cosh
804^111 147$^$@0#tanh
805^112 149$@0@g23@6@0@1@g23$@0#exp
806^113 151$@0@g23@6@0@1@g23$@0#ldexp
807^114 153$@0@@1@tp1$@0#frexp
808^115 155$@0@g23@6@0@1@g23$@0#log
809^116 157$@0@g23@6@0@1@g23$@0#log10
810^117 159$@0@g23@6@0@1@g23$@0#pow
811^118 161$@0@g23@6@0@1@g23$@0#sqrt
812^119 163$^$@0#ceil
813^120 165$^$@0#floor
814^121 167$^$@0#fabs
815^122 169$@0@@1@tp1$@0#modf
816^123 171$^$@0#fmod
b46462e0 817*0 (Datatype)
27c9e640 818^124 20@+@+@0@0@0@0@172#jmp_buf
b46462e0 819*4 (Function)
27c9e640 820^125 174$@0@@1@p0$@0#setjmp
821^126 176@6@0@5@0@0^$@0#longjmp
b46462e0 822*1 (Constant)
3e3ec469 823^127 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
b46462e0 824*0 (Datatype)
27c9e640 825^133 13@-@-@0@0@0@0@177#sig_atomic_t
b46462e0 826*1 (Constant)
27c9e640 827^134 181$#SIG_DFL
828^135 185$#SIG_ERR
829^136 189$#SIG_IGN
b46462e0 830*4 (Function)
27c9e640 831^137 202@6@5@1@0@0@0@s1,g23@6@0@1@s1,g23$@0#signal
832^138 204@6@0@5@0@0$$@0#raise
b46462e0 833*0 (Datatype)
27c9e640 834^139 20@+@+@0@0@0@0@205#va_list
b46462e0 835*4 (Function)
27c9e640 836^140 207$@0@@1@p0$@0#va_start
837^141 209$@0@@1@p0$@0#va_end
b46462e0 838*0 (Datatype)
27c9e640 839^142 20@+@+@0@0@0@0@210#FILE
840^143 20@+@+@0@0@0@0@211#fpos_t
885824d3 841*1 (Constant)
3e3ec469 842^144 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
885824d3 843*3 (Variable)
27c9e640 844^156 212|@1|6@0@0@0@1#stderr
885824d3 845*4 (Function)
27c9e640 846^157 214$@0@s3,g23@6@0@1@s3,g23$@0#remove
847^158 216$@0@s3,g23@6@0@1@s3,g23$@0#rename
848^159 219@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
849^160 222$@0@s1@1@tp0,s1@19@3@0#tmpnam
850^161 224$@0@g23@6@0,s3@1@tp0,g23,s3$@0#fclose
851^162 226$@0@g23@6@0,s3@1@tp0,g23,s3$@0#fflush
852^163 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
853^164 232@6@5@1@0@0@0@s3,g23@6@0@1@tp2,s3,g23@3@0@0#freopen
854^165 234$@0@s3@1@s3,tp0,tp1$@0#setbuf
855^166 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf
856^167 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
857^168 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
858^169 245@6@0@1@1@0@1@g19@6@0,s3@1@s3,tg19$@0#printf
859^170 247@6@0@1@2@0@1@g18@6@0,s3@1@s3,tg18$@0#scanf
860^171 250@6@0@1@1@0@0@@1@tp0$@0#sprintf
861^172 252@6@0@1@2@0^$@0#sscanf
862^173 254$@1@g19@6@0,s3@1@s3,tg19$@0#vprintf
863^174 256$@0@s3,g23@6@0@1@s3,tp0,p2,g23$@0#vfprintf
864^175 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
865^176 260$@0@@1@p0$@0#vsnprintf
866^177 262$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fgetc
867^178 265@6@5@1@0@0@0@s3,g23@6@0@1@s3,tp0,tp2,g23$@0#fgets
868^179 268$@0@s3,g23@6@0@1@s3,tp1,g23$@0#fputc
869^180 270$@0@s3@1@s3,tp1$@0#fputs
870^181 272$@0@s3@1@s3,tp0$@0#getc
871^182 274$@1@g18@6@0,s3@1@s3,tg18$@0#getchar
872^183 277@6@5@1@0@0@1@g18@6@0,s3,g23@6@0@1@s3,tp0,tg18,g23@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets
873^184 279$@0@s3@1@s3,tp1$@0#putc
874^185 281$@1@g19@6@0,s3@1@s3,tg19$@0#putchar
875^186 283$@1@g19@6@0,s3@1@s3,tg19$@0#puts
876^187 285$@0@s3,g23@6@0@1@s3,tp1,g23$@0#ungetc
877^188 287$@0@s3,g23@6@0@1@s3,tp0,tp3,g23$@0#fread
878^189 289$@0@s3,g23@6@0@1@s3,tp3,g23$@0#fwrite
879^190 292$@0@g23@6@0@1@tp1,g23$@0#fgetpos
880^191 294$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fseek
881^192 296$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fsetpos
882^193 298$@0@g23@6@0@1@g23$@0#ftell
883^194 300$@0@@1@tp0$@0#rewind
884^195 302$@0@@1@tp0$@0#clearerr
885^196 304$@0@g23@6@0@1@g23$@0#feof
886^197 306$@0@g23@6@0@1@g23$@0#ferror
887^198 308$@1@g23@6@0,g156@6@0,s3@1@s3,tg156$@0#perror
888^199 310$^$@0#atof
889^200 312$^$@0#atoi
890^201 314$^$@0#atol
891^202 318$@0@g23@6@0@1@tp1,g23$@0#strtod
892^203 320$@0@g23@6@0@1@tp1,g23$@0#strtol
893^204 322$@0@g23@6@0@1@tp1,g23$@0#strtoul
b46462e0 894*1 (Constant)
3e3ec469 895^205 5$#RAND_MAX
b46462e0 896*4 (Function)
27c9e640 897^206 324$@0@s1@1@s1$@0#rand
898^207 326$@0@s1@1@s1$@0#srand
899^208 329@6@5@1@0@0^@2@0@0#calloc
900^209 332@4@5@1@0@0^@2@0@0#malloc
901^210 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
902^211 337$@0@@1@p0$@0#free
b46462e0 903*1 (Constant)
3e3ec469 904^212 5$#EXIT_FAILURE#EXIT_SUCCESS
b46462e0 905*4 (Function)
27c9e640 906^214 339@6@0@6@0@0^$@0#abort
907^215 341@6@0@6@0@0^$@0#exit
908^216 347$@0@s1@1@s1$@0#atexit
909^217 350@6@5@1@0@0^@19@3@0#getenv
910^218 352$@0@s3@1@s3$@0#system
911^219 359@6@5@1@0@0^@18@0@0#bsearch
912^220 365$@0@g23@6@0@1@tp0,g23$@0#qsort
913^221 367$^$@0#abs
b46462e0 914*7 (Struct tag)
27c9e640 915^222 368@369#@!2
b46462e0 916*0 (Datatype)
27c9e640 917^223 368@-@-@0@0@0@0@370#div_t
b46462e0 918*4 (Function)
27c9e640 919^224 372$^$@0#div
920^225 374$^$@0#labs
b46462e0 921*7 (Struct tag)
27c9e640 922^226 375@376#@!3
b46462e0 923*0 (Datatype)
27c9e640 924^227 375@-@-@0@0@0@0@377#ldiv_t
b46462e0 925*4 (Function)
27c9e640 926^228 379$^$@0#ldiv
b46462e0 927*1 (Constant)
3e3ec469 928^229 63$#MB_CUR_MAX
929^230 5$#WCHAR_MAX#WCHAR_MIN
930^232 66$#WEOF
b46462e0 931*4 (Function)
27c9e640 932^233 381$^$@0#btowc
933^234 383$@0@s3@1@s3,tp0$@0#fgetwc
934^235 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
935^236 389$@0@s3@1@s3,tp1$@0#fputwc
936^237 391$@0@s3@1@s3,tp1$@0#fputws
937^238 393$^$@0#fwide
938^239 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
939^240 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
940^241 399$@0@s3@1@s3,tp0$@0#getwc
941^242 401$@0@s3,g18@6@0@1@s3,tg18$@0#getwchar
942^243 404$^$@0#mbrlen
943^244 406$@0@@1@tp0$@0#mbrtowc
944^245 408$^$@0#mbsinit
945^246 410$@0@@1@tp0$@0#mbsrtowcs
946^247 412$@0@s3@1@s3,tp1$@0#putwc
947^248 414$@0@s3,g19@6@0@1@s3,tg19$@0#putwchar
948^249 416@6@0@1@1@0@0@@1@tp0$@0#swprintf
949^250 418@6@0@1@2@0@0@g18@6@0@1@tg18$@0#swscanf
950^251 420$@0@s3@1@s3,tp1$@0#ungetwc
951^252 422$@0@s3@1@s3,tp0$@0#vfwprintf
952^253 424$@0@@1@tp0$@0#vswprintf
953^254 426$@0@s3,g19@6@0@1@s3,tg19$@0#vwprintf
954^255 428$@0@@1@tp0$@0#wcrtomb
955^256 432$@0@@1@tp0$@0#wcscat
956^257 435@6@5@1@0@0^@19@2@0#wcschr
957^258 437$^$@0#wcscmp
958^259 439$^$@0#wcscoll
959^260 442$@0@@1@tp0$@0#wcscpy
960^261 444$^$@0#wcscspn
885824d3 961*7 (Struct tag)
27c9e640 962^262 633@445#@tm
b46462e0 963*4 (Function)
27c9e640 964^263 448$@0@@1@tp0$@0#wcsftime
965^264 450$^$@0#wcslen
966^265 454$@0@@1@tp0$@0#wcsncat
967^266 456$^$@0#wcsncmp
968^267 459$@0@@1@tp0$@0#wcsncpy
969^268 462@6@5@1@0@0^$@0#wcspbrk
970^269 465@6@5@1@0@0^$@0#wcsrchr
971^270 468$@0@@1@tp1$@0#wcsrtombs
972^271 470$^$@0#wcsspn
973^272 473@6@5@1@0@0^@3@0@0#wcsstr
974^273 475$@0@@1@tp1$@0#wcstod
975^274 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
976^275 480$@0@@1@tp1$@0#wcstol
977^276 482$@0@@1@tp1$@0#wcstoul
978^277 484$@0@@1@tp0$@0#wcsxfrm
979^278 486$^$@0#wctob
980^279 489@6@5@1@0@0^@3@0@0#wmemchr
981^280 491$^$@0#wmemcmp
982^281 494$@0@@1@tp0$@0#wmemcpy
983^282 497$@0@@1@tp0$@0#wmemmove
984^283 500$@0@@1@tp0$@0#wmemset
985^284 502@6@0@1@1@0@1@g19@6@0,g23@6@0@1@g23,tg19$@0#wprintf
986^285 504@6@0@1@2@0@1@g18@6@0,g23@6@0@1@g23,tg18$@0#wscanf
b46462e0 987*0 (Datatype)
27c9e640 988^286 13@-@-@0@0@0@0@505#wctype_t
989^287 13@-@-@0@0@0@0@506#wctrans_t
b46462e0 990*4 (Function)
27c9e640 991^288 510$^$@0#iswalnum
992^289 513$^$@0#iswalpha
993^290 516$^$@0#iswcntrl
994^291 519$^$@0#iswctype
995^292 522$^$@0#iswdigit
996^293 526$^$@0#iswgraph
997^294 529$^$@0#iswlower
998^295 532$^$@0#iswprint
999^296 535$^$@0#iswpunct
1000^297 538$^$@0#iswspace
1001^298 541$^$@0#iswupper
1002^299 545$^$@0#iswxdigit
1003^300 549$^$@0#towctrans
1004^301 552$^$@0#towlower
1005^302 555$^$@0#towupper
1006^303 557$^$@0#wctrans
1007^304 559$^$@0#wctype
1008^305 561$^$@0#mblen
1009^306 563$@0@@1@tp0$@0#mbtowc
1010^307 565$@0@@1@tp0$@0#wctomb
1011^308 567$@0@@1@tp0$@0#mbstowcs
1012^309 569$@0@@1@tp0$@0#wcstombs
1013^310 573$@0@@1@tp0$@0#memcpy
1014^311 576$@0@@1@tp0$@0#memmove
1015^312 580$@0@@1@tp0$@0#strcpy
1016^313 583$@0@@1@tp0$@0#strncpy
1017^314 586$@0@@1@tp0$@0#strcat
1018^315 589$@0@@1@tp0$@0#strncat
1019^316 591$^$@0#memcmp
1020^317 593$^$@0#strcmp
1021^318 595$^$@0#strcoll
1022^319 597$^$@0#strncmp
1023^320 599$@0@@1@tp0$@0#strxfrm
1024^321 602@6@5@1@0@0^@3@0@0#memchr
1025^322 605@6@5@1@0@0^@19@2@0#strchr
1026^323 607$^$@0#strcspn
1027^324 610@6@5@1@0@0^@19@2@0#strpbrk
1028^325 613@6@5@1@0@0^@19@2@0#strrchr
1029^326 615$^$@0#strspn
1030^327 618@6@5@1@0@0^@19@2@0#strstr
1031^328 621@6@5@1@0@0@0@s1,g23@6@0@1@tp0,s1,g23@19@2@0#strtok
1032^329 625$@0@@1@tp0$@0#memset
1033^330 628$^@19@3@0#strerror
1034^331 630$^$@0#strlen
b46462e0 1035*1 (Constant)
3e3ec469 1036^332 5$#CLOCKS_PER_SEC
b46462e0 1037*0 (Datatype)
27c9e640 1038^333 13@-@-@0@0@0@0@631#clock_t
1039^334 13@-@-@0@0@0@0@632#time_t
b46462e0 1040*4 (Function)
27c9e640 1041^335 635$@0@s1@1@s1$@0#clock
1042^336 637$^$@0#difftime
1043^337 639$^$@0#mktime
1044^338 642$@0@@1@tp0$@0#time
1045^339 645$@0@g23@6@0@1@g23@19@3@0#asctime
1046^340 648$^@19@3@0#ctime
1047^341 651@6@5@1@0@0^@19@3@0#gmtime
1048^342 654@6@5@1@0@0@0@g23@6@0@1@g23@19@3@0#localtime
1049^343 656$@0@@1@tp0$@0#strftime
d1eb0f0f 1050*0 (Datatype)
27c9e640 1051^344 13@-@-@0@0@0@0@657#int8_t
1052^345 13@-@-@0@0@0@0@658#int16_t
1053^346 13@-@-@0@0@0@0@659#int32_t
1054^347 13@-@-@0@0@0@0@660#int64_t
1055^348 14@-@-@0@0@0@0@661#uint8_t
1056^349 14@-@-@0@0@0@0@662#uint16_t
1057^350 14@-@-@0@0@0@0@663#uint32_t
1058^351 14@-@-@0@0@0@0@664#uint64_t
1059^352 13@-@-@0@0@0@0@665#int_least8_t
1060^353 13@-@-@0@0@0@0@666#int_least16_t
1061^354 13@-@-@0@0@0@0@667#int_least32_t
1062^355 13@-@-@0@0@0@0@668#int_least64_t
1063^356 14@-@-@0@0@0@0@669#uint_least8_t
1064^357 14@-@-@0@0@0@0@670#uint_least16_t
1065^358 14@-@-@0@0@0@0@671#uint_least32_t
1066^359 14@-@-@0@0@0@0@672#uint_least64_t
1067^360 13@-@-@0@0@0@0@673#int_fast8_t
1068^361 13@-@-@0@0@0@0@674#int_fast16_t
1069^362 13@-@-@0@0@0@0@675#int_fast32_t
1070^363 13@-@-@0@0@0@0@676#int_fast64_t
1071^364 14@-@-@0@0@0@0@677#uint_fast8_t
1072^365 14@-@-@0@0@0@0@678#uint_fast16_t
1073^366 14@-@-@0@0@0@0@679#uint_fast32_t
1074^367 14@-@-@0@0@0@0@680#uint_fast64_t
1075^368 24@-@+@0@0@0@0@681#intptr_t
1076^369 25@-@+@0@0@0@0@682#uintptr_t
1077^370 15@-@-@0@0@0@0@683#intmax_t
1078^371 14@-@-@0@0@0@0@684#uintmax_t
857474bf 1079*1 (Constant)
3e3ec469 1080^372 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
1081^408 63$#INTPTR_MIN#INTPTR_MAX
920a3797 1082;; Library constraints
ccf0a4a8 1083vsnprintf
1084pre:
1085C
10860@1@3
1087l
10881
10891
10902
10912
1092Param 23 0
1093r
10942
10952
1096Param 63 1
1097;; end precondition constraints
1098post:EMPTY
b46462e0 1099fgets
1100pre:
920a3797 1101C
11020@1@3
1103l
11041
11051
11062
11072
b46462e0 1108Param 23 0
920a3797 1109r
11100
11111
1112e1
11132
11142
b46462e0 1115Param 5 1
920a3797 1116e2
11172
11183
1119-1
1120;; end precondition constraints
920a3797 1121post:
1122C
b46462e0 11230@1@3
920a3797 1124l
11251
b46462e0 11263
11272
11282
1129Param 23 0
1130r
11312
11323
11330
1134C
11350@1@1
1136l
920a3797 11371
b46462e0 11383
920a3797 11392
11402
b46462e0 1141Param 23 0
920a3797 1142r
11430
11441
1145e1
11462
11472
b46462e0 1148Param 5 1
920a3797 1149e2
11502
11513
1152-1
1153;; end precondition constraints
b46462e0 1154calloc
920a3797 1155pre:EMPTY
1156post:
1157C
11580@1@4
1159l
11601
11611
11622
11632
1164Result
1165r
11660
11671
1168e1
11692
11702
1171Param 63 0
1172e2
11732
11743
1175-1
1176;; end precondition constraints
b46462e0 1177malloc
1178pre:EMPTY
1179post:
920a3797 1180C
b46462e0 11810@1@4
920a3797 1182l
11831
11841
11852
11862
b46462e0 1187Result
920a3797 1188r
11890
11901
1191e1
11922
11932
b46462e0 1194Param 63 0
920a3797 1195e2
11962
11973
1198-1
1199;; end precondition constraints
b46462e0 1200realloc
1201pre:EMPTY
920a3797 1202post:
1203C
12040@1@3
1205l
12061
920a3797 12071
920a3797 12082
12092
b46462e0 1210Result
920a3797 1211r
12120
12131
1214e1
12152
12162
b46462e0 1217Param 63 1
920a3797 1218e2
12192
12203
1221-1
1222;; end precondition constraints
b46462e0 1223memcpy
1224pre:
920a3797 1225C
12260@1@3
1227l
12281
b46462e0 12291
920a3797 12302
12312
b46462e0 1232Param 20 0
920a3797 1233r
7bf96067 12340
12351
1236e1
920a3797 12372
b46462e0 12382
1239Param 63 2
7bf96067 1240e2
12412
12423
1243-1
920a3797 1244C
b46462e0 12450@1@3
920a3797 1246l
12471
12483
12492
12502
b46462e0 1251Param 20 1
920a3797 1252r
7bf96067 12530
12541
1255e1
920a3797 12562
12572
b46462e0 1258Param 63 2
7bf96067 1259e2
12602
12613
1262-1
b46462e0 1263;; end precondition constraints
1264post:EMPTY
1265memmove
1266pre:
920a3797 1267C
b46462e0 12680@1@3
920a3797 1269l
12701
12711
12722
12732
b46462e0 1274Param 20 0
920a3797 1275r
7bf96067 12760
12771
1278e1
b46462e0 12792
12802
1281Param 63 2
7bf96067 1282e2
12832
12843
1285-1
b46462e0 1286C
12870@1@3
1288l
920a3797 12891
b46462e0 12903
920a3797 12912
12922
b46462e0 1293Param 20 1
1294r
7bf96067 12950
12961
1297e1
b46462e0 12982
12992
1300Param 63 2
7bf96067 1301e2
13022
13033
1304-1
b46462e0 1305;; end precondition constraints
1306post:EMPTY
1307strcpy
1308pre:
920a3797 1309C
13100@1@3
1311l
13121
13131
13142
13152
b46462e0 1316Param 23 0
920a3797 1317r
b46462e0 13181
920a3797 13193
b46462e0 13202
13212
1322Param 23 1
920a3797 1323;; end precondition constraints
920a3797 1324post:
1325C
b46462e0 13260@1@4
920a3797 1327l
13281
b46462e0 13291
920a3797 13302
13312
1332Result
1333r
b46462e0 13341
13351
920a3797 13362
b46462e0 13372
1338Param 23 0
920a3797 1339C
b46462e0 13400@1@4
920a3797 1341l
13421
13433
13442
13452
1346Result
1347r
13481
13493
13502
13512
b46462e0 1352Param 23 1
920a3797 1353C
b46462e0 13540@1@4
920a3797 1355l
13561
b46462e0 13573
920a3797 13582
13592
b46462e0 1360Param 23 0
920a3797 1361r
13621
b46462e0 13633
920a3797 13642
13652
b46462e0 1366Param 23 1
1367;; end precondition constraints
1368strncpy
1369pre:
920a3797 1370C
13710@1@3
1372l
13731
13741
13752
13762
b46462e0 1377Param 23 0
920a3797 1378r
b46462e0 13790
13801
1381e1
13822
13832
1384Param 63 2
1385e2
920a3797 13862
13873
b46462e0 1388-1
920a3797 1389;; end precondition constraints
920a3797 1390post:
1391C
b46462e0 13920@1@1
920a3797 1393l
13941
13953
13962
13972
b46462e0 1398Param 23 0
920a3797 1399r
14002
b46462e0 14012
1402Param 63 2
920a3797 1403C
b46462e0 14040@1@3
920a3797 1405l
14061
14073
14082
14092
b46462e0 1410Param 23 1
920a3797 1411r
14121
14133
14142
14152
1416Param 23 0
b46462e0 1417;; end precondition constraints
1418strcat
1419pre:
920a3797 1420C
b46462e0 14210@1@3
920a3797 1422l
14231
14241
14252
14262
b46462e0 1427Param 23 0
920a3797 1428r
b46462e0 14290
920a3797 14301
b46462e0 1431e1
920a3797 14321
b46462e0 14333
920a3797 14342
14352
1436Param 23 0
b46462e0 1437e2
920a3797 14381
b46462e0 14393
920a3797 14402
14412
b46462e0 1442Param 23 1
920a3797 1443;; end precondition constraints
920a3797 1444post:
1445C
14460@1@4
1447l
14481
14493
14502
14512
1452Result
1453r
b46462e0 14540
920a3797 14551
b46462e0 1456e1
920a3797 14571
b46462e0 14583
920a3797 14592
14602
b46462e0 1461Param 23 0
1462e2
920a3797 14631
14643
14652
14662
b46462e0 1467Param 23 1
920a3797 1468;; end precondition constraints
b46462e0 1469strncat
920a3797 1470pre:
1471C
14720@1@3
1473l
14741
14751
14762
14772
b46462e0 1478Param 23 0
920a3797 1479r
14800
14811
1482e1
b46462e0 14831
14843
920a3797 14852
14862
b46462e0 1487Param 23 0
920a3797 1488e2
14892
b46462e0 14902
119f0b93 1491Param 63 2
920a3797 1492;; end precondition constraints
1493post:
1494C
14950@1@3
1496l
14971
14983
14992
15002
15b3d2b2 1501Param 23 0
920a3797 1502r
15030
15041
1505e1
b46462e0 15061
15073
920a3797 15082
15092
b46462e0 1510Param 23 0
920a3797 1511e2
15122
b46462e0 15132
119f0b93 1514Param 63 2
920a3797 1515;; end precondition constraints
b46462e0 1516strchr
1517pre:EMPTY
1518post:
920a3797 1519C
15200@1@3
1521l
15221
b46462e0 15233
920a3797 15242
15252
b46462e0 1526Result
920a3797 1527r
15282
b46462e0 15293
15300
920a3797 1531C
b46462e0 15320@1@1
920a3797 1533l
15341
15353
15362
15372
b46462e0 1538Result
920a3797 1539r
b46462e0 15401
15413
920a3797 15422
15432
b46462e0 1544Param 23 0
920a3797 1545C
b46462e0 15460@1@1
920a3797 1547l
15481
15491
15502
15512
b46462e0 1552Result
920a3797 1553r
b46462e0 15541
15551
920a3797 15562
15572
b46462e0 1558Param 23 0
920a3797 1559C
15600@1@3
1561l
15621
b46462e0 15631
920a3797 15642
15652
b46462e0 1566Result
920a3797 1567r
15682
b46462e0 15693
15700
920a3797 1571;; end precondition constraints
b46462e0 1572strrchr
1573pre:EMPTY
1574post:
920a3797 1575C
15760@1@3
1577l
15781
b46462e0 15793
920a3797 15802
15812
b46462e0 1582Result
920a3797 1583r
b46462e0 15842
15853
920a3797 15860
b46462e0 1587C
15880@1@1
1589l
920a3797 15901
15913
15922
15932
b46462e0 1594Result
1595r
15961
15973
920a3797 15982
15992
b46462e0 1600Param 23 0
920a3797 1601C
b46462e0 16020@1@1
920a3797 1603l
16041
b46462e0 16051
920a3797 16062
16072
1608Result
1609r
920a3797 16101
920a3797 16111
920a3797 16122
16132
1614Param 23 0
920a3797 1615C
16160@1@3
1617l
16181
16191
16202
16212
b46462e0 1622Result
920a3797 1623r
b46462e0 16242
16253
920a3797 16260
b46462e0 1627;; end precondition constraints
1628strstr
1629pre:EMPTY
1630post:
1631C
16320@1@3
1633l
920a3797 16341
b46462e0 16353
920a3797 16362
16372
b46462e0 1638Result
1639r
920a3797 16402
16413
b46462e0 16420
920a3797 1643C
16440@1@1
1645l
16461
16473
16482
16492
b46462e0 1650Result
920a3797 1651r
b46462e0 16521
16533
920a3797 16542
16552
b46462e0 1656Param 23 0
920a3797 1657C
b46462e0 16580@1@1
920a3797 1659l
16601
b46462e0 16611
920a3797 16622
16632
b46462e0 1664Result
920a3797 1665r
16661
b46462e0 16671
920a3797 16682
16692
1670Param 23 0
b46462e0 1671C
16720@1@3
1673l
16741
16751
16762
16772
1678Result
1679r
16802
16813
16820
920a3797 1683;; end precondition constraints
b46462e0 1684memset
920a3797 1685pre:
1686C
16870@1@3
1688l
16891
16901
16912
16922
b46462e0 1693Param 20 0
920a3797 1694r
16950
16961
1697e1
920a3797 16982
16992
b46462e0 1700Param 63 2
920a3797 1701e2
920a3797 17022
b46462e0 17033
1704-1
920a3797 1705;; end precondition constraints
b46462e0 1706post:
920a3797 1707C
17080@1@3
1709l
17101
b46462e0 17113
920a3797 17122
17132
b46462e0 1714Param 20 0
920a3797 1715r
b46462e0 17160
920a3797 17171
b46462e0 1718e1
920a3797 17192
17202
b46462e0 1721Param 63 2
1722e2
17232
17243
1725-1
920a3797 1726;; end precondition constraints
b46462e0 1727strlen
1728pre:EMPTY
920a3797 1729post:
1730C
17310@1@4
1732l
920a3797 17332
17342
1735Result
1736r
17371
b46462e0 17383
920a3797 17392
17402
1741Param 23 0
b46462e0 1742;; end precondition constraints
1743asctime
1744pre:EMPTY
1745post:
920a3797 1746C
17470@1@4
1748l
17491
17503
17512
17522
1753Result
1754r
b46462e0 17552
920a3797 17563
b46462e0 175725
1758C
17590@1@4
1760l
17611
17621
920a3797 17632
17642
b46462e0 1765Result
1766r
17672
17683
176925
1770;; end precondition constraints
1771ctime
1772pre:EMPTY
1773post:
920a3797 1774C
17750@1@4
1776l
17771
17783
17792
17802
b46462e0 1781Result
920a3797 1782r
b46462e0 17832
920a3797 17843
b46462e0 178525
1786C
17870@1@4
1788l
17891
17901
920a3797 17912
17922
b46462e0 1793Result
1794r
17952
17963
179725
920a3797 1798;; end precondition constraints
885824d3 1799;; Modules access
d249c973 1800lltX_bool#1@
1801types#1@
1802ansi#9@
885824d3 1803;;End
git-cvsimport mirror of splint
This page took 0.329106 seconds and 5 git commands to generate.