Enable DagSpecification.scala (#8840)

This commit is contained in:
kenji yoshida 2026-03-01 15:53:36 +09:00 committed by GitHub
parent 870e526a00
commit a1314ed05c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions

View File

@ -8,8 +8,8 @@
package sbt.internal.util package sbt.internal.util
import org.scalacheck._ import org.scalacheck.*
import Prop._ import Prop.*
import scala.collection.mutable.HashSet import scala.collection.mutable.HashSet
@ -38,7 +38,7 @@ object DagSpecification extends Properties("Dag") {
Gen.parameterized(nonterminalGen) Gen.parameterized(nonterminalGen)
} }
private def isSet[T](c: Seq[T]) = Set(c: _*).size == c.size private def isSet[T](c: Seq[T]) = Set(c*).size == c.size
private def dependenciesPrecedeNodes(sort: List[TestDag]) = { private def dependenciesPrecedeNodes(sort: List[TestDag]) = {
val seen = new HashSet[TestDag] val seen = new HashSet[TestDag]
def iterate(remaining: List[TestDag]): Boolean = { def iterate(remaining: List[TestDag]): Boolean = {
@ -56,5 +56,5 @@ object DagSpecification extends Properties("Dag") {
} }
} }
class TestDag(id: Int, val dependencies: Iterable[TestDag]) extends Dag[TestDag] { class TestDag(id: Int, val dependencies: Iterable[TestDag]) extends Dag[TestDag] {
override def toString = id + "->" + dependencies.mkString("[", ",", "]") override def toString = String.valueOf(id) + "->" + dependencies.mkString("[", ",", "]")
} }