ReloadManager


1   /*
2    * $Id: ReloadManager.java,v 1.5 2004/12/01 07:54:06 hengels Exp $
3    * Copyright 2000,2005 wingS development team.
4    *
5    * This file is part of wingS (http://www.j-wings.org).
6    *
7    * wingS is free software; you can redistribute it and/or modify
8    * it under the terms of the GNU Lesser General Public License
9    * as published by the Free Software Foundation; either version 2.1
10   * of the License, or (at your option) any later version.
11   *
12   * Please see COPYING for the complete licence.
13   */
14  package org.wings;
15  
16  import org.wings.resource.DynamicResource;
17  
18  import java.util.Set  ;
19  
20  /**
21   * The reload manager interface.
22   *
23   * @author <a HREF="mailto:engels@mercatis.de">Holger Engels</a>
24   * @version $Revision: 1.5 $
25   */
26  public interface ReloadManager {
27      void reload(SComponent component);
28  
29      /**
30       * Mark a <code>component</code> dirty.
31       * Frames that contain dirty components have to be reloaded.
32       *
33       * @param component the dirty component
34       */
35      void markDirty(DynamicResource component);
36  
37      /**
38       * Return a set of all dynamic resources that are marked dirty.
39       *
40       * @return a set all dynamic resource that have been marked dirty.
41       */
42      Set   getDirtyResources();
43  
44      /**
45       * Clear dirty components collection.
46       */
47      void clear();
48  
49      void invalidateResources();
50  }
51

A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame

Popular Tags