Mercurial > repos > sybila > ebcsgen_pctl_parameter_synthesis
diff ebcsgen_pctl_parameter_synthesis.py @ 2:3bb6c1e9252e draft default tip
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0
author | sybila |
---|---|
date | Sat, 15 Oct 2022 09:23:30 +0000 |
parents | cf609f659b21 |
children |
line wrap: on
line diff
--- a/ebcsgen_pctl_parameter_synthesis.py Fri Oct 14 16:25:57 2022 +0000 +++ b/ebcsgen_pctl_parameter_synthesis.py Sat Oct 15 09:23:30 2022 +0000 @@ -7,6 +7,14 @@ from eBCSgen.Parsing.ParsePCTLformula import PCTLparser +class FakeFile: + def __init__(self, content): + self.content = content.decode("utf-8") + + def read(self): + return self.content + + args_parser = argparse.ArgumentParser(description='Parameter synthesis') args_parser._action_groups.pop() @@ -43,8 +51,12 @@ formula = PCTLparser().parse(args.formula) if formula.success: result = PCTL.parameter_synthesis(ts, formula, region) - f = open(args.output, "w") - f.write(result.decode("utf-8")) - f.close() + if "?" not in args.formula: + result = FakeFile(result) + df = PCTL.process_output(result) + df.to_csv(args.output, index=False) + else: + with open(args.output, "w") as f: + f.write(result.decode("utf-8")) else: raise FormulaParsingError(formula.data, args.formula)