/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | word.scala | 17 def bidi_detect(str: String): Boolean = 18 str.exists(c => c >= 0x590) && Bidi.requiresBidi(str.toArray, 0, str.length) 20 def bidi_override(str: String): String = 21 if (bidi_detect(str)) "\u200E\u202D" + str + "\u202C" else str 26 def lowercase(str: String): String = str [all...] |
H A D | csv.scala | 14 val str = field.toString 15 if (str.exists("\",\r\n".contains(_))) { 16 (for (c <- str) yield { if (c == '"') "\"\"" else c.toString }).mkString("\"", "", "\"") 18 else str
|
H A D | date.scala | 30 def parse(str: String): Date = 31 new Date(ZonedDateTime.from(Formatter.try_variants(fmts, tune(str)))) 46 def parse(str: String): Date 48 def unapply(str: String): Option[Date] = 49 try { Some(parse(str)) } catch { case _: DateTimeParseException => None } 62 @tailrec def try_variants(fmts: List[DateTimeFormatter], str: String, 67 throw last_exn.getOrElse(new DateTimeParseException("Failed to parse date", str, 0)) 69 try { ZonedDateTime.from(fmt.parse(str)) } 70 catch { case exn: DateTimeParseException => try_variants(rest, str, Some(exn)) }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | word.scala | 17 def bidi_detect(str: String): Boolean = 18 str.exists(c => c >= 0x590) && Bidi.requiresBidi(str.toArray, 0, str.length) 20 def bidi_override(str: String): String = 21 if (bidi_detect(str)) "\u200E\u202D" + str + "\u202C" else str 26 def lowercase(str: String): String = str [all...] |
H A D | csv.scala | 14 val str = field.toString 15 if (str.exists("\",\r\n".contains(_))) { 16 (for (c <- str) yield { if (c == '"') "\"\"" else c.toString }).mkString("\"", "", "\"") 18 else str
|
H A D | date.scala | 30 def parse(str: String): Date = 31 new Date(ZonedDateTime.from(Formatter.try_variants(fmts, tune(str)))) 46 def parse(str: String): Date 48 def unapply(str: String): Option[Date] = 49 try { Some(parse(str)) } catch { case _: DateTimeParseException => None } 62 @tailrec def try_variants(fmts: List[DateTimeFormatter], str: String, 67 throw last_exn.getOrElse(new DateTimeParseException("Failed to parse date", str, 0)) 69 try { ZonedDateTime.from(fmt.parse(str)) } 70 catch { case exn: DateTimeParseException => try_variants(rest, str, Some(exn)) }
|
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | AbstractFontMetrics.java | 13 public int stringWidth(String str); argument
|
H A D | AWTFontMetrics.java | 20 public int stringWidth(String str) { argument 21 return fontMetrics.stringWidth(str);
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | AbstractFontMetrics.java | 13 public int stringWidth(String str); argument
|
H A D | AWTFontMetrics.java | 20 public int stringWidth(String str) { argument 21 return fontMetrics.stringWidth(str);
|
/seL4-l4v-master/HOL4/examples/machine-code/graph/ |
H A D | writerLib.sml | 17 fun print_fail str = (print (str ^ "\n"); failwith str); 25 fun write_graph str = 28 | SOME f => TextIO.output (f,str) 38 fun write_txt_and_print str = 39 (if !writer_prints then print str else ()) 43 fun write_line str = 44 (write_txt_and_print (str ^ "\n"); 45 last_line_is_blank := (size str [all...] |
/seL4-l4v-master/HOL4/src/bool/ |
H A D | selftest.sml | 9 val str = "THM" ; value 11 val find1 = find str ; 14 val list2 = find_in str apropos2 ;
|
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | stream.sml | 8 datatype 'a str = EVAL of 'a * 'a str ref | UNEVAL of (unit->'a) 10 type 'a stream = 'a str ref
|
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | stream.sml | 8 datatype 'a str = EVAL of 'a * 'a str ref | UNEVAL of (unit->'a) 10 type 'a stream = 'a str ref
|
/seL4-l4v-master/HOL4/src/n-bit/ |
H A D | wordspp.sml | 71 val {add_string=str, add_break=brk,...} = 80 then str "(" 82 >> (if neg then str "-" else nothing) 83 >> str (f (Arbnum.toInt m, v) ^ "w") 87 >> str ")" 106 val {add_string = str, add_break = brk, ublock,...} = ppfns 121 (delim 200 (str "(") 122 >> str "(n2w " 124 >> str ")" 127 >> delim 200 (str ")")) [all...] |
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | cmdline.c | 82 static void UNUSED parse_uint16_array(char *str, uint16_t *array, int array_size) argument 88 while (str && i < array_size) { 89 for (last = str; *str && *str != ','; str++); 90 if (*str == 0) { 91 str = 0; 93 *str = 0; 94 str [all...] |
/seL4-l4v-master/seL4/src/ |
H A D | util.c | 102 long PURE str_to_long(const char *str) argument 110 if (*str == '0' && (*(str + 1) == 'x' || *(str + 1) == 'X')) { 112 str += 2; 117 if (!*str) { 121 c = *str; 128 str++; 129 c = *str;
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | Parsspec.sml | 26 fun processSpec is str (((pos1, pos2), spec), res) = 30 {comp = Val (getId idInfo), file = str, line = #2 pos1} :: res 32 {comp = Val (getId idInfo), file = str, line = #2 pos1} :: res 34 {comp = Typ (getId idInfo), file = str, line = #2 pos1} :: res 36 {comp = Typ (getId idInfo), file = str, line = #2 pos1} :: res 38 {comp = Con (getId idInfo), file = str, line = #2 pos1} :: res 40 {comp = Typ (getId idInfo), file = str, line = #2 pos1} 43 {comp = Typ (getId idInfo), file = str, line = #2 pos1} :: res 45 {comp = Exc (getId idInfo), file = str, line = #2 pos1} :: res 56 | LOCALspec (spec1, spec2) => processSpec is str (spec [all...] |
/seL4-l4v-master/HOL4/examples/real-to-float/ |
H A D | daisyLib.sml | 7 val str = ``p_str "test" ^func`` value 12 val _ = TextIO.output (f,str) 16 val str = (case TextIO.inputLine(f) of SOME str => str) value 19 val strs = String.tokens (fn c => mem c cs) str
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | parser.h | 19 char *str; member in struct:token
|
/seL4-l4v-master/seL4/libsel4/include/sel4/ |
H A D | assert.h | 19 void __assert_fail(const char *str, const char *file, int line, const char *function);
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | ParseDatatype_dtype.sml | 18 fun str s = "\"" ^ s ^ "\"" function 31 val c_toString = pr (str, list_toString pt_toString) 32 val fld_toString = pr (str, pt_toString) 37 val toString = pr (str, dtF_toString)
|
/seL4-l4v-master/HOL4/examples/RL_Environment/ |
H A D | RL_Socket.sml | 5 fun sendStr(sock, str) = 8 String.size str + 1, 9 (fn i => Word8.fromInt(Char.ord(String.sub(str, i))) 28 if String.isSuffix (String.str(Char.chr 0)) datar
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | polystring.cpp | 88 PolyStringObject *str = (PolyStringObject *)ps.AsObjPtr(); local 89 POLYUNSIGNED chars = str->length >= bufflen ? bufflen-1 : str->length; 90 if (chars != 0) strncpy(buff, str->chars, chars); 99 PolyStringObject * str = (PolyStringObject *)ps.AsObjPtr(); local 100 POLYUNSIGNED chars = str->length; 103 if (chars != 0) strncpy(res, str->chars, chars); 162 PolyStringObject *str = (PolyStringObject *)ps.AsObjPtr(); local 163 int iLength = (int)str->length; 170 const char *iPtr = str 186 PolyStringObject *str = (PolyStringObject *)ps.AsObjPtr(); local 325 PolyStringObject * str = (PolyStringObject *)s.AsObjPtr(); local [all...] |
/seL4-l4v-master/isabelle/src/Pure/ML/ |
H A D | ml_syntax.scala | 42 def print_string_bytes(str: String): String = 43 quote(UTF8.bytes(str).iterator.map(print_byte(_)).mkString) 45 def print_string_symbols(str: String): String = 46 quote(Symbol.iterator(str).map(print_symbol(_)).mkString)
|