Searched refs:getChar (Results 1 - 17 of 17) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | File.C | 125 byte0 = in.getChar();
133 byte1 = in.getChar();
136 byte1 = in.getChar();
137 byte2 = in.getChar();
140 byte1 = in.getChar();
141 byte2 = in.getChar();
142 byte3 = in.getChar();
145 byte0 = in.getChar();
146 byte1 = in.getChar();
147 byte2 = in.getChar();
[all...] |
| H A D | File.h | 19 // A buffered file abstraction with only 'putChar()' and 'getChar()'.
102 int getChar(void) { function in class:File
|
| H A D | Proof.C | 355 out.putChar(fp.getChar());
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | selftest.sml | 20 fun gcSucceeds s res () = UTF8.getChar s = res
21 fun gcFails s () = (UTF8.getChar s ; false) handle UTF8.BadUTF8 _ => true
29 ("UTF8.getChar \"\" = NONE", gcSucceeds "" NONE),
30 ("UTF8.getChar 0x41 = #\"A\"", gcSucceeds "A" (SOME(("A", 65), ""))),
31 ("UTF8.getChar A\\000 = #\"A\"",
33 ("UTF8.getChar 0x2200 = #\"\226\136\128\"",
35 ("UTF8.getChar 0x2200A = #\"\226\136\128\"",
37 ("UTF8.getChar 0x2200-0x2000 = #\"\226\136\128\"",
40 ("UTF8.getChar 0x8F fails", gcFails "\128"),
41 ("UTF8.getChar \"\\19
[all...] |
| H A D | UTF8Set.sml | 11 case getChar s of
37 case getChar s of
50 case getChar s of
|
| H A D | UTF8.sml | 57 fun getChar s = let function
131 val firstChar = Option.map #1 o getChar
157 else Option.map #1 (getChar (goback (lastpos - 1)))
163 case getChar ustr of
193 case getChar s of
197 case getChar s of
206 case getChar s of
213 case getChar s of
223 case getChar s of
243 apfst (CP o #2) (valOf (getChar
[all...] |
| H A D | UTF8.sig | 10 val getChar : string -> ((string * int) * string) option value
|
| H A D | UnicodeChars.sml | 190 case UTF8.getChar s of
215 val ((_, k), _) = valOf (UTF8.getChar s)
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | testutils.sml | 31 case UTF8.getChar s of
36 case UTF8.getChar s of
42 case UTF8.getChar s of
48 case UTF8.getChar s of
54 case UTF8.getChar s of
|
| H A D | type_tokens.sml | 82 val ((s0,i), srest) = valOf (UTF8.getChar s)
93 case UTF8.getChar s of
|
| H A D | GrammarSpecials.sml | 57 let val ((_, i), _) = valOf (UTF8.getChar s)
|
| H A D | parse_type.sml | 195 val ((s,i), s') = valOf (UTF8.getChar c)
|
| /seL4-l4v-master/HOL4/polyml/Tests/ |
| H A D | RunTests.sml | 27 fun getChar () : char option = function
95 PolyML.compiler(getChar, [CPOutStream discardOut, CPNameSpace localNameSpace])
|
| /seL4-l4v-master/HOL4/Manual/Tools/ |
| H A D | polyscripter.sml | 91 case UTF8.getChar s of
499 case UTF8.getChar line of
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | TopLevelPolyML.sml | 1618 fun getChar () = function
1630 then while (case getChar () of NONE => false | SOME #"\n" => false | SOME _ => true) do ()
1637 val code = PolyML.compiler(getChar, [CPFileName fileName, CPLineNo(fn () => !lineNo)])
1700 fun getChar() = function
1705 PolyML.compiler(getChar, [])
|
| H A D | FinalPolyML.sml | 465 fun polyCompiler (getChar: unit->char option, parameters: compilerParameters list) =
510 PolyML.compiler(nameSpace, getChar,
708 fun getChar () : char option = function
721 val code = polyCompiler(getChar, [CPFileName fileName, CPLineNo(fn () => !lineNo)])
1054 fun getChar () : char option = function
1062 val code = polyCompiler(getChar,
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | EmitTeX.sml | 327 val c1i = case UTF8.getChar s of
|
Completed in 196 milliseconds