| /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
| H A D | isabelle_sidekick.scala | 113 node_name: Buffer => Option[Document.Node.Name],
139 node_name(buffer) match {
167 buffer => Some(PIDE.resources.node_name(buffer)),
172 buffer => Some(PIDE.resources.node_name(buffer)),
|
| H A D | timing_dockable.scala | 162 case Some(doc_view) => doc_view.model.node_name
167 (for ((node_name, node_timing) <- nodes_timing.toList if node_timing.commands.nonEmpty)
168 yield Theory_Entry(node_name, node_timing.total, false)).sorted(Entry.Ordering)
|
| H A D | plugin.scala | 128 (for ((node_name, model) <- models.iterator if model.is_theory)
129 yield (node_name, Position.none)).toList
252 val node_name = resources.node_name(buffer)
253 val model = Document_Model.init(session, node_name, buffer)
|
| H A D | theories_dockable.scala | 135 var node_name = Document.Node.Name.empty
164 nodes_status.get(node_name) match {
215 component.node_name = name
|
| H A D | isabelle.scala | 68 Some(PIDE.session.recent_syntax(model.node_name))
333 case (Some((node, command)), Some(model)) if command.node_name == model.node_name =>
|
| H A D | document_view.scala | 217 (changed.nodes.contains(model.node_name) &&
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
| H A D | dynamic_output.scala | 26 snapshot.current_command(caret.node_name, caret.offset) match {
|
| H A D | vscode_rendering.scala | 310 val file = perhaps_append_file(snapshot.node_name, name)
324 } yield Line.Node_Range(model.node_name.node, model.content.doc.range(entry_range))
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
| H A D | isabelle_sidekick.scala | 113 node_name: Buffer => Option[Document.Node.Name],
139 node_name(buffer) match {
167 buffer => Some(PIDE.resources.node_name(buffer)),
172 buffer => Some(PIDE.resources.node_name(buffer)),
|
| H A D | timing_dockable.scala | 162 case Some(doc_view) => doc_view.model.node_name
167 (for ((node_name, node_timing) <- nodes_timing.toList if node_timing.commands.nonEmpty)
168 yield Theory_Entry(node_name, node_timing.total, false)).sorted(Entry.Ordering)
|
| H A D | plugin.scala | 128 (for ((node_name, model) <- models.iterator if model.is_theory)
129 yield (node_name, Position.none)).toList
252 val node_name = resources.node_name(buffer)
253 val model = Document_Model.init(session, node_name, buffer)
|
| H A D | theories_dockable.scala | 135 var node_name = Document.Node.Name.empty
164 nodes_status.get(node_name) match {
215 component.node_name = name
|
| H A D | isabelle.scala | 68 Some(PIDE.session.recent_syntax(model.node_name))
333 case (Some((node, command)), Some(model)) if command.node_name == model.node_name =>
|
| H A D | document_view.scala | 217 (changed.nodes.contains(model.node_name) &&
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
| H A D | query_operation.scala | 80 val snapshot = editor.node_snapshot(cmd.node_name)
87 val removed = !snapshot.version.nodes(cmd.node_name).commands.contains(cmd)
210 snapshot = editor.node_snapshot(command.node_name)
|
| H A D | rendering.scala | 311 val directory = new JFile(session.resources.append(snapshot.node_name, dir))
556 def perhaps_append_file(node_name: Document.Node.Name, name: String): String =
557 if (Path.is_valid(name)) session.resources.append(node_name, Path.explode(name)) else name
585 val file = perhaps_append_file(snapshot.node_name, name)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
| H A D | query_operation.scala | 80 val snapshot = editor.node_snapshot(cmd.node_name)
87 val removed = !snapshot.version.nodes(cmd.node_name).commands.contains(cmd)
210 snapshot = editor.node_snapshot(command.node_name)
|
| H A D | rendering.scala | 311 val directory = new JFile(session.resources.append(snapshot.node_name, dir))
556 def perhaps_append_file(node_name: Document.Node.Name, name: String): String =
557 if (Path.is_valid(name)) session.resources.append(node_name, Path.explode(name)) else name
585 val file = perhaps_append_file(snapshot.node_name, name)
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
| H A D | thy_syntax.scala | 171 node_name: Document.Node.Name,
178 (Command.blobs_info(resources, syntax, get_blob, can_import, node_name, span), span))
194 Command(Document_ID.make(), node_name, blobs, span) })
|
| H A D | present.scala | 121 val name = snapshot.node_name
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/ |
| H A D | thy_syntax.scala | 171 node_name: Document.Node.Name,
178 (Command.blobs_info(resources, syntax, get_blob, can_import, node_name, span), span))
194 Command(Document_ID.make(), node_name, blobs, span) })
|
| H A D | present.scala | 121 val name = snapshot.node_name
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | syntax.py | 942 def node_name (name): function
1083 cont = node_name(bits[n + 1])
1087 left = node_name(bits[n + 1])
1088 right = node_name(bits[n + 2])
1093 cont = node_name(bits[n + 1])
1150 entry = node_name(bits[1])
1164 name = node_name(bits[0])
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
| H A D | vscode_rendering.scala | 310 val file = perhaps_append_file(snapshot.node_name, name)
324 } yield Line.Node_Range(model.node_name.node, model.content.doc.range(entry_range))
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
| H A D | debugger.scala | 230 Symbol.encode(command.node_name.node),
|