Add sorting inkuireDB before saving

aluneed · Jul 6, 2021 · c458218 · c458218
1 parent af82146
commit c458218
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/scaladoc/src/dotty/tools/scaladoc/Inkuire.scala b/scaladoc/src/dotty/tools/scaladoc/Inkuire.scala
@@ -7,6 +7,14 @@ object Inkuire {
 
   var db = InkuireDb(Seq.empty, Map.empty, Seq.empty)
 
+  def beforeSave(): Unit = {
+    db = db.copy(
+      functions = db.functions.sortBy(_.hashCode),
+      types = db.types.toSeq.sortBy(_._1.uuid).toMap,
+      implicitConversions = db.implicitConversions.sortBy(_._1.uuid)
+    )
+  }
+
   def generateInkuireConfig(externalMappings: Seq[String]): String = {
     val paths = ("../inkuire-db.json" +: externalMappings.map(_ + "../inkuire-db.json")).map(jsonString)
     jsonObject(("inkuirePaths", jsonList(paths))).toString

diff --git a/scaladoc/src/dotty/tools/scaladoc/Scaladoc.scala b/scaladoc/src/dotty/tools/scaladoc/Scaladoc.scala
@@ -93,6 +93,7 @@ object Scaladoc:
     val dbFile = dbPath.toFile()
     dbFile.createNewFile()
     val dbWriter = new FileWriter(dbFile, false)
+    Inkuire.beforeSave()
     dbWriter.write(s"${EngineModelSerializers.serialize(Inkuire.db)}")
     dbWriter.close()