Class RightMarginRecord

  • All Implemented Interfaces:
    Margin

    public final class RightMarginRecord
    extends StandardRecord
    implements Margin
    Record for the right margin.
    • Constructor Detail

      • RightMarginRecord

        public RightMarginRecord()
    • Method Detail

      • toString

        public java.lang.String toString()
        Description copied from class: Record
        get a string representation of the record (for biffview/debugging)
        Overrides:
        toString in class Record
      • getSid

        public short getSid()
        Description copied from class: Record
        return the non static version of the id for this record.
        Specified by:
        getSid in class Record
        Returns:
        he id for this record
      • getMargin

        public double getMargin()
        Get the margin field for the RightMargin record.
        Specified by:
        getMargin in interface Margin
        Returns:
        the margin
      • setMargin

        public void setMargin​(double field_1_margin)
        Set the margin field for the RightMargin record.
        Specified by:
        setMargin in interface Margin
        Parameters:
        field_1_margin - the margin
      • clone

        public java.lang.Object clone()
        Overrides:
        clone in class Record