Searched refs:str (Results 1 - 25 of 345) sorted by relevance

1234567891011>>

/seL4-l4v-master/isabelle/src/Pure/General/
H A Dword.scala17 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 Dcsv.scala14 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 Ddate.scala30 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 Dword.scala17 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 Dcsv.scala14 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 Ddate.scala30 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 DAbstractFontMetrics.java13 public int stringWidth(String str); argument
H A DAWTFontMetrics.java20 public int stringWidth(String str) { argument
21 return fontMetrics.stringWidth(str);
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DAbstractFontMetrics.java13 public int stringWidth(String str); argument
H A DAWTFontMetrics.java20 public int stringWidth(String str) { argument
21 return fontMetrics.stringWidth(str);
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DwriterLib.sml17 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 Dselftest.sml9 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 Dstream.sml8 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 Dstream.sml8 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 Dwordspp.sml71 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 Dcmdline.c82 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 Dutil.c102 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 DParsspec.sml26 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 DdaisyLib.sml7 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 Dparser.h19 char *str; member in struct:token
/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dassert.h19 void __assert_fail(const char *str, const char *file, int line, const char *function);
/seL4-l4v-master/HOL4/src/parse/
H A DParseDatatype_dtype.sml18 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 DRL_Socket.sml5 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 Dpolystring.cpp88 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 Dml_syntax.scala42 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)

Completed in 156 milliseconds

1234567891011>>