diff options
author | Hartmut Holzgraefe <hholzgra@php.net> | 2004-02-20 08:01:58 +0000 |
---|---|---|
committer | Hartmut Holzgraefe <hholzgra@php.net> | 2004-02-20 08:01:58 +0000 |
commit | 767450164e9c62db76fa5de5c74598700bfeff0b (patch) | |
tree | 92c2f043a4ded82ab34de1698856153801a46fa6 /scripts | |
parent | acf7a5e2623f8729a035f9b9471dfcdd804deca4 (diff) | |
download | php-git-767450164e9c62db76fa5de5c74598700bfeff0b.tar.gz |
A script that searches for PHPAPI and ZEND_API prototypes
not enclosed by BEGIN_EXTERN_C/END_EXTERN_C
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/dev/extern_c.php | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/scripts/dev/extern_c.php b/scripts/dev/extern_c.php new file mode 100644 index 0000000000..72c7edcd32 --- /dev/null +++ b/scripts/dev/extern_c.php @@ -0,0 +1,45 @@ +<?php + +function scan_dir($dir) { + if (!is_dir($dir)) return; + + foreach (glob("$dir/*") as $file) { + if (is_dir($file)) { + if (basename($file) != "CVS") { + scan_dir($file); + } + } else if (fnmatch("*.h", $file)) { + scan_file($file); + } + } +} + +function scan_file($file) { + $flag = false; + + foreach (file($file) as $nr => $line) { + if (ereg("^[[:space:]]*BEGIN_EXTERN_C", $line)) { +# echo "$file:".($nr+1)." $line"; + $flag = true; + } else if (ereg("^[[:space:]]*END_EXTERN_C", $line)) { +# echo "$file:".($nr+1)." $line"; + $flag = false; + } else if ( (ereg("^[[:space:]]*PHPAPI[[:space:]]*", $line)) + ||(ereg("^[[:space:]]*ZEND_API[[:space:]]*", $line))) { + if (strstr($line,"(")) { + if (!$flag) echo "$file:".($nr+1)." $line"; + } + } + } +} + +array_shift($_SERVER["argv"]); + +if (count($_SERVER["argv"])) { + foreach ($_SERVER["argv"] as $dir) { + scan_dir($dir); + } +} else { + scan_dir("."); +} +?>
\ No newline at end of file |