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

1059 Commits

Author SHA1 Message Date
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