1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
|
/**
* Copyright (c) 2017 protos software gmbh (http://www.protos.de).
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* CONTRIBUTORS:
* Henrik Rentz-Reichert (initial contribution)
*/
package org.eclipse.etrice.core.genmodel.fsm.tests;
import org.eclipse.etrice.core.fsm.fSM.ContinuationTransition;
import org.eclipse.etrice.core.fsm.fSM.SimpleState;
import org.eclipse.etrice.core.fsm.fSM.StateGraphNode;
import org.eclipse.etrice.core.fsm.fSM.Transition;
import org.eclipse.etrice.core.fsm.fSM.TransitionBase;
import org.eclipse.etrice.core.genmodel.fsm.FsmGenChecker;
import org.eclipse.etrice.core.genmodel.fsm.FsmGenExtensions;
import org.eclipse.etrice.core.genmodel.fsm.NullLogger;
import org.eclipse.etrice.core.genmodel.fsm.fsmgen.GraphContainer;
import org.eclipse.etrice.core.genmodel.fsm.fsmgen.Link;
import org.eclipse.etrice.core.genmodel.fsm.fsmgen.Node;
import org.eclipse.etrice.core.genmodel.fsm.tests.FsmGenTestBase;
import org.eclipse.etrice.core.naming.RoomNameProvider;
import org.eclipse.xtext.xbase.lib.Functions.Function1;
import org.eclipse.xtext.xbase.lib.IterableExtensions;
import org.eclipse.xtext.xbase.lib.IteratorExtensions;
import org.junit.Assert;
import org.junit.Before;
import org.junit.Test;
@SuppressWarnings("all")
public class TestStatesInheritance extends FsmGenTestBase {
private RoomNameProvider roomNameProvider = new RoomNameProvider();
private GraphContainer gc;
@Before
public void SetUp() {
this.gc = this.getGraphContainer("StatesInheritanceExample.room", "TestActor");
Assert.assertNotNull("graph context was created", this.gc);
final NullLogger logger = new NullLogger();
FsmGenChecker.check(this.gc, logger);
Assert.assertFalse("logger has no errors", logger.hasErrors());
this.builder.withCommonData(this.builder.withChainHeads(this.builder.withTriggersInStates(this.gc)));
Assert.assertFalse("diagnostician has no errors", this.diagnostician.isFailed());
}
@Test
public void testNoTrigger() {
final Function1<Node, Boolean> _function = new Function1<Node, Boolean>() {
@Override
public Boolean apply(final Node it) {
return Boolean.valueOf(FsmGenExtensions.getName(it).equals("State3"));
}
};
final Node s = IteratorExtensions.<Node>head(IteratorExtensions.<Node>filter(FsmGenExtensions.getAllStateNodes(this.gc.getGraph()), _function));
Assert.assertNotNull("state found", s);
Assert.assertEquals("non-leave state has no caught triggers", 0, s.getCaughtTriggers().size());
}
@Test
public void testObjectNumbers() {
Assert.assertEquals("Number of states", 11, IteratorExtensions.size(FsmGenExtensions.getAllStateNodes(this.gc.getGraph())));
final Function1<Node, Boolean> _function = new Function1<Node, Boolean>() {
@Override
public Boolean apply(final Node it) {
StateGraphNode _stateGraphNode = it.getStateGraphNode();
return Boolean.valueOf((_stateGraphNode instanceof SimpleState));
}
};
Assert.assertEquals("Number of states", 9, IteratorExtensions.size(IteratorExtensions.<Node>filter(FsmGenExtensions.getAllStateNodes(this.gc.getGraph()), _function)));
Assert.assertEquals("Number of choice points", 1, IteratorExtensions.size(FsmGenExtensions.getAllChoicePointNodes(this.gc.getGraph())));
Assert.assertEquals("Number of transition points", 5, IteratorExtensions.size(FsmGenExtensions.getAllTransitionPointNodes(this.gc.getGraph())));
Assert.assertEquals("Number of entry points", 2, IteratorExtensions.size(FsmGenExtensions.getAllEntryPointNodes(this.gc.getGraph())));
Assert.assertEquals("Number of exit points", 1, IteratorExtensions.size(FsmGenExtensions.getAllExitPointNodes(this.gc.getGraph())));
Assert.assertEquals("Number of initial transitions", 3, IteratorExtensions.size(FsmGenExtensions.getAllInitialTranisitionLinks(this.gc.getGraph())));
Assert.assertEquals("Number of triggered transitions", 17, IteratorExtensions.size(FsmGenExtensions.getAllTriggeredTranisitionLinks(this.gc.getGraph())));
Assert.assertEquals("Number of continuation transitions", 4, IteratorExtensions.size(FsmGenExtensions.getAllContinuationTranisitionLinks(this.gc.getGraph())));
Assert.assertEquals("Number of cpbranch transitions", 3, IteratorExtensions.size(FsmGenExtensions.getAllCPBranchTranisitionLinks(this.gc.getGraph())));
}
@Test
public void testChainsAndTriggers() {
Assert.assertEquals("transition chains", 20, IteratorExtensions.size(FsmGenExtensions.getAllChainHeads(this.gc.getGraph())));
}
@Test
public void testGraph() {
final Function1<Node, Boolean> _function = new Function1<Node, Boolean>() {
@Override
public Boolean apply(final Node it) {
return Boolean.valueOf(TestStatesInheritance.this.roomNameProvider.getFullPath(it.getStateGraphNode()).equals("State3_State3"));
}
};
Node s = IteratorExtensions.<Node>head(IteratorExtensions.<Node>filter(FsmGenExtensions.getAllStateNodes(this.gc.getGraph()), _function));
Assert.assertNotNull("state exists", s);
Assert.assertEquals("number of incoming transitions", 3, s.getIncoming().size());
Assert.assertEquals("number of outgoing transitions", 2, s.getOutgoing().size());
Assert.assertEquals("active triggers", 6, s.getCaughtTriggers().size());
final Function1<Node, Boolean> _function_1 = new Function1<Node, Boolean>() {
@Override
public Boolean apply(final Node it) {
return Boolean.valueOf(TestStatesInheritance.this.roomNameProvider.getFullPath(it.getStateGraphNode()).equals("State2"));
}
};
s = IteratorExtensions.<Node>head(IteratorExtensions.<Node>filter(FsmGenExtensions.getAllStateNodes(this.gc.getGraph()), _function_1));
Assert.assertNotNull("state exists", s);
Assert.assertEquals("number of incoming transitions", 4, s.getIncoming().size());
Assert.assertEquals("number of outgoing transitions", 1, s.getOutgoing().size());
Assert.assertEquals("active triggers", 3, s.getCaughtTriggers().size());
final Function1<Node, Boolean> _function_2 = new Function1<Node, Boolean>() {
@Override
public Boolean apply(final Node it) {
return Boolean.valueOf(it.getStateGraphNode().getName().equals("CP1"));
}
};
final Node cp = IteratorExtensions.<Node>head(IteratorExtensions.<Node>filter(FsmGenExtensions.getAllChoicePointNodes(this.gc.getGraph()), _function_2));
Assert.assertNotNull("cp exists", cp);
Assert.assertEquals("number of incoming transitions", 1, cp.getIncoming().size());
Assert.assertEquals("number of outgoing transitions", 4, cp.getOutgoing().size());
final Function1<Link, Boolean> _function_3 = new Function1<Link, Boolean>() {
@Override
public Boolean apply(final Link it) {
TransitionBase _transition = it.getTransition();
return Boolean.valueOf((_transition instanceof ContinuationTransition));
}
};
final Iterable<Link> cts = IterableExtensions.<Link>filter(cp.getOutgoing(), _function_3);
Assert.assertEquals("Exactly one continuation (=default) transition", 1, IterableExtensions.size(cts));
}
@Test
public void testChains() {
final Function1<Link, Boolean> _function = new Function1<Link, Boolean>() {
@Override
public Boolean apply(final Link it) {
TransitionBase _transition = it.getTransition();
return Boolean.valueOf(TestStatesInheritance.this.roomNameProvider.getFullPath(((Transition) _transition)).equals("State3_TRANS_tr1_FROM_tp1_TO_State3"));
}
};
Link tr = IteratorExtensions.<Link>head(IteratorExtensions.<Link>filter(FsmGenExtensions.getAllLinks(this.gc.getGraph()), _function));
Assert.assertNotNull("transition", tr);
Assert.assertEquals("one chain head", 1, tr.getChainHeads().size());
TransitionBase _transition = IterableExtensions.<Link>head(tr.getChainHeads()).getTransition();
Assert.assertEquals("chain name", "TRANS_tr5_FROM_tp0_TO_State3_tp1_BY_afct", this.roomNameProvider.getFullPath(((Transition) _transition)));
final Function1<Link, Boolean> _function_1 = new Function1<Link, Boolean>() {
@Override
public Boolean apply(final Link it) {
TransitionBase _transition = it.getTransition();
return Boolean.valueOf(TestStatesInheritance.this.roomNameProvider.getFullPath(((Transition) _transition)).equals("State3_TRANS_tr8_FROM_tp6_TO_State2"));
}
};
tr = IteratorExtensions.<Link>head(IteratorExtensions.<Link>filter(FsmGenExtensions.getAllLinks(this.gc.getGraph()), _function_1));
Assert.assertNotNull("transition", tr);
Assert.assertEquals("one chain head", 1, tr.getChainHeads().size());
TransitionBase _transition_1 = IterableExtensions.<Link>head(tr.getChainHeads()).getTransition();
Assert.assertEquals("chain name", "TRANS_tr12_FROM_State5_TO_State3_tp6_BY_aport", this.roomNameProvider.getFullPath(((Transition) _transition_1)));
}
}
|
