/*********************************************************************/ /* */ /* AgentService Framework */ /* www.agentservice.it */ /* */ /* Copyright (C) 2007 l.i.d.o. - DIST, University of Genoa, Italy */ /* GNU Lesser General Public License */ /* */ /* This library is free software; you can redistribute it and/or */ /* modify it under the terms of the GNU Lesser General Public */ /* License as published by the Free Software Foundation, */ /* version 2.1 of the License. */ /* */ /* This library is distributed in the hope that it will be useful, */ /* but WITHOUT ANY WARRANTY; without even the implied warranty of */ /* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU */ /* Lesser General Public License for more details. */ /* */ /* You should have received a copy of the GNU Lesser General Public */ /* License along with this library; if not, write to the */ /* Free Software Foundation, Inc., 59 Temple Place - Suite 330, */ /* Boston, MA 02111-1307, USA. */ /* */ /*********************************************************************/ using System; using AgentService.Platform.Commands; using AgentService.Platform.DF; namespace AgentService.Platform { /// /// Class PlatformShell. Platform shell used to issue commands to the platform. /// public class PlatformShell /* : IPlatformShell */ { /// /// input console /// private System.IO.TextReader input; /// /// Constructs an PlatformShell object attached to /// the standard input /// public PlatformShell() { this.input = System.Console.In; } /// /// Constructs a PlatformShell object attached to the given /// TextReader object /// /// TextReader source for the Shell public PlatformShell(System.IO.TextReader input) { if (input == null) throw new ArgumentNullException("input","TextReader object cannot be null"); this.input = input; } /// /// Reads the next command from the input /// /// Command object public PlatformCommand NextCommand() { return null; } /// /// Sets a new input source for the shell /// public void SwitchToInput(System.IO.TextReader input) { if (input == null) throw new ArgumentNullException("input","cannot assign a null input"); this.input = input; } public void SwitchToOutputs(System.IO.TextWriter mainConsole, System.IO.TextWriter errorConsole) {} } }