diff vendor/sebastian/resource-operations/build/generate.php @ 2:5311817fb629

Theme updates
author Chris Cannam
date Tue, 10 Jul 2018 13:19:18 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/vendor/sebastian/resource-operations/build/generate.php	Tue Jul 10 13:19:18 2018 +0000
@@ -0,0 +1,62 @@
+#!/usr/bin/env php
+<?php
+/*
+ * This file is part of resource-operations.
+ *
+ * (c) Sebastian Bergmann <sebastian@phpunit.de>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+$functions         = require __DIR__ . '/arginfo.php';
+$resourceFunctions = [];
+
+foreach ($functions as $function => $arguments) {
+    foreach ($arguments as $argument) {
+        if ($argument == 'resource') {
+            $resourceFunctions[] = $function;
+        }
+    }
+}
+
+$resourceFunctions = array_unique($resourceFunctions);
+sort($resourceFunctions);
+
+$buffer = <<<EOT
+<?php
+/*
+ * This file is part of resource-operations.
+ *
+ * (c) Sebastian Bergmann <sebastian@phpunit.de>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+namespace SebastianBergmann\ResourceOperations;
+
+class ResourceOperations
+{
+    /**
+     * @return string[]
+     */
+    public static function getFunctions()
+    {
+        return [
+
+EOT;
+
+foreach ($resourceFunctions as $function) {
+    $buffer .= sprintf("            '%s',\n", $function);
+}
+
+$buffer .= <<< EOT
+        ];
+    }
+}
+
+EOT;
+
+file_put_contents(__DIR__ . '/../src/ResourceOperations.php', $buffer);
+