Matt Brown
4b4e09277c
Fix #450 - add checks for duplicate array keys
...
And fix the embarassing errors in tests
2018-01-18 17:16:50 -05:00
Matt Brown
a253ca68bc
Allow array_filter to inspect closure bodies
2018-01-17 16:07:46 -05:00
Matt Brown
2212d7c032
Reinstate $this type after parent call
...
Fixes #444
2018-01-17 11:00:58 -05:00
Matthew Brown
f3bfb089ad
Don’t investigate property mutations if they’re not visible
2018-01-13 01:52:46 -05:00
Matthew Brown
573260b16d
Don’t warn about null array access if we’re ignoring null issues
2018-01-12 18:04:11 -05:00
Matt Brown
21eafd8bfc
Fix #352 with a mixed copout if the use is passed by reference
2018-01-12 12:33:26 -05:00
Matthew Brown
7fa541e39b
Allow reference-returning functions to be passed as arguments of byref functions
2018-01-11 23:18:13 -05:00
Tyson Andre
d688b51534
Be strict about matching word boundaries for expected messages
...
E.g. don't allow InvalidPropertyAssignmentValue where
InvalidPropertyAssignment was expected
2018-01-11 18:04:11 -05:00
Tyson Andre
43e8703a2e
Be strict about matching error messages
2018-01-11 18:04:11 -05:00
Matt Brown
2120d258a4
Fix formatting of return type adder
2018-01-11 15:50:58 -05:00
Matthew Brown
fb9f20f4b8
Find unused properties with dead code checks
...
Fixes #424
2018-01-10 23:29:18 -05:00
Matt Brown
d93906243d
Fix incorrect missing return type
2018-01-10 13:04:37 -05:00
Matt Brown
72848477c2
Add all Possibly* issues to more lenient config
...
And add granularity to InvalidPropertyAssignment* issues
2018-01-10 10:56:43 -05:00
Matthew Brown
75daea5f04
Fix #382 - improve reserved word checks
2018-01-10 00:07:47 -05:00
Matthew Brown
6b68da0e4d
Always check typehints for bad classes
2018-01-09 22:46:55 -05:00
Matthew Brown
89af8f2c2c
Fix #434 - preserve formatting when replacing docblocks
2018-01-09 22:33:36 -05:00
Matt Brown
27e47365e3
Fix #422 - be better about checking isset call variables
2018-01-09 19:33:39 -05:00
Matt Brown
edde8930af
Speed up Psalm by caching result of Union::getId
2018-01-09 15:05:48 -05:00
Matt Brown
1a048040bf
Move IssueBuffer finish logic into the command line
2018-01-09 11:49:10 -05:00
Matthew Brown
3f3c1380ee
Fix erroneous error about no parent when analysing trait call
2018-01-09 09:22:23 -05:00
Matthew Brown
93306710b6
Reset memory limit on each test
2018-01-09 09:21:54 -05:00
Matt Brown
b373d6093a
Be more lenient with nullable docblock types, allow no return statements
2018-01-08 17:17:49 -05:00
Matt Brown
be779382d1
Fix #428 - remove from_docblock on reconciled types
2018-01-08 10:32:58 -05:00
Matthew Brown
8e4f8fabe3
Fix getenv calls
...
Fixes #386
2018-01-08 00:09:22 -05:00
Matthew Brown
bb41b92789
Filter forumulae to remove assertions on unknowable things
2018-01-07 23:59:25 -05:00
Matthew Brown
66fa081488
Fix issue with nullable types going into docblock
2018-01-07 18:06:31 -05:00
Matthew Brown
fe96868e27
Add documentation
2018-01-07 17:25:23 -05:00
Matthew Brown
e8ad6a477e
Fix missing docblocks
2018-01-07 17:25:23 -05:00
Matthew Brown
693c7a81fa
Improve tracking of docblock types
2018-01-07 17:25:23 -05:00
Matthew Brown
39685e1be6
Collapse Issue inheritance and rename new issues
2018-01-07 17:25:23 -05:00
Matthew Brown
dd0d97755c
Add test for missing closure return type
2018-01-07 17:25:23 -05:00
Matthew Brown
90b2933525
Add more tests just to be on the safe side
2018-01-07 17:25:23 -05:00
Matthew Brown
278a6953d5
Add test for single line comment
2018-01-07 17:25:23 -05:00
Matthew Brown
77b6b397fc
Handle comments in area where return type should be
2018-01-07 17:25:23 -05:00
Matthew Brown
29b09f9633
Continue after param replacement
2018-01-07 17:25:23 -05:00
Matthew Brown
dc053e699b
Fix resolution of same-namespaced classes
2018-01-07 17:25:23 -05:00
Matthew Brown
456a2ebaaa
Add --dry-run option
2018-01-07 17:25:23 -05:00
Matthew Brown
0e67aae21b
Allow updating of params
2018-01-07 17:25:23 -05:00
Matthew Brown
5bae869dc6
Break file manipulation out into Psalter
2018-01-07 17:25:23 -05:00
Matt Brown
928b01a7c7
Find and fix code issues where functionality is available
2018-01-07 17:25:23 -05:00
Matt Brown
a76fde5b98
Break out mismatching param/return type issues from InvalidDocblock
2018-01-05 12:11:12 -05:00
Matt Brown
45eaea1ed9
Flesh out callmap type
2018-01-05 11:50:27 -05:00
Matthew Brown
6f5a214365
Allow param redefinition, but complain if it differs to parent class
2018-01-05 00:19:35 -05:00
Matthew Brown
c9173c7da3
Add more specific issues for falsable/nullable invalid return types
2018-01-04 21:36:16 -05:00
Matthew Brown
12aef22f05
Fix issue where byref differences would not be highlighted
2018-01-04 14:01:17 -05:00
Stéphane Bour
9b2cfdc669
fix: add preserve_keys on array_reverse function
2018-01-03 21:57:11 -05:00
Matt Brown
ff5b2ce799
DateTimeImmutable::add/sub return static
...
Fixes #419
2018-01-03 10:35:22 -05:00
Matt Brown
e6aae2f2e2
Fix issue assigning string-typed properties without a string cast
2018-01-02 18:01:59 -05:00
Matt Brown
310f91ea81
Warn when methods with typehints don’t return for all codepaths
2018-01-02 16:57:40 -05:00
Matthew Brown
8da23605bb
Add unqualifier plugin test to remove unnecessary namepaces
2018-01-02 09:46:50 -05:00
Matthew Brown
cc81d78dfd
Add code replacement api to allow Psalm to update arbitrary parts of the codebase
...
Fixes #264
2018-01-02 09:46:50 -05:00
Matthew Brown
81cfe09fae
Improve reporting of classlike locations in docblocks
2018-01-01 20:04:03 -05:00
Matthew Brown
290cf396d4
Remove unnecessary suppression
2017-12-31 13:12:19 -05:00
Matthew Brown
17d208bdd5
Increase test coverage
2017-12-30 10:54:01 -05:00
Matthew Brown
d964f96439
Add test that analyses a class with a mapped property
2017-12-30 10:42:06 -05:00
Matthew Brown
2d24f9e99d
Don’t complain about unused variables when they’re passed by reference
2017-12-30 09:30:02 -05:00
Matthew Brown
f81642c1eb
Fix location of function param vars
2017-12-29 21:28:21 -05:00
Matthew Brown
086b314df8
Cut down on interface PossiblyUnusedMethod reports
2017-12-29 19:38:01 -05:00
Matthew Brown
875bb8c072
Improve dead code detection, reducing false positives for params
2017-12-29 17:27:16 -05:00
Matthew Brown
0b58ee425d
Fix trait method evaluation order
2017-12-29 11:26:28 -05:00
Matthew Brown
c38cf9b672
Migrate type reconciliation code to its own class
2017-12-29 10:55:53 -05:00
Matthew Brown
81efe28f79
Fix #403 by complaining about return values in void functions
2017-12-28 21:49:03 +01:00
Matthew Brown
b8c349166e
Add InvalidCatch and InvalidThrow to prevent erroneous exceptions
...
Fix #411 and fix #412
2017-12-28 20:40:28 +01:00
Matthew Brown
dd0f046aee
Fix #410 - make sure anything inside a catch statement is treated as Throwable ( #413 )
2017-12-28 01:49:36 +01:00
Matthew Brown
57592aca41
Fix #409 - PropertyNotSetInConstructor can be suppressed at the property level
2017-12-27 12:27:59 +01:00
Matthew Brown
e2e1094ec6
Fix #407 - improve treatment of array_merge unpacked args
2017-12-23 02:09:58 +01:00
Matthew Brown
2f5b05887b
Promote CircularReference from exception to issue
2017-12-22 18:56:59 +01:00
Matthew Brown
c5ea5178e1
Remove unnecessary issue type
2017-12-22 16:09:56 +01:00
Matthew Brown
84260c5edc
Prohibit array pass by ref
2017-12-22 15:21:23 +01:00
Matthew Brown
abc9c051a9
Improve analysis of constant arrays
2017-12-19 09:48:01 -05:00
Matthew Brown
035f528581
Make sure that combining false with false simplifies to false
2017-12-19 00:06:05 -05:00
Matthew Brown
53d887d356
Make sure nested lists get some sort of assignments
2017-12-18 23:13:18 -05:00
Matthew Brown
45fc9fd5d9
Check LHS of property when RHS is variable
2017-12-18 22:35:03 -05:00
Matthew Brown
0e6006deda
Fix #328 and allow single-entry object-like shorthand
2017-12-18 22:07:52 -05:00
Matthew Brown
ab3b8a0cf2
Make array{a:string} a subtype of array<string, string>
...
cc @weirdan
2017-12-18 20:08:45 -05:00
Matthew Brown
17edb2bbe6
Add better understanding of arrays with keyed integer offsets ( #400 )
...
* Add tests for keyed integer assignemnt
* First pass to get keyed integer assignment working
* Fix array assignment to object-like with different key type
* Improve treatment of objectlikes for callable and iterable comparisons
* Fix array assignment to strings and addition
* Convert expression to CNF
* Do better at merging property types
* Fix array_rand key type
2017-12-18 18:47:17 -05:00
Matt Brown
597ed0ed12
Fix #401 - don’t panic when checking generator against other types
2017-12-18 10:58:46 -05:00
Matthew Brown
4b0cee6142
Only complain about redundant conditions if there’s one negated clause
2017-12-18 00:47:36 -05:00
Matthew Brown
4ff26cdd8f
Fix RedundantCondition complaint when examining CNF queries
2017-12-18 00:39:00 -05:00
Matthew Brown
d804a92a93
Add skipped test with non-CNF algebra
2017-12-18 00:06:23 -05:00
Matthew Brown
3b7c84f484
Detect instances where loop invariants are invalidated
...
Fixes #389
2017-12-17 10:58:03 -05:00
Matthew Brown
c1ce543e81
Make sure to clear previously inferred types when rechecking trait statements
...
Fixes #399
2017-12-17 01:06:12 -05:00
Matt Brown
8ca5fbefea
Invalidate clauses when assigning root vars
2017-12-15 17:34:21 -05:00
Matt Brown
3b4a7a97bc
Don’t treat callmap scalar types as any sort of filtering mechanism
...
Fixes #393 and fixes #394
2017-12-15 16:48:06 -05:00
Tyson Andre
d0fe5e3127
Don't convert standalone false/true to bool in combineTypes ( #396 )
...
Fixes #392
2017-12-15 16:36:42 -05:00
Mario Blazek
8590b2b9b4
Use namespaced TestCase from PHPUnit ( #395 )
2017-12-15 06:18:33 -05:00
Tyson Andre
136d48f77c
Support @property-read and @property-write as new tags. ( #317 )
...
In combination with `@psalm-seal-properties`, this can be used to
have in-depth checking of magic properties.
2017-12-14 14:22:27 -05:00
Matt Brown
52c414f1d2
Fix return {expr} checks for void functions
2017-12-14 12:50:02 -05:00
Matt Brown
b319f54ff6
Fix issue with equality of scalar types not from docblock
2017-12-14 11:23:20 -05:00
Matthew Brown
dc65c14bc4
Fix properties fetches with self
2017-12-13 22:29:38 -05:00
Matthew Brown
34c133d5d0
Add for post conditions to assignment map analysis
2017-12-13 22:04:37 -05:00
Matthew Brown
298ee214e9
Only allow variables greater than a number to be non-null
2017-12-13 20:48:01 -05:00
Matthew Brown
e63441af1e
Make sure $a > 0 removes null from $a
...
Fixes #186
2017-12-13 20:06:19 -05:00
Matthew Brown
e55fe2f158
Don’t complain about possibly undefined vars when calling unset
...
Fixes #139
2017-12-13 19:46:58 -05:00
Matt Brown
4b8c242f5d
Create fake get_class/gettype statements where necessary
2017-12-13 15:56:05 -05:00
Matt Brown
301e393e37
Remove resource and callable from falsy checks
2017-12-11 11:32:14 -05:00
Matthew Brown
146cb12277
Refine function arguments if they match non-docblock equivalents
2017-12-10 21:14:30 -05:00
Matthew Brown
46feaaf1c6
Don’t run try/catch analysis twice
2017-12-10 20:21:21 -05:00
Matthew Brown
f8207fe490
Improve handling of try/catch blocks, suppressing RedundantCondition where necessary
...
Fixes #355
2017-12-10 17:36:33 -05:00
Matthew Brown
31ce716647
Widen empty array checks
2017-12-10 16:17:27 -05:00
Matthew Brown
c95af0bb57
Fix issue with assigning empty type
2017-12-10 14:56:51 -05:00
Matthew Brown
a345ec49a1
Fix is_bool checks on true vars
2017-12-09 16:05:31 -05:00
Matthew Brown
42dcd136ca
Improve treatment of true and fix #369
2017-12-09 15:51:38 -05:00
Matthew Brown
13f290038a
Improve RedundantCondition checks and add true type
...
Fixes #383
2017-12-09 14:53:39 -05:00
Matt Brown
eca7351472
Add return-level issues as well as function-level ones
...
Fixes #379
2017-12-07 15:50:25 -05:00
Matthew Brown
2a7b48ce5f
Add support for infinite loops
...
Fixes #381
2017-12-06 23:46:41 -05:00
Matt Brown
6c84fecce9
Always update the parent context from the loop context
...
Fixes #377
2017-12-06 19:20:24 -05:00
Matthew Brown
0eedad4f6a
Add UndefinedGlobalVariable issue and asssociated Possibly... one
2017-12-06 00:56:00 -05:00
Matthew Brown
a87a1f0dc9
Make sure undeclared array offset vars have type mixed
...
Fixes #360
2017-12-06 00:35:41 -05:00
Matthew Brown
59b50bdcdd
Add proper types for magic constants
...
Fixes #362
2017-12-06 00:05:01 -05:00
Matthew Brown
52fc81e4ab
Remove need for a __toString return type
...
Fixes #364
2017-12-05 23:47:50 -05:00
Matt Brown
d10898b853
Remove code that only caused pain
2017-12-05 16:54:24 -05:00
Matt Brown
e2b1b24dbf
Fix empty checks, make them more like isset checks
...
Fixes #372
2017-12-05 12:14:10 -05:00
Matt Brown
98085b2267
Fix #371 - improve handling of do statements broken in loop refactor
2017-12-05 11:05:10 -05:00
Matthew Brown
a8a1489a8f
Fix closure naming convention so it doesn’t confuse method id checks
2017-12-05 01:47:49 -05:00
Matthew Brown
02dcb2be95
Get or LHS clauses after evaluating statements
2017-12-03 18:22:25 -05:00
Matthew Brown
6843dfb7fc
Remove from_docblock status if we make a successful method call
2017-12-03 17:21:20 -05:00
Matthew Brown
7d003c5bc1
Fix erroneous treatment of or clauses in if statements
2017-12-03 16:25:52 -05:00
Matthew Brown
181d1bb129
Don’t complain about redundant conditions for possibly undefined vars
2017-12-03 15:00:59 -05:00
Matthew Brown
cb4691fb44
Always set templated types as being from docblocks
2017-12-03 13:22:06 -05:00
Matthew Brown
cff7f35d00
Change __toString type conversions to more precise getId checks
2017-12-03 12:44:08 -05:00
Matthew Brown
a47675250a
Set that a type is from docblock when substituting in docblock atomic type
2017-12-03 01:24:47 -05:00
Matthew Brown
be3212eb42
Remove conflicting clauses from switch assertions
2017-12-03 00:58:24 -05:00
Matthew Brown
9a83990053
Clear clauses made redundant by pre-loop assignments
2017-12-02 20:02:29 -05:00
Matthew Brown
d20b8d3034
Improve loop analysis ( #365 )
2017-12-02 18:28:18 -05:00
Matthew Brown
3fca70c77b
Always reemove clauses if from_docblock status has changed
2017-12-02 17:57:58 -05:00
Matt Brown
c112ca9a63
Suppress issue in tests
2017-11-30 19:14:52 -05:00
Matt Brown
d6960f526c
Remove testing support for 7.2
2017-11-30 19:11:06 -05:00
Matt Brown
062d46c132
Update to latest php-cs-fixer
2017-11-30 19:00:09 -05:00
Matthew Brown
2b34fa0cd0
Fix #357 by passing right set of issues to FunctionLikeChecker::compareMethods
2017-11-30 00:07:36 -05:00
Matthew Brown
52f9225356
Add separate issues for implemented return type mismatch
2017-11-30 00:01:41 -05:00
Matthew Brown
0ea6540018
Fix #358 , don’t emit PropertyNotSetInConstructor on public final classes/methods
2017-11-29 23:46:56 -05:00
Matthew Brown
0c2b2b69b3
Fix #348 - allow signature return types to be non-nullable if parent is nullable
2017-11-28 23:09:09 -05:00
Matthew Brown
f4212d897c
Fix erroneous empty array creation in SwitchChecker
...
Fixes #354
2017-11-28 22:33:37 -05:00
Matthew Brown
6c9d90850a
Don’t complain when there are duplicate clauses if due to an assignment
...
Fixes #356
2017-11-28 22:17:03 -05:00
Matt Brown
1173dcc6a2
Don’t stop reconciling types when encountering problem
2017-11-28 17:42:00 -05:00
Matt Brown
252fa8da78
Fix #346 by making a change in from_docblock invalidate clauses
2017-11-28 17:27:19 -05:00
Matt Brown
33f003f427
Don’t complain about repeat isset calls on array keys
...
Fixes #347
2017-11-28 16:52:52 -05:00
Matthew Brown
f27bd50abe
Add RedundantCondition issue, replacing FailedTypeResolution ( #344 )
...
* Group changes
* Don’t worry about vars defined before exiting
* Fix issues with vars defined in conditionals
* Add failing test
* Only add failed reconciliation flag if nothing could be salvaged
* Avoid notice when removing clauses
* Improve handling of loops
* Fix evaluation of binary op expressions
* Remove unset vars from outer context after loop
* Ignore RedundantCondition in some more configs
2017-11-28 00:46:41 -05:00
Matthew Brown
f16642dad2
Better switch analysis ( #343 )
...
* Experiment with good switch analysis
* Improve switch accuracy at expense of some processor cycles
* Evaluate switch case expression in case context
2017-11-28 00:25:21 -05:00
Matt Brown
8fff59f7de
Fix union of intersection types
2017-11-27 19:15:01 -05:00
Matt Brown
b8b1169a03
Consolidate intersection type checks in one place
2017-11-27 18:07:38 -05:00
Matt Brown
bd22f9425c
Fix #175 - support interface intersection types with other interfaces
2017-11-27 16:49:59 -05:00
Matt Brown
a6f3781452
Fix #340 - give up with mixed type when accessing unknown key on objectlike
2017-11-27 12:01:23 -05:00
Matt Brown
8b0d99e28b
Fix extending of core classes that do bad things
2017-11-27 11:43:06 -05:00
Matthew Brown
afcbc113c9
Fix #228 , fix #336 by improving checking of inherited signatures
2017-11-26 16:03:17 -05:00
Matthew Brown
18e68a60de
Fix #334 by allowing interfaces as foreach args to be correctly interpreted
2017-11-24 12:57:00 -05:00
Matthew Brown
4312ef380b
Fix issues found by improved Psalm checks
...
cc @TysonAndre, found with RedundantCondition checks
2017-11-24 12:10:30 -05:00
Matthew Brown
fd3de443b2
Update loop with union of existing types
2017-11-21 22:13:46 -05:00
Matthew Brown
e3b688b06d
Fix #316 - self resolves to proper class
2017-11-21 21:50:39 -05:00
Matthew Brown
b1a35d6a6e
Remove numeric types with !is_numeric check, fix #330
2017-11-21 20:58:08 -05:00
Matthew Brown
f5f7849d3a
Fix erroneous merging of types
2017-11-20 20:06:00 -05:00
Matt Brown
a069cf4ea9
Don‘t turn a string into an array|string by accident
2017-11-20 17:10:05 -05:00
Matt Brown
0c2ea418e3
Fix #327 - prevent null array value from killing assignment
2017-11-20 16:19:40 -05:00
Matt Brown
f46fd0b79f
Fix array access on objects
2017-11-20 11:49:26 -05:00
Matthew Brown
9d025fad8f
Only replace ? where appropriate
2017-11-20 00:32:40 -05:00
Matthew Brown
957600623c
Fix issue with byref template params leaking
2017-11-20 00:12:17 -05:00
Matthew Brown
ccc0583bf8
Fix issue with bad assign after array_pop/array_shift
2017-11-19 23:46:32 -05:00
Tyson Andre
cea5dca5dc
Allow using nullable shorthand (?) within an array ( #326 )
2017-11-19 23:36:37 -05:00
Matthew Brown
ae799da8d0
Add root array var when updating array key type in if
2017-11-19 23:25:14 -05:00
Matthew Brown
381eb2157a
Avoid undefined notice in var comparison
2017-11-19 23:19:49 -05:00
Matthew Brown
5698b2d363
Update root var with more accurate object-like type
2017-11-19 22:28:52 -05:00
Matthew Brown
90bcd99eab
Fix issue where array_shift/array_pop didn’t mark array as modified
2017-11-19 21:36:09 -05:00
Matthew Brown
8b2df09f0f
Fix issue with object-like reassignment
2017-11-19 21:24:29 -05:00
Matthew Brown
3418eb494a
Always set a fallback mixed type on a mixed property fetch
2017-11-19 14:58:48 -05:00
Matthew Brown
942bc0a663
Add new MixedTypeCoercion issue, fixes #320
2017-11-19 13:42:48 -05:00
Matthew Brown
75b6e21801
Fix #315 - improve checking of object-like arrays in function params
2017-11-19 13:05:35 -05:00
Matthew Brown
5ff4badf33
Refactor array analysis to improve reliability and accuracy ( #325 )
2017-11-19 12:33:43 -05:00
Matthew Brown
1a39224abc
Fix issues that improved array checks found
2017-11-19 12:14:02 -05:00
Matt Brown
39baa00fd3
Fix issue with nested object-like array updating
2017-11-17 16:33:36 -05:00
Tyson Andre
1c25ca1a0c
Fix false positives, add tests of @psalm-seal-properties ( #318 )
2017-11-17 16:19:48 -05:00
Matt Brown
2a96e323e7
Fix assignment to arrays after object-like
2017-11-17 12:27:16 -05:00
Matthew Brown
965352c711
Fix #312 - support parsing object-like arrays without keys
2017-11-17 01:18:13 -05:00
Matthew Brown
a08306973a
Fix #302 - add a way to seal objects with magic properties
2017-11-16 20:47:58 -05:00
Matthew Brown
440db3be89
Fix #313 - correctly analyse closure self return types
2017-11-16 20:06:00 -05:00
Matthew Brown
7d33db0d19
Fix issue with array unification after scanning
2017-11-16 01:11:46 -05:00
Matthew Brown
36a760657d
Fix #311 and introduce PossiblyInvalidArrayOffset
2017-11-16 00:27:11 -05:00
Matthew Brown
6c9cdd896b
Separate InvalidArrayAccess and InvalidArrayOffset
2017-11-15 21:10:07 -05:00
Matthew Brown
f136fc3296
Fix #305 by making test error message checks more accurate
2017-11-15 21:04:25 -05:00
Matthew Brown
abe7c003ab
Fix #309 - borrowing fix from @TysonAndre
2017-11-15 20:45:53 -05:00
Matt Brown
a99135c4d0
Fix #300 - add PossiblyInvalidPropertyFetch
2017-11-15 11:44:13 -05:00
Matt Brown
c5faa2d06a
Fix #299 - add PossiblyInvalidMethodCall
2017-11-15 11:34:40 -05:00
Matt Brown
9111b1c725
Fix #301 - add PossiblyInvalidPropertyAssignment
2017-11-15 11:15:03 -05:00
Matthew Brown
f96f3a467d
Fix #296 - add issue for raw object iteration
2017-11-14 22:55:48 -05:00
Matthew Brown
2e6b93e4d0
Fix #289 , make inferred type of yield from expressions mixed
2017-11-14 22:29:15 -05:00
Matthew Brown
23e4c8f68b
Fix #290 - check for yields in assignments
2017-11-14 22:08:15 -05:00
Matthew Brown
3ade4b9559
Fix #293 , be case invariant to self & static
2017-11-14 21:56:29 -05:00
Matthew Brown
b2ae9a2892
Fix #291 , #292 and #297 by improving docblock parsing
2017-11-14 21:43:31 -05:00
Matt Brown
7e8ae33d56
Fix #288 - get rid of MethodSignatureMismatch issues where PHP doesn’t worry
2017-11-13 16:31:33 -05:00
Matthew Brown
a0a9128375
Fix #285 - add PossiblyInvalidArrayAccess
2017-11-11 21:22:11 -05:00
Matthew Brown
4f2a200b45
Fix #283 - add more refined PossiblyUndefinedMethod check
2017-11-11 14:53:35 -05:00
Matthew Brown
2f1e3652b7
Fix #274 - improve array addition inference for objectlike arrays
2017-11-11 14:19:57 -05:00
Matthew Brown
b79ad3c64b
Fix #282 - detect legacy functions with variadic behaviour
2017-11-11 01:06:39 -05:00
Matt Brown
59265ef2bf
Fix #276 - fix false positive in magic call
2017-11-10 18:08:26 -05:00
Matt Brown
e49573e7f6
Fix #279 - make sure referenced vars updated always in or
2017-11-09 16:42:39 -05:00
Matthew Brown
765d82548d
Remove more dead code
2017-11-08 23:27:51 -05:00
Matthew Brown
a7b32beb4e
Add better checks for array_rand’s signature
2017-11-08 21:56:54 -05:00
Matthew Brown
dd86513fc5
Fix #271 - remove invalid complaint about private overridden method
2017-11-08 21:27:23 -05:00
Matt Brown
6d14bf65d7
Loosen restrictions on compact(), fix #267
2017-11-08 09:37:58 -05:00
Matthew Brown
44c40dff4f
Fix #270 by looking at root ids when analysing array assignment in loops
2017-11-08 08:23:34 -05:00
Matthew Brown
d422bc85d6
Add (skipped) test for #270
2017-11-07 23:49:04 -05:00
Matt Brown
750d18d20a
Fix #266 - do better analysis of array_rand
...
And also have better fallback when accessing string key on object-like array
2017-11-07 17:38:54 -05:00
Tyson Andre
a50783404f
Fix build failure - MixedPropertyAssignment should be expected in test.
...
This is assigning to a property of type mixed?
2017-11-07 17:24:44 -05:00
Matt Brown
97de8f7684
Allow Psalm to check static call LHS vars
2017-11-06 15:37:49 -05:00
Matt Brown
81493a639e
Add more robust property assignment when property not defined
2017-11-03 12:27:01 -04:00
Matthew Brown
a651fad6f0
Fix #263 - add support for @psalm-param and @psalm-var annotations
2017-11-02 21:45:17 -04:00
Matthew Brown
b618bd798d
Add new issues for missing required files
2017-10-29 14:39:23 -04:00
Matthew Brown
45df0292b1
Never constrain by-ref array variables
2017-10-28 15:33:29 -04:00
Matthew Brown
30acb9e3b7
Improve array function byref understanding by hard-coding rules
2017-10-28 13:56:29 -04:00
Matt Brown
6e86c9070c
Skip breaking test
2017-10-26 18:20:35 -04:00
Matt Brown
8b7d82ddf6
Fix #2 - suppress errors for single lines
2017-10-26 18:19:19 -04:00
Matt Brown
897c70f8f5
Add back support for switch-getclass ::class constants
2017-10-26 15:07:36 -04:00
Matthew Brown
122b354c4c
Ignore get_class and instanceof checks for arbitrary classes in traits
2017-10-24 00:01:43 -04:00
Matthew Brown
467bbba593
Prevent falsy values from leaking into the type system
2017-10-23 22:04:07 -04:00
Matt Brown
c850ef644d
Add PossiblyFalseReference and PossiblyFalseArgument issues
...
Useful for catching error cases
2017-10-23 11:47:00 -04:00
Matthew Brown
a34de5b79c
Fix #257 - prevent collapsing callable into string
2017-10-23 08:00:28 -04:00
Matthew Brown
e41e1fa57d
Fix #256 - don’t crash when encountering types that match one another
2017-10-23 07:35:28 -04:00
Matthew Brown
2c18686c8c
Fix #247 - allow is_callable checks on array
2017-10-22 21:07:06 -04:00
Matthew Brown
a85cd1db8a
Add support for get_class and get_type negation checks
2017-10-22 20:17:04 -04:00
Matthew Brown
4d32c72ef8
Fix #250 and fix #255 - handle switch statements like PHP does
2017-10-22 19:53:53 -04:00
Matthew Brown
c7d55bf6de
Improve aseertion finding by digging deeper into trivial comparisons
2017-10-22 19:11:28 -04:00
Matthew Brown
f9032924e6
Allow == true comparisons to be evaluated to !falsy
2017-10-22 12:09:22 -04:00
Matthew Brown
f6e01b5925
Change empty type assertions to "falsy"
...
As empty has a special meaning
2017-10-22 11:57:41 -04:00
Matt Brown
dbcec1be38
Fix #249 - get out of nested class
2017-10-19 14:40:38 -04:00
Matthew Brown
657d154288
CacheProvider -> ParserCacheProvider
2017-10-15 11:57:44 -04:00
Matthew Brown
d455e24958
Make shallow type comparison case insensitive ref #240
2017-10-12 19:46:00 -04:00
Matt Brown
024bcbc371
Fix #239 - warn about bad brackets
2017-10-12 14:02:06 -04:00
Matthew Brown
deb489e82d
Fix #232 - discard clauses when evaluating catch block
2017-10-10 23:09:19 -04:00
Matthew Brown
862d22e83c
Fix #230 - invalidate root vars on $arr[]= assignment
2017-10-10 23:01:52 -04:00
Matthew Brown
b43c2d5f0c
Fix #231 - add special case for === false checks
2017-10-10 22:36:33 -04:00
Matthew Brown
9774131876
Fix #224 - explicit string casts fail when no __toString present
2017-10-07 11:27:54 -04:00
Matthew Brown
6b4bd47ddb
Fix #181 and #225 - resolve problems with self in comments/return statements
2017-10-07 10:22:52 -04:00
MacFJA
1c0bfc7e7a
Fix call
2017-10-02 07:38:22 -04:00
MacFJA
e6e7462362
Add a test that validate code change (before modification fail / after modification work)
2017-10-02 07:38:22 -04:00
MacFJA
a38c36c597
Always generate report files, even if no errors and warnings
2017-10-02 07:38:22 -04:00
Matthew Brown
5bd6228708
Fix #220 - don’t worry about parent property access
2017-09-24 08:17:27 -04:00
Matthew Brown
3a8efec728
Add error for pass by reference
2017-09-16 13:16:21 -04:00
Matthew Brown
9a3cb742cb
Refactor docblock manipulation and add tests for it
2017-09-16 12:45:20 -04:00
Matthew Brown
313e1c383c
Fix edge-case issue with abstract class not fully implementing interface
2017-09-13 23:57:11 -04:00
Matt Brown
5b3531b5a5
Fix null coalescing on nullable output
2017-09-13 14:35:42 -04:00
Matt Brown
eee8442af6
Fix #199 - allow classes to suppress PropertyNotSetInConstructor warnings
2017-09-13 11:32:13 -04:00
Matt Brown
d1807cfb95
Improve checks for switch types
2017-09-11 11:58:11 -04:00
MacFJA
c4ce8bede9
Add XML as possible output format + add report generation ( #206 )
...
* Add XML as possible output format + add report generation
* Add missing xml root node
* Change XML generator (previous one don't escape '<' and '>')
* Change option (only one option) + unit test
2017-09-08 11:18:48 -04:00
Matthew Brown
e89a2929d5
Infer types from numeric operations
2017-09-06 21:44:26 -04:00
Matthew Brown
11aa3558b7
Make sure encapsulated strings can also coerce param types
2017-09-02 19:48:59 -04:00
Matthew Brown
a0c27cee4f
Allow param types to be inferred from presence of concat ops
2017-09-02 19:23:00 -04:00
Matthew Brown
73694ab04e
Suggest types when complaining of untype params
...
Ref #204
2017-09-02 18:15:52 -04:00
Matthew Brown
8aabcbce35
Introduce UntypedParam warnings when functions are missing param types
2017-09-02 11:18:56 -04:00
Matthew Brown
e4e6c2a6e6
Fix #201 - list/array assignment should invalidate clauses too
2017-08-18 23:14:38 -04:00
Matthew Brown
fbc6379275
Fix #202 - vars changed inside loops should invalidate clauses
2017-08-18 22:41:25 -04:00
Matt Brown
7f9529e8a3
Remove stray comma
2017-08-18 17:23:12 -04:00
Matt Brown
d65a777641
Fix test function declaration
2017-08-18 17:06:01 -04:00
Matt Brown
c626b7d68a
Fix #200 - allow mapping of more callable strings, and callable arrays
2017-08-14 19:30:11 -04:00
Matt Brown
0b0e7aa662
Fix #197 - allow nested class and function definitions
2017-08-14 15:46:01 -04:00
Matt Brown
13d98b803d
Check that callable string class exists first
2017-08-11 18:48:58 -04:00
Matt Brown
17a900ab54
Add ability to detect invalid callable functions
2017-08-11 18:30:58 -04:00
Matt Brown
4b5a5ead74
Fix paradox detection for multiple clauses
2017-08-07 18:38:38 -04:00
Matt Brown
69f494ccdc
Add test for #169
2017-07-31 15:10:42 -04:00
Matthew Brown
4175295113
Isolate where we load static storage objects ( #195 )
...
* Move FileChecker::$storage calls to provider
* Add ClassLikeStorageProvider
* Use ClassLikeStorageProvider everywhere
* Move storage arrays into providers
2017-07-29 15:05:06 -04:00
Matthew Brown
c5952af6f0
Fix bug with trait implementing abstract method
2017-07-28 23:38:57 -04:00
Matt Brown
22b6dafe3c
Fix #194 - carry over const definitions
2017-07-28 10:42:30 -04:00
Matthew Brown
22daecb8ad
Fix phpcs error
2017-07-26 21:30:01 -04:00
Matt Brown
0e67565b2c
Return null if path exists
2017-07-26 19:36:41 -04:00
Matthew Brown
df767e80a4
Move onto newline
2017-07-25 19:48:45 -04:00
Matt Brown
76ba419330
Group unused tests together
2017-07-25 17:04:58 -04:00
Matthew Brown
e29dd140e3
Refactor scanning and analysis, introducing multithreading ( #191 )
...
* Add failing test
* Add visitor to soup up classlike references
* Move a whole bunch of code into the visitor
* Move some methods back, move onto analysis stage
* Use the getAliases method everywhere
* Fix refs
* Fix more refs
* Fix some tests
* Fix more tests
* Fix include tests
* Shift config class finding to project checker and fix bugs
* Fix a few more tests
* transition test to new syntax
* Remove var_dump
* Delete a bunch of code and fix mutation test
* Remove unnecessary visitation
* Transition to better mocked out file provider, breaking some cached statement loading
* Use different scheme for naming anonymous classes
* Fix anonymous class issues
* Refactor file/statement loading
* Add specific property types
* Fix mapped property assignment
* Improve how we deal with traits
* Fix trait checking
* Pass Psalm checks
* Add multi-process support
* Delay console output until the end
* Remove PHP 7 syntax
* Update file storage with classes
* Fix scanning individual files and add reflection return types
* Always turn XDebug off
* Add quicker method of getting method mutations
* Queue return types for crawling
* Interpret all strings as possible classes once we see a `get_class` call
* Check invalid return types again
* Fix template namespacing issues
* Default to class-insensitive file names for includes
* Don’t overwrite existing issues data
* Add var docblocks for scanning
* Add null check
* Fix loading of external classes in templates
* Only try to populate class when we haven’t yet seen it’s not a class
* Fix trait property accessibility
* Only ever improve docblock param type
* Make param replacement more robust
* Fix static const missing inferred type
* Fix a few more tests
* Register constant definitions
* Fix trait aliasing
* Skip constant type tests for now
* Fix linting issues
* Make sure caching is off for tests
* Remove unnecessary return
* Use emulative parser if on PHP 5.6
* Cache parser for faster first-time parse
* Fix constant resolution when scanning classes
* Remove test that’s beyond a practical scope
* Add back --diff support
* Add --help for --threads
* Remove unused vars
2017-07-25 16:11:02 -04:00
Matthew Brown
b4542316fa
Take out unnecessary analysis step
2017-07-16 15:41:45 -04:00
Matt Brown
592194e9f2
Fix #187 by splitting abs into int and float versions
2017-07-14 18:09:25 -04:00
Matt Brown
d163b28cbf
Add skipped interface test for #175
2017-07-10 10:35:00 -04:00
Matthew Brown
e60f085741
Fix #178 - complain when encountering bad @return type
2017-07-09 20:32:35 -04:00
Matthew Brown
581cf5f7eb
Don’t allow trait to override non-abstract method definition for parent class
2017-07-09 15:54:43 -04:00
Matthew Brown
32ff386b4a
Fix #184 - prevent classes without reflected classes from breaking everything
2017-07-09 14:36:06 -04:00
Matthew Brown
67338c4bf5
Also detect non-inherited private constructors
2017-07-08 22:01:26 -04:00
Matthew Brown
c7b0f6685f
Make Psalm a bit faster
2017-07-08 21:19:16 -04:00
Matthew Brown
91bdd65588
Fix #179 - check for abstract method instantiations
2017-06-30 10:24:47 -04:00
Matthew Brown
d8654b8389
Slow down Psalm by checking parent initialisations too
2017-06-30 01:24:45 -04:00
Matt Brown
3dceebc42f
Make type combination less dependant on __toString
2017-06-29 17:40:25 -04:00
Matt Brown
fef589fb68
Fix issue with array access on property
2017-06-29 17:39:46 -04:00
Matt Brown
055e9768bd
Fix typehints of testing trait
2017-06-29 10:25:41 -04:00
Matt Brown
ac70ea31b2
Change test assertion keying
2017-06-29 10:22:49 -04:00
Matthew Brown
8fd671bdc4
Fix #167 - prevent Empty type in assignment
2017-06-28 23:37:02 -04:00
Matthew Brown
bc35f88859
Fix issue with $this instanceof checks in traits
2017-06-23 00:39:37 -04:00
Matthew Brown
878696b72c
Fix #173 - don’t emit MissingConstructor issues from trait constructor
2017-06-21 01:25:41 -04:00
Matt Brown
e5c25eae97
Fix #172 - make sure new coalesce vars escape brackets
2017-06-20 15:38:32 -04:00
Matt Brown
f0141cab4e
Reproduce null coalesce issue
2017-06-20 14:38:58 -04:00
Matt Brown
10b511284a
Improve null coalesce test and improve linting
2017-06-20 14:38:13 -04:00
Matt Brown
473040ca8f
Fix #171 by supporting exit statements for fopen
2017-06-20 13:25:37 -04:00
Matt Brown
f4338c38e7
Fix #148 - suppress InvalidDocblock where appropriate
2017-06-13 14:00:41 -04:00
Matthew Brown
152d1512f1
Fix issue capturing method mutations in traits
2017-06-12 22:51:39 -04:00
Matthew Brown
72e1221a2f
Fix #168 and add test case
2017-06-11 19:20:07 -04:00
Matt Brown
1745518c2c
Fix #166 - prevent require loop
2017-06-06 10:11:34 -04:00
Matthew Brown
1fee30d065
Add trailing commas
2017-06-05 22:12:19 -04:00
Matthew Brown
81223c45e0
Fix #166 - return instead of looping infinitely
2017-06-05 21:46:04 +01:00
Matthew Brown
b79b9e9b8c
Add breaking test
2017-06-05 15:21:03 +01:00
Matthew Brown
e99150b403
Refactor include tests to allow checking multiple files per test cc @ernunion
2017-06-01 23:16:45 -04:00
Matthew Brown
22a716f4da
Improve formatting of phpdocs
2017-05-26 20:16:18 -04:00
Matthew Brown
d6909193ea
Add additional formatting changes
2017-05-26 20:05:57 -04:00
Matthew Brown
688a72c794
Fix #36 - emit issues on deprecated properties
2017-05-25 01:32:34 -04:00
Matthew Brown
0fdf281896
Add support for @deprecated classes
2017-05-25 00:34:39 -04:00
Matthew Brown
44b4d04e0a
Fix #95 - emit issue on private constructor calls
2017-05-24 23:55:54 -04:00
Matthew Brown
8f317cd8a2
Fix #133 - emit issue when calling no-constructor class with args
2017-05-24 23:11:40 -04:00
Matthew Brown
4fd46e1752
Improve formatting
2017-05-24 22:07:49 -04:00
Matthew Brown
42b435e23f
Fix #134 - warn when docblock type is ill-formatted
2017-05-24 21:11:18 -04:00
Matthew Brown
92e184086f
Fix #158 - prevent using resource in return type
2017-05-21 13:48:17 -04:00
Matthew Brown
4d020bcbdb
Remove unnecessary imports in tests
2017-05-19 00:52:15 -04:00
Matt Brown
052624fa94
Fix issue calculating inherited parent property mutations
2017-05-12 19:15:08 -04:00
Matt Brown
39ece995b6
Add @psalm-ignore-nullable-return annotation
2017-05-10 12:36:11 -04:00
Matt Brown
a4bdca55e9
Fix sscanf test with new types
2017-05-05 19:56:45 -04:00
Matt Brown
77da5ca99e
Fix #156 - allow objectlike arrays to be merged nicely
2017-05-05 18:53:45 -04:00
Matt Brown
df890fbfb0
Fix #155 - support @property declaration for classes with magic getters & setters
2017-05-04 18:35:05 -04:00
Matthew Brown
754a4d9950
Allow Psalm to be run outside of the directory it's installed in ( #154 )
...
* Add --root option when not running Psalm from root directory
* Add informative error when running Psalm outside of its project directory
* Add better message in help
* Fix autoloader precedence
2017-05-04 14:25:58 -04:00
Matt Brown
9cabf428c4
Only make isset $this->property mixed if not already defined
2017-04-28 16:41:54 -04:00
Jon Ursenbach
11bc153deb
Rewriting and streamlining every unit test with data providers. ( #147 )
...
* Rewriting and streamlining every unit test with data providers.
All unit tests have been rewritten into PHPUnit data providers
to reduce the amount of unnecessary code-reuse through out the
test suite.
2017-04-24 23:45:02 -04:00
Matt Brown
dc26d2df04
Fix #144 - prevent innaccurate __toString warning
2017-04-21 14:23:09 -04:00
Matthew Brown
1a8cdc5da9
Allow two or more instanceof interface checks side by side
2017-04-15 21:25:53 -04:00
Matthew Brown
007442fdd0
Fix possibly-private error
2017-04-15 21:10:49 -04:00
Matthew Brown
f67e92023b
Add support for intersection types
...
Fixes #140
2017-04-15 20:36:40 -04:00
Matthew Brown
eebaf5795d
Fix regression dealing with union types from docblocks
2017-04-15 12:44:38 -04:00
Matthew Brown
a8bee2f843
Suggest missing property types for traits as well
2017-04-15 00:04:03 -04:00
Matthew Brown
0c4824b2cc
Take property defaults into account when suggesting missing type
2017-04-14 23:46:55 -04:00
Matthew Brown
8d46c65815
Only make non-null if inside constructor
2017-04-14 23:26:58 -04:00
Matthew Brown
60be6f07a0
Delay checks for MissingPropertyType so we can give more useful messages
2017-04-14 23:09:34 -04:00
Matthew Brown
ce6ca58291
Fix #114 - add optional Hack-like checks calls
2017-04-14 21:32:14 -04:00
Vladimir Komissarov
818e3be00c
Fix undefined global constant in closure
2017-04-14 17:03:09 +07:00
Matt Brown
7bcf7f13b1
Fix #137 - add for init in main scope
2017-04-11 17:43:46 -04:00
SignpostMarv
82c3a664a8
skip tests that extend SoapClient if SoapClient does not exist
2017-04-11 21:02:18 +01:00
Matt Brown
ed356bfbd0
Don’t mistake same-named functions for old-style constructors
...
Fixes #131
2017-04-10 11:03:19 -04:00
Matthew Brown
32efdfd0f7
Fix #129 - emit PossiblyNullFuntionCall when encountering such a thing
2017-04-08 11:38:06 -04:00
Matthew Brown
2d454d6e10
Fix #130 - check class exists before checking for __invoke
2017-04-08 11:15:17 -04:00
Matthew Brown
c663062816
Add PossiblyUndefinedArgument issue to cope with #126
2017-04-08 09:28:02 -04:00
Matthew Brown
7d17a07cd2
Fix #125 - allow abstract classes to reference methods only defined in interfaces
2017-04-07 19:16:25 -04:00
Matt Brown
f011197090
Fix #124 - don’t check array_filter closures when >2 args passed
2017-04-07 18:30:15 -04:00
Matthew Brown
40427839ea
Get all variables possibly assigned in conditional
2017-04-06 22:56:37 -04:00
Matthew Brown
20b0460a33
Fix #123 - ternary byref vars now adjusted
2017-04-06 21:53:29 -04:00
Matt Brown
c09b0e459a
Make is_numeric a proper type refinement
2017-04-06 18:06:24 -04:00
Matt Brown
e7aec27eae
Prevent emitting issues when comparing mixed values
2017-04-06 17:40:15 -04:00
Matt Brown
da19b55db1
Add special TypeDoesNotContainNull issue as distinct from TypeDoesNotContainType
2017-04-06 15:36:22 -04:00
Matt Brown
14bb967c7d
Warn when doing === comparisons on incompatible types
2017-04-06 14:53:45 -04:00
Matthew Brown
a63602ce45
change to trigger travis
2017-04-03 13:35:04 -04:00
Matthew Brown
89bf409537
Cast phpversion to string
2017-04-03 13:09:02 -04:00
Matthew Brown
431de10c5c
Prevent array_filter test running on HHVM
2017-04-03 12:53:10 -04:00
Matt Brown
fe43c4e37f
Fix #122 - allow multiple types of filtering
2017-04-03 12:36:49 -04:00
Matthew Brown
ce5b35169b
Treat empty & !empty as special straddling types
2017-04-02 19:06:18 -04:00
Matthew Brown
a8220ba4f1
Fix bug where empty string could confuse
2017-04-02 18:28:06 -04:00
Matthew Brown
075cc5f50d
Add by-reference clause removal
2017-04-02 17:37:56 -04:00
Matthew Brown
dcedd65215
Add check for paradoxical statements
2017-04-02 15:26:10 -04:00
Matthew Brown
83edf8c4db
Complete the circle – fix remaining type algebra issue
2017-04-01 19:04:49 -04:00
Matt Brown
a4be86865d
Skip Throwable in PHP < 7
2017-03-30 12:12:46 -04:00
Matt Brown
d06a199d25
Fix #121 - simplify all parameter types
2017-03-30 11:44:38 -04:00
Matthew Brown
a89018d9ae
Only warn about issues in files that we’re trying to scan
2017-03-24 18:34:46 -04:00
Matthew Brown
7ed188fa52
Add support for conditional stubbed functions
2017-03-19 15:41:24 -04:00
Matthew Brown
cbd7a4520c
Add support for namespaced function definitions
2017-03-19 15:37:07 -04:00
Matthew Brown
f096468536
Don’t forget where a type came from when combining
2017-03-19 14:39:05 -04:00
Matthew Brown
3452c7853f
Add support for capturing clauses from elseifs
2017-03-18 14:04:26 -04:00
Matthew Brown
469cee1b80
Add a bunch of elseif tests to fix
2017-03-18 13:37:13 -04:00
Matthew Brown
c33e66813a
Move type algebra functionality to separate checker
2017-03-18 13:37:00 -04:00
Matthew Brown
e687887ba3
Emit an InvalidReturnType when it should contain null, and introduct LessSpecificReturnType
2017-03-18 12:18:17 -04:00
Matthew Brown
9edae64ee2
Add a few more edge-casey tests
2017-03-18 01:34:29 -04:00
Matt Brown
30e8e1880d
Add another easy calculation of clauses
2017-03-16 14:45:45 -04:00
Matt Brown
cecfe25df7
Update outer clauses in mic drop situation
2017-03-16 11:46:07 -04:00
Matt Brown
04363237c5
Fix #116 - be more lenient with static vars
2017-03-15 15:21:00 -04:00
Matt Brown
7fad81edac
Fix issue with unset var in loop
2017-03-15 11:38:23 -04:00
Matthew Brown
c0a646bbc5
Add test for tail-set var
2017-03-14 20:16:41 -04:00
Matthew Brown
6cfe540c98
Fix issue evaluating elseif empty assertions
2017-03-14 15:48:52 -04:00
Matthew Brown
9dd94d099f
Fix issue with possibly-redefined switch vars
2017-03-14 02:00:38 -04:00
Matthew Brown
50b629e88e
Update context types after switch statement without default case
2017-03-13 21:17:21 -04:00
Matt Brown
b3bb8b72cc
Add additional tests
2017-03-13 18:07:36 -04:00
Matt Brown
20791bfae6
Add third loop test
2017-03-13 11:53:16 -04:00
Matt Brown
7a652ee4bf
Add tests for things we do not want to emit errors
2017-03-13 11:22:42 -04:00
Matthew Brown
a7da88bad3
Improve solution to allow for more user errors
2017-03-11 12:32:27 -05:00
Matthew Brown
39b9afcdac
Fix issue running isset after empty array check
2017-03-11 12:05:23 -05:00
Matthew Brown
048d7f0142
Fix #110 - failure to eliminate false from array|false on isset
2017-03-05 23:47:53 -05:00
Matt Brown
f9f38f283e
Emit issue when property type is not defined
2017-03-02 12:19:18 -05:00
Matt Brown
864d242f13
Improve labelling of referencing expressions
2017-03-01 11:56:36 -05:00
Matt Brown
7baf942eaa
Prevent false positives after extract call
2017-02-27 10:52:43 -05:00
Matthew Brown
cd5f727d2e
Collect explicit references to classes/methods
2017-02-26 23:09:18 -05:00
Matt Brown
182f715b62
Add dead code detection for possibly unused public methods
2017-02-23 19:52:23 -05:00
Matt Brown
0049e4deb4
Fix #105 and also the issues found in its wake
2017-02-23 19:36:51 -05:00
Matthew Brown
fa3b292fd4
Fix #101 - restrict the values of pass-by-ref variables
2017-02-23 00:25:28 -05:00
Matthew Brown
47de866601
Fix issue using abstract methods from traits
2017-02-22 01:25:51 -05:00
Matt Brown
2c7ffb6f4c
Add support for negating some while assertions
2017-02-21 16:52:27 -05:00
Matt Brown
99dd3ba5de
Move loop scope tests into separate file
2017-02-21 16:33:20 -05:00
Matt Brown
c6a625c16e
Fix #102 - be more lenient about whether a type can be reconciled
2017-02-21 16:15:39 -05:00
Matthew Brown
30c5977825
Fix issue with do statement breaking
2017-02-18 17:49:34 -05:00
Matthew Brown
e61ea17db5
Move FileChecker functionality into separate, better-contained classes
2017-02-18 13:41:27 -05:00
Matthew Brown
9137727993
Fix #99 - treat null coalesce more respectfully
2017-02-17 20:50:47 -05:00
Matthew Brown
9579460c59
Fix #97 - is_callable shouldn’t prevent evaluation of calls to existing functions
2017-02-16 20:51:53 -05:00
Matthew Brown
32dd5d5512
Be better about dealing with byref args when not checking functions
2017-02-15 01:47:03 -05:00
Matt Brown
83a978ea80
Fix array_filter on string-keyed arrays
2017-02-13 19:16:25 -05:00
Matthew Brown
c41c873d33
Add exception messages to TypeTest.php
2017-02-13 01:13:22 -05:00
Matthew Brown
0277ca49ba
Add config creation utility
2017-02-12 23:59:43 -05:00
Matthew Brown
a87ea78efc
Fix variable-scoped byref issue
2017-02-12 19:07:25 -05:00
Matthew Brown
81e24de76f
Fix invalid NullPropertyFetch warning
2017-02-12 18:06:18 -05:00
Matthew Brown
9061d36566
Don’t emit InvalidArrayAccess if ignoring null arrays
2017-02-12 17:13:03 -05:00
Matthew Brown
b80628b1c4
Convert all templated properties to most acceptable type
2017-02-12 14:10:34 -05:00
Matthew Brown
2f2b487236
Fix #96
2017-02-12 12:31:39 -05:00
Matthew Brown
1029e68341
Allow TNamedObject to be coerced to TObject
2017-02-12 00:50:37 -05:00
Matthew Brown
deb11c9402
Change some errors from InvalidReturnType to MoreSpecificReturnType
2017-02-11 18:25:44 -05:00
Matthew Brown
35e4b380cc
Add collection of PossiblyNull* issues
2017-02-11 17:55:08 -05:00
Matthew Brown
14c487d3e6
Always supply default template params as return type
2017-02-10 22:51:47 -05:00
Matthew Brown
1d6c441d16
Use a more fault-tolerant version of php-parser
2017-02-10 21:27:12 -05:00
Matt Brown
c0a6fc9125
Fix #90 - add genericised stubs for common array functions
2017-02-10 18:12:59 -05:00
Matthew Brown
8ffd45407c
Add support for namespaced templates
2017-02-10 00:14:44 -05:00
Matthew Brown
4a82c0a09a
Add support for nested types in templates
2017-02-09 22:57:23 -05:00
Matthew Brown
5e8a40a5a1
Merge pull request #94 from vimeo/template-tags
...
Add support for templating
2017-02-09 20:51:23 -05:00
Matthew Brown
98b0ed280c
Add support for templating
2017-02-09 20:35:17 -05:00
Matthew Brown
41f7dc4a52
Fix #93 - fix MethodSignatureMismatch checks on builtin class methods
2017-02-09 17:49:13 -05:00
Matthew Brown
cdcacc395d
Rename DeadCode to UnusedVariable, UnusedMethod and UnusedClass
2017-02-08 00:28:26 -05:00
Matthew Brown
65ef5ba8b7
Improve native understanding of docblock-less variadics
2017-02-07 22:02:46 -05:00
Matthew Brown
895b612ca1
Add extra deadcode test
2017-02-07 21:57:59 -05:00
Matthew Brown
5149414c8e
Add simple test for dead code
2017-02-07 21:44:52 -05:00
Matthew Brown
01beb97413
Fix #87 - array types from docblocks can be reasoned about safely
2017-02-03 22:07:14 -05:00
Matthew Brown
5ec2a9742b
Fix union type simplification of float|int eradicating int
2017-02-01 19:39:40 -05:00
Matthew Brown
2852eeebad
Add return types to tests
2017-02-01 18:11:50 -05:00
Matthew Brown
76b6bc9b3d
Prevent Psalm from storing unnecessary checkers
2017-02-01 18:11:00 -05:00
Matthew Brown
e925e8b4db
Fix #86 - remove empty array from type on !empty check
2017-02-01 13:51:26 -05:00
Matthew Brown
a0711de023
Update config key to be more accurate ref #85
2017-02-01 10:13:37 -05:00
Matt Brown
a7872472be
Add stubbing tests and modify config initialisation
2017-01-31 19:22:05 -05:00
Matthew Brown
ce93c4ef2d
Assert smart things when offset is variable
2017-01-31 01:35:44 -05:00
Matthew Brown
965a79251d
Fix #82 by updating how isset calls are handled
2017-01-31 00:34:06 -05:00
Matt Brown
8c68861cc3
Fix #81 - interface inheritance checks were broken
2017-01-30 18:38:23 -05:00
Matthew Brown
d978966db4
Fix #37 - check parent calls for staticness
2017-01-29 22:13:53 -05:00
Matthew Brown
a45c47776b
Fix #79 - check anonymous class statements
2017-01-29 13:20:12 -05:00
Matthew Brown
c485a3d056
Check for not-set-in-constructor errors across traits too
2017-01-27 08:28:21 -07:00
Matthew Brown
6bcc763414
Fix #3 by checking inside __constructor calls for initialisations
2017-01-26 23:23:12 -07:00
Matthew Brown
f03807e7b7
Fix unaryplus/minus type inference
2017-01-25 20:02:19 -07:00
Matthew Brown
7e7743d6fb
Do not complain about missing void return types if config set
2017-01-25 17:07:28 -07:00
Matthew Brown
ea63fd7ae3
Fix #75 - allow inteeger offsets for object-like arrays
2017-01-25 00:11:24 -07:00
Matthew Brown
35617e9d84
Add test for specific issue mentioned in #74
2017-01-23 14:19:08 -07:00
Matthew Brown
daa923e243
Stop analysis if parent class cannot be located
2017-01-23 13:36:06 -07:00
Matthew Brown
3ad6ec2e34
Be more resilient if we ignore that parent class does not exist
2017-01-23 13:21:40 -07:00
Matthew Brown
374dc65de1
Fix #39 by checking for ArrayAcces interface
2017-01-20 00:23:58 -05:00
Matthew Brown
894b25487f
Fix #71 - prevent instantiation of abstract classes
2017-01-20 00:10:10 -05:00
Matthew Brown
9d1b382820
Fix #48 by recording class definition line number & file path
2017-01-19 23:45:21 -05:00
Matt Brown
d3a9452cde
Make sure we don’t lose type information while reconciling
2017-01-19 17:45:42 -05:00
Matthew Brown
a14b03c057
Fix issue with array_merge, and then bugs revealed by that
2017-01-19 01:32:35 -05:00
Matthew Brown
27a018095b
Fix invalid InvalidParamDefault error when comparing to false
2017-01-19 01:12:19 -05:00
Matthew Brown
de1ce36a5c
Fix method mutation transference
2017-01-18 23:19:36 -05:00
Matt Brown
b23c55e570
Fix #70 by allowing string to be a numeric
2017-01-18 11:07:38 -05:00
Matthew Brown
e3b9f0fd83
Fix multiple duplicate namespaces constant confusion
2017-01-17 23:55:08 -05:00
Matt Brown
875717bb96
Fix #63 by adding directory separators
2017-01-17 22:10:21 -05:00
Matt Brown
c0898aa6e5
Fix issue where inferred return type contained subclasses
2017-01-17 12:51:09 -05:00
Matthew Brown
bc668e2c7a
Change variadic docblock param to match language syntax
2017-01-17 01:14:43 -05:00
Matthew Brown
693811abed
Allow non-array docblock typehints for variadic params
2017-01-17 00:26:40 -05:00
Matthew Brown
e4769fd04a
Don’t give up when faced with variadic type
2017-01-17 00:07:58 -05:00
Matthew Brown
b9bad01dbd
Treat reflected interface parents correctly
2017-01-16 20:47:23 -05:00
Matthew Brown
317eab8730
Add support for ?A types in docblock
2017-01-16 19:17:46 -05:00
Matthew Brown
9220b958eb
Fix phpcs errors
2017-01-16 19:06:39 -05:00
Matthew Brown
b3726c9de5
Use getcwd() for the project’s base, not the config file parent directory
2017-01-16 18:33:04 -05:00
Matthew Brown
0613324df9
Add test for #64
2017-01-16 16:33:35 -05:00
Matthew Brown
4b283564ca
Allow variadic params to be passed by reference
2017-01-16 12:39:38 -05:00
Matthew Brown
856870cf37
Fix #62 - die quickly and explicitly if files cannot be located
2017-01-16 11:41:57 -05:00
Matthew Brown
2e2f2f4ffb
Add new suppressable error for missing closure return types
2017-01-16 01:22:36 -05:00
Matthew Brown
5315fd15ad
Fix namespaced functions in regular use statements
2017-01-16 00:49:12 -05:00
Matthew Brown
ac92de181f
Allow classes that use __invoke to be called
2017-01-16 00:29:18 -05:00
Matthew Brown
d46282e13f
Fix issue with constants defined inside interfaces
2017-01-16 00:13:08 -05:00
Matthew Brown
c78ce31e36
Be more lenient when type left out of docblock
2017-01-15 23:49:58 -05:00
Matthew Brown
35062a7c5a
Make sure we don’t take website down by mistake
2017-01-15 23:18:26 -05:00
Matthew Brown
5845463dab
Fix #61 - don’t warn about non-implementing abstract classes
2017-01-15 19:02:36 -05:00
Matthew Brown
ce89ac4986
Fix #50 - asserting about docblock types no longer causes error
2017-01-15 17:52:01 -05:00
Matthew Brown
9b06b672ba
Fix #54 - register function constants when function is invoked
2017-01-15 16:43:49 -05:00
Matthew Brown
4fd46fe2c8
Fix #59 - make functions aware of just-defined constants
2017-01-15 15:58:40 -05:00
Matthew Brown
faccc73dc1
Fix #52 by analysing non-main parts of issets
2017-01-15 13:58:20 -05:00
Matthew Brown
1bf2139149
Fix #58 - treat callmap args correctly when evaluating variadic
2017-01-15 13:17:11 -05:00
Matthew Brown
2e4996e562
Fix how we treat numeric strings
2017-01-15 12:55:07 -05:00
Matthew Brown
8836f05027
Fix #56 - functions in root namespaces should not need slash
2017-01-15 12:34:23 -05:00
Matthew Brown
03141e41c2
Move string-stored types into named classes
2017-01-15 10:22:05 -05:00
Matthew Brown
dc592f7a6e
Fix #55 - hiccup when negating strange expression
2017-01-15 01:16:50 -05:00
Matthew Brown
78c1138a94
Fix #53 - add back extends checks for reflected classes
2017-01-14 19:34:10 -05:00
Matt Brown
37e8b4adfe
Fix a few issues in tests
2017-01-13 14:14:24 -05:00
Matt Brown
6e6106c080
Add docblocks to tests
2017-01-13 14:07:23 -05:00
Matt Brown
fda96660fe
Fix #44 - support empty namespaces
2017-01-13 13:48:58 -05:00
Matt Brown
fbbef2c320
Fix #45 - add issue when optional param used before required
2017-01-13 13:40:20 -05:00
Matt Brown
35c06261b9
Fix #38 - emit issue for non-array on right too
2017-01-13 13:09:52 -05:00
Matt Brown
82af023d6f
Fix #43 - do not emit issues when doing instanceof interface checks
2017-01-13 12:52:32 -05:00
Matt Brown
dc585ff22a
Fix #47 - check closure param types properly
2017-01-13 12:40:01 -05:00
Matt Brown
c104736ead
Fix #42 - detect false and null defaults
2017-01-13 12:26:10 -05:00
Matt Brown
c181f47364
Fix #35 and #40 by improving method signature checks
2017-01-13 12:03:22 -05:00
Matt Brown
d2c9c423c5
Fix #46 - fix type assignment of anonymous classes
2017-01-13 10:44:04 -05:00
Matt Brown
e300550209
Be less brittle when interface does not exist
2017-01-12 11:16:00 -05:00
Matthew Brown
c20f31855c
Fix namespaced function calls
2017-01-12 09:42:24 -05:00
Matthew Brown
5f54a9571c
Fix deep project checks
2017-01-12 01:03:48 -05:00
Matthew Brown
56be346191
Add back mutation checks
2017-01-11 21:37:53 -05:00
Matthew Brown
e7568f8400
Fix type coercion issues
2017-01-09 01:27:35 -05:00
Matthew Brown
c90a479b15
Fix self-referential issue
2017-01-08 13:53:40 -05:00
Matthew Brown
f466c8595c
Add back support for non-namespaced use
2017-01-08 11:24:01 -05:00
Matthew Brown
46dbe83cbd
Allow functions to be included too
2017-01-07 19:33:33 -05:00
Matthew Brown
03db293ed9
Add include tests and modify treatment
2017-01-07 19:07:58 -05:00
Matthew Brown
5cc97e380d
Fix issue evaluating Foo::class
2017-01-07 17:24:43 -05:00
Matthew Brown
17329015dc
Discriminate between checking, visiting and analyzing in method names
2017-01-07 15:09:47 -05:00
Matthew Brown
694da2cabd
Simplify a lot of APIs
2017-01-07 14:35:07 -05:00
Matthew Brown
6ee69e547f
Do more to separate out processing steps
2017-01-06 01:07:11 -05:00
Matthew Brown
7609ca02c0
Fix #32 by evaluating all class references in files lazily
2017-01-04 23:42:58 -05:00
Matthew Brown
4c3e714253
Add a check for duplicated params
2017-01-02 01:20:47 -05:00
Matthew Brown
93c1366bd8
Tighten up what array assignments can happen
2017-01-02 01:07:44 -05:00
Matthew Brown
882c8a8d0c
Add better checking of property array assignments
2017-01-02 00:08:35 -05:00
Matthew Brown
e6a794c728
Improve code hilighting for single-line docblocks
2017-01-01 23:31:07 -05:00
Matthew Brown
30c910109c
Fix inherited reflected properties/methods
2017-01-01 19:50:29 -05:00
Matthew Brown
30a39a0ee6
Do not emit issue when callable is called
2017-01-01 19:24:15 -05:00
Matthew Brown
883ca6a5db
Fix #30 by consolidating properties into single storage array
2017-01-01 19:09:17 -05:00
Matthew Brown
0b3b3f01f3
Fix support for traits returning self
2016-12-31 11:49:04 -05:00
Matthew Brown
846cc59d5f
Add support for checking closure return types
2016-12-31 10:51:42 -05:00
Matthew Brown
49f7817a2a
Emit specific issue when calling instance method with self::
2016-12-31 09:20:10 -05:00
Matthew Brown
393297786d
Fix issues with single-letter classes
2016-12-31 00:14:00 -05:00
Matthew Brown
ee4a3882a7
Check method defaults to see whether they match
2016-12-30 23:40:32 -05:00
Matthew Brown
4a10bdbc60
Fix suppressed warnings in tests
2016-12-30 19:36:35 -05:00
Matthew Brown
b529fa4877
Move static method arrays into MethodStorage classes
2016-12-30 15:53:35 -05:00
Matthew Brown
23a414a2b3
Fix test failures
2016-12-30 13:14:17 -05:00
Matthew Brown
8b5e066ba6
Add case-sensitive function names
2016-12-30 13:09:00 -05:00
Matthew Brown
92fe58b97c
Shift storage from static arrays to dedicated ClassLikeStorage objects
2016-12-30 12:41:14 -05:00
Matthew Brown
3e78405836
# This is a combination of 4 commits.
...
# The first commit's message is:
Make cofig schema more relaxed about ordering
# This is the 2nd commit message:
Add tests for awkward case
# This is the 3rd commit message:
Fix static calls to class methods within traits
# This is the 4th commit message:
Repopulate fewer arrays
2016-12-30 01:50:33 -05:00
Matthew Brown
90fee45a18
Add test to guarantee that config schema stays up-to-date
2016-12-29 22:31:52 -05:00
Matthew Brown
ca98efb630
Check specific reporting levels
2016-12-29 20:23:04 -05:00
Matthew Brown
685eaeb4fe
Reimagine XML schema, fixes #21
2016-12-29 20:10:06 -05:00
Matthew Brown
b79ce904d2
Fix #23 - allow exclusion in projectFiles
2016-12-29 18:33:03 -05:00
Matthew Brown
749735a3ec
Update config file API still further
2016-12-29 10:24:10 -05:00
Matthew Brown
ff466b7992
Change config API
2016-12-29 08:42:39 -05:00
Matthew Brown
18e7c65430
Emit more InvalidOperand issues
2016-12-29 00:14:06 -05:00
Matthew Brown
a91fc2d3dc
Add pre-run step so all class declarations in a given file can be dealt with
2016-12-28 22:11:50 -05:00
Matthew Brown
ed03104ca8
Fix overridden method interface checks
2016-12-28 21:37:24 -05:00
Matthew Brown
c1e1c0ae85
Check trait methods against interfaces
2016-12-28 20:33:26 -05:00
Matthew Brown
2bf515be5f
Check return types of functions in namespaces
2016-12-28 19:57:18 -05:00
Matthew Brown
b6455a2566
Improve how we disable clauses
2016-12-28 18:55:16 -05:00
Matthew Brown
63a75108f5
Evaluate more expressions up front
2016-12-28 17:04:03 -05:00
Matthew Brown
992e7ae256
Fix #1 - add in support for !==false-negating assertions in ifs
2016-12-28 16:39:05 -05:00
Matthew Brown
797875ba9a
Fix #10 - allow negated assignments
2016-12-28 16:29:50 -05:00
Matthew Brown
48151d0190
Fix repeated assertion after unreconcilable clause
2016-12-28 14:53:49 -05:00
Matthew Brown
05834a0db3
Fix #13 by revamping how we treat type assertions in if statements and ternary expressions
2016-12-28 13:12:06 -05:00
Matthew Brown
b6eea4e812
Fix #20 - emit an issue when param is missing a type or param
2016-12-25 11:32:21 +00:00
Matthew Brown
1007d1682c
Fix mixed operand issues
2016-12-24 18:29:11 +00:00
Matthew Brown
07c415d588
Add tests for upcoming functionality
2016-12-24 18:29:11 +00:00
Matthew Brown
c55870e26c
Allow generic TypeChecker::isContainedBy checks
2016-12-24 18:28:43 +00:00
Matthew Brown
dfa089f8df
Remove functionality that overlaps with phpcs FunctionCommentSniff
2016-12-23 22:48:36 +00:00
Matthew Brown
9474412343
Add extra test to check good behaviour passes
2016-12-23 20:14:13 +00:00
Matthew Brown
5f332a5500
Suppress test issue
2016-12-20 17:29:52 +00:00
Matthew Brown
e79dded17b
Fix #19 - InvalidDocblock errors have proper casing now
2016-12-19 22:02:00 +00:00
Matthew Brown
9a32b5fd40
Hide Mixed* issues under a totallyTyped config flag
2016-12-18 19:17:39 -05:00
Matthew Brown
52b3e1ba8c
Simplify test config setup;
2016-12-18 19:00:32 -05:00
Matthew Brown
9746c8972f
Fix MixedAssignment errors
2016-12-17 00:48:31 -05:00
Matthew Brown
d88bb4e135
Finish adding tests for all issues
2016-12-16 22:16:29 -05:00
Matthew Brown
972e3b5c6e
Fix failure to warn when class does not implement all interface methods
2016-12-16 22:15:31 -05:00
Matt Brown
6755c8724a
Add tests for M* issues, fixing bugs along the way
2016-12-16 18:56:23 -05:00
Matt Brown
16e89a8c1c
Fix #26 - Allow refinement via type intersection
...
Not just via explict subsets
2016-12-16 17:59:27 -05:00
Matthew Brown
dcec735d11
Fix generation of MixedArrayAccess issue
2016-12-15 01:28:36 -05:00
Matt Brown
a44dd4f6b0
Add more tests
2016-12-14 19:43:44 -05:00
Matt Brown
587e067567
Fix start time ref
2016-12-14 19:43:20 -05:00
Matt Brown
c4b1633d78
Add cache dir nulling back
2016-12-14 12:58:56 -05:00
Matt Brown
c91e457c28
Add psalm.xml support for checking tests
2016-12-14 12:55:23 -05:00
Matt Brown
154d023a9d
Add more robust config testing
2016-12-14 12:28:38 -05:00
Matt Brown
fa50a250c3
Limit snippet selection by preview bounds
2016-12-12 19:11:21 -05:00
Matt Brown
8d693d7db2
Fix issues around incorrectly registering inherited private methods
2016-12-12 14:29:58 -05:00
Matt Brown
7d3753ddd8
Fix errors on inherited trait protected/private methods
2016-12-12 13:57:45 -05:00
Matt Brown
c7a758ceb1
Fix trait method call checks
2016-12-12 13:50:46 -05:00
Matthew Brown
4c21a5af7c
Add so many new tests
2016-12-11 23:41:11 -05:00
Matthew Brown
562f71b21f
Add TypeDoesNotContainType issue and fix those issues in Psalm code
2016-12-11 13:48:11 -05:00
Matthew Brown
73b1ab1411
Support int offsets in dealing with type inference
2016-12-10 18:24:28 -05:00
Matt Brown
e8c91bc748
Mark failing tests incomplete
2016-12-09 13:26:40 -05:00
Matt Brown
5077424844
Fix a bunch of tests to not emit issues on echo
2016-12-09 13:04:08 -05:00
Matt Brown
b3106c68bb
Fix #6 - raise error with erroneous __toString
2016-12-09 12:48:02 -05:00
Matt Brown
ce3b24bf5f
Fix #8 - defer always to call map if function not user-defined
2016-12-09 12:07:47 -05:00
Matt Brown
e6ff24b8d2
Fix assignment in elseif
2016-12-09 12:06:14 -05:00
Matt Brown
c9557d47ce
Fix exponentiation and modulo type inference
2016-12-08 16:37:14 -05:00
Matt Brown
d8f0a40d99
Improve param class hilighting
2016-12-08 16:23:07 -05:00
Matt Brown
117645ac73
Account for off-by-one issue in PhpParser
2016-12-08 15:57:18 -05:00
Matthew Brown
a5195b2571
Add JSON output format
2016-12-07 22:38:57 -05:00
Matt Brown
55a060b53a
Add support for closure checks
2016-12-07 14:13:39 -05:00
Matthew Brown
49334f8e46
Add bootstrap
2016-12-07 00:21:46 -05:00
Matthew Brown
565750aa77
Add Switch type test
2016-12-06 13:51:10 -05:00
Matthew Brown
638fdad3ad
Add support for PHP 7.1 iterable pseudo-type
2016-12-04 21:04:25 -05:00
Matthew Brown
f0939952d4
Add extra array assignment tests
2016-12-04 19:33:42 -05:00
Matthew Brown
03d8a4ab0b
Add support for array destructuring with keys
2016-12-04 14:14:00 -05:00
Matthew Brown
b912dd2777
Add support for array destructuring
2016-12-04 13:35:38 -05:00
Matthew Brown
7cb6891a0b
Add support for class constant visibility
2016-12-04 01:44:33 -05:00
Matthew Brown
d7c6e84a0d
Add test for PHP 7.1 nullable types
2016-12-03 23:03:51 -05:00
Matthew Brown
ded2cb5460
Add (skipped) test for #1
2016-11-21 16:48:35 -05:00
Matthew Brown
0cb3b828b8
Add support for oldstyle constructors
2016-11-21 14:36:06 -05:00
Matthew Brown
6822f46a2c
Add suppprt for PHP 7.0 grouped uses
2016-11-20 22:40:19 -05:00
Matthew Brown
df18ad27d2
Add lots of tests for use
2016-11-20 21:49:29 -05:00
Matthew Brown
4a66dad2ac
Improve interface inheritance
2016-11-20 11:51:19 -05:00
Matthew Brown
31aa1c3ce5
Fix PHPDoc-style type parsing
2016-11-20 02:52:34 -05:00
Matthew Brown
2a9e138a14
Add failing array addition tests
2016-11-13 14:36:29 -05:00
Matthew Brown
3b1dfd0942
Fix issue combining generic and object-like
2016-11-13 11:54:40 -05:00
Matthew Brown
6d7dc41756
Update tests with spaces
2016-11-13 11:24:25 -05:00
Matthew Brown
8c64dfd7fb
Add return types everywhere
2016-11-11 17:13:30 -05:00
Matthew Brown
5046caa240
Add some useful inheritance tests
2016-11-07 17:19:21 -05:00
Matthew Brown
7d6ac4719f
Fix offset assignment creation
2016-11-05 20:17:22 -04:00
Matthew Brown
b3f3a20928
Correctly evaluate $this and self in property/return types
2016-11-05 18:31:09 -04:00
Matthew Brown
c5591adf10
Add support for global in functions and mixed inferred return errors
2016-11-05 17:54:34 -04:00
Jon Ursenbach
27c2db1d1d
PSR-2
2016-11-02 17:50:54 -04:00
Matthew Brown
d27e06cc86
Fix interface inheritance
2016-11-02 12:14:21 -04:00
Matthew Brown
5cc5bd4ed4
Fix tests to all have property types
2016-11-01 14:32:19 -04:00
Matthew Brown
4d5b0abb74
Add explicit value tracking
2016-10-30 19:52:35 -04:00
Matthew Brown
98437c52db
Check closure params to see if they align with array_map/array_filter args
2016-10-29 22:17:46 -04:00
Matthew Brown
4bf07d0adb
Add support for PHPDoc array style
2016-10-29 20:57:03 -04:00
Matthew Brown
95be3c4a05
Interpret variadic params as arrays
2016-10-29 20:50:24 -04:00
Matthew Brown
b31ac4a862
Removed object-like type descriptor in favour of array{} syntax
2016-10-28 13:24:06 -04:00
Matthew Brown
3578db69fc
Add interface inheritance test
2016-10-24 19:20:28 -04:00
Matthew Brown
ce95275878
Fix more Psalm bugs found by Psalm
2016-10-23 12:24:53 -04:00
Matthew Brown
6d8e722a77
Add support for anonymous classes
2016-10-20 20:54:17 -04:00
Matthew Brown
6283553d19
Properly clear cache
2016-10-20 18:16:17 -04:00
Matthew Brown
d71d439e25
Closure basically implements callable
2016-10-20 18:05:28 -04:00
Matthew Brown
8c23d0829a
Add typed support for spaceship operator
2016-10-20 14:28:16 -04:00
Matthew Brown
a4644a0e4a
Add support for Generator types
2016-10-20 14:28:16 -04:00
Matthew Brown
74abadf6c7
Add checkable return type for Generator
2016-10-20 11:31:39 -04:00
Matthew Brown
23529a6f70
Add more complicated yield test
2016-10-20 11:31:19 -04:00
Matthew Brown
8be174999e
Add more failing PHP7.0 tests
2016-10-20 00:47:10 -04:00
Matthew Brown
518e8bcbaf
Support PHP5.5 features (except yield, for now)
2016-10-20 00:13:35 -04:00
Matthew Brown
451d97e0ed
Add support for variadic and packed variables
2016-10-19 00:31:32 -04:00
Matthew Brown
58bb10b948
Improve maths type resolution
2016-10-19 00:00:49 -04:00
Matthew Brown
4b96a08871
Fix syntax error
2016-10-18 23:35:30 -04:00
Matthew Brown
5e1fc3c38b
Add PHP 5.6 feature tests
2016-10-18 22:23:09 -04:00
Matthew Brown
cf7d2d1747
Add test for type hints
2016-10-18 22:02:38 -04:00
Matthew Brown
935b9dfe07
Be more sensitive to function_exists checks, do not apply to whole function
2016-10-18 16:14:52 -04:00
Matthew Brown
2fe46b08b4
Add additional array check
2016-10-15 13:11:08 -04:00
Matthew Brown
18a55e2854
Also inspect arrays from strings
2016-10-15 13:10:05 -04:00
Matthew Brown
c4648673bf
Rename @suppress to @psalm-suppress
2016-10-11 14:17:55 -04:00
Matthew Brown
472e4df3cc
Allow mixed to match function args
2016-10-10 22:49:43 -04:00
Matthew Brown
e14cadd32e
Add tests for elseif reconciliation
2016-10-03 11:40:42 -04:00
Matthew Brown
c178e5c882
Add tests for nested assignment
2016-10-03 00:44:05 -04:00
Matthew Brown
8730c67d2a
Fix tests
2016-10-02 22:01:01 -04:00
Matthew Brown
17d99b5fa7
Add ObjectLike combination tests
2016-10-02 18:59:58 -04:00
Matthew Brown
f3bedeb671
Add test for a336d6c
2016-10-01 22:47:50 -04:00
Matthew Brown
9f37dc8626
Check for arrayAccess erroneous vars
2016-09-22 13:45:47 -04:00
Matthew Brown
42c8923981
Fix isset assertions
2016-09-22 12:26:24 -04:00
Matthew Brown
f44eed1d8c
Update tests to look for object-like types
2016-09-22 00:50:47 -04:00
Matthew Brown
5113ffefee
Add a fully-parsable representation of object-like types
2016-09-22 00:31:07 -04:00
Matthew Brown
041f183d49
Add a bunch of new checks
2016-09-21 19:15:09 -04:00
Matthew Brown
93a5e6775d
Add object-like type to represent cheating arrays
2016-09-20 21:45:49 -04:00
Matthew Brown
6da0b1cb87
Add even more tests
2016-09-15 14:21:51 -04:00
Matthew Brown
cb09a190ce
Add more breaking tests
2016-09-13 00:18:41 -04:00
Matthew Brown
27b731a062
Add failing test
2016-09-12 19:44:46 -04:00
Matthew Brown
00065e73b9
Add extra tests for safety
2016-09-12 19:31:16 -04:00
Matthew Brown
cee7f18b11
Add extra test for type combinations
2016-09-12 00:03:37 -04:00
Matthew Brown
979639668d
Fix array type in test
2016-09-12 00:03:15 -04:00
Matthew Brown
2e91b27b92
Add test for array assignment code
2016-09-12 00:02:50 -04:00
Matthew Brown
f455851f89
Fix bugs in array key checks
2016-09-09 18:36:35 -04:00
Matthew Brown
9bb0b18a62
Update tests to reflect precise array semantics
2016-09-09 16:38:32 -04:00
Matthew Brown
a441bef349
Add more tests for switch fallthrough
2016-08-30 00:04:54 -04:00
Matthew Brown
7e6d3b90ce
Add more tests to identify regressions
2016-08-24 00:30:55 -04:00
Matthew Brown
72e90ddc49
Add more type tests
2016-08-23 20:56:18 -04:00
Matthew Brown
5f4ab230c3
Add more tests
2016-08-22 23:02:17 -04:00
Matthew Brown
cc09cb5c91
Add extra checks around static keywords
2016-08-18 16:29:07 -04:00
Matthew Brown
84b4e09873
Simplify clearCache calls
2016-08-15 11:01:50 -04:00
Matthew Brown
d559196c96
Fix reference errors
2016-08-14 13:13:53 -04:00
Matthew Brown
7d1a106fd5
Big file reorg with ClassLikeChecker as new ClassChecker
2016-08-13 14:20:46 -04:00
Matthew Brown
2164d2c9a8
Add a couple of extra tests for tricksy logic
2016-08-10 02:14:28 -04:00
Matthew Brown
f54b6a8347
Add test to catch edge case
2016-08-10 01:55:04 -04:00
Matthew Brown
8345526fc8
Simplify context update logic
2016-08-10 01:28:38 -04:00
Matthew Brown
b274c7dd68
Fix tests
2016-08-10 01:09:47 -04:00
Matthew Brown
df28d24803
Change name to Psalm
2016-07-25 18:37:44 -04:00
Matthew Brown
7b20c032b3
Test coolness
2016-07-25 18:31:03 -04:00
Matthew Brown
70462033c1
Add mo tests
2016-07-24 18:02:15 -04:00
Matthew Brown
ddd8f991a9
Fix Object test
2016-07-12 00:53:36 -04:00
Matthew Brown
ccc30163c2
Add assertive test
2016-07-07 18:10:01 -04:00
Matthew Brown
382fcb3a07
Add new tests for functionality
2016-06-29 18:15:51 -04:00
Matthew Brown
9662f88631
Fix erroneous recursion
2016-06-28 15:25:28 -04:00
Matthew Brown
5b182fecea
Support absolute files
2016-06-28 14:28:45 -04:00
Matthew Brown
71eea36b9c
Improve switch type analysis
2016-06-28 13:56:44 -04:00
Matthew Brown
e4c590d7b7
Fix tests by adding a config flag for throwing exceptions
2016-06-26 22:40:57 -04:00
Matthew Brown
26da9d7558
Add TryCatch return type test
2016-06-20 18:11:45 -04:00
Matthew Brown
50b65adb32
Add test for breaks in if
2016-06-20 16:55:12 -04:00
Matthew Brown
f60e23a7c7
Add separate scope tests file
2016-06-20 16:18:47 -04:00
Matthew Brown
953ba22a38
Add possiblyundefinedvariable tests
2016-06-20 12:38:47 -04:00
Matthew Brown
edd9a92d51
Dogfooding: fix codeinspector issues
2016-06-20 01:05:44 -04:00
Matthew Brown
5c1b7bb0bc
Fix a few type inference bugs
2016-06-17 16:05:28 -04:00
Matthew Brown
32e18aa29e
Redo a bunch of if statement checking logic
2016-06-16 18:52:12 -04:00
Matthew Brown
fb56e3b757
Change returnType to inferredType
2016-06-16 12:04:55 -04:00
Matthew Brown
ff92d207da
Add failing test
2016-06-16 02:28:25 -04:00
Matthew Brown
218edb5bf4
Add numerous fixes
2016-06-16 01:19:52 -04:00
Matthew Brown
0c617f9519
Fix many many bugs
2016-06-15 20:16:40 -04:00
Matthew Brown
a17e1fb163
Create new system of storing types
2016-06-14 19:22:29 -04:00
Matthew Brown
82bca7a8b4
Do not negate types unnecessarily
2016-06-13 01:48:29 -04:00
Matthew Brown
46005ddd29
Read more from config and fix switch snafu
2016-06-10 14:47:44 -04:00
Matthew Brown
a30901be48
Add $this->var analysis and improve else semantics
2016-05-09 08:56:07 -04:00
Matthew Brown
cb59baec87
Improve type resolution
2016-04-30 14:14:22 -04:00
Matthew Brown
866727ec27
Add test for negation after break/continue
2016-04-26 18:18:05 -04:00
Matthew Brown
97c0f91afe
Add proper namespaces
2016-04-21 12:02:21 +01:00
Matthew Brown
d2243c3317
Add sanity check tests
2016-04-12 16:12:38 -04:00
Matthew Brown
ff578f8468
Add support for square bracket array declarations is_array checks
2016-04-12 11:28:36 -04:00
Matthew Brown
283180115b
Fix incorrect test & implementation
2016-04-04 16:33:26 -04:00
Matthew Brown
6ec754d21d
Add redefined var scanning to switch statements
2016-04-04 14:29:02 -04:00
Matthew Brown
5c132274f4
Add support for $this->x vars
2016-04-04 01:21:28 -04:00
Matthew Brown
9032aa065a
Fix variable redefinition
2016-04-04 00:17:19 -04:00
Matthew Brown
13e9923cd5
Fix ternary else check
2016-04-03 20:14:19 -04:00
Matthew Brown
b60213395b
Add initial rudimentary tests
2016-04-03 19:47:06 -04:00
