xml-kt-advance v0.7.4

TypeScript/node.js library for parsing KT Advance analysis XMLs (ch_analysis)

Dependent projects:

• https://github.com/kestreltechnology/electron-kt-advance
• https://github.com/compartia/atom-kt-advance

Publishing

npm module: https://www.npmjs.com/package/xml-kt-advance

Usage

sample usage:

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;
})

Building

npm build