Searched refs:getName (Results 1 - 25 of 100) sorted by relevance
1234
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Directory.java | 18 public String getName() { return name; } method in class:Directory
|
H A D | Console.java | 39 gra.collapse(v,"["+d.getName()+"]",d.getCollapsed());
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Directory.java | 18 public String getName() { return name; } method in class:Directory
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | update_header.scala | 58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
H A D | update_then.scala | 52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
H A D | update_theorems.scala | 54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
H A D | update_cartouches.scala | 107 file => file.getName.endsWith(".thy") || file.getName == "ROOT")
|
H A D | update_comments.scala | 65 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | raw_output_dockable.scala | 27 Session.Consumer[Prover.Output](getClass.getName) {
|
H A D | syslog_dockable.scala | 36 Session.Consumer[Prover.Output](getClass.getName) { case _ => syslog_delay.invoke() }
|
H A D | protocol_dockable.scala | 43 Session.Consumer[Any](getClass.getName) {
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | update_header.scala | 58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
H A D | update_then.scala | 52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
H A D | update_theorems.scala | 54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
H A D | update_cartouches.scala | 107 file => file.getName.endsWith(".thy") || file.getName == "ROOT")
|
H A D | update_comments.scala | 65 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | raw_output_dockable.scala | 27 Session.Consumer[Prover.Output](getClass.getName) {
|
H A D | syslog_dockable.scala | 36 Session.Consumer[Prover.Output](getClass.getName) { case _ => syslog_delay.invoke() }
|
H A D | protocol_dockable.scala | 43 Session.Consumer[Any](getClass.getName) {
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | untyped.scala | 38 if field.getName == x
|
/seL4-l4v-master/isabelle/src/Tools/Graphview/ |
H A D | graph_file.scala | 32 val name = file.getName
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | untyped.scala | 38 if field.getName == x
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Graphview/ |
H A D | graph_file.scala | 32 val name = file.getName
|
/seL4-l4v-master/isabelle/src/Pure/Concurrent/ |
H A D | consumer_thread.scala | 56 "Consumer thread failure: " + quote(thread.getName) + "\n" + Exn.message(exn)) 81 else error("Consumer thread not active: " + quote(thread.getName))
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Concurrent/ |
H A D | consumer_thread.scala | 56 "Consumer thread failure: " + quote(thread.getName) + "\n" + Exn.message(exn)) 81 else error("Consumer thread not active: " + quote(thread.getName))
|
Completed in 75 milliseconds
1234