@anyid@
type t;
identifier id;
-constant char* cst;
+constant char [] cst;
fresh identifier new = id ## "_is_constant";
@@
@contains@
type t;
identifier anyid.id;
-constant char* anyid.cst ~= ".*FOO";
+constant char [] anyid.cst ~= ".*FOO";
fresh identifier contains = id ##"_equals_cst_that_contains_FOO";
@@
@nocontain@
type t;
identifier anyid.id;
-constant char* anyid.cst !~= ".*FOO";
+constant char [] anyid.cst !~= ".*FOO";
fresh identifier nocontain = id ##"_equals_cst_that_doesn_t_contain_FOO";
@@
@endsby@
type t;
identifier anyid.id;
-constant char* anyid.cst ~= ".*FOO$";
+constant char [] anyid.cst ~= ".*FOO$";
fresh identifier endsby = id ##"_equals_cst_that_ends_by_FOO";
@@
@beginsby@
type t;
identifier anyid.id;
-constant char* anyid.cst ~= "^FOO";
+constant char [] anyid.cst ~= "^FOO";
fresh identifier beginsby = id ##"_equals_cst_that_begins_by_FOO";
@@
@format@
type t;
identifier anyid.id;
-constant char* anyid.cst ~= ".*%s";
+constant char [] anyid.cst ~= ".*%s";
fresh identifier strformat = id ##"_is_a_format_for_at_least_a_string";
@@