It seems like you code against a concrete implementation and not the interface Doctrine\DBAL\Driver\Connection as the method getServerVersion() does only exist in the following implementations of said interface: Doctrine\DBAL\Connection, Doctrine\DBAL\Connections\MasterSlaveConnection, Doctrine\DBAL\Driver\DrizzlePDOMySql\Connection, Doctrine\DBAL\Driver\IBMDB2\DB2Connection, Doctrine\DBAL\Driver\Mysqli\MysqliConnection, Doctrine\DBAL\Driver\OCI8\OCI8Connection, Doctrine\DBAL\Driver\PDOConnection, Doctrine\DBAL\Driver\PDOSqlsrv\Connection, Doctrine\DBAL\Driver\SQL...e\SQLAnywhereConnection, Doctrine\DBAL\Driver\SQLSrv\SQLSrvConnection, Doctrine\DBAL\Portability\Connection, Doctrine\DBAL\Sharding\PoolingShardConnection.
Let’s take a look at an example:
interfaceUser{/** @return string */publicfunctiongetPassword();}classMyUserimplementsUser{publicfunctiongetPassword(){// return something}publicfunctiongetDisplayName(){// return some name.}}classAuthSystem{publicfunctionauthenticate(User$user){$this->logger->info(sprintf('Authenticating %s.',$user->getDisplayName()));// do something.}}
In the above example, the authenticate() method works fine as long as you just pass
instances of MyUser. However, if you now also want to pass a different implementation
of User which does not have a getDisplayName() method, the code will break.
classAuthSystem{publicfunctionauthenticate(User$user){if($userinstanceofMyUser){$this->logger->info(/** ... */);}// or alternativelyif(!$userinstanceofMyUser){thrownew\LogicException('$user must be an instance of MyUser, '.'other instances are not supported.');}}}
Note: PHP Analyzer uses reverse abstract interpretation to narrow down the types
inside the if block in such a case.
Let’s take a look at an example:
In the above example, the authenticate() method works fine as long as you just pass instances of MyUser. However, if you now also want to pass a different implementation of User which does not have a getDisplayName() method, the code will break.
Available Fixes
Change the type-hint for the parameter:
Add an additional type-check:
Add the method to the interface: