]>
Commit | Line | Data |
---|---|---|
77970e15 | 1 | # include "intSet.h" |
2 | ||
3 | extern intSet intSet_insert | |
4 | (/*@returned@*/ intSet s, int x); | |
5 | ||
6 | /* | |
7 | ** with returned, no error is reported, since the same | |
8 | ** storage is returned from insert, and returned | |
9 | ** from intSet_singleton as an implicit only result. | |
10 | */ | |
11 | ||
12 | intSet intSet_singleton (int x) | |
13 | { | |
14 | return (intSet_insert (intSet_new (), x)); | |
15 | } | |
16 | ||
17 | /* | |
18 | ** without returned: | |
19 | */ | |
20 | ||
21 | extern intSet intSet_insert2 (intSet s, int x); | |
22 | ||
23 | intSet intSet_singleton2 (int x) | |
24 | { | |
25 | return (intSet_insert2 (intSet_new (), x)); | |
26 | } | |
27 | ||
28 |