/PHPStormSessionReproducer

Reproducer of a PHPStorm inspection issue

Primary LanguagePHP

PHPStorm Session reproducer

This package is a reproducer for a PHPStorm issue : WI-71214

The minimum classes were added in src/ directory. PHPStorm will trigger a false positive "Condition is always 'false' because '$session' is evaluated at this point" in index.php:7

Class Diagram

classDiagram
direction BT
class FlashBagAwareSessionInterface {
   getFlashBag() FlashBag
}
class Request {
   getSession() SessionInterface 
}
class Session {
   getFlashBag() FlashBag 
}
class SessionInterface
class FlashBag

FlashBagAwareSessionInterface  -->  SessionInterface 
Session  ..>  FlashBagAwareSessionInterface