Psalm issues

Author: tvdijen

lib/Client.php

@@ -23,7 +23,7 @@ class Client
     /**
      * The CDC server we send requests to.
      *
-     * @var Server|null
+     * @var Server
      */
     private $server;
 

www/resume.php

@@ -15,6 +15,10 @@
 if (!isset($response['id'])) {
     throw new \SimpleSAML\Error\BadRequest('CDCResponse without id.');
 }
-$state = \SimpleSAML\Auth\State::loadState($response['id'], 'cdc:resume');
 
-\SimpleSAML\Auth\ProcessingChain::resumeProcessing($state);
+$state = \SimpleSAML\Auth\State::loadState($response['id'], 'cdc:resume');
+if (!is_null($state)) {
+    \SimpleSAML\Auth\ProcessingChain::resumeProcessing($state);
+} else {
+    throw new \SimpleSAML\Error\NoState();
+}