/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | polystring.cpp | 80 memcpy(result->chars,buffer,buffLen); 89 POLYUNSIGNED chars = str->length >= bufflen ? bufflen-1 : str->length; local 90 if (chars != 0) strncpy(buff, str->chars, chars); 91 buff[chars] = '\0'; 92 return chars; 100 POLYUNSIGNED chars = str->length; local 101 char *res = (char*)malloc(chars + extraChars + 1); 103 if (chars ! 192 int chars = MultiByteToWideChar(codePage, 0, iPtr, iLength, NULL, 0); local [all...] |
H A D | polystring.h | 35 char chars[1]; member in class:PolyStringObject
|
H A D | reals.cpp | 591 char *chars = poly_dtoa(dx, mode, digits, &decpt, &sign, NULL); 594 PolyWord pStr = C_string_to_Poly(mdTaskData, chars); 595 poly_freedtoa(chars);
|
H A D | network.cpp | 603 struct sockaddr *psock = (struct sockaddr *)&psAddr->chars; 624 (struct sockaddr_in *)&psAddr->chars; 633 (struct sockaddr_in *)&psAddr->chars; 746 struct sockaddr *psock = (struct sockaddr *)&psAddr->chars; 760 struct sockaddr *psock = (struct sockaddr *)&psAddr->chars; 938 (struct sockaddr *)psAddr->chars, (int)psAddr->length); 1161 struct sockaddr_un *psock = (struct sockaddr_un *)&psAddr->chars;
|
H A D | pexport.cpp | 151 char ch = ps->chars[i]; 688 ps->chars[i] = n;
|
H A D | process_env.cpp | 439 if (ps->length > 1) toTest = ps->chars[0]; 483 if (volume->chars[i] == '\0')
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | DefaultFontMetrics.java | 14 private static int[] chars = field in class:DefaultFontMetrics 39 return (int)(Math.round(chars[c - 32] * size / 48.0));
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | DefaultFontMetrics.java | 14 private static int[] chars = field in class:DefaultFontMetrics 39 return (int)(Math.round(chars[c - 32] * size / 48.0));
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Parse.sml | 130 val chars = value 152 {chars = chars,
|
H A D | Parse.sig | 80 {chars : char list Stream.stream,
|
H A D | Tptp.sml | 1704 fun parseChars parser chars = 1706 val tokens = Parse.everything lexer chars 2093 val {chars,parseErrorLocation} = Parse.initialize {lines = lines} value 2098 val (comments,chars) = stripLineComments [] chars 2100 val chars = Parse.everything Parse.any chars value 2102 val chars = stripBlockComments chars value 2106 val declarations = Stream.toList (parseDeclaration mapping chars) [all...] |
H A D | Term.sml | 712 val chars = Stream.fromList (String.explode input) value 714 val tokens = everything (lexer >> singleton) chars
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Parse.sml | 130 val chars = value 152 {chars = chars,
|
H A D | Parse.sig | 80 {chars : char list Stream.stream,
|
H A D | Tptp.sml | 1704 fun parseChars parser chars = 1706 val tokens = Parse.everything lexer chars 2093 val {chars,parseErrorLocation} = Parse.initialize {lines = lines} value 2098 val (comments,chars) = stripLineComments [] chars 2100 val chars = Parse.everything Parse.any chars value 2102 val chars = stripBlockComments chars value 2106 val declarations = Stream.toList (parseDeclaration mapping chars) [all...] |
H A D | Term.sml | 712 val chars = Stream.fromList (String.explode input) value 714 val tokens = everything (lexer >> singleton) chars
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Int.sml | 141 fun toChars(0, chars, continuation, pad) = 150 val res = allocString(chars+0w1) 155 else (* Positive *) (allocString chars, wordSize) 159 val (result, pos) = toCharGroup(continuation, chars + pad) 168 | toChars(i, chars, continuation, pad) = 176 toChars(i div base, chars+0w1, continuation, pad-0w1) 184 and toCharGroup(i, chars) = 186 then toChars(toInt i, chars, zero, 0w0) 191 toChars(toInt r, chars, q, shortChars)
|
H A D | Bool.sml | 42 (* Test for a match between a reader and a list of lower case chars. *)
|
H A D | String.sml | 164 (* NOTE: The web page includes 0 <= ord c but all chars satisfy that. *) 213 val chars : int = total 0 L; value 215 if chars = 0 219 val chs = unsignedShortOrRaiseSize chars (* Check it's short. *) 257 val chars: word = unsignedShortOrRaiseSize listLength value 259 if chars = 0w1 then str H 262 val dest = LibrarySupport.allocString chars 666 as many chars as we can and have already converted one 667 but not if we are converting n chars and haven't got 690 if res > maxOrd orelse i > 0 (* not enough chars *) the [all...] |
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | Regexp_Type.sml | 316 | chars of charset 336 | lexeme_equal (chars c1) (chars c2) = (charset_compare(c1,c2) = EQUAL) 395 | lexeme2string (chars s) = "<charset>" 586 let fun compl(chars cs,strm) = (chars(charset_diff charset_full cs),strm) 621 (chars (charset_of (mk_chars (elim_decimal_chars clist))), 625 | SOME(#"]",strm') => SOME(chars charset_empty, strm') 665 val [chars cset] = lexemes ss; 808 | SOME(chars cse [all...] |
H A D | regexp_parserScript.sml | 123 (* TODO: add complement, ranges, escaped chars, etc. *)
|
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
H A D | Help.sml | 151 fun search chars = 152 let val s = String.implode (normalize chars)
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | stringBinTree.sml | 63 (* clv[i] gives a list of all chars that occur at index i in the keys, with duplicates removed *) 97 (* chars at index i are all the same *)
|
/seL4-l4v-10.1.1/HOL4/src/enumfset/ |
H A D | totoTacs.sml | 98 (* imitate equality checks for nums, chars, strings from stringLib *)
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | internal_functions.sml | 102 raise Fail "Multiple % chars in pattern"
|