1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 12:55:26 +01:00
Commit Graph

2511 Commits

Author SHA1 Message Date
Matthew Brown
50aff4bcb7 Fix combination of type assertions 2016-06-28 15:43:21 -04:00
Matthew Brown
4bd0e7c90f Use the clever methods when evaluating expression 2016-06-28 15:36:35 -04:00
Matthew Brown
35e08f5cd2 Fix if/ternary negation 2016-06-28 15:28:05 -04:00
Matthew Brown
9662f88631 Fix erroneous recursion 2016-06-28 15:25:28 -04:00
Matthew Brown
5b182fecea Support absolute files 2016-06-28 14:28:45 -04:00
Matthew Brown
71eea36b9c Improve switch type analysis 2016-06-28 13:56:44 -04:00
Matthew Brown
638c2999e3 Reove PHP 5.6 features 2016-06-27 15:10:13 -04:00
Matthew Brown
fdc4b0703f Only set to mixed if not yet set 2016-06-27 14:30:33 -04:00
Matthew Brown
16fda10e67 Only show variable errors where applicable 2016-06-27 13:22:16 -04:00
Matthew Brown
bd694459f3 Prepopulate all object properties 2016-06-27 10:46:27 -04:00
Matthew Brown
e4c590d7b7 Fix tests by adding a config flag for throwing exceptions 2016-06-26 22:40:57 -04:00
Matthew Brown
7f0139d27f Add pretty colours 2016-06-26 22:03:37 -04:00
Matthew Brown
eb9084dbad Add support for parsing bracket syntax 2016-06-26 22:02:23 -04:00
Matthew Brown
ad4943ead3 Allow custom config to be passed in 2016-06-26 15:33:51 -04:00
Matthew Brown
2ab3e3af40 Make sure IssueBuffer::finish is called after each public ProjectChecker method 2016-06-26 15:25:38 -04:00
Matthew Brown
5f60bc3a8b Actually rename file 2016-06-26 15:24:12 -04:00
Matthew Brown
2d9f39e3f4 Change IssueHandler to IssueBuffer 2016-06-26 15:18:40 -04:00
Matthew Brown
bf96b4de3a Add smart config identification 2016-06-26 13:45:20 -04:00
Matthew Brown
73eda1632e Add extra alerts for invalid docblocks 2016-06-24 18:18:11 -04:00
Matthew Brown
a1fb6294dc Add checking of object properties 2016-06-23 18:45:46 -04:00
Matthew Brown
9f20175b14 Change ExceptionHandler to IssueHandler and add error levels 2016-06-20 19:30:38 -04:00
Matthew Brown
26da9d7558 Add TryCatch return type test 2016-06-20 18:11:45 -04:00
Matthew Brown
6f9cb1d99c Use mixed type if we detect expression error 2016-06-20 18:10:55 -04:00
Matthew Brown
162a8a2c2b Search in while & try/catch 2016-06-20 18:10:24 -04:00
Matthew Brown
2b8c95a19d Use correct paths 2016-06-20 18:10:08 -04:00
Matthew Brown
f8fda8febb Do not check return types if we ignore for that file 2016-06-20 18:09:04 -04:00
Matthew Brown
50b65adb32 Add test for breaks in if 2016-06-20 16:55:12 -04:00
Matthew Brown
66535fb225 Allow void return type reporting 2016-06-20 16:54:43 -04:00
Matthew Brown
cf101b0fe0 Mixed cannot be substituted 2016-06-20 16:54:30 -04:00
Matthew Brown
0ecbfdbd64 Improve handling of binary ops 2016-06-20 16:54:02 -04:00
Matthew Brown
2dc64aafe3 Add foreach possibly-in-scope vars back 2016-06-20 16:30:31 -04:00
Matthew Brown
f60e23a7c7 Add separate scope tests file 2016-06-20 16:18:47 -04:00
Matthew Brown
a6eed85ba5 Add better scope analysis 2016-06-20 16:18:31 -04:00
Matthew Brown
953ba22a38 Add possiblyundefinedvariable tests 2016-06-20 12:38:47 -04:00
Matthew Brown
08ce4dbbf9 Fix for/foreach context handling 2016-06-20 12:38:31 -04:00
Matthew Brown
9019530721 Simplify view checks for now 2016-06-20 01:29:30 -04:00
Matthew Brown
edd9a92d51 Dogfooding: fix codeinspector issues 2016-06-20 01:05:44 -04:00
Matthew Brown
444c39097f Create Context, new if checks & file extension support
Add Context  object to hold in-scope vars, rework if checks accordingly with copious use of clone, and finally add support for handling different filetypes
2016-06-20 00:38:13 -04:00
Matthew Brown
5f2d9a66ee Add plugin architecture 2016-06-18 14:45:55 -04:00
Matthew Brown
684455acf0 Make sure _fleshOutReturnTypes actually does stuff 2016-06-17 18:03:29 -04:00
Matthew Brown
4b0c37f8b4 Improve error messages 2016-06-17 17:34:52 -04:00
Matthew Brown
af3577aeee Fix support for $var ?: $other_var ternary form 2016-06-17 17:12:07 -04:00
Matthew Brown
4c0b50dab0 Protect against array assignment to strings 2016-06-17 16:58:15 -04:00
Matthew Brown
84fecaa2a5 Fix closure bug 2016-06-17 16:16:54 -04:00
Matthew Brown
5c1b7bb0bc Fix a few type inference bugs 2016-06-17 16:05:28 -04:00
Matthew Brown
433de5c799 Make use dictionary-keyed vars in union types 2016-06-17 13:21:57 -04:00
Matthew Brown
9cc8d485ca Fix a thing maybe 2016-06-16 19:02:29 -04:00
Matthew Brown
32e18aa29e Redo a bunch of if statement checking logic 2016-06-16 18:52:12 -04:00
Matthew Brown
53abce127a Exit early if method does not exist, fix ternary checks 2016-06-16 12:05:37 -04:00
Matthew Brown
fb56e3b757 Change returnType to inferredType 2016-06-16 12:04:55 -04:00