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
|
package firrtlTests.graph
import java.io._
import org.scalatest._
import org.scalatest.prop._
import org.scalatest.Matchers._
import firrtl.graph._
import firrtlTests._
class DiGraphTests extends FirrtlFlatSpec {
val acyclicGraph = DiGraph(Map(
"a" -> Set("b","c"),
"b" -> Set("d"),
"c" -> Set("d"),
"d" -> Set("e"),
"e" -> Set.empty[String]))
val reversedAcyclicGraph = DiGraph(Map(
"a" -> Set.empty[String],
"b" -> Set("a"),
"c" -> Set("a"),
"d" -> Set("b", "c"),
"e" -> Set("d")))
val cyclicGraph = DiGraph(Map(
"a" -> Set("b","c"),
"b" -> Set("d"),
"c" -> Set("d"),
"d" -> Set("a")))
val degenerateGraph = DiGraph(Map("a" -> Set.empty[String]))
acyclicGraph.findSCCs.filter(_.length > 1) shouldBe empty
cyclicGraph.findSCCs.filter(_.length > 1) should not be empty
acyclicGraph.path("a","e") should not be empty
an [acyclicGraph.PathNotFoundException] should be thrownBy acyclicGraph.path("e","a")
acyclicGraph.linearize.head should equal ("a")
a [cyclicGraph.CyclicException] should be thrownBy cyclicGraph.linearize
acyclicGraph.reverse.edges should equal (reversedAcyclicGraph.edges)
degenerateGraph.edges should equal (degenerateGraph.reverse.edges)
}
|
