Searched refs:Console (Results 1 - 10 of 10) sorted by relevance
| /seL4-l4v-master/isabelle/src/Pure/General/ |
| H A D | output.scala | 27 if (stdout) Console.print(writeln_text(msg) + "\n")
28 else Console.err.print(writeln_text(msg) + "\n")
35 if (stdout) Console.print(warning_text(msg) + "\n")
36 else Console.err.print(warning_text(msg) + "\n")
43 if (stdout) Console.print(error_message_text(msg) + "\n")
44 else Console.err.print(error_message_text(msg) + "\n")
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
| H A D | output.scala | 27 if (stdout) Console.print(writeln_text(msg) + "\n")
28 else Console.err.print(writeln_text(msg) + "\n")
35 if (stdout) Console.print(warning_text(msg) + "\n")
36 else Console.err.print(warning_text(msg) + "\n")
43 if (stdout) Console.print(error_message_text(msg) + "\n")
44 else Console.err.print(error_message_text(msg) + "\n")
|
| /seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
| H A D | scala_console.scala | 4 Scala instance of Console plugin.
12 import console.{Console, ConsolePane, Shell, Output}
49 @volatile private var interpreters = Map.empty[Console, Interpreter]
51 @volatile private var global_console: Console = null
93 private def with_console[A](console: Console, out: Output, err: Output)(e: => A): A =
99 scala.Console.withErr(console_stream) {
100 scala.Console.withOut(console_stream) { e }
121 private case class Start(console: Console) extends Request
122 private case class Execute(console: Console, out: Output, err: Output, command: String)
143 interp.bind("console", "console.Console", consol
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
| H A D | scala_console.scala | 4 Scala instance of Console plugin.
12 import console.{Console, ConsolePane, Shell, Output}
49 @volatile private var interpreters = Map.empty[Console, Interpreter]
51 @volatile private var global_console: Console = null
93 private def with_console[A](console: Console, out: Output, err: Output)(e: => A): A =
99 scala.Console.withErr(console_stream) {
100 scala.Console.withOut(console_stream) { e }
121 private case class Start(console: Console) extends Request
122 private case class Execute(console: Console, out: Output, err: Output, command: String)
143 interp.bind("console", "console.Console", consol
[all...] |
| /seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
| H A D | Console.java | 2 Title: GraphBrowser/Console.java
17 public class Console { class
21 public Console(String name) { method in class:Console
70 Console console=new Console(args[0]);
|
| /seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | Console.java | 2 Title: GraphBrowser/Console.java
17 public class Console { class
21 public Console(String name) { method in class:Console
70 Console console=new Console(args[0]);
|
| /seL4-l4v-master/isabelle/lib/Tools/ |
| H A D | browser | 91 isabelle java GraphBrowser.Console "$(platform_path "$PRIVATE_FILE")" "$(platform_path "$OUTFILE")"
|
| /seL4-l4v-master/l4v/isabelle/lib/Tools/ |
| H A D | browser | 91 isabelle java GraphBrowser.Console "$(platform_path "$PRIVATE_FILE")" "$(platform_path "$OUTFILE")"
|
| /seL4-l4v-master/l4v/isabelle/lib/browser/ |
| H A D | build | 27 GraphBrowser/Console.java
|
| /seL4-l4v-master/isabelle/lib/browser/ |
| H A D | build | 27 GraphBrowser/Console.java
|
Completed in 47 milliseconds