annotate vendor/psy/psysh/src/Psy/Readline/Transient.php @ 7:848c88cfe644

More layout
author Chris Cannam
date Fri, 05 Jan 2018 13:59:44 +0000
parents 4c8ae668cc8c
children
rev   line source
Chris@0 1 <?php
Chris@0 2
Chris@0 3 /*
Chris@0 4 * This file is part of Psy Shell.
Chris@0 5 *
Chris@0 6 * (c) 2012-2017 Justin Hileman
Chris@0 7 *
Chris@0 8 * For the full copyright and license information, please view the LICENSE
Chris@0 9 * file that was distributed with this source code.
Chris@0 10 */
Chris@0 11
Chris@0 12 namespace Psy\Readline;
Chris@0 13
Chris@0 14 use Psy\Exception\BreakException;
Chris@0 15
Chris@0 16 /**
Chris@0 17 * An array-based Readline emulation implementation.
Chris@0 18 */
Chris@0 19 class Transient implements Readline
Chris@0 20 {
Chris@0 21 private $history;
Chris@0 22 private $historySize;
Chris@0 23 private $eraseDups;
Chris@0 24
Chris@0 25 /**
Chris@0 26 * Transient Readline is always supported.
Chris@0 27 *
Chris@0 28 * {@inheritdoc}
Chris@0 29 */
Chris@0 30 public static function isSupported()
Chris@0 31 {
Chris@0 32 return true;
Chris@0 33 }
Chris@0 34
Chris@0 35 /**
Chris@0 36 * Transient Readline constructor.
Chris@0 37 */
Chris@0 38 public function __construct($historyFile = null, $historySize = 0, $eraseDups = false)
Chris@0 39 {
Chris@0 40 // don't do anything with the history file...
Chris@0 41 $this->history = array();
Chris@0 42 $this->historySize = $historySize;
Chris@0 43 $this->eraseDups = $eraseDups;
Chris@0 44 }
Chris@0 45
Chris@0 46 /**
Chris@0 47 * {@inheritdoc}
Chris@0 48 */
Chris@0 49 public function addHistory($line)
Chris@0 50 {
Chris@0 51 if ($this->eraseDups) {
Chris@0 52 if (($key = array_search($line, $this->history)) !== false) {
Chris@0 53 unset($this->history[$key]);
Chris@0 54 }
Chris@0 55 }
Chris@0 56
Chris@0 57 $this->history[] = $line;
Chris@0 58
Chris@0 59 if ($this->historySize > 0) {
Chris@0 60 $histsize = count($this->history);
Chris@0 61 if ($histsize > $this->historySize) {
Chris@0 62 $this->history = array_slice($this->history, $histsize - $this->historySize);
Chris@0 63 }
Chris@0 64 }
Chris@0 65
Chris@0 66 $this->history = array_values($this->history);
Chris@0 67
Chris@0 68 return true;
Chris@0 69 }
Chris@0 70
Chris@0 71 /**
Chris@0 72 * {@inheritdoc}
Chris@0 73 */
Chris@0 74 public function clearHistory()
Chris@0 75 {
Chris@0 76 $this->history = array();
Chris@0 77
Chris@0 78 return true;
Chris@0 79 }
Chris@0 80
Chris@0 81 /**
Chris@0 82 * {@inheritdoc}
Chris@0 83 */
Chris@0 84 public function listHistory()
Chris@0 85 {
Chris@0 86 return $this->history;
Chris@0 87 }
Chris@0 88
Chris@0 89 /**
Chris@0 90 * {@inheritdoc}
Chris@0 91 */
Chris@0 92 public function readHistory()
Chris@0 93 {
Chris@0 94 return true;
Chris@0 95 }
Chris@0 96
Chris@0 97 /**
Chris@0 98 * {@inheritdoc}
Chris@0 99 *
Chris@0 100 * @throws BreakException if user hits Ctrl+D
Chris@0 101 *
Chris@0 102 * @return string
Chris@0 103 */
Chris@0 104 public function readline($prompt = null)
Chris@0 105 {
Chris@0 106 echo $prompt;
Chris@0 107
Chris@0 108 return rtrim(fgets($this->getStdin(), 1024));
Chris@0 109 }
Chris@0 110
Chris@0 111 /**
Chris@0 112 * {@inheritdoc}
Chris@0 113 */
Chris@0 114 public function redisplay()
Chris@0 115 {
Chris@0 116 // noop
Chris@0 117 }
Chris@0 118
Chris@0 119 /**
Chris@0 120 * {@inheritdoc}
Chris@0 121 */
Chris@0 122 public function writeHistory()
Chris@0 123 {
Chris@0 124 return true;
Chris@0 125 }
Chris@0 126
Chris@0 127 /**
Chris@0 128 * Get a STDIN file handle.
Chris@0 129 *
Chris@0 130 * @throws BreakException if user hits Ctrl+D
Chris@0 131 *
Chris@0 132 * @return resource
Chris@0 133 */
Chris@0 134 private function getStdin()
Chris@0 135 {
Chris@0 136 if (!isset($this->stdin)) {
Chris@0 137 $this->stdin = fopen('php://stdin', 'r');
Chris@0 138 }
Chris@0 139
Chris@0 140 if (feof($this->stdin)) {
Chris@0 141 throw new BreakException('Ctrl+D');
Chris@0 142 }
Chris@0 143
Chris@0 144 return $this->stdin;
Chris@0 145 }
Chris@0 146 }