annotate vendor/sebastian/resource-operations/build/generate.php @ 19:fa3358dc1485 tip

Add ndrum files
author Chris Cannam
date Wed, 28 Aug 2019 13:14:47 +0100
parents 1fec387a4317
children
rev   line source
Chris@14 1 #!/usr/bin/env php
Chris@14 2 <?php
Chris@14 3 /*
Chris@14 4 * This file is part of resource-operations.
Chris@14 5 *
Chris@14 6 * (c) Sebastian Bergmann <sebastian@phpunit.de>
Chris@14 7 *
Chris@14 8 * For the full copyright and license information, please view the LICENSE
Chris@14 9 * file that was distributed with this source code.
Chris@14 10 */
Chris@14 11
Chris@14 12 $functions = require __DIR__ . '/arginfo.php';
Chris@14 13 $resourceFunctions = [];
Chris@14 14
Chris@14 15 foreach ($functions as $function => $arguments) {
Chris@14 16 foreach ($arguments as $argument) {
Chris@14 17 if ($argument == 'resource') {
Chris@14 18 $resourceFunctions[] = $function;
Chris@14 19 }
Chris@14 20 }
Chris@14 21 }
Chris@14 22
Chris@14 23 $resourceFunctions = array_unique($resourceFunctions);
Chris@14 24 sort($resourceFunctions);
Chris@14 25
Chris@14 26 $buffer = <<<EOT
Chris@14 27 <?php
Chris@14 28 /*
Chris@14 29 * This file is part of resource-operations.
Chris@14 30 *
Chris@14 31 * (c) Sebastian Bergmann <sebastian@phpunit.de>
Chris@14 32 *
Chris@14 33 * For the full copyright and license information, please view the LICENSE
Chris@14 34 * file that was distributed with this source code.
Chris@14 35 */
Chris@14 36
Chris@14 37 namespace SebastianBergmann\ResourceOperations;
Chris@14 38
Chris@14 39 class ResourceOperations
Chris@14 40 {
Chris@14 41 /**
Chris@14 42 * @return string[]
Chris@14 43 */
Chris@14 44 public static function getFunctions()
Chris@14 45 {
Chris@14 46 return [
Chris@14 47
Chris@14 48 EOT;
Chris@14 49
Chris@14 50 foreach ($resourceFunctions as $function) {
Chris@14 51 $buffer .= sprintf(" '%s',\n", $function);
Chris@14 52 }
Chris@14 53
Chris@14 54 $buffer .= <<< EOT
Chris@14 55 ];
Chris@14 56 }
Chris@14 57 }
Chris@14 58
Chris@14 59 EOT;
Chris@14 60
Chris@14 61 file_put_contents(__DIR__ . '/../src/ResourceOperations.php', $buffer);
Chris@14 62