|
- import codecs
- import sys
- import json
-
- from lark import Lark
- from lark.grammar import RuleOptions, Rule
- from lark.lexer import TerminalDef
- from lark.tools import lalr_argparser, build_lalr
-
- import argparse
-
- argparser = argparse.ArgumentParser(prog='python -m lark.tools.serialize', parents=[lalr_argparser],
- description="Lark Serialization Tool - Stores Lark's internal state & LALR analysis as a JSON file",
- epilog='Look at the Lark documentation for more info on the options')
-
-
- def serialize(lark_inst, outfile):
- data, memo = lark_inst.memo_serialize([TerminalDef, Rule])
- outfile.write('{\n')
- outfile.write(' "data": %s,\n' % json.dumps(data))
- outfile.write(' "memo": %s\n' % json.dumps(memo))
- outfile.write('}\n')
-
-
- def main():
- ns = argparser.parse_args()
- serialize(*build_lalr(ns))
-
-
- if __name__ == '__main__':
- main()
|