Searched refs:stdout (Results 1 - 25 of 72) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/test/data/
H A Dgen.py11 sys.stdout.write(random.choice(s)) #string.printable
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Doutput.scala24 def writeln(msg: String, stdout: Boolean = false)
27 if (stdout) Console.print(writeln_text(msg) + "\n")
32 def warning(msg: String, stdout: Boolean = false)
35 if (stdout) Console.print(warning_text(msg) + "\n")
40 def error_message(msg: String, stdout: Boolean = false)
43 if (stdout) Console.print(error_message_text(msg) + "\n")
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Doutput.scala24 def writeln(msg: String, stdout: Boolean = false)
27 if (stdout) Console.print(writeln_text(msg) + "\n")
32 def warning(msg: String, stdout: Boolean = false)
35 if (stdout) Console.print(warning_text(msg) + "\n")
40 def error_message(msg: String, stdout: Boolean = false)
43 if (stdout) Console.print(error_message_text(msg) + "\n")
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Ddecompile.py34 sys.stdout.write(str)
42 ret = subprocess.call(args, stdin=input, stdout=out, stderr=out, universal_newlines=True, shell=True)
63 sys.stdout.flush()
76 sys.stdout.flush()
79 sys.stdout.flush()
94 sys.stdout.flush()
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttRedirect.sml17 Take a duplicate of current stdout.
21 val duplicate_stdout : file_desc = dup stdout
40 (dup2{old = fd, new = stdout}; stack := fd :: !stack)
59 fd :: _ => (dup2{old = fd, new = stdout}; true)
60 | [] => (dup2{old = duplicate_stdout, new = stdout}; false))
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/Foreign/
H A DForeignTest.c91 fflush(stdout);
98 fflush(stdout);
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dtree.c201 printf("A\n"); bddtree_print(stdout, t, 0);
203 printf("B\n"); bddtree_print(stdout, t, 0);
205 printf("C\n"); bddtree_print(stdout, t, 0);
207 printf("D\n"); bddtree_print(stdout, t, 0);
209 printf("E\n"); bddtree_print(stdout, t, 0);
211 printf("F\n"); bddtree_print(stdout, t, 0);
213 printf("G\n"); bddtree_print(stdout, t, 0);
216 printf("H\n"); bddtree_print(stdout, t, 0);
H A Dbddio.c110 DESCR {* Prints to either stdout or the file {\tt ofile} all the used
121 bdd_fprintall(stdout);
154 DESCR {* Prints to either stdout or the file {\tt ofile} all the entries
165 bdd_fprinttable(stdout, r);
228 bdd_fprintset(stdout, r);
306 drawing program DOT to either stdout, a designated file
314 bdd_fprintdot(stdout, r);
H A Dimatrix.c112 imatrixFPrint(mtx, stdout);
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Dprocess_result.scala42 Output.warning(err, stdout = true)
43 Output.writeln(out, stdout = true)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dprocess_result.scala42 Output.warning(err, stdout = true)
43 Output.writeln(out, stdout = true)
/seL4-l4v-10.1.1/seL4/manual/tools/
H A Dgen_env.py28 stdout=subprocess.PIPE) variable
/seL4-l4v-10.1.1/isabelle/Admin/bash_process/
H A Dbash_process.c105 fprintf(stdout, "%d\n", getpid());
106 fflush(stdout);
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Ddoc.scala86 if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true)
107 if (docs.isEmpty) Output.writeln(cat_lines(contents_lines().map(_._2)), stdout = true)
/seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/
H A Dbash_process.c105 fprintf(stdout, "%d\n", getpid());
106 fflush(stdout);
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Ddoc.scala86 if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true)
107 if (docs.isEmpty) Output.writeln(cat_lines(contents_lines().map(_._2)), stdout = true)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py17 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout:
30 for line in subprocess.Popen(['xcodebuild', '-showsdks'], stdout=subprocess.PIPE).stdout:
H A Dgenerate-osx-source-and-headers.py16 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout:
27 for line in subprocess.Popen(['xcodebuild', '-showsdks'], stdout=subprocess.PIPE).stdout:
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dtestclosure.c22 fflush(stdout);
/seL4-l4v-10.1.1/l4v/misc/benchmark-isabelle/
H A Dbenchmark.py38 process.logfile = sys.stdout
/seL4-l4v-10.1.1/l4v/misc/filemerge/faster/
H A Dmake_tables.py24 default=sys.stdout, help='output file')
/seL4-l4v-10.1.1/l4v/misc/regression/
H A Drun_tests.py55 if sys.stdout.isatty():
152 log is output to stdout where we can't easily get to it.
176 # Determine where stdout should go. We can't print it live to stdout and
178 output = sys.stdout if verbose else subprocess.PIPE
187 stdout=output, stderr=subprocess.STDOUT, stdin=subprocess.PIPE,
331 stdout=subprocess.PIPE, stderr=subprocess.STDOUT)
339 if sys.stdout.isatty():
341 sys.stdout.flush()
367 sys.stdout
[all...]
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dbench.py51 p = subprocess.Popen(program_n_flags,cwd=cwd,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
53 p = subprocess.Popen(program_n_flags,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/
H A Dml_console.scala78 val tty_loop = new TTY_Loop(process.stdin, process.stdout, Some(process.interrupt _))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/
H A Dml_console.scala78 val tty_loop = new TTY_Loop(process.stdin, process.stdout, Some(process.interrupt _))

Completed in 181 milliseconds

123