1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-14 18:36:58 +01:00
Commit Graph

369 Commits

Author SHA1 Message Date
Matthew Brown
554791e6ac Fix aliased class casing and misc errors 2016-09-09 23:17:56 -04:00
Matthew Brown
9ab0ee45a5 Add a bunch of docblocks 2016-09-09 20:07:36 -04:00
Matthew Brown
288ac91c4a Add protections 2016-09-09 18:54:24 -04:00
Matthew Brown
f455851f89 Fix bugs in array key checks 2016-09-09 18:36:35 -04:00
Matthew Brown
8c5adf477a Add support for key/value array typing 2016-09-09 16:21:49 -04:00
Matthew Brown
97a8e447d7 Check uses before checking functions 2016-09-02 16:16:11 -04:00
Matthew Brown
750d172917 Prevent nested functions from throwing errors
And fix fixLocalType when passed var
2016-09-02 13:47:11 -04:00
Matthew Brown
f86c396115 Ignore resources 2016-09-01 20:27:16 -04:00
Matthew Brown
0f5f4c3029 Check functionlike param types 2016-09-01 18:02:09 -04:00
Matthew Brown
99649f2f09 Fix reference errors 2016-09-01 00:07:29 -04:00
Matthew Brown
b40e057090 Add checks for !== true 2016-09-01 00:07:20 -04:00
Matthew Brown
47f66bf4dd Add support for exposing errors in external files 2016-08-31 23:12:35 -04:00
Matthew Brown
4ccf9cf06f Do not just return last successful type found 2016-08-31 17:08:04 -04:00
Matthew Brown
330199c9a3 Add support for callable checks 2016-08-31 15:10:11 -04:00
Matthew Brown
bad1271744 Add more coverage for scalar types 2016-08-31 13:25:29 -04:00
Matthew Brown
f28485ddad Never set a null $var_name 2016-08-30 15:47:44 -04:00
Matthew Brown
7d11b4b9b0 Add support for numeric types 2016-08-30 00:39:17 -04:00
Matthew Brown
d689996fde Support all is_* checks 2016-08-30 00:25:15 -04:00
Matthew Brown
8212284675 Map function return types for builtins 2016-08-30 00:05:13 -04:00
Matthew Brown
4a88a376df Improve handling of switch and change method name 2016-08-30 00:04:10 -04:00
Matthew Brown
7e018d3c35 Revamp include file reporting 2016-08-24 19:00:44 -04:00
Matthew Brown
1327b9e604 Add better file location recognition for imports 2016-08-24 18:13:22 -04:00
Matthew Brown
e5a6f0d42f Add support for Closure->callable types 2016-08-24 17:06:41 -04:00
Matthew Brown
4d388d197c Fix analysis of switch statements 2016-08-24 17:06:20 -04:00
Matthew Brown
0e68179bb4 Pass in the right context 2016-08-24 00:22:38 -04:00
Matthew Brown
212edcd16b Only warn about undefined this vars once 2016-08-23 23:51:01 -04:00
Matthew Brown
9dc0a088ea Support while loop property updates 2016-08-23 23:41:06 -04:00
Matthew Brown
0e1a969e55 Add a bunch of boilerplate to solve redefining loop vars 2016-08-23 22:09:06 -04:00
Matthew Brown
25ed89940d Re-calculate else context types 2016-08-23 20:56:18 -04:00
Matthew Brown
92aa7217af Pass in loop context, not specific vars 2016-08-23 18:09:34 -04:00
Matthew Brown
6637bb653c Fix type assignment after empty check 2016-08-22 23:02:03 -04:00
Matthew Brown
e0b9c876fb Improve logic for updating context 2016-08-22 20:06:28 -04:00
Matthew Brown
bac747d563 Add slight refinement 2016-08-22 19:45:34 -04:00
Matthew Brown
2cba7a83bf Do not investigate null types 2016-08-22 19:29:06 -04:00
Matthew Brown
a4a1fd9557 Explicitly return array of strings for explode 2016-08-22 18:09:52 -04:00
Matthew Brown
093c5447ae Avoid unnecessary interface casing errors 2016-08-22 16:41:45 -04:00
Matthew Brown
5d610b222a Fix off-by-one error 2016-08-22 15:43:08 -04:00
Matthew Brown
3b5909804d Fix ref errors 2016-08-22 15:42:05 -04:00
Matthew Brown
6edc120704 Add checking of function arguments 2016-08-22 15:00:12 -04:00
Matthew Brown
b1c525bef0 Also inspect array_merge 2016-08-18 17:36:54 -04:00
Matthew Brown
39b4cb54b3 Add array_filter type reflection 2016-08-18 16:51:10 -04:00
Matthew Brown
474f1b0ff2 Add array_map function typing 2016-08-18 16:19:37 -04:00
Matthew Brown
c56c148f70 Fix type fleshing-out 2016-08-15 20:00:02 -04:00
Matthew Brown
35b54bfd48 Do not evaluate falsey 2016-08-15 16:22:32 -04:00
Matthew Brown
f7003bc53e Rename ClassMethodChecker to MethodChecker 2016-08-15 15:14:28 -04:00
Matthew Brown
f270d67db6 Fix trait mapping 2016-08-15 14:20:06 -04:00
Matthew Brown
adbac24f8e Catch attempts to call methods on object type 2016-08-15 13:59:23 -04:00
Matthew Brown
116cb3064d Remove trailing backslash when checking method 2016-08-15 13:59:02 -04:00
Matthew Brown
666f570fb2 Allow case errors correctly 2016-08-15 13:51:43 -04:00
Matthew Brown
374c045ff6 Allow case-invariant function names 2016-08-15 13:37:21 -04:00
Matthew Brown
14ff5b00ac Allow non-this properties to be passed by reference 2016-08-15 12:22:43 -04:00
Matthew Brown
98b120b70c Avoid treating abstract classes as declaring classes 2016-08-15 12:22:23 -04:00
Matthew Brown
84b4e09873 Simplify clearCache calls 2016-08-15 11:01:50 -04:00
Matthew Brown
faae9062ba Fix view checks 2016-08-15 02:12:27 -04:00
Matthew Brown
899f74b12e Allow functions to deal with shifting aliased classes 2016-08-15 01:21:50 -04:00
Matthew Brown
ccad9978f5 Put back function hoisting 2016-08-15 00:58:30 -04:00
Matthew Brown
cd36893b9f Fix trait reuse 2016-08-15 00:52:25 -04:00
Matthew Brown
d23242e4e7 Fix what methods get assigned 2016-08-15 00:31:34 -04:00
Matthew Brown
3f24af3031 Big refactor to limit reflection 2016-08-14 23:24:16 -04:00
Matthew Brown
d559196c96 Fix reference errors 2016-08-14 13:13:53 -04:00
Matthew Brown
affa6c306b Fix class case sensitivity 2016-08-14 13:00:41 -04:00
Matthew Brown
94a3930ddb Doubles are really floats 2016-08-14 12:07:19 -04:00
Matthew Brown
8ba4f5141c Simplify class registration 2016-08-14 12:06:53 -04:00
Matthew Brown
fe90018660 Add support for checking user-defined constants 2016-08-14 00:38:29 -04:00
Matthew Brown
719f6d1d62 Fix include call checks 2016-08-13 23:26:45 -04:00
Matthew Brown
399892031f Fix #16 - dd more info to context and type constants 2016-08-13 21:14:32 -04:00
Matthew Brown
defc4cebc1 Add support for checking inherited constants 2016-08-13 19:44:24 -04:00
Matthew Brown
fd63f3e056 Abandon use of undersocres and fix interface parsing 2016-08-13 18:54:49 -04:00
Matthew Brown
7d1a106fd5 Big file reorg with ClassLikeChecker as new ClassChecker 2016-08-13 14:20:46 -04:00