Mercurial > repos > sybila > ebcsgen_static_analysis

annotate ebcsgen_static_analysis.xml @ 0:35cc9bb0b4e9 draft

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 f39ef50b0964744be7816de065024eeb1fb69364
author sybila
date Sat, 08 Oct 2022 14:07:25 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
1 <tool id="eBCSgen_static_analysis" name="eBCSgen static analysis" version="@TOOL_VERSION@_galaxy0">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
2 <description>- run static analysis techniques on given BCSL model</description>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
3 <macros>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
4 <import>macros.xml</import>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
5 </macros>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
6 <expand macro="creator"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
7 <requirements>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
8 <container type="docker">sybila/ebcsgen:v@TOOL_VERSION@</container>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
9 </requirements>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
10
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
11 <options sanitize="False"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
12 <command>python3 ${__tool_directory__}/ebcsgen_static_analysis.py
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
13 --model '$model'
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
14 --output '$output'
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
15 --method '$Method.method'
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
16 #if $Method.method == "reach":
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
17 --complex '$Method.complex'
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
18 #end if
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
19 </command>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
20
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
21 <inputs>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
22 <param format="bcsl.model" name="model" type="data" label="Model file" help="Provide a BCSL model file"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
23 <conditional name="Method">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
24 <param name="method" type="select" label="Choose static analysis method:">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
25 <option value="reach" selected="true">Static non-reachability</option>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
26 <option value="eliminate">Rule redundancy elimination</option>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
27 <option value="reduce">Context based reduction</option>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
28 </param>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
29 <when value="reach">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
30 <param name="complex" value="" type="text" label="Complex agent:">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
31 <validator type="empty_field"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
32 </param>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
33 </when>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
34 </conditional>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
35 </inputs>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
36
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
37 <outputs>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
38 <data format="bcsl.model" name="output">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
39 <change_format>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
40 <when input="Method.method" value="reach" format="txt"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
41 </change_format>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
42 </data>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
43 </outputs>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
44
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
45 <tests>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
46 <test>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
47 <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
48 <param name="method" value="reach"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
49 <param name="complex" value="P(S{i},T{a})::out"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
50 <output name="output" ftype="txt">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
51 <assert_contents>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
52 <has_text text="can possibly be reached in the model"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
53 </assert_contents>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
54 </output>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
55 </test>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
56 <test>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
57 <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
58 <param name="method" value="eliminate"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
59 <output name="output" ftype="bcsl.model">
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
60 <assert_contents>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
61 <has_text text="r1_X ~ // redundant #{1, 2} // P(T{i})::cell => P(T{a})::cell @ 1.0"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
62 <has_text text="r1_T ~ // redundant #{1, 2} // P(T{i})::cell => P(T{a})::cell @ 1.0"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
63 </assert_contents>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
64 </output>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
65 </test>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
66 <test>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
67 <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
68 <param name="method" value="reduce"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
69 <output name="output" value="reduced.bcsl.model" ftype="bcsl.model"/>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
70 </test>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
71 </tests>
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
72
35cc9bb0b4e9 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
73 </tool>