Searched refs:chars (Results 26 - 44 of 44) sorted by relevance

12

/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dpydot.py172 chars = [ord(c) for c in s if ord(c)>0x7f or ord(c)==0]
173 if chars and not id_re_dbl_quoted.match(s) and not id_re_html.match(s):
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp382 string[index].chars[0] = UNTAGGED(s);
2566 image.data = data->chars;
3882 CopyString(taskData, obj->Get(0), &A->chars, 0);
3884 A->nchars = strlen(A->chars);
3898 A->chars = L;
5236 XTextExtents(fs,s->chars,s->length,&direction,&ascent,&descent,&overall);
5275 return Make_int(XTextWidth(fs,s->chars,s->length));
5449 value = (uchar *) s->chars;
7720 GetString(P4)->chars,
7818 GetString(P4)->chars,
[all...]
H A Dwindows_specific.cpp1261 (CONST BYTE *)ps->chars, (DWORD)ps->length);
H A Dunix_specific.cpp1525 memcpy(tios.c_cc, ccvs->chars, NCCS);
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DBase.sml924 (* Make it a struct of chars *)
995 val inputLength = Word8Vector.length w div 2 (* Number of unicode chars *)
1013 (* The lengths returned by MultiByteToWideChar are the number of Unicode chars *)
H A DFont.sml480 (* The lpnFit argument controls whether we get the maximum no. of chars. *)
/seL4-l4v-10.1.1/HOL4/src/string/
H A DstringScript.sml136 equality of chars.
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml866 let val chars = explode s value
868 if not(null chars) andalso hd chars = #"-"
869 then implode(#"~" :: tl chars)
2092 fun drop_until_close [] = [] (* drop chars until comment closes *)
H A Dhol_defaxiomsScript.sml1825 |- make_fmt_bindings chars forms =
1828 [csym "CONS"; List [csym "CONS"; car chars; car forms];
1829 make_fmt_bindings (cdr chars) (cdr forms)]),
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml792 let val chars = explode s value
794 if not(null chars) andalso hd chars = #"-"
795 then implode(#"~" :: tl chars)
2014 fun drop_until_close [] = [] (* drop chars until comment closes *)
H A Dhol_defaxiomsScript.sml1824 |- make_fmt_bindings chars forms =
1827 [csym "CONS"; List [csym "CONS"; car chars; car forms];
1828 make_fmt_bindings (cdr chars) (cdr forms)]),
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dsexp.sml792 let val chars = explode s value
794 if not(null chars) andalso hd chars = #"-"
795 then implode(#"~" :: tl chars)
2014 fun drop_until_close [] = [] (* drop chars until comment closes *)
H A Dacl2encodeLib.sml260 (* Add the type-translation theorems for chars *)
H A Dhol_defaxiomsScript.sml1820 |- make_fmt_bindings chars forms =
1823 [csym "CONS"; List [csym "CONS"; car chars; car forms];
1824 make_fmt_bindings (cdr chars) (cdr forms)]),
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A Dtest.ml128 (* Testing number specs of chars in charsets. Example from David Hardin *)
H A Dregexp_compilerScript.sml2129 (* Eliminate check that all chars in string are in alphabet. This can be *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex1126 % backslashes, and other special chars.
1283 % Also escape PDF chars in the display string.
2423 % Set sfcode to normal for the chars that usually have another value.
2632 % we put a little stretch before and after the breakable chars, to help
2654 % characters, but some people like to break before the special chars, so
4620 % and is used in the definitions of the active chars like <, >, |, etc.
7087 % distinguishable. Prevent hyphenation at `-' chars.
7112 % Make control sequences which act like normal parenthesis chars.
7682 \let\hash=##% convert placeholders to macro parameter chars
7952 \txiescapepdf\pdfxrefdest % escape PDF special chars
[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Interaction/
H A DHOL-interaction.tex64 (setq electric-indent-chars '()))
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_symbolsScript.sml603 (* read space chars -- test for end of file *)

Completed in 324 milliseconds

12