5 fresh identifier new = id ## "_is_constant";
14 constant char [] anyid.cst ~= ".*FOO";
15 fresh identifier contains = id ##"_equals_cst_that_contains_FOO";
24 constant char [] anyid.cst !~= ".*FOO";
25 fresh identifier nocontain = id ##"_equals_cst_that_doesn_t_contain_FOO";
34 constant char [] anyid.cst ~= ".*FOO$";
35 fresh identifier endsby = id ##"_equals_cst_that_ends_by_FOO";
44 constant char [] anyid.cst ~= "^FOO";
45 fresh identifier beginsby = id ##"_equals_cst_that_begins_by_FOO";
54 constant char [] anyid.cst ~= ".*%s";
55 fresh identifier strformat = id ##"_is_a_format_for_at_least_a_string";