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
//////////////////////////////////////////////////////////////////////
29
package org.jcsp.lang;
32
* Defines a wrapper to go around a channel output end. This wrapper allows a channel end to be given
33
* away without any risk of the user of that end casting it to a channel input because they cannot
34
* gain access to the actual channel end.
36
* @deprecated There is no longer any need to use this class, after the 1.1 class reorganisation.
38
* @author Quickstone Technologies Limited
40
public class ChannelOutputWrapper implements ChannelOutput
43
* The actual channel end.
45
private ChannelOutput out;
48
* Creates a new wrapper for the given channel end.
50
* @param out the existing channel end.
52
public ChannelOutputWrapper(ChannelOutput out)
58
* Writes a value to the channel.
60
* @param o the value to write.
61
* @see org.jcsp.lang.ChannelOutput
63
public void write(Object o)
68
public void poison(int strength)