Newts Parading Majestically

    xml-kt-advance
    TypeScript icon, indicating that this package has built-in type declarations

    0.7.4 • Public • Published

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

    Build Status NPM version

    Dependent projects:

    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
    

    Install

    npm i xml-kt-advance

    DownloadsWeekly Downloads

    15

    Version

    0.7.4

    License

    MIT

    Last publish

    Collaborators

    • compartia