Mercurial > repos > sybila > recetox_aplcms_unsupervised

annotate ebcsgen_generate_ts.xml @ 0:3bdec3b22152 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 7befebc7a9bc40d8b97f4dac752ad9646aac40de
author sybila
date Fri, 09 Sep 2022 13:06:32 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
1 <tool id="eBCSgen_generate_transition_system" name="eBCSgen - transition system generator" version="@TOOL_VERSION@_galaxy0">
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
2 <description>- generate transition system of the given model</description>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
3 <macros>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
4 <import>macros.xml</import>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
5 </macros>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
6 <expand macro="creator"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
7 <requirements>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
8 <container type="docker">sybila/ebcsgen:v@TOOL_VERSION@</container>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
9 </requirements>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
10
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
11 <command>python3 ${__tool_directory__}/ebcsgen_generate_ts.py
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
12 --model '$model'
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
13 --output '$output'
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
14 --direct '$network_free_choice'
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
15 #if $adv.bound != "":
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
16 --bound '$adv.bound'
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
17 #end if
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
18 #if $adv.max_time != "":
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
19 --max_time '$adv.max_time'
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
20 #end if
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
21 #if $adv.max_size != "":
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
22 --max_size '$adv.max_size'
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
23 #end if
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
24 </command>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
25
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
26 <inputs>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
27 <param format="bcsl.model" name="model" type="data" label="Model file" help="Provide a BCSL model file"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
28 <param name="network_free_choice" type="select" label="Choose network-free approach:">
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
29 <option value="False" selected="true">Indirect</option>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
30 <option value="True">Direct</option>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
31 </param>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
32 <section name="adv" title="Advanced Options" expanded="false">
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
33 <param name="bound" min="0" type="integer" value="" label="Bound [optional]" optional="true"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
34 <param name="max_time" min="0" type="float" value=""
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
35 label="Maximal computation time (in seconds) [optional]" optional="true"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
36 <param name="max_size" min="1" type="integer" value="" label="Maximal TS size [optional]" optional="true"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
37 </section>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
38 </inputs>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
39
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
40 <outputs>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
41 <data label="Transition system of ${on_string}" format="bcsl.ts" name="output"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
42 </outputs>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
43
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
44 <tests>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
45 <test>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
46 <param name="model" value="simple.bcsl.model" ftype="bcsl.model"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
47 <output name="output" ftype="bcsl.ts">
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
48 <assert_contents>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
49 <has_text text="nodes"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
50 <has_text text="edges"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
51 <has_text text="ordering"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
52 <has_text text="initial"/>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
53 <has_n_lines n="98" />
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
54 </assert_contents>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
55 </output>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
56 </test>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
57 </tests>
3bdec3b22152 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
sybila
parents:
diff changeset
58 </tool>