Return to ContainerInterface.java CVS log

Up to [Public] / java / classes / org / w3c / tools / resources

Annotation of java/classes/org/w3c/tools/resources/ContainerInterface.java, revision 1.1

1.1     ! bmahe       1: // ContainerInterface.java
        !             2: // $Id: ContainerInterface.java,v 1.4 1997/12/04 17:19:43 bmahe Exp $
        !             3: // (c) COPYRIGHT MIT and INRIA, 1996.
        !             4: // Please first read the full copyright statement in file COPYRIGHT.html
        !             5: 
        !             6: package org.w3c.tools.resources ;
        !             7: 
        !             8: import java.util.*;
        !             9: 
        !            10: public interface ContainerInterface {
        !            11: 
        !            12:   /**
        !            13:    * Enumerate children resource identifiers.
        !            14:    * @param all Should all resources be enumerated ? Resources are often
        !            15:    * created on demand only, this flag allows the caller to tell the 
        !            16:    * container about wether it is interested only in already created
        !            17:    * resources, or in all resources (even the one that have not yet been
        !            18:    * created).
        !            19:    * @return An String enumeration, one element per child.
        !            20:    */
        !            21: 
        !            22:   public Enumeration enumerateResourceIdentifiers(boolean all);
        !            23: 
        !            24:   /**
        !            25:    * Lookup a children in the container.
        !            26:    * @param name The name of the children to lookup.
        !            27:    * @exception InvalidResourceException If the container could not restore 
        !            28:    * the resource from its store.
        !            29:    */
        !            30: 
        !            31:   public ResourceReference lookup(String name);
        !            32: 
        !            33:   /**
        !            34:    * Remove a child resource from that container.
        !            35:    * @param name The name of the child to remove.
        !            36:    */
        !            37: 
        !            38:   public void delete(String name)
        !            39:     throws MultipleLockException;
        !            40: 
        !            41:   
        !            42: 
        !            43:   /**
        !            44:    * Initialize and register the given resource within that container.
        !            45:    * @param name The identifier for the resource.
        !            46:    * @param resource An unitialized resource instance.
        !            47:    * @param defs A default set of init attribute values (may be
        !            48:    * <strong>null</strong>).
        !            49:    */
        !            50: 
        !            51:   public void registerResource(String name,
        !            52:                               Resource resource,
        !            53:                               Hashtable defs)
        !            54:     throws InvalidResourceException;
        !            55:  
        !            56: 
        !            57: }