Commit | Line | Data |
---|---|---|
951c7801 C |
1 | @anyid@ |
2 | type t; | |
3 | identifier id; | |
5626f154 | 4 | constant char [] cst; |
951c7801 C |
5 | fresh identifier new = id ## "_is_constant"; |
6 | @@ | |
7 | ||
8 | t id = cst; | |
9 | +t new; | |
10 | ||
11 | @contains@ | |
12 | type t; | |
13 | identifier anyid.id; | |
5626f154 | 14 | constant char [] anyid.cst ~= ".*FOO"; |
951c7801 C |
15 | fresh identifier contains = id ##"_equals_cst_that_contains_FOO"; |
16 | @@ | |
17 | ||
18 | t id = cst; | |
19 | +t contains; | |
20 | ||
21 | @nocontain@ | |
22 | type t; | |
23 | identifier anyid.id; | |
5626f154 | 24 | constant char [] anyid.cst !~= ".*FOO"; |
951c7801 C |
25 | fresh identifier nocontain = id ##"_equals_cst_that_doesn_t_contain_FOO"; |
26 | @@ | |
27 | ||
28 | t id = cst; | |
29 | +t nocontain; | |
30 | ||
31 | @endsby@ | |
32 | type t; | |
33 | identifier anyid.id; | |
5626f154 | 34 | constant char [] anyid.cst ~= ".*FOO$"; |
951c7801 C |
35 | fresh identifier endsby = id ##"_equals_cst_that_ends_by_FOO"; |
36 | @@ | |
37 | ||
38 | t id = cst; | |
39 | +t endsby; | |
40 | ||
41 | @beginsby@ | |
42 | type t; | |
43 | identifier anyid.id; | |
5626f154 | 44 | constant char [] anyid.cst ~= "^FOO"; |
951c7801 C |
45 | fresh identifier beginsby = id ##"_equals_cst_that_begins_by_FOO"; |
46 | @@ | |
47 | ||
48 | t id = cst; | |
49 | +t beginsby; | |
50 | ||
51 | @format@ | |
52 | type t; | |
53 | identifier anyid.id; | |
5626f154 | 54 | constant char [] anyid.cst ~= ".*%s"; |
951c7801 C |
55 | fresh identifier strformat = id ##"_is_a_format_for_at_least_a_string"; |
56 | @@ | |
57 | ||
58 | t id = cst; | |
59 | +t strformat; | |
60 |