danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-13 01:37:23 +01:00
Code Issues Projects Releases Wiki Activity
9,885 Commits 43 Branches 314 Tags 108 MiB
7660dc2f3e
Commit Graph

9885 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Brown
57f289bb5f Ignore nulls where appropriate, and do not check closure method calls under certain circumstances 2016-06-02 17:44:50 -04:00
Matthew Brown
3bea4368e0 Add checking of function argument types 2016-05-24 12:11:17 -04:00
Matthew Brown
97cab3c14e Undo stupid 2016-05-24 10:21:22 -04:00
Matthew Brown
fc1ee03390 Prevent variable redefinition if it has already been typed 2016-05-22 18:09:10 -04:00
Matthew Brown
e8d207cd12 Support passing string types 2016-05-22 18:08:36 -04:00
Matthew Brown
39f459ac27 Isset treated as !null 2016-05-22 16:01:40 -04:00
Matthew Brown
c9b5554b69 Streamline reflection/registration checks to fix trait bug 2016-05-22 12:14:48 -04:00
Matthew Brown
ea9ab43229 Implementing methods not inherited methods 2016-05-20 19:07:05 -04:00
Matthew Brown
3112a40258 Make the right context get passed 2016-05-20 19:06:42 -04:00
Matthew Brown
d258e0debd Speed up deep checks by quite a bit 2016-05-20 00:24:26 -04:00
Matthew Brown
333caeaeaa Add a little caching 2016-05-16 18:10:59 -04:00
Matthew Brown
2ed9d2bff7 Add more useful return type data 2016-05-16 16:12:02 -04:00
Matthew Brown
316f2714b7 Added awareness of traits and deep method analysis 2016-05-15 23:06:03 -04:00
Matthew Brown
59c9ae6174 Allow suppression of null checks for certain files 2016-05-10 14:00:44 -04:00
Matthew Brown
7fd8955fea Add $this->var to be passed by ref 2016-05-10 11:46:36 -04:00
Matthew Brown
1bd61e89af Treat self as absolute calss 2016-05-09 15:58:48 -04:00
Matthew Brown
734aee73a5 More conservative post type assignment 2016-05-09 15:49:02 -04:00
Matthew Brown
a30901be48 Add $this->var analysis and improve else semantics 2016-05-09 08:56:07 -04:00
Matthew Brown
6046507578 Add better type inspection in loops 2016-05-05 21:20:15 -04:00
Matthew Brown
dfa7078937 Register all variables even if not checking 2016-04-30 17:31:49 -04:00
Matthew Brown
f24eea342c Fix nested calls 2016-04-30 15:43:06 -04:00
Matthew Brown
45d0d41ffa Remove effect checking 2016-04-30 15:22:20 -04:00
Matthew Brown
286158e07d Do not throw error when reflectionmethod fails 2016-04-30 15:02:16 -04:00
Matthew Brown
cb59baec87 Improve type resolution 2016-04-30 14:14:22 -04:00
Matthew Brown
e9bf13ecc0 Go back to regular nikic parser 2016-04-30 11:53:54 -04:00
Matthew Brown
d5545918d6 Fix return type application 2016-04-28 15:18:36 -04:00
Matthew Brown
43375c2908 Add return types 2016-04-26 18:42:48 -04:00
Matthew Brown
0ab3710213 Fix bad replace 2016-04-26 18:42:22 -04:00
Matthew Brown
67d05d8df5 Fix generation generation 2016-04-26 18:32:37 -04:00
Matthew Brown
a6afbe736d Add effect checking and new docblock generation 2016-04-26 18:18:49 -04:00
Matthew Brown
866727ec27 Add test for negation after break/continue 2016-04-26 18:18:05 -04:00
Matthew Brown
bd494daabd Do better checking of types 2016-04-26 18:17:47 -04:00
Matthew Brown
97c0f91afe Add proper namespaces 2016-04-21 12:02:21 +01:00
Matthew Brown
27891e87a1 Use elseif type assertions within body of elseif 2016-04-21 12:02:12 +01:00
Matthew Brown
4be345a007 Flesh out nested types 2016-04-20 18:36:46 +01:00
Matthew Brown
edecae7983 Reduce scope where statements_checker is live 2016-04-20 18:35:59 +01:00
Matthew Brown
8472233bd3 Obey my own rules 2016-04-20 18:35:22 +01:00
Matthew Brown
7c72465325 Remove ClassChecker and Traversable lookups 2016-04-20 15:23:46 +01:00
Matthew Brown
c770146bac Add void variable detection 2016-04-20 11:55:26 +01:00
Matthew Brown
2e6f518e48 Add detection of inaccessible methods 2016-04-18 13:31:59 -04:00
Matthew Brown
92a05355aa Make CodeExceptions all self-contained 2016-04-17 16:20:36 -04:00
Matthew Brown
b9b639e968 Add support for Yoda comparisons 2016-04-17 15:22:10 -04:00
Matthew Brown
acf16db64f View function declarations are not methods 2016-04-17 14:48:57 -04:00
Matthew Brown
079ddb66ee Be more conservative with how we inspect inherited methods 2016-04-17 12:27:47 -04:00
Matthew Brown
bac2ab6027 Port over method custom calls 2016-04-17 11:26:29 -04:00
Matthew Brown
851c6418d3 Register more methods to prevent namespacing difficulties when reflecting 2016-04-17 11:22:18 -04:00
Matthew Brown
4adae3eb06 Add checking of nested namespace nodes 2016-04-17 10:25:43 -04:00
Matthew Brown
56d4d1c684 Split code out from StatementsChecker so it isn't so monolithic 2016-04-16 16:28:25 -04:00
Matthew Brown
f4910b0b96 Remove Vimeo-specific code and improve class checking 2016-04-16 11:28:19 -04:00
Matthew Brown
14b6b3dae2 Do not empty out $new_vars if a return statement is found 2016-04-16 10:18:40 -04:00