generate_checkers.pl

   1 #!/usr/bin/perl
   2
   3 open(CHECKERS, ">checkers.c");
   4
   5 print CHECKERS "/* This file is generated by generate_checkers.pl < functions - do not edit by hand. */\n";
   6
   7 my $fragment = `cat checker_fragment.c`;
   8
   9 while (<STDIN>)
  10 {
  11         $_ =~ /(.*)\|(.*)\|(.*)\|(.*)/;
  12         my $returntype = $1;
  13         my $name = $2;
  14         my $parameters = $3;
  15         my $parameternames = $4;
  16
  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;
  22
  23         print CHECKERS $currentFragment;
  24 }
  25 close(CHECKERS);