original_string: public function writeDate(DateTime $data) {
  
              $this->stream->writeDouble($data->format('U')*1000);
  
              // empty timezone
              $this->stream->writeInt(0);
          }
code: public function writeDate(DateTime $data) {
  
              $this->stream->writeDouble($data->format('U')*1000);
  
              // empty timezone
              $this->stream->writeInt(0);
          }
code_tokens: public function writeDate ( DateTime $ data ) { $ this -> stream -> writeDouble ( $ data -> format ( 'U' ) * 1000 ) ; // empty timezone $ this -> stream -> writeInt ( 0 ) ; }
docstring: Writes a date object
  
  @param DateTime $data
  @return void
docstring_tokens: Writes a date object