package org.overture.parser.messages;
///*******************************************************************************
// *
// * Copyright (c) 2009 Fujitsu Services Ltd.
// *
// * Author: Nick Battle
// *
// * This file is part of VDMJ.
// *
// * VDMJ is free software: you can redistribute it and/or modify
// * it under the terms of the GNU General Public License as published by
// * the Free Software Foundation, either version 3 of the License, or
// * (at your option) any later version.
// *
// * VDMJ 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 General Public License for more details.
// *
// * You should have received a copy of the GNU General Public License
// * along with VDMJ. If not, see <http://www.gnu.org/licenses/>.
// *
// ******************************************************************************/
//
//package org.overture.vdmj.messages;
//
//import java.io.IOException;
//import java.io.OutputStreamWriter;
//
//public class StdoutRedirector extends Redirector
//{
// public StdoutRedirector(OutputStreamWriter out)
// {
// super(out);
// }
//
// @Override
// public void print(String line)
// {
// try
// {
// switch (type)
// {
// case DISABLE:
// super.print(line);
// break;
//
// case COPY:
// super.print(line);
// dbgp.stdout(line);
// break;
//
// case REDIRECT:
// dbgp.stdout(line);
// break;
// }
// }
// catch (IOException e)
// {
// super.print(line); // Better than ignoring it??
// }
// }
// }