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 }