original_string: public function getInt($key)
      {
          if (isset($this->store[$key])) {
              return (int) filter_var($this->store[$key], FILTER_SANITIZE_NUMBER_INT);
          }
  
          return (int) filter_input(INPUT_COOKIE, $key, FILTER_SANITIZE_NUMBER_INT);
      }
code: public function getInt($key)
      {
          if (isset($this->store[$key])) {
              return (int) filter_var($this->store[$key], FILTER_SANITIZE_NUMBER_INT);
          }
  
          return (int) filter_input(INPUT_COOKIE, $key, FILTER_SANITIZE_NUMBER_INT);
      }
code_tokens: public function getInt ( $ key ) { if ( isset ( $ this -> store [ $ key ] ) ) { return ( int ) filter_var ( $ this -> store [ $ key ] , FILTER_SANITIZE_NUMBER_INT ) ; } return ( int ) filter_input ( INPUT_COOKIE , $ key , FILTER_SANITIZE_NUMBER_INT ) ; }
docstring: Get cookie with FILTER_SANITIZE_NUMBER_INT
  
  @param  string $key
  
  @return int|null
docstring_tokens: Get cookie with FILTER_SANITIZE_NUMBER_INT