package org.paneris.bibliomania.fti;
   
   import java.util.Enumeration;
   import java.util.Vector;
   
   public class HitAnchor {
     private String anchor;
     private Vector areas;
   
    HitAnchor(String anchor, Vector areas) {
      this.anchor = anchor;
      this.areas = areas;
    }
  
    public String getName() {
      return anchor;
    }
  
    public Enumeration getHitAreas() {
      return areas.elements();
    }
  
    public void dump() {
      System.out.println("  " + anchor);
      for (Enumeration a = areas.elements(); a.hasMoreElements();)
        System.out.println("    " + a.nextElement());
    }
  }