Class OverBar


  • public class OverBar
    extends Box
    A box representing another box with a horizontal rule above it, with appropriate kerning.
    • Constructor Detail

      • OverBar

        public OverBar​(Box b,
                       float kern,
                       float thickness)
    • Method Detail

      • add

        public final void add​(Box b)
        Description copied from class: Box
        Inserts the given box at the end of the list of child boxes.
        Overrides:
        add in class Box
        Parameters:
        b - the box to be inserted
      • add

        public final void add​(Box b,
                              float interline)
      • add

        public void add​(int pos,
                        Box b)
        Description copied from class: Box
        Inserts the given box at the given position in the list of child boxes.
        Overrides:
        add in class Box
        Parameters:
        pos - the position at which to insert the given box
        b - the box to be inserted
      • draw

        public void draw​(java.awt.Graphics2D g2,
                         float x,
                         float y)
        Description copied from class: Box
        Paints this box at the given coordinates using the given graphics context.
        Specified by:
        draw in class Box
        Parameters:
        g2 - the graphics (2D) context to use for painting
        x - the x-coordinate
        y - the y-coordinate
      • getSize

        public int getSize()
      • getLastFontId

        public int getLastFontId()
        Description copied from class: Box
        Get the id of the font that will be used the last when this box will be painted.
        Specified by:
        getLastFontId in class Box
        Returns:
        the id of the last font that will be used.