Lines Matching refs:node_name
30 def append(node_name: Document.Node.Name, source_path: Path): String =
31 append(node_name.master_dir, source_path)
100 case Some(node_name) => node_name
151 def check_thy_reader(node_name: Document.Node.Name, reader: Reader[Char],
154 if (node_name.is_theory && reader.source.length > 0) {
158 val base_name = node_name.theory_base_name
167 val name = import_name(node_name, s)
205 (node_name, node) <- nodes.iterator
206 if !session_base.loaded_theory(node_name)