Searched refs:import_name (Results 1 - 11 of 11) sorted by relevance
| /seL4-l4v-10.1.1/l4v/misc/scripts/ |
| H A D | gen_isabelle_root.py | 65 def import_name(file): function
72 output.write(" \"%s\"\n" % import_name(i))
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
| H A D | resources.scala | 94 def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
96 val theory = theory_name(qualifier, Thy_Header.import_name(s))
114 def import_name(name: Document.Node.Name, s: String): Document.Node.Name =
115 import_name(session_base.theory_qualifier(name), name.master_dir, s)
119 val name = import_name(qualifier, dir, s)
135 val name2 = import_name(qualifier, dir, s1)
167 val name = import_name(node_name, s)
189 if (name.theory == Sessions.root_name) List(import_name(name, Sessions.theory_name))
190 else if (Thy_Header.is_ml_root(name.theory)) List(import_name(name, Thy_Header.ML_BOOTSTRAP))
191 else if (Thy_Header.is_bootstrap(name.theory)) List(import_name(nam
[all...] |
| H A D | command.scala | 508 for { ((import_name, pos), s) <- imports zip raw_imports if !can_import(import_name) }
512 val completed = Completion.completed(import_name.theory_base_name)
527 Markup.Path(import_name.node).markup(quote(import_name.toString)) +
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
| H A D | resources.scala | 94 def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
96 val theory = theory_name(qualifier, Thy_Header.import_name(s))
114 def import_name(name: Document.Node.Name, s: String): Document.Node.Name =
115 import_name(session_base.theory_qualifier(name), name.master_dir, s)
119 val name = import_name(qualifier, dir, s)
135 val name2 = import_name(qualifier, dir, s1)
167 val name = import_name(node_name, s)
189 if (name.theory == Sessions.root_name) List(import_name(name, Sessions.theory_name))
190 else if (Thy_Header.is_ml_root(name.theory)) List(import_name(name, Thy_Header.ML_BOOTSTRAP))
191 else if (Thy_Header.is_bootstrap(name.theory)) List(import_name(nam
[all...] |
| H A D | command.scala | 508 for { ((import_name, pos), s) <- imports zip raw_imports if !can_import(import_name) }
512 val completed = Completion.completed(import_name.theory_base_name)
527 Markup.Path(import_name.node).markup(quote(import_name.toString)) +
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
| H A D | thy_resources.scala | 281 val import_names = theories.map(thy => import_name(qualifier, master_dir, thy) -> Position.none)
341 val nodes = theories.map(import_name(qualifier, master_dir, _))
|
| H A D | thy_header.scala | 94 def import_name(s: String): String =
|
| H A D | sessions.scala | 271 yield (resources.import_name(info.name, info.dir.implode, thy), pos))
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/ |
| H A D | thy_resources.scala | 281 val import_names = theories.map(thy => import_name(qualifier, master_dir, thy) -> Position.none)
341 val nodes = theories.map(import_name(qualifier, master_dir, _))
|
| H A D | thy_header.scala | 94 def import_name(s: String): String =
|
| H A D | sessions.scala | 271 yield (resources.import_name(info.name, info.dir.implode, thy), pos))
|
Completed in 103 milliseconds