Source code for redeclipse.cli.from_json

import json
import argparse
from redeclipse import Map



[docs]def main():
    parser = argparse.ArgumentParser(description='WARNING: INCOMPLETE. Load map from JSON file')
    parser.add_argument('input', type=argparse.FileType('r'), help='Input .json file')
    parser.add_argument('output', help='Input .mpz file')
    args = parser.parse_args()

    # mymap = parse(args.input)
    mymap = Map.from_dict(json.load(args.input))
    mymap.write(args.output)



if __name__ == '__main__':
    main()