src/Pure/PIDE/resources.scala
changeset 56393 22f533e6a049
parent 56392 bc118a32a870
child 56801 8dd9df88f647
     1.1 --- a/src/Pure/PIDE/resources.scala	Thu Apr 03 20:17:12 2014 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Thu Apr 03 20:53:35 2014 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4  }
     1.5  
     1.6  
     1.7 -class Resources(val loaded_theories: Set[String] = Set.empty, val base_syntax: Outer_Syntax)
     1.8 +class Resources(val loaded_theories: Set[String] = Set.empty, val base_syntax: Prover.Syntax)
     1.9  {
    1.10    /* document node names */
    1.11  
    1.12 @@ -50,14 +50,12 @@
    1.13  
    1.14    /* theory files */
    1.15  
    1.16 -  def loaded_files(syntax: Outer_Syntax, text: String): List[String] =
    1.17 -  {
    1.18 -    if (syntax.load_commands.exists({ case (cmd, _) => text.containsSlice(cmd) })) {
    1.19 +  def loaded_files(syntax: Prover.Syntax, text: String): List[String] =
    1.20 +    if (syntax.load_commands_in(text)) {
    1.21        val spans = Thy_Syntax.parse_spans(syntax.scan(text))
    1.22        spans.iterator.map(Thy_Syntax.span_files(syntax, _)).flatten.toList
    1.23      }
    1.24      else Nil
    1.25 -  }
    1.26  
    1.27    def import_name(master: Document.Node.Name, s: String): Document.Node.Name =
    1.28    {