import *  as xml from 'xml-kt-advance/lib/xml/xml_types';
import { ProgressTracker } from 'xml-kt-advance/lib/common/util';
const path = require('path');
// ...
const analysisDir:string = '<PATH TO CH_ANALYSIS DIR>';
const tracker:ProgressTracker; //XXX: construct your ProgressTracker
// ...
let reader: xml.XmlReader = new xml.XmlReader();
 
tracker.setMessage("reading XML data");
const readFunctionsMapTracker = tracker.getSubtaskTracker(10, 'Reading functions map (*._cfile.xml)');
const readDirTracker = tracker.getSubtaskTracker(90, 'Reading Proof Obligations data');
 
reader.readFunctionsMap(path.dirname(analysisDir), readFunctionsMapTracker)
.then((functions: xml.CFunction[]) => {
    const functionsMap = new xml.FunctionsMap(functions);
    const xmlAnalysis: Promise<XmlAnalysis> = reader.readDir(analysisDir, functionsMap, readDirTracker);
 
    return xmlAnalysis;
})