Class TopMarginRecord

  • All Implemented Interfaces:
    Margin

    public final class TopMarginRecord
    extends StandardRecord
    implements Margin
    Record for the top margin.
    • Constructor Detail

      • TopMarginRecord

        public TopMarginRecord()
      • TopMarginRecord

        public TopMarginRecord​(RecordInputStream in)
        Parameters:
        in - the RecordInputstream to read the record from
    • 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 TopMargin record.
        Specified by:
        getMargin in interface Margin
        Returns:
        the margin
      • setMargin

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

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