001    // This file is part of the Attempto Java Packages.
002    // Copyright 2008, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch).
003    //
004    // The Attempto Java Packages is free software: you can redistribute it and/or modify it under the
005    // terms of the GNU Lesser General Public License as published by the Free Software Foundation,
006    // either version 3 of the License, or (at your option) any later version.
007    //
008    // The Attempto Java Packages is distributed in the hope that it will be useful, but WITHOUT ANY
009    // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
010    // PURPOSE. See the GNU Lesser General Public License for more details.
011    //
012    // You should have received a copy of the GNU Lesser General Public License along with the Attempto
013    // Java Packages. If not, see http://www.gnu.org/licenses/.
014    
015    package ch.uzh.ifi.attempto.echocomp;
016    
017    import nextapp.echo2.app.Column;
018    import nextapp.echo2.app.Insets;
019    
020    /**
021     * This class produces a vertical empty space.
022     * 
023     * @author Tobias Kuhn
024     */
025    public class VSpace extends Column {
026    
027            /**
028             * Creates a vertical empty space of default size 5.
029             */
030            public VSpace() {
031                    this(5);
032            }
033    
034            /**
035             * Creates a vertical empty space of the given size.
036             * 
037             * @param size The size.
038             */
039            public VSpace(int size) {
040                    super();
041                    setInsets(new Insets(0, size, 0, 0));
042            }
043    
044    }