Lines Matching refs:node_name
37 update(command.node_name, _.insert(command, fn, args))
40 update(command.node_name, _.remove(command, fn, args))
135 JSON.Object("node_name" -> node, "theory_name" -> theory)
532 def node_name: Node.Name
579 def node_name: Node.Name
580 def is_theory: Boolean = node_name.is_theory
581 override def toString: String = node_name.toString
587 def is_bibtex: Boolean = node_name.is_bibtex
588 def is_bibtex_theory: Boolean = node_name.is_bibtex_theory
601 if (session.resources.session_base.loaded_theory(node_name)) {
603 List("Cannot update finished theory " + quote(node_name.theory)))
609 edits.flatMap(edit => if (edit.is_void) None else Some(node_name -> edit))
917 node_name: Node.Name,
921 val node = version.nodes(node_name)
922 if (node_name.is_theory) {
937 version.nodes.commands_loading(node_name).headOption match {
940 val chunk_name = Symbol.Text_Chunk.File(node_name.node)
1014 val node_name: Node.Name = name
1018 if (node_name.is_theory) Nil
1019 else version.nodes.commands_loading(node_name)
1042 state.markup_to_XML(version, node_name, range, elements)
1048 node.commands.iterator, Token.Pos.file(node_name.node))
1071 val node = version.nodes(command.node_name)
1079 val name = command.node_name.node
1102 case Some(command) => (Symbol.Text_Chunk.File(node_name.node), Iterator((command, 0)))
1154 "Snapshot(node = " + node_name.node + ", version = " + version.id +