-
Notifications
You must be signed in to change notification settings - Fork 10
Expand file tree
/
Copy pathTestAlt.java
More file actions
115 lines (96 loc) · 2.36 KB
/
Copy pathTestAlt.java
File metadata and controls
115 lines (96 loc) · 2.36 KB
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
package tests;
import tests.classes.TestSeqProcess;
import JyCSP.*;
import junit.framework.TestCase;
public class TestAlt extends TestCase {
private Alt a ;
private JavaCspChannel c0;
private JavaCspChannel c1;
private JavaCspChannel c2;
private JavaCspChannel c3;
private JavaCspChannel c4;
private JavaCspChannel c5;
private JavaCspChannel c6;
private JavaCspChannel c[];
public TestAlt(String name) {
super(name);
}
protected void setUp() throws Exception {
super.setUp();
c0 = new JavaCspChannel();
c1 = new JavaCspChannel();
c2 = new JavaCspChannel();
c3 = new JavaCspChannel();
c4 = new JavaCspChannel();
c5 = new JavaCspChannel();
c6 = new JavaCspChannel();
c = new JavaCspChannel[] {c0,c1,c2,c3,c4,c5,c6};
}
protected void tearDown() throws Exception {
super.tearDown();
}
public void testAlt() {
try{
this.a = new Alt(c0,c1,c2,c3,c4,c5,c6);
}catch (Exception e){
assertTrue(false);
}
}
public void testPoison() {
}
public void testPri_select() {
this.a = new Alt(c);
TestSeqProcess sp = new TestSeqProcess(c);
sp.start();
try {
Thread.sleep(10);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
for (int i=0; i<this.c.length; i++) {
assertTrue(this.a.pri_select() instanceof String);
}
}
public void testSelect() {
this.a = new Alt(c);
TestSeqProcess sp = new TestSeqProcess(c);
sp.start();
/* try {
Thread.sleep(5000);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}*/
assertTrue(this.a.pri_select() instanceof String);
}
public void testFair_select() {
this.a = new Alt(c);
TestSeqProcess sp = new TestSeqProcess(c);
sp.start();
/* try {
Thread.sleep(5000);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}*/
assertTrue(this.a.pri_select() instanceof String);
}
public void testHasNext() {
this.a = new Alt(c);
TestSeqProcess sp = new TestSeqProcess(c);
sp.start();
/* try {
Thread.sleep(5000);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}*/
assertTrue(this.a.pri_select() instanceof String);
assertTrue(this.a.hasNext());
}
public void testGetGuardLength() {
this.a = new Alt(c);
System.out.println(this.a.getGuardLength());
}
}