107 Commits

Author	SHA1	Message	Date
Matthew Brown	8d46c65815	Only make non-null if inside constructor	2017-04-14 23:26:58 -04:00
Matthew Brown	60be6f07a0	Delay checks for MissingPropertyType so we can give more useful messages	2017-04-14 23:09:34 -04:00
SignpostMarv	46a0b03aac	enable the exposure of the source line number when DocblockParseException is thrown	2017-04-11 22:14:15 +01:00
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	83edf8c4db	Complete the circle – fix remaining type algebra issue	2017-04-01 19:04:49 -04:00
Matthew Brown	18af05fbd9	Do not stop at magic setter when property referenced locally	2017-03-18 15:00:01 -04:00
Matthew Brown	5cd1b6735f	Add even more references in docblocks	2017-03-01 22:27:52 -05:00
Matt Brown	0049e4deb4	Fix #105 and also the issues found in its wake	2017-02-23 19:36:51 -05:00
Matthew Brown	fa3b292fd4	Fix #101 - restrict the values of pass-by-ref variables	2017-02-23 00:25:28 -05:00
Matthew Brown	f32fabd798	Remove dead code	2017-02-11 19:30:06 -05:00
Matthew Brown	35e4b380cc	Add collection of PossiblyNull* issues	2017-02-11 17:55:08 -05:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -05:00
Matt Brown	6b2bb7d917	Store first code location for all variables in a statement list	2017-02-07 18:09:12 -05:00
Matthew Brown	01beb97413	Fix #87 - array types from docblocks can be reasoned about safely	2017-02-03 22:07:14 -05:00
Matthew Brown	ec65f31aaa	Improve dead code analysis and fix errors found	2017-02-02 00:20:58 -05:00
Matthew Brown	d3abc0011d	Fix #80 - add dead code checks via command line	2017-01-31 23:24:33 -05:00
Matthew Brown	1ece3071f9	Add reference counting for methods and remove dead code	2017-01-29 23:44:05 -05:00
Matthew Brown	ea63fd7ae3	Fix #75 - allow inteeger offsets for object-like arrays	2017-01-25 00:11:24 -07:00
Matthew Brown	374dc65de1	Fix #39 by checking for ArrayAcces interface	2017-01-20 00:23:58 -05:00
Matthew Brown	e78e710eef	Be more resilient in the face of class_exists checks	2017-01-17 23:34:17 -05:00
Matthew Brown	9220b958eb	Fix phpcs errors	2017-01-16 19:06:39 -05:00
Matthew Brown	ad38a26524	Hoist class check above method check	2017-01-15 10:24:38 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matthew Brown	03c5ea3cef	Store all class keys lowercased	2017-01-09 00:14:39 -05:00
Matthew Brown	17329015dc	Discriminate between checking, visiting and analyzing in method names	2017-01-07 15:09:47 -05:00
Matthew Brown	694da2cabd	Simplify a lot of APIs	2017-01-07 14:35:07 -05:00
Matthew Brown	7609ca02c0	Fix #32 by evaluating all class references in files lazily	2017-01-04 23:42:58 -05:00
Matthew Brown	882c8a8d0c	Add better checking of property array assignments	2017-01-02 00:08:35 -05:00
Matthew Brown	883ca6a5db	Fix #30 by consolidating properties into single storage array	2017-01-01 19:09:17 -05:00
Matthew Brown	a524ca8184	Suppress more notices	2016-12-30 20:39:12 -05:00
Matthew Brown	b068bd7858	Fix many bugs	2016-12-30 20:05:32 -05:00
Matthew Brown	4a10bdbc60	Fix suppressed warnings in tests	2016-12-30 19:36:35 -05:00
Matthew Brown	641ffc09c9	Add NullOperand issue for easy ignoring	2016-12-29 00:32:12 -05:00
Matthew Brown	1fe0eee8e4	Add generic type coercion checks	2016-12-25 01:08:58 +00:00
Matthew Brown	c51d8f5220	Implement MixedOperand and InvalidOperand issues	2016-12-24 18:29:11 +00:00
Matt Brown	d012510a41	Fix some mixed assignment issues	2016-12-16 19:22:30 -05:00
Matt Brown	6755c8724a	Add tests for M* issues, fixing bugs along the way	2016-12-16 18:56:23 -05:00
Matt Brown	1d804cde66	Expand scope of property checks	2016-12-14 19:19:25 -05:00
Matthew Brown	592ee98efc	Fix bugs discovered by adding more tests	2016-12-11 23:40:46 -05:00
Matthew Brown	73b1ab1411	Support int offsets in dealing with type inference	2016-12-10 18:24:28 -05:00
Matt Brown	c9557d47ce	Fix exponentiation and modulo type inference	2016-12-08 16:37:14 -05:00
Matt Brown	af1a932655	Make code location more accurate	2016-12-06 18:27:22 -05:00
Matthew Brown	ef1049224d	Add selection of return types in code preview	2016-12-06 16:33:47 -05:00
Matthew Brown	03d8a4ab0b	Add support for array destructuring with keys	2016-12-04 14:14:00 -05:00
Matthew Brown	b912dd2777	Add support for array destructuring	2016-12-04 13:35:38 -05:00
Matthew Brown	7cb6891a0b	Add support for class constant visibility	2016-12-04 01:44:33 -05:00
Matthew Brown	0675e3364a	Fix PHPParser 3.0.1 compatibility issues	2016-12-03 22:41:45 -05:00
Matthew Brown	a1acbfec07	Show code snippets when reporting errors ... This also introduces a new method of identifying specific code locations when creating issues	2016-12-03 19:11:30 -05:00
Matthew Brown	409a7e4b9e	Fix assignment checks	2016-11-13 15:39:16 -05:00
Matthew Brown	264e77addd	Change a few more words	2016-11-07 19:16:51 -05:00
Matthew Brown	36fc49965b	Correct speling	2016-11-07 17:31:02 -05:00
Matthew Brown	622a0794c3	Swap in Fully-Qualified for Absolute terms	2016-11-07 17:29:51 -05:00
Matthew Brown	b3f3a20928	Correctly evaluate $this and self in property/return types	2016-11-05 18:31:09 -04:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	5cc5bd4ed4	Fix tests to all have property types	2016-11-01 14:32:19 -04:00
Matthew Brown	b78e83c4c0	Break out method	2016-11-01 14:20:01 -04:00
Matthew Brown	712752d587	Split out asssignment methods	2016-11-01 11:37:58 -04:00