support ext-discount and ext-cmark

[mdref/mdref] / mdref / File.php

diff --git a/mdref/File.php b/mdref/File.php
index 4afd3b430559a16b804945f1e14aa0eb6b4dadf2..33cfa6f413627049dff644014af1a1d9f85425a7 100644 (file)
--- a/mdref/File.php
+++ b/mdref/File.php
@@ -24,30 +24,46 @@ class File {
         * @return string
         */
        public function readTitle() {
-               if (0 === fseek($this->fd, 1, SEEK_SET)) {
+               if ($this->rewind(1)) {
                        return fgets($this->fd);
                }
        }
 
        /**
-        * Read the description of the refentry
+        * Read the description (first line) of the refentry
         * @return string
         */
        public function readDescription() {
-               if (0 === fseek($this->fd, 0, SEEK_SET)
+               if ($this->rewind()
                && (false !== fgets($this->fd))
                && (false !== fgets($this->fd))) {
                        return fgets($this->fd);
                }
        }
 
+       /**
+        * Read the full description (first section) of the refentry
+        * @return string
+        */
+       public function readFullDescription() {
+               $desc = $this->readDescription();
+               while (false !== ($line = fgets($this->fd))) {
+                       if ($line{0} === "#") {
+                               break;
+                       } else {
+                               $desc .= $line;
+                       }
+               }
+               return $desc;
+       }
+
        /**
         * Read the first subsection of a global refentry
         * @return string
         */
        public function readIntro() {
                $intro = "";
-               if (0 === fseek($this->fd, 0, SEEK_SET)) {
+               if ($this->rewind()) {
                        $header = false;
 
                        while (!feof($this->fd)) {
@@ -55,7 +71,7 @@ class File {
                                        break;
                                }
                                /* search first header and read until next header*/
-                               if ("## " === substr($line, 0, 3)) {
+                               if ($this->isHeading($line)) {
                                        if ($header) {
                                                break;
                                        } else {
@@ -70,4 +86,42 @@ class File {
                }
                return $intro;
        }
+
+       public function readSection($title) {
+               $section = "";
+               if ($this->rewind()) {
+                       while (!feof($this->fd)) {
+                               if (false === ($line = fgets($this->fd))) {
+                                       break;
+                               }
+                               /* search for heading with $title and read until next heading */
+                               if ($this->isHeading($line, $title)) {
+                                       do {
+                                               if (false === $line = fgets($this->fd)) {
+                                                       break;
+                                               }
+                                               if ($this->isHeading($line)) {
+                                                       break;
+                                               }
+                                               $section .= $line;
+                                       } while (true);
+                               }
+                       }
+               }
+               return $section;
+       }
+
+       private function rewind($offset = 0) {
+               return 0 === fseek($this->fd, $offset, SEEK_SET);
+       }
+
+       private function isHeading(string $line, string $title = null) {
+               if ("## " !== substr($line, 0, 3)) {
+                       return false;
+               }
+               if (isset($title)) {
+                       return !strncmp(substr($line, 3), $title, strlen($title));
+               }
+               return true;
+       }
 }