VSCode/src/vscode_resources.scala

4 Resources for VSCode Language Server: file-system access and global state.
32         pending_input = (pending_input /: changed) { case (set, (file, _)) => set + file },
33         pending_output = (pending_output /: changed) { case (set, (file, _)) => set + file })
42     def get_caret(file: JFile): Option[Line.Position] =
44         case Some((caret_file, caret_pos)) if caret_file == file => Some(caret_pos)
55     def change_overlay(insert: Boolean, file: JFile,
61         pending_input = pending_input + file)
67   sealed case class Caret(file: JFile, model: Document_Model, offset: Text.Offset)
96   def node_name(file: JFile): Document.Node.Name =
97     find_theory(file) getOrElse {
98       val node = file.getPath
102         val master_dir = file.getParent
119   def get_model(file: JFile): Option[Document_Model] = get_models.get(file)
123   /* file content */
141     val file = node_file(name)
142     get_model(file) match {
144       case None if file.isFile => using(Scan.byte_reader(file))(f)
145       case None => error("No such file: " + quote(file.toString))
161     file: JFile,
168         val model = st.models.getOrElse(file, Document_Model.init(session, editor, node_name(file)))
171         st.update_models(Some(file -> model1))
175   def close_model(file: JFile): Boolean =
177       st.models.get(file) match {
179         case Some(model) => (true, st.update_models(Some(file -> model.external(true))))
187             (file, model) <- st.models.iterator
188             if changed_files(file) && model.external_file
191           } yield (file, model1)).toList
251             file = node_file(node_name)
252             if !st.models.isDefinedAt(file)
253             text <- { file_watcher.register_parent(file); read_file_content(node_name) }
258             (file, model1)
277             file <- st.pending_input.iterator
278             model <- st.models.get(file)
280               model.flush_edits(unicode_symbols, st.document_blobs, file, st.get_caret(file))
281           } yield (edits, (file, model1))).toList
302       (for ((file, model) <- st.models.iterator if model.node_visible) yield file)))
310             file <- st.pending_output.iterator
311             model <- st.models.get(file)
312           } yield (file, model, model.rendering())).toList.partition(_._3.snapshot.is_outdated)
316             (file, model, rendering) <- flushed.iterator
322               channel.write(Protocol.PublishDiagnostics(file, rendering.diagnostics_output(diags)))
325                 channel.write(rendering.decoration_output(deco).json(file))
327             (file, model1)
362       (file, pos) <- st.caret
363       model <- st.models.get(file)
366     yield VSCode_Resources.Caret(file, model, offset)