Matthew Brown
e3a9cb98c3
Add extra issue for invalid clone and fix issue reporting;
2017-01-16 12:59:09 -05:00
Matthew Brown
4b283564ca
Allow variadic params to be passed by reference
2017-01-16 12:39:38 -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
f614944b63
Add predefined functions to avoid throwing errors
2017-01-15 20:11:02 -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
faccc73dc1
Fix #52 by analysing non-main parts of issets
2017-01-15 13:58:20 -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
ad38a26524
Hoist class check above method check
2017-01-15 10:24:38 -05:00
Matthew Brown
03141e41c2
Move string-stored types into named classes
2017-01-15 10:22:05 -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
dc585ff22a
Fix #47 - check closure param types properly
2017-01-13 12:40:01 -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
380ae61b3c
Don’t emit another error if we’re already ignoring TypeCoercion
2017-01-09 00:58:18 -05:00
Matthew Brown
bf76843d94
Fix foreach dependency errors
2017-01-09 00:58:05 -05:00
Matthew Brown
f318c52876
Improve function rechecking
2017-01-09 00:31:23 -05:00
Matthew Brown
03c5ea3cef
Store all class keys lowercased
2017-01-09 00:14:39 -05:00
Matthew Brown
5cc97e380d
Fix issue evaluating Foo::class
2017-01-07 17:24:43 -05:00
Matthew Brown
28cd8caca8
Change analyzeMethods to analyze
2017-01-07 15:57:25 -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
882c8a8d0c
Add better checking of property array assignments
2017-01-02 00:08:35 -05:00
Matthew Brown
d9bf89f72b
Fix multiple possible method signature bug
2017-01-01 20:10:28 -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
8f7072c175
Fix change empty arrays to nulls
2017-01-01 17:39:39 -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
34c238c1a7
Fall through when checking for static/deprecated
2016-12-31 09:25:04 -05:00
Matthew Brown
49f7817a2a
Emit specific issue when calling instance method with self::
2016-12-31 09:20:10 -05:00
Matthew Brown
a524ca8184
Suppress more notices
2016-12-30 20:39:12 -05:00
Matthew Brown
b068bd7858
Fix many bugs
2016-12-30 20:05:32 -05:00
Matthew Brown
4a10bdbc60
Fix suppressed warnings in tests
2016-12-30 19:36:35 -05:00
Matthew Brown
f515327f16
Fix file_name/file_path mixup
2016-12-30 19:06:45 -05:00
Matthew Brown
c65a0bf181
Move function static arrays into FileStorage
2016-12-30 18:08:07 -05:00
Matthew Brown
21816723c7
Make config schema more relaxed about ordering and fix trait bugs
2016-12-30 01:51:29 -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
641ffc09c9
Add NullOperand issue for easy ignoring
2016-12-29 00:32:12 -05:00
Matthew Brown
18e7c65430
Emit more InvalidOperand issues
2016-12-29 00:14:06 -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
ea30af8a5a
Move assertion checks into separate file
2016-12-28 15:52:44 -05:00
Matthew Brown
4919252260
Fix leaking ref in SwitchChecker
2016-12-28 14:38:16 -05:00
Matthew Brown
6972c45c14
Remove vars from parent clauses when they are reconciled with vars
2016-12-28 14:20:16 -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
513fcea101
Only assign type when not null
2016-12-25 01:12:26 +00:00
Matthew Brown
1fe0eee8e4
Add generic type coercion checks
2016-12-25 01:08:58 +00:00
Matthew Brown
c51d8f5220
Implement MixedOperand and InvalidOperand issues
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
9746c8972f
Fix MixedAssignment errors
2016-12-17 00:48:31 -05:00
Matt Brown
d012510a41
Fix some mixed assignment issues
2016-12-16 19:22:30 -05:00
Matt Brown
6755c8724a
Add tests for M* issues, fixing bugs along the way
2016-12-16 18:56:23 -05:00
Matthew Brown
dcec735d11
Fix generation of MixedArrayAccess issue
2016-12-15 01:28:36 -05:00
Matt Brown
1d804cde66
Expand scope of property checks
2016-12-14 19:19:25 -05:00
Matt Brown
1b8abc8f17
Change NullReference issue to NullArgument when in method call
2016-12-14 12:54:34 -05:00
Matt Brown
154d023a9d
Add more robust config testing
2016-12-14 12:28:38 -05:00
Matthew Brown
592ee98efc
Fix bugs discovered by adding more tests
2016-12-11 23:40:46 -05:00
Matthew Brown
a84ae58c32
Emit InaccessibleProperty issue where appropriate
2016-12-11 22:18:12 -05:00
Matthew Brown
144625f625
Add numeric check back, with caveats
2016-12-11 20:36:27 -05:00
Matthew Brown
1e8f986d8c
Narrow down error lines for reconcileKeyedTypes
2016-12-11 13:59:36 -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
Matthew Brown
327e3150a2
Fix erroneous self-check
2016-12-10 15:08:38 -05:00
Matthew Brown
c3df70e634
Allow int offsets to be treated as keys
2016-12-10 15:01:59 -05:00
Matt Brown
eff98bfe00
Ignore nullrefs when using echo
2016-12-09 18:53:26 -05:00
Matt Brown
30159d8f70
Ignore invalid scalar argument issue in echo
2016-12-09 12:53:22 -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
28621485b0
Add support for parent-defined consts
2016-12-08 17:19:06 -05:00
Matt Brown
260a6d4df5
Make class errors more specific
2016-12-08 17:15:51 -05:00
Matt Brown
c9557d47ce
Fix exponentiation and modulo type inference
2016-12-08 16:37:14 -05:00
Matt Brown
117645ac73
Account for off-by-one issue in PhpParser
2016-12-08 15:57:18 -05:00
Matt Brown
55a060b53a
Add support for closure checks
2016-12-07 14:13:39 -05:00
Matt Brown
48e19fc7e5
Add support for closure docblocks
2016-12-06 19:41:52 -05:00
Matt Brown
af1a932655
Make code location more accurate
2016-12-06 18:27:22 -05:00
Matthew Brown
ef1049224d
Add selection of return types in code preview
2016-12-06 16:33:47 -05:00
Matthew Brown
60e15c255b
Add support for gettype switch statements too
2016-12-06 13:51:03 -05:00
Matthew Brown
37166a27b9
Set inferredType without needing string key offsets
2016-12-04 19:33:14 -05:00
Matthew Brown
35802ccaa6
Don't totally panic when encountering invalid argument error
2016-12-04 18:42:20 -05:00
Matthew Brown
dcb9e1af14
Be more lenient when computing result of addition/subtraction
2016-12-04 18:41:33 -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
0675e3364a
Fix PHPParser 3.0.1 compatibility issues
2016-12-03 22:41:45 -05:00
Matthew Brown
a1acbfec07
Show code snippets when reporting errors
...
This also introduces a new method of identifying specific code locations when creating issues
2016-12-03 19:11:30 -05:00
Matthew Brown
134bc950fb
Add specific NullArrayAccess error
2016-11-22 11:11:47 -05:00
Matthew Brown
4f95c67e1c
Emit issues for null/mixed array access
2016-11-21 19:07:56 -05:00
Matthew Brown
cf0c0cdda2
Do not quit, just fall through
2016-11-21 18:38:56 -05:00
Matthew Brown
7b3ab79aab
Treat empty as mixed
2016-11-21 17:49:07 -05:00
Matthew Brown
05a004c8bc
Add check for array access on invalid type
2016-11-21 16:44:35 -05:00
Matthew Brown
5a9f99c24e
Fix namespacing issues in PHP 5.6
2016-11-20 21:49:06 -05:00
Matthew Brown
d542b22322
Add belt & braces file checking
2016-11-18 16:13:59 -05:00
Matthew Brown
f2ce83c8e5
Fix minor boop
2016-11-13 15:55:06 -05:00
Matthew Brown
fa2209719b
Fix nullref
2016-11-13 15:46:35 -05:00
Matthew Brown
409a7e4b9e
Fix assignment checks
2016-11-13 15:39:16 -05:00
Matthew Brown
87bb4a2f52
Fix various issues with docblock updates
2016-11-13 01:43:51 -05:00
Matthew Brown
05ae7905d9
Refactor IfChecker to break apart massive method
2016-11-11 17:13:30 -05:00
Matthew Brown
264e77addd
Change a few more words
2016-11-07 19:16:51 -05:00
Matthew Brown
36fc49965b
Correct speling
2016-11-07 17:31:02 -05:00
Matthew Brown
622a0794c3
Swap in Fully-Qualified for Absolute terms
2016-11-07 17:29:51 -05:00
Matthew Brown
3b038db454
Avoid missing property
2016-11-07 15:29:47 -05:00
Matthew Brown
721e0d01e2
Get rid of var_dumps
2016-11-05 20:53:39 -04: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
7c44353116
Add inferredType to InstanceOf_
2016-11-05 17:57:14 -04:00
Matthew Brown
c5591adf10
Add support for global in functions and mixed inferred return errors
2016-11-05 17:54:34 -04:00
Matthew Brown
7df4d74a7b
Fix Psalm errors
2016-11-04 21:14:04 -04:00
Jon Ursenbach
27c2db1d1d
PSR-2
2016-11-02 17:50:54 -04:00
Matthew Brown
5cc5bd4ed4
Fix tests to all have property types
2016-11-01 14:32:19 -04:00
Matthew Brown
b78e83c4c0
Break out method
2016-11-01 14:20:01 -04:00
Matthew Brown
88eb43e9ca
Break out ExpressionChecker
2016-11-01 14:14:41 -04:00
Matthew Brown
712752d587
Split out asssignment methods
2016-11-01 11:37:58 -04:00
Matthew Brown
34af24a2b4
Add all the properties
2016-11-01 00:39:41 -04:00
Matthew Brown
c2f63c392e
Emit issue if property type is missing
2016-10-31 15:17:54 -04:00
Matthew Brown
8fefaecd9c
Skip when encountering null list var
2016-10-30 19:59:26 -04:00
Matthew Brown
4d5b0abb74
Add explicit value tracking
2016-10-30 19:52:35 -04:00
Matthew Brown
b220ee51cc
Correctly assign list values
2016-10-30 19:38:08 -04:00
Matthew Brown
53cef386a2
Do not error on mixed input
2016-10-30 12:53:56 -04:00
Matthew Brown
6cd63cc0f3
Fix nullref
2016-10-30 12:51:41 -04:00
Matthew Brown
604c875d0c
Fix more errors caught by Psalm
2016-10-30 12:46:18 -04:00
Matthew Brown
722a7fba5c
Don't squeal when autoloading classes
2016-10-30 01:13:33 -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
9f94add470
Update plugin interface to add $suppressed_issues
2016-10-28 16:49:42 -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
0b0a5ff0e8
Better check for bad static invocation
2016-10-28 10:22:45 -04:00
Matthew Brown
95f5a4603a
Add property for poorly-reflected builtin classes
2016-10-27 16:05:27 -04:00
Matthew Brown
357cd8ad41
Add support for Closure::__invoke
2016-10-24 15:55:05 -04:00
Matthew Brown
ce95275878
Fix more Psalm bugs found by Psalm
2016-10-23 12:24:53 -04:00
Matthew Brown
d8b10a6c97
Fix errors caught by Psalm
2016-10-23 01:57:11 -04:00
Matthew Brown
fbdfc78546
Fix references to moved fucntionality
2016-10-22 18:25:14 -04:00
Matthew Brown
f3f1ba1caa
Break out block checkers
2016-10-22 17:35:59 -04:00
Matthew Brown
2bea64ca52
Split out SwitchChecker
2016-10-22 13:37:06 -04:00
Matthew Brown
dda4c52e03
Fix ref
2016-10-22 13:29:32 -04:00
Matthew Brown
e4ba8b1abc
Make StatementsChecker much smaller
2016-10-22 13:28:40 -04:00