Lines Matching refs:node_name
66 def snapshot(node_name: Document.Node.Name): Document.Snapshot =
68 val snapshot = state.snapshot(node_name)
151 yield command.node_name).toSet
232 val node_name: Document.Node.Name,
237 override def toString: String = node_name.toString
243 List(node_name -> Document.Node.Deps(node_header),
244 node_name -> Document.Node.Edits(text_edits),
245 node_name -> node_perspective)
262 else new Theory(node_name, node_header, text, required)
286 for (node_name <- dep_theories)
288 val path = node_name.path
289 if (!node_name.is_theory) error("Not a theory file: " + path)
293 val node_header = resources.check_thy_reader(node_name, Scan.char_reader(text))
294 new Thy_Resources.Theory(node_name, node_header, text, true)
303 val node_name = theory.node_name
304 val theory1 = theory.required(st1.is_required(node_name))
305 val edits = theory1.node_edits(st1.theories.get(node_name))
306 (edits, (node_name, theory1))
322 node_name <- dep_theories
323 theory <- st1.theories.get(node_name)
326 val theory1 = theory.required(st1.is_required(node_name))
328 (edits, (node_name, theory1))