jEdit/src/document_model.scala

35         (node_name, model) <- models.iterator
37       } yield (node_name, model.asInstanceOf[File_Model])
42           (node_name, model) <- models.iterator
44         } yield (node_name -> blob)).toMap)
46     def open_buffer(session: Session, node_name: Document.Node.Name, buffer: Buffer)
50         models.get(node_name) match {
55       val buffer_model = Buffer_Model(session, node_name, buffer).init(old_model)
57         copy(models = models + (node_name -> buffer_model),
67           copy(models = models + (file_model.node_name -> file_model),
72     def provide_file(session: Session, node_name: Document.Node.Name, text: String): State =
73       if (models.isDefinedAt(node_name)) this
76         val model = File_Model.init(session, node_name, text, pending_edits = List(edit))
77         copy(models = models + (node_name -> model))
120             (node_name, model) <- st.file_models_iterator
122             text <- PIDE.resources.read_file_content(node_name)
127             (node_name, model.copy(content = content, pending_edits = model.pending_edits ::: edits))
150   def init(session: Session, node_name: Document.Node.Name, buffer: Buffer): Buffer_Model =
155         case Some(buffer_model) if buffer_model.node_name == node_name =>
159           val res = st.close_buffer(buffer).open_buffer(session, node_name, buffer)
181       (st /: files) { case (st1, (node_name, text)) => st1.provide_file(session, node_name, text) })
189       (node_name, model) <- state.value.models.iterator
191     } yield node_name).toSet
219       node_required(model.node_name, toggle = toggle, set = set))
240             (node_name, model) <- st.file_models_iterator
242           } yield (edits, node_name -> model1)).toList
249               (for ((node_name, model) <- st.file_models_iterator)
250                yield (node_name -> model.purge_edits(doc_blobs))).toList
255                 (for ((_, model) <- st.buffer_models.iterator) yield model.node_name).toList
257               val pending_nodes = for ((node_name, None) <- purged) yield node_name
262             for ((node_name, Some(edits)) <- purged if !retain(node_name); edit <- edits)
299         val name = model.node_name
318           model <- get(PIDE.resources.node_name(name))
354       val overlays = PIDE.editor.node_overlays(node_name)
382     node_name: Document.Node.Name,
388     val file = JEdit_Lib.check_file(node_name.node)
392     val node_required1 = node_required || node_name.is_bibtex_theory
393     File_Model(session, node_name, file, content, node_required1, last_perspective, pending_edits)
399   node_name: Document.Node.Name,
415     PIDE.resources.special_header(node_name) getOrElse
416       PIDE.resources.check_thy_reader(node_name, Scan.char_reader(content.text), strict = false)
422     Line.Node_Position(node_name.node,
468   def snapshot(): Document.Snapshot = session.snapshot(node_name, pending_edits)
471 case class Buffer_Model(session: Session, node_name: Document.Node.Name, buffer: Buffer)
486     PIDE.resources.special_header(node_name) getOrElse
488         PIDE.resources.check_thy_reader(node_name, JEdit_Lib.buffer_reader(buffer), strict = false)
613   def snapshot(): Document.Snapshot = session.snapshot(node_name, pending_edits.get_edits)
692     File_Model.init(session, node_name, JEdit_Lib.buffer_text(buffer), node_required,