Mercurial > repos > sybila > ebcsgen_static_analysis

annotate ebcsgen_static_analysis.py @ 2:9daa8e4e54d5 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0
author sybila
date Sat, 15 Oct 2022 09:21:02 +0000
parents 9e4811b21def
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
1 import argparse
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
2
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
3 from eBCSgen.Errors.ComplexParsingError import ComplexParsingError
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
4 from eBCSgen.Errors.ModelParsingError import ModelParsingError
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
5 from eBCSgen.Errors.UnspecifiedParsingError import UnspecifiedParsingError
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
6 from eBCSgen.Parsing.ParseBCSL import Parser
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
7
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
8
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
9 def save_model(model, filename):
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
10 f = open(filename, "w")
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
11 f.write(repr(model))
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
12 f.close()
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
13
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
14
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
15 args_parser = argparse.ArgumentParser(description='Static analysis')
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
16
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
17 args_parser._action_groups.pop()
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
18 required = args_parser.add_argument_group('required arguments')
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
19 optional = args_parser.add_argument_group('optional arguments')
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
20
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
21 required.add_argument('--model', type=str, required=True)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
22 required.add_argument('--output', type=str, required=True)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
23 required.add_argument('--method', type=str, required=True)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
24 optional.add_argument('--complex')
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
25
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
26 args = args_parser.parse_args()
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
27
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
28 model_parser = Parser("model")
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
29 model_str = open(args.model, "r").read()
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
30 model = model_parser.parse(model_str)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
31
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
32 if model.success:
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
33 if args.method == "reduce":
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
34 model.data.reduce_context()
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
35 save_model(model.data, args.output)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
36 elif args.method == "eliminate":
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
37 model.data.eliminate_redundant()
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
38 save_model(model.data, args.output)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
39 else:
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
40 complex_parser = Parser("rate_complex")
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
41 complex = complex_parser.parse(args.complex)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
42 if complex.success:
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
43 result = model.data.static_non_reachability(complex.data.children[0])
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
44 f = open(args.output, "w")
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
45 s = "can possibly" if result else "cannot"
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
46 message = "The given agent\n\t{}\n{} be reached in the model.".format(complex.data.children[0], s)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
47 f.write(message)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
48 f.close()
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
49 else:
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
50 raise ComplexParsingError(complex.data, args.complex)
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
51 else:
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
52 if "error" in model.data:
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
53 raise UnspecifiedParsingError(model.data["error"])
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
54 raise ModelParsingError(model.data, model_str)