Searched refs:flush (Results 1 - 25 of 66) sorted by relevance

123

/seL4-l4v-master/isabelle/src/Pure/General/
H A Dutf8.scala35 def flush()
47 flush()
62 if (c < 128) { flush(); buf.append(c) }
68 flush()
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dutf8.scala35 def flush()
47 flush()
62 if (c < 128) { flush(); buf.append(c) }
68 flush()
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py63 sys.stdout.flush()
76 sys.stdout.flush()
79 sys.stdout.flush()
94 sys.stdout.flush()
/seL4-l4v-master/isabelle/src/Tools/jEdit/src-base/
H A Disabelle_encoding.scala49 override def flush()
53 out.flush()
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src-base/
H A Disabelle_encoding.scala49 override def flush()
53 out.flush()
/seL4-l4v-master/isabelle/src/Pure/System/
H A Dtty_loop.scala31 System.out.flush()
58 writer.flush()
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Dtty_loop.scala31 System.out.flush()
58 writer.flush()
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dbyte_message.scala19 def flush(stream: OutputStream): Unit =
20 try { stream.flush() }
26 flush(stream)
66 flush(stream)
104 flush(stream)
H A Deditor.scala15 def flush(): Unit
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Dbyte_message.scala19 def flush(stream: OutputStream): Unit =
20 try { stream.flush() }
26 flush(stream)
66 flush(stream)
104 flush(stream)
H A Deditor.scala15 def flush(): Unit
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Dscala_console.scala59 override def flush()
70 override def close() { flush () }
76 if (c == '\n') flush()
82 def flush() { console_stream.flush() }
83 def close() { console_stream.flush() }
104 console_stream.flush
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Dscala_console.scala59 override def flush()
70 override def close() { flush () }
76 if (c == '\n') flush()
82 def flush() { console_stream.flush() }
83 def close() { console_stream.flush() }
104 console_stream.flush
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A Dpreview_panel.scala23 def flush(channel: Channel): Boolean =
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Dpreview_panel.scala23 def flush(channel: Channel): Boolean =
/seL4-l4v-master/graph-refine/
H A Dtarget_objects.py60 sys.stdout.flush ()
63 f.flush ()
/seL4-l4v-master/HOL4/src/portableML/
H A DOldPP.sig8 flush : unit -> unit }
18 flush : unit -> unit,
68 flush : unit -> unit }
69 of a string consumer, a specified linewidth, and a flush function
86 [mk_ppstream {consumer, linewidth, flush}] creates a new ppstream
90 [dest_ppstream ppstrm] extracts the linewidth, flush function, and
126 consumer associated with ppstrm); executes the flush function
H A Dsmpp.sig33 flush : ('a,unit) t,
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h74 flush();
119 void flush(void) { function in class:File
/seL4-l4v-master/isabelle/src/Pure/Isar/
H A Douter_syntax.scala186 def flush()
197 { flush(); content += tok }
200 flush()
H A Ddocument_structure.scala84 def flush() { if (is_plain_theory(stack.head._1)) close() }
94 if (command.span.is_begin || is_plain_theory(command)) { flush(); open(command) }
95 else if (command.span.is_end) { flush(); close() }
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/
H A Douter_syntax.scala186 def flush()
197 { flush(); content += tok }
200 flush()
H A Ddocument_structure.scala84 def flush() { if (is_plain_theory(stack.head._1)) close() }
94 if (command.span.is_begin || is_plain_theory(command)) { flush(); open(command) }
95 else if (command.span.is_end) { flush(); close() }
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Dafp.scala93 def flush()
106 case Section(name) => flush(); section = name
120 flush()
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Dafp.scala93 def flush()
106 case Section(name) => flush(); section = name
120 flush()

Completed in 192 milliseconds

123