original_string: public function copy_page() {
          if (!$this->filename) {
              return false;
          }
          if ($this->currentpage>=$this->pagecount) {
              return false;
          }
          $this->currentpage++;
          $this->create_page_from_source($this->currentpage);
          return true;
      }
code: public function copy_page() {
          if (!$this->filename) {
              return false;
          }
          if ($this->currentpage>=$this->pagecount) {
              return false;
          }
          $this->currentpage++;
          $this->create_page_from_source($this->currentpage);
          return true;
      }
code_tokens: public function copy_page ( ) { if ( ! $ this -> filename ) { return false ; } if ( $ this -> currentpage >= $ this -> pagecount ) { return false ; } $ this -> currentpage ++ ; $ this -> create_page_from_source ( $ this -> currentpage ) ; return true ; }
docstring: Copy the next page from the source file and set it as the current page
  @return bool true if successful
docstring_tokens: Copy the next page from the source file and set it as the current page