Package javax.help.Map

Examples of javax.help.Map.ID

746
747
748
749
750
751
752
753
754
755
756
      } else {
    objHS = hs;
      }
  }
  try {
      ID id = ID.create(helpID, objHS);
      if (id == null) {
    id = objHS.getHomeID();
      }
      if (hb != null) {
    hb.setCurrentID(id);
View Full Code Here
180
181
182
183
184
185
186
187
188
189
190
     *
     * @param url A URL
     * @return The closest ID in this map to the given URL
     */
    public ID getClosestID(URL url) {
  ID back = null;
  // See if there is an exact match
  back = getIDFromURL(url);
  if (back != null) {
      return back;
  }
View Full Code Here
206
207
208
209
210
211
212
213
214
215
216
        }
       
        HelpModelEvent e = (HelpModelEvent) history.elementAt(index);
        // set the historyIndex so it is ready to take the next event...
        historyIndex = index-1;
        ID id = e.getID();
        URL url = e.getURL();
        JHelpNavigator navigator = e.getNavigator();
        if (id != null) {
            // try to set the ID
            try {
View Full Code Here
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
        Vector newHistory = new Vector();
        int index = historyIndex;
       
        for(int i = 0; i < size; i++){
            HelpModelEvent evt = (HelpModelEvent)history.elementAt(i);
            ID id = evt.getID();
            debug(" update id "+id);
            URL url = evt.getURL();
            debug(" update url " +url);
            if ((id != null) && (id.hs != hs)) {
                debug(" remain - "+id);
                newHistory.addElement(history.elementAt(i));
            }
            else if (url != null) {
                //find out if there is a matching ID for this URL
                ID idcan = hs.getCombinedMap().getIDFromURL(url);
                if(idcan == null){
                    debug(" remain > "+idcan);
                    newHistory.addElement(history.elementAt(i));
                }
            }
View Full Code Here
262
263
264
265
266
267
268
269
270
271
272
     
  setVisibility(topNode);

     
  if (index.getModel() != null) {
      ID id = index.getModel().getCurrentID();
      if (id != null) {
    DefaultMutableTreeNode selectedNode = findID(topNode, id);
    selectNode(selectedNode);
      }
  }
View Full Code Here
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
    }

    // Process and idChanged event

    public synchronized void idChanged(HelpModelEvent e) {
  ID id = e.getID();
  HelpModel helpModel = index.getModel();
  debug("idChanged("+e+")");

  if (e.getSource() != helpModel) {
      debug("Internal inconsistency!");
      debug("  "+e.getSource()+" != "+helpModel);
      throw new Error("Internal error");
  }

  if (id == null) {
      id = helpModel.getHelpSet().getCombinedMap().getClosestID(e.getURL());
  }
  TreePath s = tree.getSelectionPath();
  if (s != null) {
      Object o = s.getLastPathComponent();
      // should require only a TreeNode
      if (o instanceof DefaultMutableTreeNode) {
    DefaultMutableTreeNode tn = (DefaultMutableTreeNode) o;
    IndexItem item = (IndexItem) tn.getUserObject();
    if (item != null) {
        ID nId = item.getID();
        if (nId != null && nId.equals(id)) {
      return;
        }
    }
      }
  }
View Full Code Here
620
621
622
623
624
625
626
627
628
629
630
631
632
  if (id == null) {
      return null;
  }
  IndexItem item = (IndexItem) node.getUserObject();
  if (item != null) {
      ID testID = item.getID();
      debug("  testID: "+testID);
      if (testID != null && testID.equals(id)) {
    return node;
      }
  }
  int size = node.getChildCount();
  for (int i=0; i<size ; i++) {
View Full Code Here
729
730
731
732
733
734
735
736
737
738
739
740
   * A HomeID is found.
   */

  public void processHomeID(HelpSet hs,
          String value) {
      ID homeID = hs.getHomeID();
      if ((homeID == null) || homeID.equals("")) {
    //parsingError("helpset.wrongHomeID", value, homeID.id);
                hs.setHomeID(value);
            }else{
                parsingError("helpset.wrongHomeID", value, homeID.id);
            }
View Full Code Here
729
730
731
732
733
734
735
736
737
738
739
740
   * A HomeID is found.
   */

  public void processHomeID(HelpSet hs,
          String value) {
      ID homeID = hs.getHomeID();
      if ((homeID == null) || homeID.equals("")) {
    //parsingError("helpset.wrongHomeID", value, homeID.id);
                hs.setHomeID(value);
            }else{
                parsingError("helpset.wrongHomeID", value, homeID.id);
            }
View Full Code Here
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
   
    public void idChanged(HelpModelEvent e) {
        debug("idChanged("+e+")");
       
        //next values
        ID id = e.getID();
        contentTitle = e.getHistoryName();
        URL nurl = e.getURL();
        String nURL = null;
        if (nurl != null)
            nURL = nurl.toExternalForm();
       
        //current values
        ID currentID = null;
        String currentURL = null;
        String currentName = null;
  FavoritesItem item = null;
       
        HelpModel helpModel = favorites.getModel();
       
       
        if (e.getSource() != helpModel) {
            debug("Internal inconsistency!");
            debug("  "+e.getSource()+" != "+helpModel);
            throw new Error("Internal error");
        }
       
        TreePath s = tree.getSelectionPath();
        if (s != null) {
            Object o = s.getLastPathComponent();
            // should require only a TreeNode
            if (o instanceof DefaultMutableTreeNode) {
                DefaultMutableTreeNode tn = (DefaultMutableTreeNode) o;
                item = (FavoritesItem) tn.getUserObject();
                if (item != null){
                    currentID = (Map.ID) dataMap.get(item);
                    currentURL = item.getURLSpec();
                    currentName = item.getName();
                }
                if((currentName != null) && (currentName.equals(contentTitle))){
                    if(currentID != null)
                        if(currentID.equals(id))
                            return;
                    if(currentURL != null)
                        if(currentURL.equals(nURL))
                            return;
                }
View Full Code Here
TOP

Related Classes of javax.help.Map.ID

  • javax.help.plaf.basic.BasicContentViewerUI
  • javax.help.CSH
  • javax.help.tagext.SearchTOCItemTag
  • javax.help.plaf.basic.BasicNativeContentViewerUI
  • javax.help.plaf.basic.BasicContentViewerUI$PageLoader
  • javax.help.tagext.IndexItemTag
  • javax.help.tagext.NavigatorsTag
  • javax.help.plaf.basic.BasicSearchNavigatorUI
  • javax.help.tagext.TOCItemTag
  • javax.help.DefaultHelpModel
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.