Searched refs:read (Results 226 - 250 of 348) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dthy_resources.scala292 val text = File.read(path)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dvscode_resources.scala127 try { Some(Line.normalize(File.read(file))) }
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfLibrary.sml27 (* returning the lines read (as a list of strings, each terminated by *)
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmetisTools.sml435 val {prims,...} = Count.read met
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DHelp.sml296 handle OS.SysErr _ => raise Fail "Cannot read help database!"
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_seq_monadScript.sml171 (* a memory read to an unmodelled memory location causes a failure *)
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolQbf.tex152 \ml{QDimacs.read\_qdimacs\_file f path} parses an existing QDIMACS
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolQbf.tex149 \ml{QDimacs.read\_qdimacs\_file f path} parses an existing QDIMACS
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DClipboard.sml263 (* Loop until we have read the whole string. The result may legitimately be
/seL4-l4v-10.1.1/isabelle/src/HOL/SPARK/Manual/document/
H A Dintro.tex54 mentioned above, is read by a tool called POGS (\textbf{P}roof \textbf{O}bli\textbf{G}ation
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeignMemory.sml83 (* A weak byte cell is cleared to zero when it is read in either from the
H A DLargeWord.sml54 once we have read a valid digit. *)
H A DString.sml713 NONE if it cannot read a single character whereas String.scan returns NONE only
716 a bad escape but SOME("", strm) if it encounters end-of-stream or has read a
868 | SOME("", strm') => (* May be end-of-string or we may have read a format sequence. *)
1031 | SOME("", strm') => (* End of input or read a format sequence. *)
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/SPARK/Manual/document/
H A Dintro.tex54 mentioned above, is read by a tool called POGS (\textbf{P}roof \textbf{O}bli\textbf{G}ation
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dgetting.tex36 regarded as primes; for instance \texttt{x'} is read as~$x'$. Identifiers are
47 {\tt==>} is read as a single symbol. But \hbox{\tt= =>} is read as two
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dgetting.tex36 regarded as primes; for instance \texttt{x'} is read as~$x'$. Identifiers are
47 {\tt==>} is read as a single symbol. But \hbox{\tt= =>} is read as two
/seL4-l4v-10.1.1/HOL4/examples/bmark/
H A DBmark.sml666 val _ = Count.report(Count.read meter);
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/
H A Darm8_stepScript.sml475 (* read mem *)
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A DtermScript.sml606 (* Now, printed interactively, we read
/seL4-l4v-10.1.1/HOL4/examples/logic/
H A DPropLogicScript.sml285 (* The following statement can also be read (more comfortably) as *)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_seq_monadScript.sml178 (* a memory read to an unmodelled memory location causes a failure *)
/seL4-l4v-10.1.1/HOL4/Manual/Tools/
H A Dpolyscripter.sml56 fun compiler {push = obufPush, read = obufRD, reset = obufRST} handler infn =
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Darm_evalLib.sml53 raise OS.SysErr ("Cannot read file: " ^ infile,NONE)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/
H A DtestEncode.sml265 (* The example is a machine that processes read and write instructions *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dbasicio.cpp191 Conversely using ReadFile to read less than a line causes the handle
526 // We can now try to read without blocking.
548 haveRead = read(fd, base+offset, length);
593 // We can now try to read without blocking.
608 haveRead = read(fd, buff, length);
1121 /* The next entry to read is already in the buffer. FindFirstFile
1444 /* Test whether the file is read-only. This is, of course,
1454 /* If we asked for write access but it is read-only we
1636 /* We don't know whether it's open for read, write or even if

Completed in 259 milliseconds

1234567891011>>