Esempio n. 1
0
            ofile = args.output_file + "/" + ofile
        else:
            ofile = args.output_file
        output_files = [ofile] + output_files
        iparser = instalparser.makeInstalParser()
        instal_compile_file(args, mode, ifile, ofile, iparser)
        if mode == "composite":
            all_lists[iparser.names["institution"]] = [
                iparser.exevents,
                iparser.inevents,
                iparser.vievents,
                iparser.fluents,
                iparser.obligation_fluents,
                iparser.noninertial_fluents,
            ]
        iparser.instal_input.close()
    if args.bridge_file:
        ofile = os.path.basename(args.bridge_file)
        ofile = ofile.replace(".ial", ".lp")
        ofile = args.output_file + "/" + ofile
        output_files = [ofile] + output_files
        bparser = bridgeparser.makeInstalParser()
        bparser.all_lists = all_lists
        instal_compile_file(args, "composite", args.bridge_file, ofile, bparser)
    return output_files


if __name__ == "__main__":
    args, _ = getargs()
    instal_compile(args)