Java tutorial
/******************************************************************************* * Copyright (c) 2000, 2006 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation ******************************************************************************/ package org.eclipse.swt.custom; // import org.eclipse.swt.*; // import org.eclipse.swt.graphics.*; // import org.eclipse.rap.widgets.*; import org.eclipse.swt.SWT; import org.eclipse.swt.graphics.Point; import org.eclipse.swt.graphics.Rectangle; import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Control; import org.eclipse.swt.widgets.Layout; /** * This Layout stacks all the controls one on top of the other and resizes all * controls to have the same size and location. The control specified in * topControl is visible and all other controls are not visible. Users must set * the topControl value to flip between the visible items and then call layout() * on the composite which has the StackLayout. * <p> * Here is an example which places ten buttons in a stack layout and flips * between them: * * <pre><code> * public static void main( String[] args ) { * Display display = new Display(); * Shell shell = new Shell( display ); * shell.setLayout( new GridLayout() ); * final Composite parent = new Composite( shell, SWT.NONE ); * parent.setLayoutData( new GridData( GridData.FILL_BOTH ) ); * final StackLayout layout = new StackLayout(); * parent.setLayout( layout ); * final Button[] bArray = new Button[ 10 ]; * for( int i = 0; i < 10; i++ ) { * bArray[ i ] = new Button( parent, SWT.PUSH ); * bArray[ i ].setText( "Button " + i ); * } * layout.topControl = bArray[ 0 ]; * Button b = new Button( shell, SWT.PUSH ); * b.setText( "Show Next Button" ); * final int[] index = new int[ 1 ]; * b.addListener( SWT.Selection, new Listener() { * * public void handleEvent( Event e ) { * index[ 0 ] = ( index[ 0 ] + 1 ) % 10; * layout.topControl = bArray[ index[ 0 ] ]; * parent.layout(); * } * } ); * shell.open(); * while( shell != null && !shell.isDisposed() ) { * if( !display.readAndDispatch() ) * display.sleep(); * } * } * </code></pre> */ public class StackLayout extends Layout { /** * marginWidth specifies the number of pixels of horizontal margin that will * be placed along the left and right edges of the layout. The default value * is 0. */ public int marginWidth = 0; /** * marginHeight specifies the number of pixels of vertical margin that will be * placed along the top and bottom edges of the layout. The default value is * 0. */ public int marginHeight = 0; /** * topControl the Control that is displayed at the top of the stack. All other * controls that are children of the parent composite will not be visible. */ public Control topControl; protected Point computeSize(Composite composite, int wHint, int hHint, boolean flushCache) { Control children[] = composite.getChildren(); int maxWidth = 0; int maxHeight = 0; for (int i = 0; i < children.length; i++) { Point size = children[i].computeSize(wHint, hHint, flushCache); maxWidth = Math.max(size.x, maxWidth); maxHeight = Math.max(size.y, maxHeight); } int width = maxWidth + 2 * marginWidth; int height = maxHeight + 2 * marginHeight; if (wHint != SWT.DEFAULT) width = wHint; if (hHint != SWT.DEFAULT) height = hHint; return new Point(width, height); } protected boolean flushCache(Control control) { return true; } protected void layout(Composite composite, boolean flushCache) { Control children[] = composite.getChildren(); Rectangle rect = composite.getClientArea(); rect.x += marginWidth; rect.y += marginHeight; rect.width -= 2 * marginWidth; rect.height -= 2 * marginHeight; for (int i = 0; i < children.length; i++) { children[i].setBounds(rect); children[i].setVisible(children[i] == topControl); } } String getName() { String string = getClass().getName(); int index = string.lastIndexOf('.'); if (index == -1) return string; return string.substring(index + 1, string.length()); } /** * Returns a string containing a concise, human-readable description of the * receiver. * * @return a string representation of the layout */ public String toString() { String string = getName() + " {"; if (marginWidth != 0) string += "marginWidth=" + marginWidth + " "; if (marginHeight != 0) string += "marginHeight=" + marginHeight + " "; if (topControl != null) string += "topControl=" + topControl + " "; string = string.trim(); string += "}"; return string; } }