clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-21 09:57:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Declare main constants in stubs - part 2 (#9714)

Browse Source
This commit is contained in:
Máté Kocsis 2022-10-11 13:48:52 +02:00 committed by GitHub
parent 5b65594d78
commit d90ecb9582
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 158 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
main/streams/userspace.c
View File

@ -31,6 +31,7 @@
# include <utime.h>
# endif
#endif
#include "userspace_arginfo.h"
static int le_protocols;
@ -82,35 +83,8 @@ PHP_MINIT_FUNCTION(user_streams)
if (le_protocols == FAILURE)
return FAILURE;
REGISTER_LONG_CONSTANT("STREAM_USE_PATH", USE_PATH, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_IGNORE_URL", IGNORE_URL, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_REPORT_ERRORS", REPORT_ERRORS, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_MUST_SEEK", STREAM_MUST_SEEK, CONST_CS|CONST_PERSISTENT);
register_userspace_symbols(module_number);
REGISTER_LONG_CONSTANT("STREAM_URL_STAT_LINK", PHP_STREAM_URL_STAT_LINK, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_URL_STAT_QUIET", PHP_STREAM_URL_STAT_QUIET, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_MKDIR_RECURSIVE", PHP_STREAM_MKDIR_RECURSIVE, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_IS_URL", PHP_STREAM_IS_URL, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_BLOCKING", PHP_STREAM_OPTION_BLOCKING, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_READ_TIMEOUT", PHP_STREAM_OPTION_READ_TIMEOUT, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_READ_BUFFER", PHP_STREAM_OPTION_READ_BUFFER, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_WRITE_BUFFER", PHP_STREAM_OPTION_WRITE_BUFFER, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_BUFFER_NONE", PHP_STREAM_BUFFER_NONE, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_BUFFER_LINE", PHP_STREAM_BUFFER_LINE, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_BUFFER_FULL", PHP_STREAM_BUFFER_FULL, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_CAST_AS_STREAM", PHP_STREAM_AS_STDIO, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_CAST_FOR_SELECT", PHP_STREAM_AS_FD_FOR_SELECT, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_TOUCH", PHP_STREAM_META_TOUCH, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_OWNER", PHP_STREAM_META_OWNER, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_OWNER_NAME", PHP_STREAM_META_OWNER_NAME, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_GROUP", PHP_STREAM_META_GROUP, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_GROUP_NAME", PHP_STREAM_META_GROUP_NAME, CONST_CS|CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_ACCESS", PHP_STREAM_META_ACCESS, CONST_CS|CONST_PERSISTENT);
return SUCCESS;
}

125
main/streams/userspace.stub.php Normal file
View File

@ -0,0 +1,125 @@
<?php
/** @generate-class-entries */
/**
* @var int
* @cvalue USE_PATH
*/
const STREAM_USE_PATH = UNKNOWN;
/**
* @var int
* @cvalue IGNORE_URL
*/
const STREAM_IGNORE_URL = UNKNOWN;
/**
* @var int
* @cvalue REPORT_ERRORS
*/
const STREAM_REPORT_ERRORS = UNKNOWN;
/**
* @var int
* @cvalue STREAM_MUST_SEEK
*/
const STREAM_MUST_SEEK = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_URL_STAT_LINK
*/
const STREAM_URL_STAT_LINK = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_URL_STAT_QUIET
*/
const STREAM_URL_STAT_QUIET = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_MKDIR_RECURSIVE
*/
const STREAM_MKDIR_RECURSIVE = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_IS_URL
*/
const STREAM_IS_URL = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_OPTION_BLOCKING
*/
const STREAM_OPTION_BLOCKING = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_OPTION_READ_TIMEOUT
*/
const STREAM_OPTION_READ_TIMEOUT = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_OPTION_READ_BUFFER
*/
const STREAM_OPTION_READ_BUFFER = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_OPTION_WRITE_BUFFER
*/
const STREAM_OPTION_WRITE_BUFFER = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_BUFFER_NONE
*/
const STREAM_BUFFER_NONE = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_BUFFER_LINE
*/
const STREAM_BUFFER_LINE = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_BUFFER_FULL
*/
const STREAM_BUFFER_FULL = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_AS_STDIO
*/
const STREAM_CAST_AS_STREAM = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_AS_FD_FOR_SELECT
*/
const STREAM_CAST_FOR_SELECT = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_META_TOUCH
*/
const STREAM_META_TOUCH = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_META_OWNER
*/
const STREAM_META_OWNER = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_META_OWNER_NAME
*/
const STREAM_META_OWNER_NAME = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_META_GROUP
*/
const STREAM_META_GROUP = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_META_GROUP_NAME
*/
const STREAM_META_GROUP_NAME = UNKNOWN;
/**
* @var int
* @cvalue PHP_STREAM_META_ACCESS
*/
const STREAM_META_ACCESS = UNKNOWN;

31
main/streams/userspace_arginfo.h generated Normal file
View File

@ -0,0 +1,31 @@
/* This is a generated file, edit the .stub.php file instead.
* Stub hash: 9198095c858c95fcb31252ddfa24fe04787d0460 */
static void register_userspace_symbols(int module_number)
{
REGISTER_LONG_CONSTANT("STREAM_USE_PATH", USE_PATH, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_IGNORE_URL", IGNORE_URL, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_REPORT_ERRORS", REPORT_ERRORS, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_MUST_SEEK", STREAM_MUST_SEEK, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_URL_STAT_LINK", PHP_STREAM_URL_STAT_LINK, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_URL_STAT_QUIET", PHP_STREAM_URL_STAT_QUIET, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_MKDIR_RECURSIVE", PHP_STREAM_MKDIR_RECURSIVE, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_IS_URL", PHP_STREAM_IS_URL, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_BLOCKING", PHP_STREAM_OPTION_BLOCKING, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_READ_TIMEOUT", PHP_STREAM_OPTION_READ_TIMEOUT, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_READ_BUFFER", PHP_STREAM_OPTION_READ_BUFFER, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_OPTION_WRITE_BUFFER", PHP_STREAM_OPTION_WRITE_BUFFER, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_BUFFER_NONE", PHP_STREAM_BUFFER_NONE, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_BUFFER_LINE", PHP_STREAM_BUFFER_LINE, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_BUFFER_FULL", PHP_STREAM_BUFFER_FULL, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_CAST_AS_STREAM", PHP_STREAM_AS_STDIO, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_CAST_FOR_SELECT", PHP_STREAM_AS_FD_FOR_SELECT, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_TOUCH", PHP_STREAM_META_TOUCH, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_OWNER", PHP_STREAM_META_OWNER, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_OWNER_NAME", PHP_STREAM_META_OWNER_NAME, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_GROUP", PHP_STREAM_META_GROUP, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_GROUP_NAME", PHP_STREAM_META_GROUP_NAME, CONST_PERSISTENT);
REGISTER_LONG_CONSTANT("STREAM_META_ACCESS", PHP_STREAM_META_ACCESS, CONST_PERSISTENT);
}