Mercurial > repos > sybila > ebcsgen_generate_transition_system

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