src/Pure/PIDE/document.scala
changeset 56176 0bc9b0ad6287
parent 55820 61869776ce1f
child 56295 a40e67ce4f84
     1.1 --- a/src/Pure/PIDE/document.scala	Mon Mar 17 13:53:02 2014 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Mon Mar 17 14:37:23 2014 +0100
     1.3 @@ -422,6 +422,7 @@
     1.4      val node_name: Node.Name
     1.5      val node: Node
     1.6      val thy_load_commands: List[Command]
     1.7 +    def is_loaded: Boolean
     1.8      def eq_content(other: Snapshot): Boolean
     1.9  
    1.10      def cumulate[A](
    1.11 @@ -681,6 +682,8 @@
    1.12            if (node_name.is_theory) Nil
    1.13            else version.nodes.thy_load_commands(node_name)
    1.14  
    1.15 +        val is_loaded: Boolean = node_name.is_theory || !thy_load_commands.isEmpty
    1.16 +
    1.17          def eq_content(other: Snapshot): Boolean =
    1.18          {
    1.19            def eq_commands(commands: (Command, Command)): Boolean =