/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | quse.sml | 4 fun use_reader fname (reader as {read = infn0, eof, reset}) = 15 while not (eof()) do
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | QFRead.sml | 5 {read : unit -> char option, reset : unit -> unit, eof : unit -> bool} 67 fun eof () = !eofp function 69 {read = doit, eof = eof, reset = reset}
|
H A D | QFRead.sig | 5 {read : unit -> char option, reset : unit -> unit, eof : unit -> bool}
|
H A D | Holmake_types.sml | 179 by an eof character *) 181 val rest = #2 (valOf (getc rest)) (* drop the newline/eof *)
|
/seL4-l4v-master/HOL4/examples/PSL/1.01/parser.mosmlyacc/ |
H A D | Lexer.lex | 111 | eof { EOF } 127 | (eof | `\^Z`) { commentNotClosed lexbuf }
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Coding.sig | 15 val eof : unit reader value
|
H A D | Coding.sml | 39 fun eof (si as (s,i)) = if i >= size s then SOME (si, ()) else NONE function
|
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | yacc.lex | 28 val eof = fn i => (if (!pcount)>0 then 30 " eof encountered in action beginning here !"
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | HOLsexp.lex | 10 fun eof _ = Tokens.EOF(!pos,!pos)
|
/seL4-l4v-master/l4v/tools/c-parser/tools/mlyacc/src/ |
H A D | yacc.lex | 31 val eof = fn i => (if (!pcount)>0 then 33 " eof encountered in action beginning here !"
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | File.h | 110 bool eof(void) { function in class:File
|
H A D | Main.C | 60 if (fin.eof()) {
|
H A D | Proof.C | 354 while (!fp.eof()) {
|
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | holindex.lex | 17 fun eof () = EOF ((~1, ~1), (~1, ~1));
|
H A D | munger.lex | 6 fun eof () = OS.Process.exit (if !numErrors > 0 then OS.Process.failure
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | Lexer.lex | 132 fun eof commentDepth =
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | scan.scala | 464 var eof = false 465 while (!eof && i < length) { 467 if (c == -1) eof = true
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | scan.scala | 464 var eof = false 465 while (!eof && i < length) { 467 if (c == -1) eof = true
|
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfoot.lex | 17 fun eof () = EOF ((~1, ~1), (~1, ~1));
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/ |
H A D | zc2hs.cpp | 78 if (fin.eof()) { 211 while (!iss.eof()) {
|
/seL4-l4v-master/HOL4/examples/ |
H A D | taut.sml | 756 eof /\ eos /\ s1 /\ ~s2 \/ 757 eof /\ eos /\ ~mof /\ s1 /\ s2 \/ 760 eof /\ eos /\ mof /\ s1 /\ s2 \/ 761 ~eof /\ eos /\ ~mof /\ s1 /\ s2) /\ 764 ~eof /\ eos /\ s1 /\ ~s2 \/ 765 ~eof /\ eos /\ mof /\ s1 /\ s2) /\ 769 eof /\ eos /\ mof /\ s1 /\ s2 \/ 770 ~eof /\ eos /\ ~mof /\ s1 /\ s2) /\ 774 eof /\ eos /\ s1 /\ ~s2 \/ 775 eof /\ eo [all...] |
/seL4-l4v-master/HOL4/tools/mllex/ |
H A D | mllex.sml | 127 val eof = fn () => () 399 exception eof exception 405 then raise eof 679 handle eof => NextTok := EOF ; 1287 say "\t\t if (l=i0) then UserDeclarations.eof "; 1378 \\tval yydone = ref false\t\t(* eof found yet? *)\n\
|
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | ProcessMultiplexor.sml | 328 fun eof wj chan (cmds, wl) = function 371 if is_neweof wj chan then (eof wj chan acc, didio')
|
/seL4-l4v-master/HOL4/examples/ARM/v4/ |
H A D | armParser.lex | 9 fun eof () = Tokens.EOF(!pos, !pos)
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Posix.sml | 405 val eof : int value 1458 val eof = SysWord.toInt(getConst 72) value 1485 the result of update(cc, [(eof, #"a"), (eof, #"b")]) ?
|