| /seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/ |
| H A D | selftest.sml | 11 val strm = TextIO.openIn p value
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | DiskThms.sml | 42 val strm = TextIO.openIn fname value
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | holdeptool.sml | 16 val strm = TextIO.openIn f value
|
| H A D | Holmake_types.sml | 387 val strm = TextIO.openIn Holmake_tools.kernelid_fname value
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Bool.sml | 41 val strm = StringCvt.skipWS getc str value
[all...] |
| H A D | BasicStreamIO.sml | 475 val strm = value
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | AssembleHolindexParser.sml | 49 val strm = TextIO.openIn fname value
|
| /seL4-l4v-master/HOL4/tools/Holmake/poly/ |
| H A D | genscriptdep.sml | 34 val strm = if ok then TextIO.stdOut else TextIO.stdErr value
|
| H A D | MB_Monitor.sml | 219 val strm = TextIO.openOut (genLogFile{tag = tag, dir = dir}) value
[all...] |
| /seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
| H A D | AssembleHolfootParser.sml | 57 val strm = TextIO.openIn fname value
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | HOLsexp_parser.sml | 35 val strm = TextIO.openIn fname value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Stream.sml | 226 fun strm () = function
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Stream.sml | 226 fun strm () = function
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | winbasicio.cpp | 577 WinStream *strm = *(WinStream**)(stream->WordP()); local
610 WinStream *strm = *(WinStream**)(stream->WordP()); local
646 WinStream *strm = *(WinStream**)(stream->WordP()); local
664 WinStream *strm = *(WinStream**)(stream->WordP()); local
702 WinStream *strm = *(WinStream**)(strmVec->Get(i).AsObjPtr()); local
1014 IO_dispatch_c(TaskData *taskData, Handle args, Handle strm, Handle code) argument
1335 PolyBasicIOGeneral(FirstArgument threadId, PolyWord code, PolyWord strm, PolyWord arg) argument
1360 PolyTestForInput(FirstArgument threadId, PolyWord strm, PolyWord waitMillisecs) argument
1383 PolyTestForOutput(FirstArgument threadId, PolyWord strm, PolyWord waitMillisecs) argument
[all...] |
| H A D | basicio.cpp | 200 int getStreamFileDescriptorWithoutCheck(PolyWord strm) argument
207 int getStreamFileDescriptor(TaskData *taskData, PolyWord strm) argument
750 static Handle IO_dispatch_c(TaskData *taskData, Handle args, Handle strm, Handle code) argument
1066 PolyBasicIOGeneral(FirstArgument threadId, PolyWord code, PolyWord strm, PolyWord arg) argument
[all...] |
| H A D | network.cpp | 603 static SOCKET getStreamSocket(TaskData *taskData, PolyWord strm) argument
624 static SOCKET getStreamSocket(TaskData *taskData, PolyWord strm) argument
1894 POLYUNSIGNED PolyNetworkCloseSocket(FirstArgument threadId, PolyWord strm) argument
|
| /seL4-l4v-master/HOL4/tools/ |
| H A D | buildutils.sml | 270 val strm = TextIO.openOut Holmake_tools.kernelid_fname value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64.sml | 4192 val strm = ref [] value
[all...] |