4562 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Matthew Brown	c1e1c0ae85	Check trait methods against interfaces	2016-12-28 20:33:26 -05:00
Matthew Brown	c5622f1ed1	Fix nullref	2016-12-28 19:58:32 -05:00
Matthew Brown	2bf515be5f	Check return types of functions in namespaces	2016-12-28 19:57:18 -05:00
Matthew Brown	b6455a2566	Improve how we disable clauses	2016-12-28 18:55:16 -05:00
Matthew Brown	63a75108f5	Evaluate more expressions up front	2016-12-28 17:04:03 -05:00
Matthew Brown	fa1da90fbe	Only warn about unimplemented interface methods for non-abstract classes	2016-12-28 16:46:30 -05:00
Matthew Brown	992e7ae256	Fix #1 - add in support for !==false-negating assertions in ifs	2016-12-28 16:39:05 -05:00
Matthew Brown	797875ba9a	Fix #10 - allow negated assignments	2016-12-28 16:29:50 -05:00
Matthew Brown	ea30af8a5a	Move assertion checks into separate file	2016-12-28 15:52:44 -05:00
Matthew Brown	48151d0190	Fix repeated assertion after unreconcilable clause	2016-12-28 14:53:49 -05:00
Matthew Brown	4919252260	Fix leaking ref in SwitchChecker	2016-12-28 14:38:16 -05:00
Matthew Brown	6972c45c14	Remove vars from parent clauses when they are reconciled with vars	2016-12-28 14:20:16 -05:00
Matthew Brown	4ee1a588ad	Merge pull request #28 from vimeo/clause-for-concern ... Add support for type algebra	2016-12-28 13:28:41 -05:00
Matthew Brown	05834a0db3	Fix #13 by revamping how we treat type assertions in if statements and ternary expressions	2016-12-28 13:12:06 -05:00
Matthew Brown	6b0537440f	Register all classes & interfaces declared in file before check	2016-12-28 13:10:58 -05:00
Matthew Brown	324b7b4801	Support old-style namespaced constructors	2016-12-27 01:06:05 +00:00
Matthew Brown	dac54c41ab	Fix array_filter with no second arg usage	2016-12-26 14:40:32 +00:00
Matthew Brown	74727c9564	Prevent value from breaking outside of scope	2016-12-26 11:39:50 +00:00
Matthew Brown	b6eea4e812	Fix #20 - emit an issue when param is missing a type or param	2016-12-25 11:32:21 +00:00
Matthew Brown	8ad3ee4f53	Fix for fix	2016-12-25 01:35:13 +00:00
Matthew Brown	6a19aa63d2	Fix array_filter return type	2016-12-25 01:33:14 +00:00
Matthew Brown	513fcea101	Only assign type when not null	2016-12-25 01:12:26 +00:00
Matthew Brown	1fe0eee8e4	Add generic type coercion checks	2016-12-25 01:08:58 +00:00
Matthew Brown	5248c003cb	Merge pull request #27 from vimeo/strict-operands ... Add operand typechecks	2016-12-24 18:36:07 +00:00
Matthew Brown	1007d1682c	Fix mixed operand issues	2016-12-24 18:29:11 +00:00
Matthew Brown	c51d8f5220	Implement MixedOperand and InvalidOperand issues	2016-12-24 18:29:11 +00:00
Matthew Brown	07c415d588	Add tests for upcoming functionality	2016-12-24 18:29:11 +00:00
Matthew Brown	c55870e26c	Allow generic TypeChecker::isContainedBy checks	2016-12-24 18:28:43 +00:00
Matthew Brown	35e3b17545	Add phpcs as a dev dep cc @erunion	2016-12-23 23:50:57 +00:00
Matthew Brown	dfa089f8df	Remove functionality that overlaps with phpcs FunctionCommentSniff	2016-12-23 22:48:36 +00:00
Matthew Brown	ea74388c7d	Update PHPUnit to version without count bug	2016-12-23 21:50:31 +00:00
Matthew Brown	57621e9555	Attempt to debug php nightly issues running phpunit	2016-12-23 21:37:53 +00:00
Matthew Brown	9474412343	Add extra test to check good behaviour passes	2016-12-23 20:14:13 +00:00
Matthew Brown	c41b0a4679	Tighten getParamsFromCallMap return type	2016-12-23 20:10:20 +00:00
Matthew Brown	1e96cea2c5	Check for nulls in parameter calls	2016-12-23 20:06:20 +00:00
Matthew Brown	f00c8ecebb	Add self-check to travis build	2016-12-23 19:47:35 +00:00
Matthew Brown	5f332a5500	Suppress test issue	2016-12-20 17:29:52 +00:00
Matthew Brown	e79dded17b	Fix #19 - InvalidDocblock errors have proper casing now	2016-12-19 22:02:00 +00:00
Matthew Brown	9a32b5fd40	Hide Mixed* issues under a totallyTyped config flag	2016-12-18 19:17:39 -05:00
Matthew Brown	52b3e1ba8c	Simplify test config setup;	2016-12-18 19:00:32 -05:00
Matthew Brown	9746c8972f	Fix MixedAssignment errors	2016-12-17 00:48:31 -05:00
Matthew Brown	d88bb4e135	Finish adding tests for all issues	2016-12-16 22:16:29 -05:00
Matthew Brown	972e3b5c6e	Fix failure to warn when class does not implement all interface methods	2016-12-16 22:15:31 -05: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	16e89a8c1c	Fix #26 - Allow refinement via type intersection ... Not just via explict subsets	2016-12-16 17:59:27 -05:00
Matthew Brown	dcec735d11	Fix generation of MixedArrayAccess issue	2016-12-15 01:28:36 -05:00
Matt Brown	a44dd4f6b0	Add more tests	2016-12-14 19:43:44 -05:00
Matt Brown	587e067567	Fix start time ref	2016-12-14 19:43:20 -05:00
Matt Brown	2cfbefee08	Avoid doubling-up values	2016-12-14 19:26:26 -05:00