Marco Pivetta
68ffae097e
Simplified DateTimeImmutable::format(): always returns a string
...
Also:
* a non-empty format string will always lead to `non-empty-string`
* it seems that you can throw **everything** at `DateTimeInterface#format()`, even null bytes,
and it will always produce a `string`
2022-08-05 13:21:28 +02:00
Marco Pivetta
aaac9ccb90
Removed DateTimeImmutable::setTimestamp() from the CallMap: fully covered by stub
...
Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.
On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.
Ref (PHP 8.1.x): 32d55f7422/ext/date/php_date.c (L3353-L3369)bf574c2b67/ext/date/php_date.c (L3596-L3612)
2022-08-05 12:50:51 +02:00
Marco Pivetta
964f64a500
Removed DateTimeImmutable::setISODate() from the CallMap: fully covered by stub
...
Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.
On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.
Ref (PHP 8.1.x): 32d55f7422/ext/date/php_date.c (L3308-L3324)bf574c2b67/ext/date/php_date.c (L3549-L3565)
2022-08-05 12:49:45 +02:00
Marco Pivetta
0a6c9d0177
Removed DateTimeImmutable::setDate() from the CallMap: fully covered by stub
...
Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.
On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.
Ref (PHP 8.1.x): 32d55f7422/ext/date/php_date.c (L3258-L3274)bf574c2b67/ext/date/php_date.c (L3496-L3512)
2022-08-05 12:48:29 +02:00
Marco Pivetta
e61c593a2c
Removed DateTimeImmutable::setTime() from the CallMap: fully covered by stub
...
Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.
On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.
Ref (PHP 8.1.x): 32d55f7422/ext/date/php_date.c (L3212-L3228)bf574c2b67/ext/date/php_date.c (L3447-L3463)
2022-08-05 12:47:04 +02:00
Marco Pivetta
4fe554d6d2
Removed DateTimeImmutable::setTimezone() from the CallMap: fully covered by stub
...
Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.
On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.
Ref (PHP 8.2.x): 534127d3b2/ext/date/php_date.c (L3291-L3307)534127d3b2/ext/date/php_date.stub.php (L517-L518)bf574c2b67/ext/date/php_date.c (L3363-L3379)
2022-08-05 12:42:45 +02:00
Marco Pivetta
7cd3d49dc4
Removed DateTimeImmutable::modify() from the CallMap: fully covered by stub
...
Also expanded the return type from `static` to `static|false`, since the
operation can fail (with a warning too), such as in following example:
https://3v4l.org/Xrjlc
```php
<?php
var_dump(
(new DateTimeImmutable())
->modify('potato')
);
```
Produces
```
Warning: DateTimeImmutable::modify(): Failed to parse time string (potato) at position 0 (p): The timezone could not be found in the database in /in/Xrjlc on line 6
bool(false)
```
Ref: 534127d3b2/ext/date/php_date.stub.php (L508-L509)
2022-08-05 12:37:24 +02:00
Marco Pivetta
7ee12c7493
Removed DateTimeImmutable::format() from the CallMap: fully covered by stub
...
Note: some conditional return type magic was required here.
See: https://github.com/vimeo/psalm/pull/8350#discussion_r937089212
2022-08-05 12:24:35 +02:00
Marco Pivetta
267d76088d
Removed DateTimeImmutable::sub() from the CallMap: fully covered by stub
2022-08-05 12:23:00 +02:00
Marco Pivetta
68978b9e19
s/psalm-pure/psalm-mutation-free, since psalm-mutation-free is safer to use
...
Ref: c205d652d1 (r934032422)
2022-08-01 10:08:35 +02:00
Marco Pivetta
b4b2bc66c7
Added better stubs for DateTimeImmutable, highlighting how the constructor is **NOT** immutable
...
`DateTimeImmutable` is **almost** immutable: `DateTimeImmutable::__construct()` is in fact not a pure
method, since `new DateTimeImmutable('now')` produces a different value at each instantiation (by design).
This change makes sure that `DateTimeImmutable` loses its `@psalm-immutable` class-level marker,
preventing downstream misuse of the constructor inside otherwise referentially transparent code.
Note: only pure methods are stubbed here: all other methods declared by `DateTimeImmutable` (parent interface)
are NOT present here, and are either inferred from runtime reflection, or `CallMap*.php` definitions.
Methods are sorted in the order defined by reflection on PHP 8.1.8, at the time of writing this ( https://3v4l.org/3TGg8 ).
Following simplistic snippet was used to infer the current signature:
```php
<?php
$c = new \ReflectionClass(\DateTimeImmutable::class);
$methods = array_map(function ($m) {
return $m->getName()
. '(' . implode(',', array_map(function ($p) {
return $p->getType()
. ' $' . $p->getName()
. ($p->isOptional() ? ' = ' . var_export($p->getDefaultValue(), true) : '');
}, $m->getParameters())) . ')' . ($m->getReturnType() ? (': ' . $m->getReturnType()) : '');
}, $c->getMethods());
$properties = array_map(function ($m) {
return $m->getName();
}, $c->getProperties());
var_dump($methods, $properties);
```
2022-07-31 18:02:30 +02:00
Semyon
b1295d6894
Code style
2022-07-25 17:15:28 +03:00
Semyon
462ce7138a
Make DatePeriod implement Traversable oh PHP 7, rename constructor params
2022-07-25 17:11:36 +03:00
Semyon
9d3253482d
Add stub for DatePeriod
2022-07-25 17:11:36 +03:00
Pol Dellaiera
63b64532d6
Update CachingIterator, use int-mask-of.
2022-07-22 18:38:12 +02:00
Pol Dellaiera
3e0f0b6173
Update CachingIterator, remove newly added @template.
...
Also update `RecursiveCachingIterator`, remove extended methods and constructor that are the same.
2022-07-21 08:22:02 +02:00
Pol Dellaiera
f4da6aafaa
Update stub based on PR feedback.
2022-07-18 18:13:08 +02:00
Pol Dellaiera
2747f028c9
Update CachingIterator::getCache stub.
2022-07-18 16:24:10 +02:00
Corey Taylor
f28ac73777
Fix nullable return types for CallMap functions
2022-07-13 22:44:38 -05:00
AndrolGenhald
285740a753
Merge branch '4.x'
2022-07-07 15:01:38 -05:00
Adrien Foulon
6c49dad38c
fix: ltrim may return class-string #8218
...
Fixes #8218
2022-07-06 02:36:20 +02:00
Christian Schiffler
ce4ba69e70
Add missing properties to stubs/Reflection.phpstub
...
This should fix the now failing tests as the properties got removed from
the autogenerated property map.
2022-07-04 11:14:34 +02:00
Benjamin Morel
df6fdb99d7
Fix return type of ReflectionNamedType::getName()
...
Fixes #8167
2022-06-29 18:22:46 +02:00
AndrolGenhald
79603820d8
Fix SimpleXMLIterator::current() return type.
2022-06-22 01:38:58 -05:00
AndrolGenhald
c0de59c943
Add simplexml stub.
2022-06-22 01:15:43 -05:00
AndrolGenhald
ea987697dc
Update DOM stub.
2022-06-22 00:44:19 -05:00
sergkash7
ffe18296b0
Update phpredis.phpstub
2022-06-21 22:03:11 +03:00
Bruce Weirdan
e0acf22e40
Merge branch '4.x' into update-master
2022-05-28 14:49:12 -04:00
Kevin van Sonsbeek
23eff58a09
bugfix/#7912: Add Iterator implements to stub
2022-05-17 23:55:44 +02:00
Kevin van Sonsbeek
f86b599878
bugfix/#7912: Added stub for the APCu extension
2022-05-17 23:45:08 +02:00
hirokinoue
4fc34d998b
improve @return annotation of join()
2022-05-14 23:47:46 +09:00
hirokinoue
91640e7e90
improve @return annotation of implode()
2022-05-14 23:44:43 +09:00
Markus Staab
3c837e5d9a
fix missing is_a() parameter type
2022-05-12 15:37:29 +02:00
hirokinoue
2b34b1228b
handle the non-empty case for usort()
2022-04-29 00:36:28 +09:00
hirokinoue
8c64bddf29
handle the non-empty case for uksort()
2022-04-29 00:23:57 +09:00
hirokinoue
37bf36d475
handle the non-empty case for uasort()
2022-04-28 23:49:32 +09:00
hirokinoue
95b5e8cb56
handle the non-empty case for shuffle()
2022-04-28 23:07:43 +09:00
hirokinoue
1605b18678
handle the non-empty case for rsort()
2022-04-28 23:01:17 +09:00
hirokinoue
0770f0128c
improve syntax
2022-04-28 22:44:39 +09:00
Matt Brown
5b91506926
cache statements even without persistent parser cache
2022-04-27 01:50:13 -04:00
Matt Brown
a9e3c1fdc1
Fix namespaced min/max int range keyword issue introduced in #7775 .
2022-04-27 01:44:57 -04:00
Matt Brown
043bbfbbb4
Remove useless array casting as CallMap for stream_select is reset.
2022-04-27 01:40:51 -04:00
Matt Brown
0c65a19554
Allow null to ArrayAccess::offsetSet $offset param
2022-04-27 01:34:09 -04:00
Matt Brown
d58736a550
fix #7747 : DateInterval::createFromDateString can be false
2022-04-27 01:32:38 -04:00
hirokinoue
37c53ee783
handle the non-empty case for sort()
2022-04-23 22:51:50 +09:00
hirokinoue
c6d7bc0d19
Improve Throwable::getTrace() return type
2022-04-12 23:42:37 +09:00
Ciaran McNulty
ca185d7f28
Update Throwable::getTrace in stubs
2022-03-18 09:14:37 +00:00
orklah
7cfb601ab8
Merge pull request #7718 from niconoe-/fix-3036
...
Fix #3036 : make argument $read of internal PHP function stream_socket nullable.
2022-03-13 16:16:35 +01:00
Nicolas Giraud
0dc435409c
Replace changes in the CallMap for stream_select by a stub.
2022-03-11 08:52:36 +01:00
Fran Moreno
ff195e76c9
Allow null to ArrayAccess::offsetSet $offset param
2022-03-06 13:47:32 +01:00
kkmuffme
8fc41e6907
update phpredis stubs
...
* fixes feedback for setOption of https://github.com/vimeo/psalm/issues/7709
* latest WIP stubs with additional changes from upstream phpredis master and other additions
From https://raw.githubusercontent.com/phpredis/phpredis/77334ecbf2c06ea1ff18ea5e3ecc168cb1897a8b/redis.stub.php via https://github.com/phpredis/phpredis/pull/2015
2022-03-04 12:56:30 +01:00
orklah
0fe6eaf5d9
Merge remote-tracking branch 'upstream/4.x' into upstream-master13
2022-02-26 21:26:59 +01:00
AndrolGenhald
1387f94324
Attribute analysis improvements.
2022-02-23 22:12:32 -06:00
Bei Xiao
40cc346991
Update stub
2022-02-23 00:52:53 +02:00
Mark McEver
828b093964
Prevent unnecessary filter_var() warnings on primitive types
2022-02-15 14:13:44 -06:00
orklah
fac55576ab
Merge remote-tracking branch 'upstream/4.x' into upstream-master7
2022-02-12 09:59:55 +01:00
orklah
c13a536386
Merge pull request #7614 from kkmuffme/add-phpredis-stubs
...
add phpredis stubs
2022-02-11 23:15:48 +01:00
Bruce Weirdan
11e60fa261
Merge branch '4.x' into upstream-master
2022-02-11 03:51:48 +02:00
orklah
0702a0b3e7
add ReflectionIntersectionType stub
2022-02-09 19:32:17 +01:00
Office
9d120896d5
add phpredis stubs
2022-02-09 08:14:58 +01:00
orklah
2e01e9b7cd
Merge pull request #7396 from Patrick-Remy/feat/key-of-value-of-improvements
...
feat: make key-of/value-of usable with non-const arrays
2022-01-31 21:39:01 +01:00
orklah
1220320e0b
fix some iterator stubs ( #6970 )
...
* fix some iterator stubs
* fix iterators
* update stubs
* fix a test
* fixes
* fixes
* fix a test
* fix
2022-01-30 01:18:05 +01:00
AndrolGenhald
653d17ff81
Add stub for PDOException.
2022-01-27 17:05:48 -06:00
AndrolGenhald
02cd7bbbba
Add SoapHeader stub.
2022-01-27 16:30:14 -06:00
AndrolGenhald
63cd3f3b95
Add SoapFault stub.
2022-01-27 16:30:14 -06:00
AndrolGenhald
2fe4fc397c
Enable extensions based on composer.json instead of those loaded at runtime ( fixes #5482 ).
2022-01-27 16:30:14 -06:00
Patrick Remy
8cd5ccd076
feat: make value-of<T> capable for template types
2022-01-27 22:28:40 +01:00
Patrick Remy
2880d046ce
feat: make key-of/value-of usable with non-const arrays
2022-01-27 22:22:14 +01:00
orklah
841d4f4429
improve support for enum_exists
2022-01-22 18:27:24 +01:00
Bruce Weirdan
3fb3db3516
Merge branch '4.x' into upstream-master
2022-01-06 10:05:53 +02:00
Andreas Hennings
9da6b3f094
Issue #6618 : All reflection classes should implement Reflector.
2022-01-06 01:55:55 +01:00
Bruce Weirdan
c1acab4606
Merge branch '4.x' into upstream-master
2022-01-03 22:06:12 +02:00
Markus Staab
3de9c68830
pdo: more precise generic type
2022-01-03 17:11:03 +01:00
Matthew Brown
83911c7408
Remove unnecessary references to empty in TypeCombiner
2022-01-03 04:10:41 +02:00
orklah
0747b48d06
remove TEmpty
2022-01-03 04:09:59 +02:00
Markus Staab
457dd2f1c9
typo
2021-12-29 16:56:09 +01:00
Markus Staab
5361cda062
typo
2021-12-29 16:53:47 +01:00
Markus Staab
dd245f0dc5
mysqli_fetch_object: added missing generic
2021-12-29 16:50:38 +01:00
Saif Eddin Gmati
40ab6551a4
fix(stubs): UnitEnum::cases() can return an empty list
2021-12-21 12:06:41 +01:00
Ricardo Boss
f0d7556200
Added pure annotations to enum functions
2021-12-20 23:20:50 +01:00
orklah
c8959bd02a
fix other occurences of getAttributes
2021-12-20 10:19:01 +01:00
orklah
639b1b94a3
fix stub and fix test
2021-12-20 09:57:06 +01:00
orklah
9583d6a7e7
invert stub, add test
2021-12-17 00:12:54 +01:00
orklah
e9073eb059
doesn't infer empty for ReflectionClass::getAttributes without params
2021-12-16 23:39:23 +01:00
orklah
646ba983a0
Merge pull request #7140 from yethee/soap
...
Fixed compatibility with SoapClient
2021-12-15 00:55:57 +01:00
orklah
b2de778fb8
Merge pull request #7156 from simPod/set-map
...
Add Set::map() to ext-ds stub
2021-12-15 00:48:23 +01:00
orklah
93689c2860
add isStatic in stubs to solve the issue
2021-12-14 20:04:33 +01:00
Simon Podlipsky
9f13b73a01
Add Set::map() to ext-ds stub
2021-12-14 10:19:08 +01:00
yethee
0897714964
Update signatures of methods of SoapClient
2021-12-12 19:43:06 +03:00
Bruce Weirdan
3cce69189f
array_count_values return type for uncertain arrays
...
Fixes vimeo/psalm#7114
2021-12-10 02:45:58 +02:00
AndrolGenhald
b29fc6ad3c
Allow operator overloading for Decimal extension ( fixes #3938 ).
2021-12-08 10:59:37 -06:00
marcosh
07224e7d31
abs should always return a positive integer
2021-12-07 11:52:13 +01:00
Bruce Weirdan
9c324a7d74
Refined strlen() return type to not include negative ints
...
Fixes vimeo/psalm#7062
2021-12-05 21:35:58 +02:00
Bruce Weirdan
dc271fe25c
Consider emptiness for array_count_values()
...
Fixes vimeo/psalm#7044
2021-12-02 04:51:06 +02:00
ralila
d57c246c93
Add stub for preg_match
2021-11-29 14:21:58 +01:00
Kamil Tekiela
d64539faa1
Fix indentation
2021-11-28 12:22:41 +00:00
Bruce Weirdan
41256c74d1
Added enum-related stubs and callmaps
...
Fixes vimeo/psalm#6430
2021-11-28 11:41:43 +02:00
Bruce Weirdan
806db287d2
Infer ::from() and ::tryFrom() return types on backed enums
...
Fixes vimeo/psalm#6429
2021-11-28 09:47:01 +02:00
Kamil Tekiela
d922808e8f
Create mysqli.phpstub
...
Signed-off-by: Kamil Tekiela <tekiela246@gmail.com>
2021-11-24 22:30:22 +00:00
Ricardo Boss
f93c84b918
Made name property of UnitEnum readonly
2021-11-22 13:47:36 +01:00
Ricardo Boss
6d58a708fc
Make UnitEnum name property non-empty
2021-11-22 13:38:08 +01:00
ralila
e5ed2e7066
Add @psalm-ignore-falsable-return to the stub
2021-11-14 10:59:24 +01:00
ralila
930ee578f1
Add missing false return value to the stub
2021-11-14 10:36:03 +01:00
ralila
af1b00f212
Add stub for mb_convert_encoding
2021-11-13 22:13:55 +01:00
Toon Verwerft
b72da42dd1
Remove invalid SoapClient::__doRequest stub
2021-11-13 10:27:48 +01:00
orklah
de443192c7
Merge pull request #6873 from orklah/ReturnTypeWillChange3
...
load the ReturnTypeWillChange stubs for all versions to allow using it on every PHP version
2021-11-09 23:18:07 +01:00
orklah
b7e70f3cd7
load the ReturnTypeWillChange stubs for all versions to allow using it on every PHP version
2021-11-09 19:57:03 +01:00
orklah
3ff3616ef4
add stub for taint detection on vprintf
2021-11-07 09:25:27 +01:00
tminich
2013adafee
Fix missed names in psalm annotations
2021-11-04 16:10:59 +01:00
tminich
541bd6cb36
Fix parameter names in CoreGenericFunctions.phpstub for PHP 8 named parameters
2021-11-04 10:27:07 +01:00
orklah
ce87fc4882
fix is_a when used with Stringable classes
2021-10-28 20:08:43 +02:00
orklah
8bf8036213
add ReturnTypeWillChange with attribute attribute
2021-10-24 23:21:57 +02:00
Tomas Norre Mikkelsen
dd49ac5975
Resolve forgotten merge conflict
2021-10-14 20:38:26 +02:00
Tomas Norre Mikkelsen
b39b523fb4
Convert pgsql functions to use object instead of a resource
2021-10-14 19:30:03 +02:00
Bruce Weirdan
6abdb092bc
Merge pull request #6667 from SCIF/bugfix-5135-reflectionnamedtype-stub
2021-10-14 13:26:50 +03:00
Aleksandr Zhuravlev
657f8e22ed
Made the test marked 7.4
2021-10-14 22:05:40 +13:00
Aleksandr Zhuravlev
ff1b745e2a
Since 8.0 added
2021-10-14 11:35:54 +13:00
Aleksandr Zhuravlev
cbb67c0672
Stubbed RelfectionNamedType
2021-10-14 11:09:52 +13:00
orklah
f387c3f535
fix stub
2021-10-13 10:33:26 +02:00
orklah
1efe272aed
stub for is_a
2021-10-12 22:12:51 +02:00
orklah
870ee4ff93
->args to ->getArgs
2021-10-09 23:37:04 +02:00
Dgame
a8ce748d1b
Fixed trim-stub
2021-10-07 20:10:36 +02:00
Manuel VACELET
40cdb2f912
php 8.0 introduced visibility constants on ReflectionClassConstant
...
Spotted in issue #6588
2021-10-06 08:58:53 +02:00
sasezaki
014543b0ec
Fix invalid class/method declaration in stub
2021-10-05 21:41:27 +09:00
Tomas Norre Mikkelsen
960af957db
Convert PSpell resources to objects
2021-10-04 13:41:31 +02:00
orklah
b0842c6b6f
Merge pull request #6475 from orklah/range6
...
3> min/max, rand inference improvement with integer range
2021-10-04 13:23:03 +02:00
Tomas Norre Mikkelsen
a49ff46448
Update typo in PHP81.phpstub
2021-10-04 12:58:01 +02:00
Tomas Norre Mikkelsen
993349d64d
Convert LDAP resources to objects
2021-10-04 12:57:12 +02:00
Tomas Norre Mikkelsen
232ebb7e57
Convert imap functions to use object instead of a resource
2021-10-02 11:58:08 +02:00
orklah
b9f14f8687
improve min/max inference, add a return type provider for rand, mt_rand and random_int
2021-10-02 09:53:58 +02:00
orklah
ef82910de3
Merge pull request #6537 from mmcev106/master
...
Prevent unnecessary filter_var() warnings on primitive types
2021-09-27 20:15:01 +02:00
Mark McEver
79340b4a6f
Prevent unnecessary filter_var() warnings
2021-09-27 18:46:01 +01:00
Mark McEver
76dade477d
Prevent unnecessary filter_var() warning
2021-09-27 18:34:58 +01:00
orklah
7328456a33
Merge pull request #6438 from SCIF/serializable-interface
...
Changed signature of Serializable::unserialize stub
2021-09-20 16:49:00 +02:00
Simon Podlipsky
d0370de0db
Fix wrong template type in Sequence::copy()
2021-09-16 18:59:05 +02:00
Aleksandr Zhuravlev
65407cc10d
Got rid of test
2021-09-16 23:07:32 +12:00
Aleksandr Zhuravlev
e76cbf75e8
Merge remote-tracking branch 'origin/master' into serializable-interface
2021-09-16 22:05:08 +12:00
Alessandro Lai
1aba202a5a
Fix #6464 : false positive for RecursiveArrayIterator::CHILD_ARRAYS_ONLY
2021-09-09 11:12:24 +02:00
Tim van Dijen
417ea9c43d
Fix return-type
2021-09-07 23:02:28 +02:00
Aleksandr Zhuravlev
f290e0fa3e
Changed signature of Serializable::unserialize stub
2021-09-06 22:55:12 +12:00
Bruce Weirdan
08155dcb41
Added FTP\Connection class
2021-09-04 23:45:21 +03:00
Bruce Weirdan
cc1335022f
Fix SimpleXMLIterator historic and current signatures
...
Historically, `SimpleXMLIterator` had only implemented `Iterator` and
`RecursiveIterator` methods. This changed in 8.0, when iterator methods
were moved to `SimpleXMLElement`, and `SimpleXMLIterator` was made a
dummy class extending `SimpleXMLElement`.
Fixes vimeo/psalm#6305 , in the sense that Psalm would no longer report
different errors depending on the runtime PHP version.
2021-08-16 00:04:59 +03:00
Bruce Weirdan
6c475e0be5
Merge pull request #6206 from Jack97/update-return-types
...
Update return types for get_headers and get_meta_tags
2021-07-29 22:38:06 +03:00
Jack Robertson
6ed8a4d292
Update return types for get_headers and get_meta_tags
2021-07-29 20:05:06 +01:00
Bruce Weirdan
c766a1d38d
Correct param names for array_combine()
...
Fixes vimeo/psalm#6189
2021-07-27 18:05:27 +03:00
Jack Robertson
ce6642d1aa
Handle malformed parentheses
2021-07-25 10:43:34 +01:00
Matthew Brown
88c4e2468e
Support interface-string<Foo> as temporary alias of class-string<Foo> ( #6106 )
2021-07-16 18:38:39 -04:00
Bruce Weirdan
f015c30a43
Merge pull request #6107 from orklah/get_defined_constants
2021-07-16 12:28:45 +03:00
orklah
45d2aede3c
fix syntax
2021-07-15 23:47:00 +02:00
orklah
38767166cf
stub get_defined_constants with parameter
2021-07-15 23:39:16 +02:00
