/*********************************************************************/
/* */
/* 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) {}
}
}