001    // This file is part of the Attempto Java Packages.
002    // Copyright 2008-2009, 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.acewiki;
016    
017    /**
018     * This interface describes a task that should be performed asynchronously because it is
019     * potentially time-consuming and should not delay the GUI.
020     * 
021     * @author Tobias Kuhn
022     */
023    public interface Task {
024            
025            /**
026             * This method should perform the time-consuming task that is performed asynchronously.
027             */
028            public void run();
029            
030            /**
031             * This method should do the GUI update after {@link #run} has finished.
032             */
033            public void updateGUI();
034    
035    }