annotate vendor/psy/psysh/src/Output/OutputPager.php @ 19:fa3358dc1485 tip

Add ndrum files
author Chris Cannam
date Wed, 28 Aug 2019 13:14:47 +0100
parents 5fb285c0d0e3
children
rev   line source
Chris@13 1 <?php
Chris@13 2
Chris@13 3 /*
Chris@13 4 * This file is part of Psy Shell.
Chris@13 5 *
Chris@13 6 * (c) 2012-2018 Justin Hileman
Chris@13 7 *
Chris@13 8 * For the full copyright and license information, please view the LICENSE
Chris@13 9 * file that was distributed with this source code.
Chris@13 10 */
Chris@13 11
Chris@13 12 namespace Psy\Output;
Chris@13 13
Chris@13 14 use Symfony\Component\Console\Output\OutputInterface;
Chris@13 15
Chris@13 16 /**
Chris@13 17 * An output pager is much the same as a regular OutputInterface, but allows
Chris@13 18 * the stream to be flushed to a pager periodically.
Chris@13 19 */
Chris@13 20 interface OutputPager extends OutputInterface
Chris@13 21 {
Chris@13 22 /**
Chris@13 23 * Close the current pager process.
Chris@13 24 */
Chris@13 25 public function close();
Chris@13 26 }