Searched refs:eof (Results 1 - 25 of 28) sorted by relevance

12

/seL4-l4v-master/HOL4/tools-poly/poly/
H A Dquse.sml4 fun use_reader fname (reader as {read = infn0, eof, reset}) =
15 while not (eof()) do
/seL4-l4v-master/HOL4/tools/Holmake/
H A DQFRead.sml5 {read : unit -> char option, reset : unit -> unit, eof : unit -> bool}
67 fun eof () = !eofp function
69 {read = doit, eof = eof, reset = reset}
H A DQFRead.sig5 {read : unit -> char option, reset : unit -> unit, eof : unit -> bool}
H A DHolmake_types.sml179 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 DLexer.lex111 | eof { EOF }
127 | (eof | `\^Z`) { commentNotClosed lexbuf }
/seL4-l4v-master/HOL4/src/prekernel/
H A DCoding.sig15 val eof : unit reader value
H A DCoding.sml39 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 Dyacc.lex28 val eof = fn i => (if (!pcount)>0 then
30 " eof encountered in action beginning here !"
/seL4-l4v-master/HOL4/src/portableML/
H A DHOLsexp.lex10 fun eof _ = Tokens.EOF(!pos,!pos)
/seL4-l4v-master/l4v/tools/c-parser/tools/mlyacc/src/
H A Dyacc.lex31 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 DFile.h110 bool eof(void) { function in class:File
H A DMain.C60 if (fin.eof()) {
H A DProof.C354 while (!fp.eof()) {
/seL4-l4v-master/HOL4/src/TeX/
H A Dholindex.lex17 fun eof () = EOF ((~1, ~1), (~1, ~1));
H A Dmunger.lex6 fun eof () = OS.Process.exit (if !numErrors > 0 then OS.Process.failure
/seL4-l4v-master/HOL4/help/src-sml/
H A DLexer.lex132 fun eof commentDepth =
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dscan.scala464 var eof = false
465 while (!eof && i < length) {
467 if (c == -1) eof = true
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dscan.scala464 var eof = false
465 while (!eof && i < length) {
467 if (c == -1) eof = true
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/
H A Dholfoot.lex17 fun eof () = EOF ((~1, ~1), (~1, ~1));
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp78 if (fin.eof()) {
211 while (!iss.eof()) {
/seL4-l4v-master/HOL4/examples/
H A Dtaut.sml756 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 Dmllex.sml127 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 DProcessMultiplexor.sml328 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 DarmParser.lex9 fun eof () = Tokens.EOF(!pos, !pos)
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml405 val eof : int value
1458 val eof = SysWord.toInt(getConst 72) value
1485 the result of update(cc, [(eof, #"a"), (eof, #"b")]) ?

Completed in 278 milliseconds

12