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

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.cpp80 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 Dpolystring.h35 char chars[1]; member in class:PolyStringObject
H A Dreals.cpp591 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 Dnetwork.cpp603 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 Dpexport.cpp151 char ch = ps->chars[i];
688 ps->chars[i] = n;
H A Dprocess_env.cpp439 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 DDefaultFontMetrics.java14 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 DDefaultFontMetrics.java14 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 DParse.sml130 val chars = value
152 {chars = chars,
H A DParse.sig80 {chars : char list Stream.stream,
H A DTptp.sml1704 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 DTerm.sml712 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 DParse.sml130 val chars = value
152 {chars = chars,
H A DParse.sig80 {chars : char list Stream.stream,
H A DTptp.sml1704 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 DTerm.sml712 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 DInt.sml141 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 DBool.sml42 (* Test for a match between a reader and a list of lower case chars. *)
H A DString.sml164 (* 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 DRegexp_Type.sml316 | 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 Dregexp_parserScript.sml123 (* TODO: add complement, ranges, escaped chars, etc. *)
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DHelp.sml151 fun search chars =
152 let val s = String.implode (normalize chars)
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DstringBinTree.sml63 (* 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 DtotoTacs.sml98 (* imitate equality checks for nums, chars, strings from stringLib *)
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dinternal_functions.sml102 raise Fail "Multiple % chars in pattern"

Completed in 186 milliseconds

12