--- a/src/Pure/PIDE/command_span.scala Wed Nov 03 12:04:22 2021 +0100
+++ b/src/Pure/PIDE/command_span.scala Wed Nov 03 14:26:13 2021 +0100
@@ -21,10 +21,13 @@
}
sealed case class Loaded_Files(files: List[String], index: Int)
- class Load_Command(val name: String) extends Isabelle_System.Service
+ abstract class Load_Command(val name: String, val here: Scala_Project.Here)
+ extends Isabelle_System.Service
{
override def toString: String = name
+ def position: Position.T = here.position
+
def extensions: List[String] = Nil
def loaded_files(tokens: List[(Token, Int)]): Loaded_Files =
@@ -38,8 +41,10 @@
}
}
+ object Load_Command_Default extends Load_Command("", Scala_Project.here)
+
lazy val load_commands: List[Load_Command] =
- new Load_Command("") :: Isabelle_System.make_services(classOf[Load_Command])
+ Load_Command_Default :: Isabelle_System.make_services(classOf[Load_Command])
/* span kind */