original_string: public function getZip(string $id): Zip {
  
          if ( array_key_exists($id, $this->zip_archives) === false ) {
              throw new ZipException("Archive id $id not found");
          }
          return $this->zip_archives[$id];
  
      }
code: public function getZip(string $id): Zip {
  
          if ( array_key_exists($id, $this->zip_archives) === false ) {
              throw new ZipException("Archive id $id not found");
          }
          return $this->zip_archives[$id];
  
      }
code_tokens: public function getZip ( string $ id ) : Zip { if ( array_key_exists ( $ id , $ this -> zip_archives ) === false ) { throw new ZipException ( "Archive id $id not found" ) ; } return $ this -> zip_archives [ $ id ] ; }
docstring: Get a Zip object by Id
  
  @param string $id The zip id
  
  @return Zip
  @throws ZipException
docstring_tokens: Get a Zip object by Id