1170 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	e9bf13ecc0	Go back to regular nikic parser	2016-04-30 11:53:54 -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	866727ec27	Add test for negation after break/continue	2016-04-26 18:18:05 -04:00
Matthew Brown	bd494daabd	Do better checking of types	2016-04-26 18:17:47 -04:00
Matthew Brown	97c0f91afe	Add proper namespaces	2016-04-21 12:02:21 +01: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	d2243c3317	Add sanity check tests	2016-04-12 16:12:38 -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