PageInfo.deserialize constructor

PageInfo.deserialize(
  1. XmlElement xml
)

Implementation

PageInfo.deserialize(XmlElement xml):
    gapmMM = int.tryParse(xml.getAttribute('gapmMM') ?? ''),
    gapnMM = int.tryParse(xml.getAttribute('gapnMM') ?? ''),
    pageCount = int.tryParse(xml.getAttribute('pageCount') ?? '');