Searched refs:str (Results 151 - 175 of 332) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Delfexport.cpp415 unsigned long ELFExport::makeStringTableEntry(const char *str, ExportStringTable *stab) argument
417 if (str == NULL || str[0] == 0)
420 return stab->makeEntry(str);
H A Dunix_specific.cpp724 PIOSTRUCT str = get_stream(args->Word()); local
726 if (str == NULL) raise_syscall(taskData, "Stream is closed", EBADF);
727 term = ttyname(str->device.ioDesc);
735 PIOSTRUCT str = get_stream(args->Word()); local
736 if (str != NULL && isatty(str->device.ioDesc))
1051 PIOSTRUCT str = get_stream(args->Word()); local
1055 if (str == NULL) raise_syscall(taskData, "Stream is closed", EBADF);
1056 fd = dup(str->device.ioDesc);
1062 newstr->ioBits = str
[all...]
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DDoc2Txt.sml10 fun out(str,s) = TextIO.output(str, s)
H A DParseDoc.sml38 fun fetch str = Substring.string (fetch_contents str);
299 raise ParseError ("Illegal character "^str (sub(ssb,0))^ " in "^
/seL4-l4v-10.1.1/seL4/include/
H A Dutil.h96 long PURE str_to_long(const char* str);
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DIR.sml138 fun inspectVar str =
139 case H.peek (!symbolT) str of
143 tmpT := T.enter(!tmpT, i, str);
144 H.insert (!symbolT) (str, i);
H A DAssem.sml143 fun toLowerCase str =
145 (Substring.substring (str, 0, String.size str))
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DMLstring.sml28 raise stringerror(i,"Unprintable char "^String.toString (str c))
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DReadHMF.sml98 val (result, rest) = position (str dchar) (ss s')
99 val _ = size rest <> 0 orelse error b ("No matching "^str dchar)
112 | _ => error b ("Bad argument delimiter: "^str c)
261 String.toString (str c1) ^ "\"")
H A Dinternal_functions.sml275 val s = String.translate (fn c => if c = #"\r" then "" else String.str c) s
285 val str = fix_nls (TextIO.inputAll ins) value
287 if OS.Process.isSuccess (reap proc) then str else ""
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/
H A Demitter.py85 print "imm_fun.loaded_loop_counts: %s, bin_loops_by_fs[f].keys: %s, function: %s" % (imm_fun.loaded_loop_counts, str(imm_fun.loops_by_fs[f]), f )
99 print "body: %s" % str(map(hex, body_addrs))
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dstack_introLib.sml27 val ((th,_,_),_) = f "e58d2010" (* str r2, [sp, #16] *)
/seL4-l4v-10.1.1/HOL4/examples/ARM/arm6-verification/
H A DarmLib.sml22 ``mla_mul``, ``ldr``,``str``,``ldm``,``stm``,``br``,``swi_ex``,
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DAssem.sml143 fun toLowerCase str =
145 (Substring.substring (str, 0, String.size str))
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DAssem.sml143 fun toLowerCase str =
145 (Substring.substring (str, 0, String.size str))
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Drefine.sml59 val str = Arbnum.toBinString n value
61 pad str (ty_width - String.size str)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/garbage-collectors/
H A Darm_cheney_gcScript.sml56 E4835004 (* L2:str r5,[r3],#4 *)
57 E4836004 (* str r6,[r3],#4 *)
72 E4895004 (* str r5,[r9],#4 *)
84 E509501C (* str r5,[r9,#-28] *)
87 E5895004 (* str r5,[r9,#4] *)
110 E5893000 (* str r3,[r9] *)`;
119 E5093018 (* str r3,[r9,#-24] *)
120 E5094014 (* str r4,[r9,#-20] *)
121 E5095010 (* str r5,[r9,#-16] *)
122 E509600C (* str r
[all...]
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DwordsLib.sml2707 val {add_string=str, add_break=brk,...} =
2715 then str "("
2717 >> (if neg then str "-" else nothing)
2718 >> str (f (Arbnum.toInt m, v) ^ "w")
2722 >> str ")"
2785 val {add_string = str, add_break = brk, ublock,...} = ppfns
2800 (delim 200 (str "(")
2801 >> str "(n2w "
2803 >> str ")"
2806 >> delim 200 (str ")"))
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DFont.sml505 fun TabbedTextOut(hdc, {x, y}: POINT, str, tabs, origin): SIZE =
512 tabbedTextOut(hdc, x, y, str, size str, nTabs, tabVec, origin)
528 fun GetTabbedTextExtent(hdc, str, tabs): SIZE =
535 tabbedTextExtent(hdc, str, size str, nTabs, tabVec)
H A DMenu.sml310 val str = value
333 else (* String *) MFT_STRING str
444 val (f3, str, toFree) = getDisplay disp
447 docall(hMenu, pos, flags, id, str)
466 val (f3, str, toFree) = getDisplay disp
469 appendMenu (hMenu, flags, id, str)
H A DCommonDialog.sml323 fun allocAndInitialise(space: int, str: string) =
326 val space = Int.max(space, size str) + 1
329 stringToBuf(buf, 0, str);
569 | TemplateResource(hInst, IdAsString str) =>
571 val s = toCstring str
780 | TemplateResource(hInst, IdAsString str) =>
782 val s = toCstring str
1008 fun copyString b str =
1010 stringToBuf(b, 0, str);
1011 b ++ Word.fromInt(size str
1088 val str = (Word.toInt sizePageSD, owner, devmode, devnames, flags, value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegenLib.sml103 fun replace_char c str =
104 String.translate (fn x => if x = c then str else implode [x]);
124 val str = implode (repeatc m #" ") value
128 val zs = map (fn (x,y) => (x, option_concat str y)) ys
295 val str = code2string code false value
296 in print ("\n" ^ str ^ "\n") end
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.c672 static char str[100]; local
673 sprintf(str, "BuDDy - release %d.%d", VERSION/10, VERSION%10);
674 return str;
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTypeBase.sml24 List [Sym tag, String str, Thm th] =>
26 case simpfrag.lookup_simpfrag_conv str of
29 ("No function "^str^" registered");
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml208 (fn tyname => fn str => str ^ "_" ^ tyname)
318 | get_var_info {arg_info = (being_defined str)::arg_info,
326 val rec_num_term = mk_hol_num (type_num str)
526 | (being_defined str) =>
528 let val ty = mk_type{Tyop = str, Args = type_arg_vars}
569 fun get_type str =
570 (case find (fn entry => str = #type_name entry) ty_defs
990 | mk_case_aux {arg_info = (being_defined str)::arg_info,
1016 case find (fn entry => str
[all...]

Completed in 130 milliseconds

1234567891011>>