166 Commits

Author	SHA1	Message	Date
Matthew Brown	1ece3071f9	Add reference counting for methods and remove dead code	2017-01-29 23:44:05 -05:00
Matthew Brown	d978966db4	Fix #37 - check parent calls for staticness	2017-01-29 22:13:53 -05:00
Matthew Brown	aaec895e15	Do not stop dead when a property cannot be evaluated	2017-01-28 16:12:04 -05:00
Matthew Brown	a9203b63f8	Allow phan-like use of assert	2017-01-28 15:17:14 -05:00
Matthew Brown	199686c4db	Add back local vars when descending into method call	2017-01-28 03:55:19 -07:00
Matthew Brown	4c3dacbbed	Prevent erroneous __toString conversion in method check	2017-01-27 18:06:11 -07:00
Matthew Brown	6bcc763414	Fix #3 by checking inside __constructor calls for initialisations	2017-01-26 23:23:12 -07:00
Matthew Brown	ff46487353	Be more discerning about unaryminus/plus inferred type	2017-01-25 21:50:34 -07:00
Matthew Brown	c14a19370f	Improve UnaryPlus/Minus still more	2017-01-25 20:23:06 -07:00
Matthew Brown	f03807e7b7	Fix unaryplus/minus type inference	2017-01-25 20:02:19 -07:00
Matthew Brown	ea63fd7ae3	Fix #75 - allow inteeger offsets for object-like arrays	2017-01-25 00:11:24 -07:00
Matthew Brown	0da9c10d36	Don’t complain when adding array and object-like array	2017-01-23 15:40:55 -07:00
Matthew Brown	374dc65de1	Fix #39 by checking for ArrayAcces interface	2017-01-20 00:23:58 -05:00
Matthew Brown	894b25487f	Fix #71 - prevent instantiation of abstract classes	2017-01-20 00:10:10 -05:00
Matt Brown	d0207b6098	Check that class exists before checking for ArrayAccess inheritors	2017-01-19 19:02:00 -05:00
Matt Brown	a67800cac7	Ignore cloning of mixed variables	2017-01-19 15:00:05 -05:00
Matt Brown	7116585e85	Be more robust when ignoring UndefinedClass errors	2017-01-19 11:45:25 -05:00
Matt Brown	a2750a92aa	Evaluate loop part of for after body	2017-01-18 17:13:20 -05:00
Matthew Brown	e78e710eef	Be more resilient in the face of class_exists checks	2017-01-17 23:34:17 -05:00
Matt Brown	dae7718ae8	Support array_combine types and introduce a MoreSpecificReturnType issue	2017-01-17 11:17:49 -05:00
Matthew Brown	e4769fd04a	Don’t give up when faced with variadic type	2017-01-17 00:07:58 -05:00
Matthew Brown	3cdb1753d5	Update to the more accurate TypeChecker::isContainedBy	2017-01-16 20:00:51 -05:00
Matthew Brown	9220b958eb	Fix phpcs errors	2017-01-16 19:06:39 -05:00
Matthew Brown	b3726c9de5	Use getcwd() for the project’s base, not the config file parent directory	2017-01-16 18:33:04 -05:00
Matthew Brown	e3a9cb98c3	Add extra issue for invalid clone and fix issue reporting;	2017-01-16 12:59:09 -05:00
Matthew Brown	4b283564ca	Allow variadic params to be passed by reference	2017-01-16 12:39:38 -05:00
Matthew Brown	5315fd15ad	Fix namespaced functions in regular use statements	2017-01-16 00:49:12 -05:00
Matthew Brown	ac92de181f	Allow classes that use __invoke to be called	2017-01-16 00:29:18 -05:00
Matthew Brown	f614944b63	Add predefined functions to avoid throwing errors	2017-01-15 20:11:02 -05:00
Matthew Brown	ce89ac4986	Fix #50 - asserting about docblock types no longer causes error	2017-01-15 17:52:01 -05:00
Matthew Brown	9b06b672ba	Fix #54 - register function constants when function is invoked	2017-01-15 16:43:49 -05:00
Matthew Brown	faccc73dc1	Fix #52 by analysing non-main parts of issets	2017-01-15 13:58:20 -05:00
Matthew Brown	8836f05027	Fix #56 - functions in root namespaces should not need slash	2017-01-15 12:34:23 -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
Matt Brown	35c06261b9	Fix #38 - emit issue for non-array on right too	2017-01-13 13:09:52 -05:00
Matt Brown	dc585ff22a	Fix #47 - check closure param types properly	2017-01-13 12:40:01 -05:00
Matthew Brown	c20f31855c	Fix namespaced function calls	2017-01-12 09:42:24 -05:00
Matthew Brown	5f54a9571c	Fix deep project checks	2017-01-12 01:03:48 -05:00
Matthew Brown	56be346191	Add back mutation checks	2017-01-11 21:37:53 -05:00
Matthew Brown	380ae61b3c	Don’t emit another error if we’re already ignoring TypeCoercion	2017-01-09 00:58:18 -05:00
Matthew Brown	bf76843d94	Fix foreach dependency errors	2017-01-09 00:58:05 -05:00
Matthew Brown	f318c52876	Improve function rechecking	2017-01-09 00:31:23 -05:00
Matthew Brown	03c5ea3cef	Store all class keys lowercased	2017-01-09 00:14:39 -05:00
Matthew Brown	5cc97e380d	Fix issue evaluating Foo::class	2017-01-07 17:24:43 -05:00
Matthew Brown	28cd8caca8	Change analyzeMethods to analyze	2017-01-07 15:57:25 -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	6ee69e547f	Do more to separate out processing steps	2017-01-06 01:07:11 -05:00
Matthew Brown	7609ca02c0	Fix #32 by evaluating all class references in files lazily	2017-01-04 23:42:58 -05:00