4
4
. "github.com/sdboyer/gocheck"
5
5
)
6
6
7
- type SpecTestSuite struct {}
7
+ type SpecTestSuite struct {}
8
+
8
9
var _ = Suite (& SpecTestSuite {})
9
10
10
11
const baseline = G_UNDIRECTED | G_SIMPLE | G_BASIC | G_MUTABLE
@@ -26,67 +27,67 @@ func (s *SpecTestSuite) permuteField() []GraphProperties {
26
27
func (s * SpecTestSuite ) TestMutators (c * C ) {
27
28
var spec GraphSpec
28
29
for _ , spec .Props = range s .permuteField () {
29
- c .Assert (spec .Directed ().Props & G_DIRECTED == G_DIRECTED , Equals , true )
30
- c .Assert (spec .Directed ().Props & G_UNDIRECTED == 0 , Equals , true )
30
+ c .Assert (spec .Directed ().Props & G_DIRECTED == G_DIRECTED , Equals , true )
31
+ c .Assert (spec .Directed ().Props & G_UNDIRECTED == 0 , Equals , true )
31
32
}
32
33
33
34
for _ , spec .Props = range s .permuteField () {
34
- c .Assert (spec .Undirected ().Props & G_UNDIRECTED == G_UNDIRECTED , Equals , true )
35
- c .Assert (spec .Undirected ().Props & G_DIRECTED == 0 , Equals , true )
35
+ c .Assert (spec .Undirected ().Props & G_UNDIRECTED == G_UNDIRECTED , Equals , true )
36
+ c .Assert (spec .Undirected ().Props & G_DIRECTED == 0 , Equals , true )
36
37
}
37
38
38
39
for _ , spec .Props = range s .permuteField () {
39
- c .Assert (spec .Basic ().Props & G_BASIC == G_BASIC , Equals , true )
40
- c .Assert (spec .Basic ().Props & (G_LABELED | G_WEIGHTED | G_DATA ) == 0 , Equals , true )
40
+ c .Assert (spec .Basic ().Props & G_BASIC == G_BASIC , Equals , true )
41
+ c .Assert (spec .Basic ().Props & (G_LABELED | G_WEIGHTED | G_DATA ) == 0 , Equals , true )
41
42
}
42
43
43
44
for _ , spec .Props = range s .permuteField () {
44
- c .Assert (spec .Labeled ().Props & G_LABELED == G_LABELED , Equals , true )
45
- c .Assert (spec .Labeled ().Props & G_BASIC == 0 , Equals , true )
45
+ c .Assert (spec .Labeled ().Props & G_LABELED == G_LABELED , Equals , true )
46
+ c .Assert (spec .Labeled ().Props & G_BASIC == 0 , Equals , true )
46
47
}
47
48
48
49
for _ , spec .Props = range s .permuteField () {
49
- c .Assert (spec .Weighted ().Props & G_WEIGHTED == G_WEIGHTED , Equals , true )
50
- c .Assert (spec .Weighted ().Props & G_BASIC == 0 , Equals , true )
50
+ c .Assert (spec .Weighted ().Props & G_WEIGHTED == G_WEIGHTED , Equals , true )
51
+ c .Assert (spec .Weighted ().Props & G_BASIC == 0 , Equals , true )
51
52
}
52
53
53
54
for _ , spec .Props = range s .permuteField () {
54
- c .Assert (spec .DataEdges ().Props & G_DATA == G_DATA , Equals , true )
55
- c .Assert (spec .DataEdges ().Props & G_BASIC == 0 , Equals , true )
55
+ c .Assert (spec .DataEdges ().Props & G_DATA == G_DATA , Equals , true )
56
+ c .Assert (spec .DataEdges ().Props & G_BASIC == 0 , Equals , true )
56
57
}
57
58
58
59
for _ , spec .Props = range s .permuteField () {
59
- c .Assert (spec .SimpleGraph ().Props & G_SIMPLE == G_SIMPLE , Equals , true )
60
- c .Assert (spec .SimpleGraph ().Props & (G_LOOPS | G_PARALLEL ) == 0 , Equals , true )
60
+ c .Assert (spec .SimpleGraph ().Props & G_SIMPLE == G_SIMPLE , Equals , true )
61
+ c .Assert (spec .SimpleGraph ().Props & (G_LOOPS | G_PARALLEL ) == 0 , Equals , true )
61
62
}
62
63
63
64
for _ , spec .Props = range s .permuteField () {
64
- c .Assert (spec .MultiGraph ().Props & G_PARALLEL == G_PARALLEL , Equals , true )
65
- c .Assert (spec .MultiGraph ().Props & (G_LOOPS | G_SIMPLE ) == 0 , Equals , true )
65
+ c .Assert (spec .MultiGraph ().Props & G_PARALLEL == G_PARALLEL , Equals , true )
66
+ c .Assert (spec .MultiGraph ().Props & (G_LOOPS | G_SIMPLE ) == 0 , Equals , true )
66
67
}
67
68
68
69
for _ , spec .Props = range s .permuteField () {
69
- c .Assert (spec .PseudoGraph ().Props & (G_LOOPS | G_PARALLEL ) == (G_LOOPS | G_PARALLEL ), Equals , true )
70
- c .Assert (spec .PseudoGraph ().Props & G_SIMPLE == 0 , Equals , true )
70
+ c .Assert (spec .PseudoGraph ().Props & (G_LOOPS | G_PARALLEL ) == (G_LOOPS | G_PARALLEL ), Equals , true )
71
+ c .Assert (spec .PseudoGraph ().Props & G_SIMPLE == 0 , Equals , true )
71
72
}
72
73
73
74
for _ , spec .Props = range s .permuteField () {
74
- c .Assert (spec .Parallel ().Props & G_PARALLEL == G_PARALLEL , Equals , true )
75
- c .Assert (spec .Parallel ().Props & G_SIMPLE == 0 , Equals , true )
75
+ c .Assert (spec .Parallel ().Props & G_PARALLEL == G_PARALLEL , Equals , true )
76
+ c .Assert (spec .Parallel ().Props & G_SIMPLE == 0 , Equals , true )
76
77
}
77
78
78
79
for _ , spec .Props = range s .permuteField () {
79
- c .Assert (spec .Loop ().Props & G_LOOPS == G_LOOPS , Equals , true )
80
- c .Assert (spec .Loop ().Props & G_SIMPLE == 0 , Equals , true )
80
+ c .Assert (spec .Loop ().Props & G_LOOPS == G_LOOPS , Equals , true )
81
+ c .Assert (spec .Loop ().Props & G_SIMPLE == 0 , Equals , true )
81
82
}
82
83
83
84
for _ , spec .Props = range s .permuteField () {
84
- c .Assert (spec .Mutable ().Props & G_MUTABLE == G_MUTABLE , Equals , true )
85
- c .Assert (spec .Mutable ().Props & G_IMMUTABLE == 0 , Equals , true )
85
+ c .Assert (spec .Mutable ().Props & G_MUTABLE == G_MUTABLE , Equals , true )
86
+ c .Assert (spec .Mutable ().Props & G_IMMUTABLE == 0 , Equals , true )
86
87
}
87
88
88
89
for _ , spec .Props = range s .permuteField () {
89
- c .Assert (spec .Immutable ().Props & G_IMMUTABLE == G_IMMUTABLE , Equals , true )
90
- c .Assert (spec .Immutable ().Props & G_MUTABLE == 0 , Equals , true )
90
+ c .Assert (spec .Immutable ().Props & G_IMMUTABLE == G_IMMUTABLE , Equals , true )
91
+ c .Assert (spec .Immutable ().Props & G_MUTABLE == 0 , Equals , true )
91
92
}
92
93
}
0 commit comments