danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-15 02:47:02 +01:00
Code Issues Projects Releases Wiki Activity
9,796 Commits 43 Branches 314 Tags 108 MiB
4fd87f2d77
Commit Graph

7367 Commits

Author SHA1 Message Date
Matthew Brown
e04441b8ac Add ObjectLike check in 2016-10-03 01:35:54 -04:00
Matthew Brown
1d10d8e8a2 Add hasType check 2016-10-03 01:01:24 -04:00
Matthew Brown
41278260b8 Fix nested array adjust 2016-10-03 00:43:24 -04:00
Matthew Brown
575ee55d1b Now make string dictionaries object-like 2016-10-02 22:00:42 -04:00
Matthew Brown
c22fc15bfa clobber better 2016-10-02 22:00:05 -04:00
Matthew Brown
a84587e6c3 Clobber empty array when combining with object-like 2016-10-02 19:33:46 -04:00
Matthew Brown
bcd2b73c43 Add check for ObjectLike 2016-10-02 18:59:37 -04:00
Matthew Brown
047b932e46 Support combining ObjectLike types 2016-10-02 18:59:16 -04:00
Matthew Brown
79d7a87539 Ignore classes checked in class_exists 2016-10-02 13:05:49 -04:00
Matthew Brown
b4de3fc2d8 Add null check when updating type 2016-10-02 11:08:15 -04:00
Matthew Brown
a6f1eaeee2 Add support for -1 and +1 in property declarations 2016-10-02 10:30:44 -04:00
Matthew Brown
ff17dcf1ee Fix while loop unset issue 2016-10-02 10:26:13 -04:00
Matthew Brown
91ea6844ba Prevent error on string array assignment 2016-10-02 10:13:35 -04:00
Matthew Brown
a141ffe3cf Add support for iteration over object-like arrays 2016-10-02 09:50:24 -04:00
Matthew Brown
fb30b79a11 Fix descendant removal 2016-10-01 23:10:15 -04:00
Matthew Brown
dd57a85f54 Make sure we do not neglect main-scope method calls 2016-10-01 22:47:32 -04:00
Matthew Brown
ceeaa5467c Make sure we set return type to mixed 2016-10-01 21:02:13 -04:00
Matthew Brown
478ef9b551 Make sure object-like is not considered an object 2016-09-22 13:45:22 -04:00
Matthew Brown
f00eb66690 Do not assign array values on object 2016-09-22 13:43:53 -04:00
Matthew Brown
42c8923981 Fix isset assertions 2016-09-22 12:26:24 -04:00
Matthew Brown
2e371aca00 Create ObjectLike entities 2016-09-22 00:49:48 -04:00
Matthew Brown
5113ffefee Add a fully-parsable representation of object-like types 2016-09-22 00:31:07 -04:00
Matthew Brown
baf9bcd4d7 Make a class for arrays 2016-09-21 22:15:46 -04:00
Matthew Brown
abae0a9cae Fix erroneous array assignment 2016-09-21 19:14:44 -04:00
Matthew Brown
37aae5d731 Allow type assertions on array keys 2016-09-21 19:14:29 -04:00
Matthew Brown
5d768d4fbe Ignore object-like issue 2016-09-21 18:26:26 -04:00
Matthew Brown
520ca5b559 Add more support for evaluating object-like type and fix empty check in foreach 2016-09-21 16:42:39 -04:00
Matthew Brown
93a5e6775d Add object-like type to represent cheating arrays 2016-09-20 21:45:49 -04:00
Matthew Brown
e9a30ca556 Remove descendent types when assigning 2016-09-17 11:57:44 -04:00
Matthew Brown
dff23e9d74 Be more general with arrays 2016-09-15 16:42:50 -04:00
Matthew Brown
24fd84617f Fix include check and nest function arg check 2016-09-15 16:31:36 -04:00
Matthew Brown
55fc146c57 Fix possible reference error if interface name is bad 2016-09-15 16:30:18 -04:00
Matthew Brown
6027687ad9 Fix callmap incorrect value 2016-09-15 16:29:58 -04:00
Matthew Brown
58835c0ad5 Add getArrayVarId for making assertions about array keys 2016-09-13 18:58:49 -04:00
Matthew Brown
352f5e64b3 Do not overboil 2016-09-13 18:23:09 -04:00
Matthew Brown
70d01c8138 Fix nullref 2016-09-13 18:10:41 -04:00
Matthew Brown
c1ca6c27d5 If we do not know, do not assume 2016-09-13 17:35:30 -04:00
Matthew Brown
884648b56c Improve type combination when evaluating array types 2016-09-12 23:24:26 -04:00
Matthew Brown
324b5ecdae Remove bad $this 2016-09-12 19:44:33 -04:00
Matthew Brown
9d38d8c197 Simplify reported array type to avoid errors 2016-09-12 19:30:57 -04:00
Matthew Brown
d94a6fdaa0 Account for commas in stuff 2016-09-12 19:29:24 -04:00
Matthew Brown
7298b41c45 Do not throw access errors when array might be empty 2016-09-12 12:23:51 -04:00
Matthew Brown
6a9bcea901 Improve typing of properties 2016-09-12 11:32:44 -04:00
Matthew Brown
677614f23e Fix offset issues 2016-09-12 00:34:38 -04:00
Matthew Brown
0563f508ca Fix automatic array creation checks 2016-09-12 00:02:26 -04:00
Matthew Brown
e663c1da19 Add support for object negation 2016-09-12 00:01:47 -04:00
Matthew Brown
564c4e2bf3 If we see an object type assertion, filter out non-object types 2016-09-11 19:12:56 -04:00
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
b8c5bc4968 proc_open can return false 2016-08-31 15:10:29 -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
89d04186b1 Add missing isResource method 2016-08-30 00:40:08 -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
f91c0a048d Avoid nullref when updating properties 2016-08-23 23:39:43 -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
Matthew Brown
b32ead15d3 Add docblocks for methods and fix bugs 2016-08-13 11:28:06 -04:00
Matthew Brown
eafdaf9db0 Fix trait visibility 2016-08-13 11:10:57 -04:00
Matthew Brown
274448d014 Fix casing of simplexml returns 2016-08-12 20:45:34 -04:00
Matthew Brown
06ac1f1186 Improve array assignment checks; 2016-08-12 17:45:23 -04:00
Matthew Brown
f1fa5ca42f Add false vals referenced in https://github.com/etsy/phan/pull/316 2016-08-12 16:36:27 -04:00
Matthew Brown
a0dcabe4e1 Look once the vars have been set 2016-08-11 22:00:27 -04:00
Matthew Brown
a62a7899e0 Add overrides for some methods 2016-08-11 17:36:22 -04:00
Matthew Brown
300375c4bd Add preliminary call map 2016-08-10 19:37:40 -04:00
Matthew Brown
53b94f339e Fix errors found via self-inspection 2016-08-10 19:21:03 -04:00
Matthew Brown
8d6871d29e Remove underscores 2016-08-10 18:10:12 -04:00
Matthew Brown
cf90f5af4a Add support for static in return types 2016-08-10 13:52:16 -04:00
Matthew Brown
2adf377d94 Fix closure & elseif checks 2016-08-10 02:13:55 -04:00
Matthew Brown
1c3993eaf7 Improve $context->update again 2016-08-10 01:54:45 -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
8131f806d8 Protect possibility of bad get_class call 2016-08-09 19:14:50 -04:00
Matthew Brown
24d67e9615 Add support for special typeof types (used in get_class checks) 2016-08-09 18:10:46 -04:00
Matthew Brown
02ce85e383 Add support for bool checks 2016-08-09 18:10:17 -04:00
Matthew Brown
55f466b2ed Fix how params are set 2016-08-09 15:02:30 -04:00
Matthew Brown
b0f6a020da Exit early for invalid class or interface 2016-08-09 12:11:58 -04:00
Matthew Brown
588ae82ffb Do not skip if we want to check class methods 2016-08-09 12:07:50 -04:00
Matthew Brown
054032354d Exit early if ReflectionError 2016-08-09 12:07:26 -04:00
Matthew Brown
0d35f1c14b Allow suppression of type errors and add better treatment of static 2016-08-08 18:55:22 -04:00
Matthew Brown
daf49bdf0b Add separate undefined this property to demarcate those errors 2016-08-08 16:06:28 -04:00
Matthew Brown
902c05d3a7 Check traits in context of class 2016-08-08 14:36:18 -04:00
Matthew Brown
be5fc52da8 Use $context->self var instead of $this->_absolute_class 2016-08-08 11:28:14 -04:00
Matthew Brown
92134b60ec Add support for checking new self/parent/static 2016-08-07 16:27:00 -04:00
Matthew Brown
06891106fb Add clearer error messages 2016-08-07 16:13:36 -04:00
Matthew Brown
ccaea8fa51 Allow docblock param types in function checker 2016-08-07 16:13:08 -04:00
Matthew Brown
a881191f1d Be more lenient with certain assignments 2016-08-07 15:15:21 -04:00
Matthew Brown
b7dfb5e134 Skip empty arrays when looking inside foreach loops 2016-08-07 14:36:24 -04:00
Matthew Brown
c58458ed20 Add code to handle SimpleXMLElement 2016-08-07 13:58:46 -04:00
Matthew Brown
620d4afd68 Fix tokenisation of ? nullable shorthand 2016-08-07 12:50:21 -04:00
Matthew Brown
7a1cded329 Add better class visibiity checks 2016-08-07 12:23:29 -04:00
Matthew Brown
4d26b9b3af Add more issues to solve 2016-08-07 11:35:27 -04:00
Matthew Brown
d254bc0aa2 Improve type checking of properties 2016-08-06 20:27:13 -04:00
Matthew Brown
f72ad63dac Add beginnings of non-this property checks 2016-08-05 17:45:47 -04:00
Matthew Brown
81c72f2900 Evaluate parent classes proper-like 2016-08-05 15:11:20 -04:00
Matthew Brown
9d4271f023 Allow better handling of questionmark type annotations 2016-08-04 14:43:33 -04:00
Matthew Brown
944a8c24eb Add ability to suppress info output from command line 2016-08-04 14:38:43 -04:00
Matthew Brown
bff796ceb7 Add TooManyArguments to default suppressed list 2016-07-30 19:54:53 -04:00
Matthew Brown
9cb7a5feeb Fix #14 - add support for checking too many and too few arguments 2016-07-29 14:48:04 -04:00
Matthew Brown
f45e7c7539 Only load autoloader if provided 2016-07-26 15:03:43 -04:00
Matthew Brown
6b3fe14f1e Allow specification of custom autoloaders 2016-07-26 15:03:43 -04:00
Matthew Brown
c4a222171b Fix undefined var name 2016-07-26 15:03:43 -04:00
Matthew Brown
9718893232 Exit early if parent class cannot be found 2016-07-26 15:03:43 -04:00
Matthew Brown
7701a2ec23 Change config filename 2016-07-25 18:39:36 -04:00
Matthew Brown
df28d24803 Change name to Psalm 2016-07-25 18:37:44 -04:00