@contains@
type t;
-identifier anyid.id ~= "foo";
+identifier anyid.id =~ "foo";
fresh identifier contains = id ##"_contains_foo";
@@
@nocontain@
type t;
-identifier anyid.id !~= "foo";
+identifier anyid.id !~ "foo";
fresh identifier nocontain = id ##"_doesn_t_contain_foo";
@@
@endsby@
type t;
-identifier anyid.id ~= "foo$";
+identifier anyid.id =~ "foo$";
fresh identifier endsby = id ##"_ends_by_foo";
@@
@beginsby@
type t;
-identifier anyid.id ~= "^foo";
+identifier anyid.id =~ "^foo";
fresh identifier beginsby = id ##"_begins_by_foo";
@@