1
//////////////////////////////////////////////////////////////////////
3
// JCSP ("CSP for Java") Libraries //
4
// Copyright (C) 1996-2008 Peter Welch and Paul Austin. //
5
// 2001-2004 Quickstone Technologies Limited. //
7
// This library is free software; you can redistribute it and/or //
8
// modify it under the terms of the GNU Lesser General Public //
9
// License as published by the Free Software Foundation; either //
10
// version 2.1 of the License, or (at your option) any later //
13
// This library is distributed in the hope that it will be //
14
// useful, but WITHOUT ANY WARRANTY; without even the implied //
15
// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR //
16
// PURPOSE. See the GNU Lesser General Public License for more //
19
// You should have received a copy of the GNU Lesser General //
20
// Public License along with this library; if not, write to the //
21
// Free Software Foundation, Inc., 59 Temple Place, Suite 330, //
22
// Boston, MA 02111-1307, USA. //
24
// Author contact: P.H.Welch@kent.ac.uk //
27
//////////////////////////////////////////////////////////////////////
31
import org.jcsp.lang.*;
35
* An interface that should be implemented by
36
* <CODE>ChannelOutput</CODE> objects which are used for transmitting
40
* As well as usefully combining the <CODE>Networked</CODE> and
41
* <CODE>ChannelOutput</CODE> interfaces, this interface adds a
42
* <CODE>recreate()</CODE> that requests the implementing class should
43
* reinitialize itself.
46
* @author Quickstone Technologies Limited
48
public interface NetChannelOutput extends ChannelOutput, Networked
52
* Requests that the instance of the implementing class should
53
* reinitialize itself.
56
public void recreate();
60
* Requests that the instance of the implementing class should
61
* reinitialize itself with a new location.
64
* @param newLoc the new location.
66
public void recreate(NetChannelLocation newLoc);
70
* Destroys the channel writer end and frees all the
71
* underlying JCSP.NET resources.
74
public void destroyWriter();
78
* Returns the factory class used for constructing this channel
82
* @return the <code>Class</code> of the
84
public Class getFactoryClass();
b'\\ No newline at end of file'