partial function getInteger extends Interfaces.partialGetInteger; input Types.ExternJSONFile json "External JSON file object"; end getInteger;