danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-14 18:36:58 +01:00
Code Issues Projects Releases Wiki Activity
1,025 Commits 43 Branches 314 Tags 108 MiB
3510757d89
Commit Graph

492 Commits

Author SHA1 Message Date
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
Matthew Brown
e59dba3c70 Allow alt version of callmap variadic syntax 2017-01-13 18:01:07 -05:00
Matt Brown
93688dffe0 Fix update-docblocks command 2017-01-13 14:06:05 -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
b4ca657ea2 Fix diff checking 2017-01-12 01:12:01 -05:00
Matthew Brown
5f54a9571c Fix deep project checks 2017-01-12 01:03:48 -05:00
Matthew Brown
107d8352fc Add back mutation checks 2017-01-12 00:38:15 -05:00
Matthew Brown
56be346191 Add back mutation checks 2017-01-11 21:37:53 -05:00
Matthew Brown
4e00ef51cd Do not check special terms 2017-01-09 01:50:24 -05:00
Matthew Brown
78e94ca66c Relax class requirement on coercion check 2017-01-09 01:45:13 -05:00
Matthew Brown
e7568f8400 Fix type coercion issues 2017-01-09 01:27:35 -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
c66678f8eb Add dead-end for getClassName 2017-01-09 00:27:23 -05:00
Matthew Brown
03c5ea3cef Store all class keys lowercased 2017-01-09 00:14:39 -05:00
Matthew Brown
96b2697049 Prevent recursive class check 2017-01-08 22:31:52 -05:00
Matthew Brown
306e600e3a Do not check param types on visit 2017-01-08 22:00:23 -05:00
Matthew Brown
c90a479b15 Fix self-referential issue 2017-01-08 13:53:40 -05:00
Matthew Brown
cc887d48aa Prevent erroneous debug messages 2017-01-08 13:21:21 -05:00
Matthew Brown
e670ce4ca4 Revisit files to save memory usage 2017-01-08 12:55:32 -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
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
df941bd575 Improve resilience of typechecker::isContainedBy 2017-01-05 00:14:34 -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
d9bf89f72b Fix multiple possible method signature bug 2017-01-01 20:10:28 -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
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
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
a524ca8184 Suppress more notices 2016-12-30 20:39:12 -05:00
Matthew Brown
e972f4106c Remove erroneous array index 2016-12-30 20:19:40 -05:00
Matthew Brown
77dacf23e6 Remove var_dump 2016-12-30 20:07: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
bdc39b8bd7 Fix single-file namespaced trait lookups 2016-12-30 19:23:26 -05:00
Matthew Brown
f515327f16 Fix file_name/file_path mixup 2016-12-30 19:06:45 -05:00
Matthew Brown
bc01169910 Fix debug end results 2016-12-30 18:28:43 -05:00
Matthew Brown
c65a0bf181 Move function static arrays into FileStorage 2016-12-30 18:08:07 -05:00
Matthew Brown
b529fa4877 Move static method arrays into MethodStorage classes 2016-12-30 15:53:35 -05:00
Matthew Brown
92fe58b97c Shift storage from static arrays to dedicated ClassLikeStorage objects 2016-12-30 12:41:14 -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
749735a3ec Update config file API still further 2016-12-29 10:24:10 -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
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
b796b5c8ee Allow trait methods to be overwritten 2016-12-28 21:40:03 -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
c5622f1ed1 Fix nullref 2016-12-28 19:58:32 -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
fa1da90fbe Only warn about unimplemented interface methods for non-abstract classes 2016-12-28 16:46:30 -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
48151d0190 Fix repeated assertion after unreconcilable clause 2016-12-28 14:53:49 -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
6b0537440f Register all classes & interfaces declared in file before check 2016-12-28 13:10:58 -05:00
Matthew Brown
324b7b4801 Support old-style namespaced constructors 2016-12-27 01:06:05 +00:00
Matthew Brown
dac54c41ab Fix array_filter with no second arg usage 2016-12-26 14:40:32 +00:00
Matthew Brown
74727c9564 Prevent value from breaking outside of scope 2016-12-26 11:39:50 +00: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
8ad3ee4f53 Fix for fix 2016-12-25 01:35:13 +00:00
Matthew Brown
6a19aa63d2 Fix array_filter return type 2016-12-25 01:33:14 +00: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
1007d1682c Fix mixed operand issues 2016-12-24 18:29:11 +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