Mercurial > repos > sybila > ebcsgen_static_analysis

annotate ebcsgen_static_analysis.xml @ 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 <tool id="eBCSgen_static_analysis" name="eBCSgen static analysis" version="@TOOL_VERSION@_galaxy0">
9e4811b21def 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>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
3 <macros>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
4 <import>macros.xml</import>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
5 </macros>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
6 <expand macro="creator"/>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
7 <requirements>
9e4811b21def 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>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
9 </requirements>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
10
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
11 <options sanitize="False"/>
9e4811b21def 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
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
13 --model '$model'
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
14 --output '$output'
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
15 --method '$Method.method'
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
16 #if $Method.method == "reach":
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
17 --complex '$Method.complex'
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
18 #end if
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
19 </command>
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 <inputs>
9e4811b21def 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"/>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
23 <conditional name="Method">
9e4811b21def 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:">
9e4811b21def 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>
9e4811b21def 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>
9e4811b21def 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>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
28 </param>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
29 <when value="reach">
9e4811b21def 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:">
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
31 <validator type="empty_field"/>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
32 </param>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
33 </when>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
34 </conditional>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
35 </inputs>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
36
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
37 <outputs>
9e4811b21def 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">
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
39 <change_format>
9e4811b21def 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"/>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
41 </change_format>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
42 </data>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
43 </outputs>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
44
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
45 <tests>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
46 <test>
9e4811b21def 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"/>
9e4811b21def 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"/>
9e4811b21def 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"/>
9e4811b21def 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">
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
51 <assert_contents>
9e4811b21def 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"/>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
53 </assert_contents>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
54 </output>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
55 </test>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
56 <test>
9e4811b21def 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"/>
9e4811b21def 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"/>
9e4811b21def 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">
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
60 <assert_contents>
9e4811b21def 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"/>
9e4811b21def 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"/>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
63 </assert_contents>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
64 </output>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
65 </test>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
66 <test>
9e4811b21def 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"/>
9e4811b21def 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"/>
9e4811b21def 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"/>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
70 </test>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
71 </tests>
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
72
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
73 </tool>