Class HTMLOutputOperator

    • Field Detail

      • produceHeader

        protected boolean produceHeader
        Should we produce the HTML header and footer?
      • boxTreeOnly

        protected boolean boxTreeOnly
        Should we produce the box tree only or should we rely on the area tree?
      • filename

        protected String filename
        Path to the output file/
    • Constructor Detail

      • HTMLOutputOperator

        public HTMLOutputOperator()
      • HTMLOutputOperator

        public HTMLOutputOperator​(String filename,
                                  boolean produceHeader,
                                  boolean boxTreeOnly)
    • Method Detail

      • getId

        public String getId()
        Description copied from interface: Service
        Obtains a unique ID of the service
      • getName

        public String getName()
        Description copied from interface: Service
        Obtains a descriptive name of the service that may be presented to the user.
        Returns:
        the operator name
      • getDescription

        public String getDescription()
        Description copied from interface: Service
        Obtains a longer description of the service.
        Returns:
        the description
      • getCategory

        public String getCategory()
        Description copied from interface: Service
        A category that allows to group similar services.
        Returns:
        Category name or null when no category is assigned.
      • getProduceHeader

        public boolean getProduceHeader()
      • setProduceHeader

        public void setProduceHeader​(boolean produceHeader)
      • getBoxTreeOnly

        public boolean getBoxTreeOnly()
      • setBoxTreeOnly

        public void setBoxTreeOnly​(boolean boxTreeOnly)
      • getFilename

        public String getFilename()
      • setFilename

        public void setFilename​(String filename)
      • apply

        public void apply​(AreaTree atree)
        Description copied from interface: AreaTreeOperator
        Applies the operation to the given tree.
        Parameters:
        atree - the area tree to be modified.
      • apply

        public void apply​(AreaTree atree,
                          Area root)
        Description copied from interface: AreaTreeOperator
        Applies the operation to the given subtree of the tree.
        Parameters:
        atree - the area tree to be modified.
        root - the root node of the affected subtree.
      • dumpTo

        public void dumpTo​(AreaTree tree,
                           Page sourcePage,
                           PrintWriter out)
        Formats the complete area tree to an output stream.
        Parameters:
        tree - the area tree to be printed
        out - a writer to be used for output
      • dumpTo

        public void dumpTo​(Page page,
                           PrintWriter out)
        Formats the complete box tree to an output stream.
        Parameters:
        page - the page box tree to be printed
        out - a writer to be used for output
      • getAreaStyle

        protected String getAreaStyle​(Area a)
      • colorString

        public String colorString​(String spec)
        Converts the CSS specification rgb(r,g,b) to #rrggbb
        Parameters:
        spec - the CSS color specification
        Returns:
        a #rrggbb string