102 Commits

Author	SHA1	Message	Date
Matthew Brown	8c64dfd7fb	Add return types everywhere	2016-11-11 17:13:30 -05:00
Matthew Brown	5046caa240	Add some useful inheritance tests	2016-11-07 17:19:21 -05:00
Matthew Brown	7d6ac4719f	Fix offset assignment creation	2016-11-05 20:17:22 -04:00
Matthew Brown	b3f3a20928	Correctly evaluate $this and self in property/return types	2016-11-05 18:31:09 -04:00
Matthew Brown	c5591adf10	Add support for global in functions and mixed inferred return errors	2016-11-05 17:54:34 -04:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	d27e06cc86	Fix interface inheritance	2016-11-02 12:14:21 -04:00
Matthew Brown	5cc5bd4ed4	Fix tests to all have property types	2016-11-01 14:32:19 -04:00
Matthew Brown	4d5b0abb74	Add explicit value tracking	2016-10-30 19:52:35 -04:00
Matthew Brown	98437c52db	Check closure params to see if they align with array_map/array_filter args	2016-10-29 22:17:46 -04:00
Matthew Brown	4bf07d0adb	Add support for PHPDoc array style	2016-10-29 20:57:03 -04:00
Matthew Brown	95be3c4a05	Interpret variadic params as arrays	2016-10-29 20:50:24 -04:00
Matthew Brown	b31ac4a862	Removed object-like type descriptor in favour of array{} syntax	2016-10-28 13:24:06 -04:00
Matthew Brown	3578db69fc	Add interface inheritance test	2016-10-24 19:20:28 -04:00
Matthew Brown	ce95275878	Fix more Psalm bugs found by Psalm	2016-10-23 12:24:53 -04:00
Matthew Brown	6d8e722a77	Add support for anonymous classes	2016-10-20 20:54:17 -04:00
Matthew Brown	6283553d19	Properly clear cache	2016-10-20 18:16:17 -04:00
Matthew Brown	d71d439e25	Closure basically implements callable	2016-10-20 18:05:28 -04:00
Matthew Brown	8c23d0829a	Add typed support for spaceship operator	2016-10-20 14:28:16 -04:00
Matthew Brown	a4644a0e4a	Add support for Generator types	2016-10-20 14:28:16 -04:00
Matthew Brown	74abadf6c7	Add checkable return type for Generator	2016-10-20 11:31:39 -04:00
Matthew Brown	23529a6f70	Add more complicated yield test	2016-10-20 11:31:19 -04:00
Matthew Brown	8be174999e	Add more failing PHP7.0 tests	2016-10-20 00:47:10 -04:00
Matthew Brown	518e8bcbaf	Support PHP5.5 features (except yield, for now)	2016-10-20 00:13:35 -04:00
Matthew Brown	451d97e0ed	Add support for variadic and packed variables	2016-10-19 00:31:32 -04:00
Matthew Brown	58bb10b948	Improve maths type resolution	2016-10-19 00:00:49 -04:00
Matthew Brown	4b96a08871	Fix syntax error	2016-10-18 23:35:30 -04:00
Matthew Brown	5e1fc3c38b	Add PHP 5.6 feature tests	2016-10-18 22:23:09 -04:00
Matthew Brown	cf7d2d1747	Add test for type hints	2016-10-18 22:02:38 -04:00
Matthew Brown	935b9dfe07	Be more sensitive to function_exists checks, do not apply to whole function	2016-10-18 16:14:52 -04:00
Matthew Brown	2fe46b08b4	Add additional array check	2016-10-15 13:11:08 -04:00
Matthew Brown	18a55e2854	Also inspect arrays from strings	2016-10-15 13:10:05 -04:00
Matthew Brown	c4648673bf	Rename @suppress to @psalm-suppress	2016-10-11 14:17:55 -04:00
Matthew Brown	472e4df3cc	Allow mixed to match function args	2016-10-10 22:49:43 -04:00
Matthew Brown	e14cadd32e	Add tests for elseif reconciliation	2016-10-03 11:40:42 -04:00
Matthew Brown	c178e5c882	Add tests for nested assignment	2016-10-03 00:44:05 -04:00
Matthew Brown	8730c67d2a	Fix tests	2016-10-02 22:01:01 -04:00
Matthew Brown	17d99b5fa7	Add ObjectLike combination tests	2016-10-02 18:59:58 -04:00
Matthew Brown	f3bedeb671	Add test for a336d6c	2016-10-01 22:47:50 -04:00
Matthew Brown	9f37dc8626	Check for arrayAccess erroneous vars	2016-09-22 13:45:47 -04:00
Matthew Brown	42c8923981	Fix isset assertions	2016-09-22 12:26:24 -04:00
Matthew Brown	f44eed1d8c	Update tests to look for object-like types	2016-09-22 00:50:47 -04:00
Matthew Brown	5113ffefee	Add a fully-parsable representation of object-like types	2016-09-22 00:31:07 -04:00
Matthew Brown	041f183d49	Add a bunch of new checks	2016-09-21 19:15:09 -04:00
Matthew Brown	93a5e6775d	Add object-like type to represent cheating arrays	2016-09-20 21:45:49 -04:00
Matthew Brown	6da0b1cb87	Add even more tests	2016-09-15 14:21:51 -04:00
Matthew Brown	cb09a190ce	Add more breaking tests	2016-09-13 00:18:41 -04:00
Matthew Brown	27b731a062	Add failing test	2016-09-12 19:44:46 -04:00
Matthew Brown	00065e73b9	Add extra tests for safety	2016-09-12 19:31:16 -04:00
Matthew Brown	cee7f18b11	Add extra test for type combinations	2016-09-12 00:03:37 -04:00