123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263 |
- #!/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);
|