public final class FramedButton
********************************************************************** * JCSP ("CSP for Java") libraries * Copyright (C) 1996-2001 Peter Welch and Paul Austin. * * 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; either * version 2.1 of the License, or (at your option) any later version. * * 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. * * Author contact: P.H.Welch@ukc.ac.uk * * ***********************************************************************
Constructor and description |
---|
FramedButton
(String title, int pixDown, int pixAcross, ChannelInput configure, ChannelOutput event) Construct a framed button process. |
Construct a framed button process.
title
- the title for the frame (must not be null)pixDown
- the pixel hieght of the frame (must be at least 100)pixAcross
- the pixel width of the frame (must be at least 100)configure
- the configure channel for the button (must not be null)event
- the event channel from the button (must not be null)JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk