Matthew Brown
04be1fb50e
Add slight kludge if method is nullable
2016-07-11 10:15:32 -04:00
Matthew Brown
348e06ffb9
Fix treatment of param types
2016-07-10 16:09:09 -04:00
Matthew Brown
855ffbd9c1
Suppress mixed method call issues by default
2016-07-07 19:40:00 -04:00
Matthew Brown
70a92e006d
Check for mixed method calls
2016-07-07 19:38:33 -04:00
Matthew Brown
a8501be75f
Allow method chaining
2016-06-30 00:27:47 -04:00
Matthew Brown
4f8fa010a5
Allow more characters in classnames
2016-06-30 00:27:33 -04:00
Matthew Brown
d59739d9c7
use safer check for ending statments
2016-06-29 18:30:27 -04:00
Matthew Brown
e0c16308a8
Improve switch checking (again) and fix null arg types
2016-06-29 18:10:41 -04:00
Matthew Brown
a93c54da0d
Improve type resolution of params
2016-06-29 16:42:30 -04:00
Matthew Brown
2e4e52f0f3
Reduce nesting
2016-06-29 10:57:15 -04:00
Matthew Brown
59acb5cfb7
Make sure to return bool where necessary
2016-06-29 10:57:02 -04:00
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
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
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
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
a6eed85ba5
Add better scope analysis
2016-06-20 16:18:31 -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
Matthew Brown
276889fc9a
Fix negation bugs and add ternary type setting
2016-06-16 11:57:12 -04:00
Matthew Brown
7c62568ac5
Remove var_dump
2016-06-16 02:31:02 -04:00
Matthew Brown
12e23d8086
Re-enable property checks
2016-06-16 02:30:02 -04:00
Matthew Brown
218edb5bf4
Add numerous fixes
2016-06-16 01:19:52 -04:00
Matthew Brown
2cf5691fb0
Fix case bug
2016-06-15 20:22:57 -04:00
Matthew Brown
0c617f9519
Fix many many bugs
2016-06-15 20:16:40 -04:00
Matthew Brown
a17e1fb163
Create new system of storing types
2016-06-14 19:22:29 -04:00
Matthew Brown
4e614436b5
Add TypeParser
2016-06-14 01:23:57 -04:00
Matthew Brown
2449e9aaac
Fix ref
2016-06-13 19:58:25 -04:00
Matthew Brown
933c60b06a
Add array assignment checks and remove Error suffix
2016-06-13 19:57:32 -04:00
Matthew Brown
01247558d6
Add checkDir method
2016-06-13 15:33:18 -04:00
Matthew Brown
82bca7a8b4
Do not negate types unnecessarily
2016-06-13 01:48:29 -04:00
Matthew Brown
5507798077
Add support for is_a checks
2016-06-10 18:18:37 -04:00
Matthew Brown
cefb0f3021
Smarter type comparisons and cleaner error output
2016-06-10 17:20:04 -04:00
Matthew Brown
46005ddd29
Read more from config and fix switch snafu
2016-06-10 14:47:44 -04:00
Matthew Brown
4edd11cd44
Down with exceptions, up with issues
2016-06-09 18:08:25 -04:00
Matthew Brown
50a884a755
Add outline of config loader
2016-06-06 01:07:50 -04:00
Matthew Brown
38b43f2d46
Remove var dumps and class properties exceptions
2016-06-05 20:31:10 -04:00
Matthew Brown
7bcaa08db8
Remove check_nulls protection
2016-06-05 20:28:02 -04:00
Matthew Brown
d8854fd4ef
Transition to more flexible error handling
2016-06-05 20:25:16 -04:00
Matthew Brown
281751d85c
Check parent calls
2016-06-02 19:21:48 -04:00
Matthew Brown
14ca6c291e
Be more diligent about assigning inherited methods
2016-06-02 19:21:35 -04:00
Matthew Brown
2ae893120e
Ignore trailing slashes in user-supplied classes
2016-06-02 17:56:27 -04:00
Matthew Brown
9428941598
Do not break on coercion and mocks
2016-06-02 17:50:19 -04:00
Matthew Brown
d8404037be
Be smarter about looping through params
2016-06-02 17:47:28 -04:00
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
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
bd494daabd
Do better checking of types
2016-04-26 18:17:47 -04: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
Matthew Brown
278d2cb642
Comment out type coercion warnings
2016-04-15 13:24:20 -04:00
Matthew Brown
6684d80041
Add warning for type coercion
2016-04-15 13:11:49 -04:00
Matthew Brown
8c039151de
Fix FQCN resolution for registerMethod
2016-04-15 12:57:35 -04:00
Matthew Brown
fbc6cdb346
Fix name resolution for subclasses
2016-04-15 12:48:41 -04:00
Matthew Brown
c82a3a00a9
Fix isMock check
2016-04-12 16:22:25 -04:00
Matthew Brown
2bfe45ce24
Add more lenient method checking and permit object traversal
2016-04-12 16:12:20 -04:00
Matthew Brown
27ef730836
Support nested generic types
2016-04-12 11:59:27 -04:00
Matthew Brown
e4846cd62f
Add protective isset
2016-04-12 11:30:11 -04:00
Matthew Brown
ff578f8468
Add support for square bracket array declarations is_array checks
2016-04-12 11:28:36 -04:00
Matthew Brown
d07e340d66
Add support for iterator generics
2016-04-11 19:13:50 -04:00
Matthew Brown
283180115b
Fix incorrect test & implementation
2016-04-04 16:33:26 -04:00
Matthew Brown
321a0b8288
Fix ternary checks and be more lenient with null issues
2016-04-04 15:00:57 -04:00
Matthew Brown
208b6e833b
Remove var_dump
2016-04-04 14:29:32 -04:00
Matthew Brown
6ec754d21d
Add redefined var scanning to switch statements
2016-04-04 14:29:02 -04:00
Matthew Brown
ba4d5e6376
Do not check deeply-nested concatenations
2016-04-04 14:06:29 -04:00
Matthew Brown
5c132274f4
Add support for $this->x vars
2016-04-04 01:21:28 -04:00
Matthew Brown
9032aa065a
Fix variable redefinition
2016-04-04 00:17:19 -04:00
Matthew Brown
265df0f4cb
Improve message
2016-04-03 20:20:46 -04:00
Matthew Brown
13e9923cd5
Fix ternary else check
2016-04-03 20:14:19 -04:00
Matthew Brown
f4dd4cb782
Support testing statements
2016-04-03 19:41:54 -04:00
Matthew Brown
83b7896d2b
Move all files to PSR-4-compliant folder structure
2016-04-03 19:41:22 -04:00