partial function getInteger extends Interfaces.partialGetInteger; input Types.ExternXMLFile xml "External XML file object"; end getInteger;