summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorHartmut Holzgraefe <hholzgra@php.net>2004-02-20 08:01:58 +0000
committerHartmut Holzgraefe <hholzgra@php.net>2004-02-20 08:01:58 +0000
commit767450164e9c62db76fa5de5c74598700bfeff0b (patch)
tree92c2f043a4ded82ab34de1698856153801a46fa6 /scripts
parentacf7a5e2623f8729a035f9b9471dfcdd804deca4 (diff)
downloadphp-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.php45
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