from .utils import *

from argparse import ArgumentParser
import json


def parse_args():
    parser = ArgumentParser(description="Check correctness of logic formula")
    parser.add_argument('-f', '--formula', dest=formula, metavar='FORMULA')
    parser.add_argument('-fl', '--formula-list', dest=list_formula, metavar='[FORMULA, FORMULA]')
    return parser.parse_args()


if __name__ == '__main__':
    args = parse_args()
    if args.list_formula:
        list_formula = json.loads(args.list_formula)
        if not isinstance(list_formula, list):
            print('Type of --formula-list is not a list')
        else:
            for formula in list_formula:
                print(
                    "{}: {}".format(formula, is_formula_correct(formula))
                )
    elif args.formula:
        print(
            "{}: {}".format(args.formula, is_formula_correct(args.formula))
        )