Hosted by
 |
#!/usr/bin/php -qC <?php
// $Date: 2004/01/13 03:22:20 $ // $Revision: 1.5 $ // $Author: jcrocholl $
require('plain.php');
function warning($filename, $line_number, $line, $text) { print "$filename:$line_number: illegal formatting\n"; print " $text\n"; print " $line\n"; }
function myprint($line) { if (!$line) return; global $outfilename; global $outfilehandle; if (!fwrite($outfilehandle, $line)) die("Cannot write $line to file $outfilename\n"); }
require('parser.php');
function parsefile($filename, $sure) { $outfilename = "$filename,f"; global $outfilehandle; if (!$outfilehandle = fopen($outfilename, 'w')) die("Cannot open file $outfilename"); global $line_number; $line_number = 0; parse($filename); fclose($outfilehandle); if ($sure) { unlink($filename); $success = rename($outfilename, $filename); if (!$success) print "rename failed\n"; // else print "rename successful\n"; } }
// print "'" . implode("', '", $argv) . "'\n"; $filename = $argv[1]; $sure = ($argv[2] == '--sure');
if (!$filename) die("// No filename given.\n");
if (preg_match('/^(.+)\.ads$/', $filename, $m)) { $auto_comments_save = true; // print "saving heads for $filename\n"; parsefile($filename, $sure); $auto_comments_save = false; $adb = "$m[1].adb"; if (file_exists($adb)) { $auto_comments_load = true; // print "loading heads for $adb\n"; parsefile($adb, $sure); $auto_comments_load = false; } } elseif (preg_match('/^(.+)\.adb$/', $filename, $m)) { $ads = "$m[1].ads"; if (file_exists($ads)) { print "please specify $ads\n" . " instead of $filename\n"; } else { parsefile($filename, $sure); } }
?>
|