original_string: public function withTimezone($timezone): DateTime
      {
          return new static(
              $this->date(),
              $this->time(),
              Timezone::create($timezone)
          );
      }
code: public function withTimezone($timezone): DateTime
      {
          return new static(
              $this->date(),
              $this->time(),
              Timezone::create($timezone)
          );
      }
code_tokens: public function withTimezone ( $ timezone ) : DateTime { return new static ( $ this -> date ( ) , $ this -> time ( ) , Timezone :: create ( $ timezone ) ) ; }
docstring: Creates instance with a given timezone
  
  Note: This method does not convert the date/time values
  
  @param mixed $timezone The timezone value
  
  @return DateTime
  
  @throws DomainException When the timezone is not valid
docstring_tokens: Creates instance with a given timezone