PageInfo.deserialize constructor
PageInfo.deserialize(
- 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') ?? '');