|
23
|
1 package alice.test.dpp.codesegment.philosophy;
|
|
16
|
2
|
|
|
3 import alice.codesegment.CodeSegment;
|
|
|
4 import alice.datasegment.CommandType;
|
|
|
5 import alice.datasegment.Receiver;
|
|
20
|
6 import alice.test.dpp.datasegment.Fork;
|
|
|
7 import alice.test.dpp.datasegment.Philosophy;
|
|
16
|
8
|
|
|
9 public class TakeRightForkCodeSegment extends CodeSegment {
|
|
|
10
|
|
|
11 Receiver arg1 = ids.create(CommandType.TAKE);
|
|
|
12 Receiver arg2 = ids.create(CommandType.TAKE);
|
|
|
13
|
|
|
14 public TakeRightForkCodeSegment(String pName, String forkName) {
|
|
|
15 arg1.setKey(pName);
|
|
|
16 arg2.setKey(forkName);
|
|
|
17 }
|
|
|
18
|
|
|
19 @Override
|
|
|
20 public void run() {
|
|
|
21 Philosophy phil = arg1.asClass(Philosophy.class);
|
|
|
22 Fork fork = arg2.asClass(Fork.class);
|
|
|
23 if (fork.getFork(phil.getName())) {
|
|
18
|
24 phil.setState(Philosophy.State.TAKELEFTFORK);
|
|
16
|
25 new TakeLeftForkCodeSegment(phil.getName(), phil.getLeftFork());
|
|
|
26 } else {
|
|
|
27 new TakeRightForkCodeSegment(phil.getName(), phil.getRightFork());
|
|
|
28 }
|
|
|
29 ods.update("local", phil.getName(), phil);
|
|
|
30 ods.update("local", fork.getForkName(), fork);
|
|
|
31 }
|
|
|
32 }
|
