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