blob: 957044034d654840144e2c49b432fd0bc0ca17e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
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);
|
