3 open(CHECKERS
, ">checkers.c");
5 print CHECKERS
"/* This file is generated by generate_checkers.pl < functions - do not edit by hand. */\n";
7 my $fragment = `cat checker_fragment.c`;
11 $_ =~ /(.*)\|(.*)\|(.*)\|(.*)/;
15 my $parameternames = $4;
17 my $currentFragment = $fragment;
18 $currentFragment =~ s/\$returntype/$returntype/gs;
19 $currentFragment =~ s/\$name/$name/gs;
20 $currentFragment =~ s/\$parameters/$parameters/gs;
21 $currentFragment =~ s/\$parameternames/$parameternames/gs;
23 print CHECKERS
$currentFragment;