home *** CD-ROM | disk | FTP | other *** search
/ Macwelt 4 / Macwelt DVD 4.cdr / Entwickler / Mac-OS / oxygen / oxygen.app / Contents / Resources / Java / jh.jar / javax / help / TryMap.class (.txt) < prev    next >
Encoding:
Java Class File  |  2002-06-24  |  2.3 KB  |  98 lines
  1. package javax.help;
  2.  
  3. import java.net.MalformedURLException;
  4. import java.net.URL;
  5. import java.util.Enumeration;
  6. import java.util.Vector;
  7.  
  8. public class TryMap implements Map {
  9.    private Vector maps = new Vector();
  10.    private static final boolean debug = false;
  11.  
  12.    public void add(Map var1) {
  13.       this.maps.addElement(var1);
  14.    }
  15.  
  16.    public boolean remove(Map var1) {
  17.       return this.maps.removeElement(var1);
  18.    }
  19.  
  20.    public Enumeration getMaps() {
  21.       return this.maps.elements();
  22.    }
  23.  
  24.    public boolean isValidID(String var1, HelpSet var2) {
  25.       debug("isValidID " + var1);
  26.       Enumeration var3 = this.maps.elements();
  27.  
  28.       while(var3.hasMoreElements()) {
  29.          Map var4 = (Map)var3.nextElement();
  30.          if (var4.isValidID(var1, var2)) {
  31.             return true;
  32.          }
  33.       }
  34.  
  35.       return false;
  36.    }
  37.  
  38.    public Enumeration getAllIDs() {
  39.       return new TryEnumeration(this.maps.elements(), (URL)null);
  40.    }
  41.  
  42.    public URL getURLFromID(Map.ID var1) throws MalformedURLException {
  43.       debug("getURLFromID(" + var1 + ")");
  44.       URL var2 = null;
  45.       Enumeration var3 = this.maps.elements();
  46.  
  47.       while(var3.hasMoreElements()) {
  48.          Map var4 = (Map)var3.nextElement();
  49.          var2 = var4.getURLFromID(var1);
  50.          if (var2 != null) {
  51.             return var2;
  52.          }
  53.       }
  54.  
  55.       return var2;
  56.    }
  57.  
  58.    public boolean isID(URL var1) {
  59.       Enumeration var2 = this.maps.elements();
  60.  
  61.       while(var2.hasMoreElements()) {
  62.          Map var3 = (Map)var2.nextElement();
  63.          if (var3.isID(var1)) {
  64.             return true;
  65.          }
  66.       }
  67.  
  68.       return false;
  69.    }
  70.  
  71.    public Map.ID getIDFromURL(URL var1) {
  72.       debug("getIDFromURL(" + var1 + ")");
  73.       Object var2 = null;
  74.       Enumeration var3 = this.maps.elements();
  75.  
  76.       while(var3.hasMoreElements()) {
  77.          Map var4 = (Map)var3.nextElement();
  78.          Map.ID var5 = var4.getIDFromURL(var1);
  79.          if (var5 != null) {
  80.             return var5;
  81.          }
  82.       }
  83.  
  84.       return null;
  85.    }
  86.  
  87.    public Map.ID getClosestID(URL var1) {
  88.       return this.getIDFromURL(var1);
  89.    }
  90.  
  91.    public Enumeration getIDs(URL var1) {
  92.       return new TryEnumeration(this.maps.elements(), var1);
  93.    }
  94.  
  95.    private static void debug(String var0) {
  96.    }
  97. }
  98.