Skip to content

Commit 022a279

Browse files
ReubenJReubenJ
committed
test: add BMA toy models
These toy models come from the [BioModelAnalzyer](https://github.com/hallba/BioModelAnalyzer) test suite. We'll use them here to test loading and saving to the BMA tool's format.
1 parent 8ca5401 commit 022a279

File tree

2 files changed

+206
-0
lines changed

2 files changed

+206
-0
lines changed

‎test/resources/bma_models/ToyModelStable.json‎

Lines changed: 103 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,103 @@
1+
{
2+
"Layout": {
3+
"AnnotatedGridCells": [],
4+
"Containers": [
5+
{
6+
"Id": 1,
7+
"Name": "C0",
8+
"PositionX": 2,
9+
"PositionY": 0,
10+
"Size": 1
11+
}
12+
],
13+
"Description": "",
14+
"Variables": [
15+
{
16+
"Angle": 0,
17+
"CellX": null,
18+
"CellY": null,
19+
"ContainerId": 1,
20+
"Description": "",
21+
"Id": 1,
22+
"Name": "a",
23+
"PositionX": 630.7,
24+
"PositionY": 47.34285714285714,
25+
"Type": "Default"
26+
},
27+
{
28+
"Angle": 0,
29+
"CellX": null,
30+
"CellY": null,
31+
"ContainerId": 1,
32+
"Description": "",
33+
"Id": 2,
34+
"Name": "b",
35+
"PositionX": 583.2,
36+
"PositionY": 178.77142857142857,
37+
"Type": "Default"
38+
},
39+
{
40+
"Angle": 0,
41+
"CellX": null,
42+
"CellY": null,
43+
"ContainerId": 1,
44+
"Description": "",
45+
"Id": 3,
46+
"Name": "c",
47+
"PositionX": 678.2,
48+
"PositionY": 162.34285714285716,
49+
"Type": "Default"
50+
}
51+
]
52+
},
53+
"Model": {
54+
"Name": "ToyModelStable",
55+
"Relationships": [
56+
{
57+
"FromVariable": 1,
58+
"Id": 1,
59+
"ToVariable": 2,
60+
"Type": "Activator"
61+
},
62+
{
63+
"FromVariable": 2,
64+
"Id": 2,
65+
"ToVariable": 3,
66+
"Type": "Activator"
67+
},
68+
{
69+
"FromVariable": 3,
70+
"Id": 3,
71+
"ToVariable": 1,
72+
"Type": "Inhibitor"
73+
}
74+
],
75+
"Variables": [
76+
{
77+
"Formula": "",
78+
"Id": 1,
79+
"Name": "a",
80+
"RangeFrom": 0,
81+
"RangeTo": 4
82+
},
83+
{
84+
"Formula": "",
85+
"Id": 2,
86+
"Name": "b",
87+
"RangeFrom": 0,
88+
"RangeTo": 4
89+
},
90+
{
91+
"Formula": "",
92+
"Id": 3,
93+
"Name": "c",
94+
"RangeFrom": 0,
95+
"RangeTo": 4
96+
}
97+
]
98+
},
99+
"ltl": {
100+
"operations": [],
101+
"states": []
102+
}
103+
}

‎test/resources/bma_models/ToyModelUnstable.json‎

Lines changed: 103 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,103 @@
1+
{
2+
"Layout": {
3+
"AnnotatedGridCells": [],
4+
"Containers": [
5+
{
6+
"Id": 1,
7+
"Name": "C0",
8+
"PositionX": 2,
9+
"PositionY": 0,
10+
"Size": 1
11+
}
12+
],
13+
"Description": "",
14+
"Variables": [
15+
{
16+
"Angle": 0,
17+
"CellX": null,
18+
"CellY": null,
19+
"ContainerId": 1,
20+
"Description": "",
21+
"Id": 1,
22+
"Name": "a",
23+
"PositionX": 630.7,
24+
"PositionY": 47.34285714285714,
25+
"Type": "Default"
26+
},
27+
{
28+
"Angle": 0,
29+
"CellX": null,
30+
"CellY": null,
31+
"ContainerId": 1,
32+
"Description": "",
33+
"Id": 2,
34+
"Name": "b",
35+
"PositionX": 583.2,
36+
"PositionY": 178.77142857142857,
37+
"Type": "Default"
38+
},
39+
{
40+
"Angle": 0,
41+
"CellX": null,
42+
"CellY": null,
43+
"ContainerId": 1,
44+
"Description": "",
45+
"Id": 3,
46+
"Name": "c",
47+
"PositionX": 678.2,
48+
"PositionY": 162.34285714285716,
49+
"Type": "Default"
50+
}
51+
]
52+
},
53+
"Model": {
54+
"Name": "ToyModelUnstable",
55+
"Relationships": [
56+
{
57+
"FromVariable": 1,
58+
"Id": 1,
59+
"ToVariable": 2,
60+
"Type": "Activator"
61+
},
62+
{
63+
"FromVariable": 2,
64+
"Id": 2,
65+
"ToVariable": 3,
66+
"Type": "Activator"
67+
},
68+
{
69+
"FromVariable": 3,
70+
"Id": 3,
71+
"ToVariable": 1,
72+
"Type": "Inhibitor"
73+
}
74+
],
75+
"Variables": [
76+
{
77+
"Formula": "4-var(3)",
78+
"Id": 1,
79+
"Name": "a",
80+
"RangeFrom": 0,
81+
"RangeTo": 4
82+
},
83+
{
84+
"Formula": "",
85+
"Id": 2,
86+
"Name": "b",
87+
"RangeFrom": 0,
88+
"RangeTo": 4
89+
},
90+
{
91+
"Formula": "",
92+
"Id": 3,
93+
"Name": "c",
94+
"RangeFrom": 0,
95+
"RangeTo": 4
96+
}
97+
]
98+
},
99+
"ltl": {
100+
"operations": [],
101+
"states": []
102+
}
103+
}

0 commit comments

Comments
 (0)