m0003r 77270dc9b7 Getters automagic (#3122) ... * When method is a plain getter: (1) correct method return type if property type is known (2) auto assert-if-true that corresponding property is not falsy * do not use getter automagic if getter is overridden somewhere		2020-04-12 08:40:24 -04:00
..
ArgumentMapPopulator.php
AtomicCallContext.php
AtomicMethodCallAnalysisResult.php
AtomicMethodCallAnalyzer.php	Getters automagic (#3122)	2020-04-12 08:40:24 -04:00
ClassTemplateParamCollector.php
FunctionCallAnalyzer.php	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
MethodCallAnalyzer.php	Allow plain assertions (@psalm-assert) about $this (fixes #3105) (#3108)	2020-04-09 08:15:07 -04:00
MethodCallProhibitionAnalyzer.php
MethodCallPurityAnalyzer.php
MethodCallReturnTypeFetcher.php	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
MethodVisibilityAnalyzer.php
MissingMethodCallHandler.php	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
NewAnalyzer.php	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
StaticCallAnalyzer.php	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00