ebcsgen_pctl_parameter_synthesis: ebcsgen_pctl_parameter

planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0

comparison

equal deleted inserted replaced

-:f280183d1289
+:3bb6c1e9252e
 from eBCSgen.Analysis.PCTL import PCTL
 from eBCSgen.Errors.FormulaParsingError import FormulaParsingError
 from eBCSgen.Errors.InvalidInputError import InvalidInputError
 from eBCSgen.Parsing.ParseBCSL import load_TS_from_json
 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()
 raise InvalidInputError("Intervals undefined for parameters: {}.".format(", ".join(undefined)))
 formula = PCTLparser().parse(args.formula)
 if formula.success:
 result = PCTL.parameter_synthesis(ts, formula, region)
-f = open(args.output, "w")
+if "?" not in args.formula:
-f.write(result.decode("utf-8"))
+result = FakeFile(result)
-f.close()
+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)

Mercurial > repos > sybila > ebcsgen_pctl_parameter_synthesis