Class AnchorManager


  • public class AnchorManager
    extends java.lang.Object
    • Constructor Detail

      • AnchorManager

        public AnchorManager()
    • Method Detail

      • addAnchor

        public void addAnchor​(java.nio.file.Path file,
                              java.lang.String anchorName,
                              int srcLineNo)
      • getAnchorsByHelpPath

        public java.util.Map<java.lang.String,​AnchorDefinition> getAnchorsByHelpPath()
      • getAnchorForHelpPath

        public AnchorDefinition getAnchorForHelpPath​(java.lang.String path)
      • addAnchorRef

        public void addAnchorRef​(HREF href)
      • addImageRef

        public void addImageRef​(IMG ref)
      • getAnchorRefs

        public java.util.List<HREF> getAnchorRefs()
      • getImageRefs

        public java.util.List<IMG> getImageRefs()
      • getAnchorForName

        public AnchorDefinition getAnchorForName​(java.lang.String anchorName)
      • getDuplicateAnchorsByID

        public java.util.Map<java.lang.String,​java.util.List<AnchorDefinition>> getDuplicateAnchorsByID()