xml-kt-advance
A Library for parsing KT Advance analysys XML data (ch_analysis)
Last updated 3 years ago by compartia .
MIT · Repository · Bugs · Original npm · Tarball · package.json
$ cnpm install xml-kt-advance 
SYNC missed versions from official npm registry.

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

Current Tags

  • 0.7.4                                ...           latest (3 years ago)

13 Versions

  • 0.7.4                                ...           3 years ago
  • 0.7.3                                ...           3 years ago
  • 0.7.2                                ...           3 years ago
  • 0.7.1                                ...           3 years ago
  • 0.7.0                                ...           3 years ago
  • 0.6.0                                ...           3 years ago
  • 0.5.1                                ...           3 years ago
  • 0.5.0                                ...           3 years ago
  • 0.4.0                                ...           3 years ago
  • 0.3.0                                ...           3 years ago
  • 0.2.1                                ...           3 years ago
  • 0.1.1                                ...           3 years ago
  • 0.1.0                                ...           3 years ago
Maintainers (1)
Downloads
Today 0
This Week 0
This Month 13
Last Day 0
Last Week 0
Last Month 0
Dependencies (2)
Dev Dependencies (11)
Dependents (0)
None

Copyright 2014 - 2016 © taobao.org |