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 |
|
Matt Brown
|
1d804cde66
|
Expand scope of property checks
|
2016-12-14 19:19:25 -05:00 |
|
Matt Brown
|
c4b1633d78
|
Add cache dir nulling back
|
2016-12-14 12:58:56 -05:00 |
|
Matt Brown
|
c91e457c28
|
Add psalm.xml support for checking tests
|
2016-12-14 12:55:23 -05:00 |
|
Matt Brown
|
1b8abc8f17
|
Change NullReference issue to NullArgument when in method call
|
2016-12-14 12:54:34 -05:00 |
|
Matt Brown
|
6ee8d473a0
|
Fix support for includeFiles
|
2016-12-14 12:53:11 -05:00 |
|
Matt Brown
|
154d023a9d
|
Add more robust config testing
|
2016-12-14 12:28:38 -05:00 |
|
Matt Brown
|
fa50a250c3
|
Limit snippet selection by preview bounds
|
2016-12-12 19:11:21 -05:00 |
|