/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | bytes.scala | 24 val str = s.toString 25 if (str.isEmpty) empty 27 val b = UTF8.bytes(str)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | bytes.scala | 24 val str = s.toString 25 if (str.isEmpty) empty 27 val b = UTF8.bytes(str)
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | testspec.py | 61 parse_attr("cwd", "cwd", str) 134 + str(dtd.error_log)) 305 parser.add_argument("file", metavar="FILE", type=str, nargs="*",
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | IRSyntax.sml | 476 format_exp (hd sList) ^ itlist (curry (fn (exp,str) => "," ^ format_exp exp ^ str)) (tl sList) "" ^ 480 format_exp (hd dList) ^ itlist (curry (fn (exp,str) => "," ^ format_exp exp ^ str)) (tl dList) "" ^ 484 itlist (curry (fn (exp,str) => format_exp exp ^ str)) dList "" ^ " " ^ 487 itlist (curry (fn (exp,str) => " " ^ format_exp exp ^ str)) (tl sList) "");
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | IRSyntax.sml | 468 format_exp (hd sList) ^ itlist (curry (fn (exp,str) => "," ^ format_exp exp ^ str)) (tl sList) "" ^ 472 format_exp (hd dList) ^ itlist (curry (fn (exp,str) => "," ^ format_exp exp ^ str)) (tl dList) "" ^ 476 itlist (curry (fn (exp,str) => format_exp exp ^ str)) dList "" ^ " " ^ 479 itlist (curry (fn (exp,str) => " " ^ format_exp exp ^ str)) (tl sList) "");
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
H A D | IRSyntax.sml | 468 format_exp (hd sList) ^ itlist (curry (fn (exp,str) => "," ^ format_exp exp ^ str)) (tl sList) "" ^ 472 format_exp (hd dList) ^ itlist (curry (fn (exp,str) => "," ^ format_exp exp ^ str)) (tl dList) "" ^ 476 itlist (curry (fn (exp,str) => format_exp exp ^ str)) dList "" ^ " " ^ 479 itlist (curry (fn (exp,str) => " " ^ format_exp exp ^ str)) (tl sList) "");
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/examples/ |
H A D | fc_examples.sml | 90 1: str r0, [sp] 100 11: str r0, [sp]
|
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
H A D | tttLexer.sml | 67 fun in_string str = 69 val strlist = String.explode str
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | target_objects.py | 79 tracer[0](str (s), push)
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
H A D | export_codeLib.sml | 54 val str = if ty = ``:word8`` then "\t.byte\t" else value 59 in str ^ foo tms end
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/ |
H A D | export_codeLib.sml | 54 val str = if ty = ``:word8`` then "\t.byte\t" else value 59 in str ^ foo tms end
|
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfoot.lex | 28 List.foldl (fn ((str, tok), t) => Binarymap.insert (t, str, tok))
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
H A D | export_codeLib.sml | 59 val str = if ty = ``:word8`` then "\t.byte\t" else value 64 in str ^ foo tms end
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | sexpScript.sml | 96 val _ = declare_names ("ACL2_STRING", "str"); 159 `(stringp(str x) = t) /\ (stringp _ = nil)`; 680 (sexp_size (str a) = 1) /\ 728 `(coerce (str s) y = 731 else str "") 736 else str(coerce_list_to_string(make_character_list(cons a x)))) 738 (coerce _ y = if y = sym "COMMON-LISP" "LIST" then nil else str "")`; 1152 `(symbol_name (sym p n) = ite (symbolp (sym p n)) (str n) (str "")) 1154 (symbol_name _ = (str ""))`; [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | elfexport.h | 115 unsigned long makeStringTableEntry(const char *str, ExportStringTable *stab);
|
H A D | io_internal.h | 112 extern void close_stream(PIOSTRUCT str);
|
H A D | run_time.cpp | 240 void raiseExceptionStringWithLocation(TaskData *taskData, int id, const char *str, const char *file, int line) argument 243 raise_exception(taskData, id, SAVE(C_string_to_Poly(taskData, str)), file, line); 274 void raiseExceptionFailWithLocation(TaskData *taskData, const char *str, const char *file, int line) argument 276 raiseExceptionStringWithLocation(taskData, EXC_Fail, str, file, line);
|
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/ |
H A D | ml_lex.scala | 96 private val str = 106 "#\"" ~ str ~ "\"" ^^ { case x ~ y ~ z => Token(Kind.CHAR, x + y + z) } 109 "#\"" ~ opt(str) ^^ { case x ~ Some(y) => x + y case x ~ None => x } 115 rep(gap | str) ^^ (_.mkString)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | rich_text_area.scala | 402 val chunk_str = if (chunk.str == null) " " * chunk.length else chunk.str 428 val str = chunk_str.substring(range.start - chunk_offset, range.stop - chunk_offset) 435 val s1 = str.substring(0, i) 436 val s2 = str.substring(i, j) 437 val s3 = str.substring(j) 448 gfx.drawString(Word.bidi_override(s3), x1 + string_width(str.substring(0, j)), y) 451 gfx.drawString(Word.bidi_override(str), x1, y) 453 x1 += string_width(str)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/ |
H A D | ml_lex.scala | 96 private val str = 106 "#\"" ~ str ~ "\"" ^^ { case x ~ y ~ z => Token(Kind.CHAR, x + y + z) } 109 "#\"" ~ opt(str) ^^ { case x ~ Some(y) => x + y case x ~ None => x } 115 rep(gap | str) ^^ (_.mkString)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | rich_text_area.scala | 402 val chunk_str = if (chunk.str == null) " " * chunk.length else chunk.str 428 val str = chunk_str.substring(range.start - chunk_offset, range.stop - chunk_offset) 435 val s1 = str.substring(0, i) 436 val s2 = str.substring(i, j) 437 val s3 = str.substring(j) 448 gfx.drawString(Word.bidi_override(s3), x1 + string_width(str.substring(0, j)), y) 451 gfx.drawString(Word.bidi_override(str), x1, y) 453 x1 += string_width(str)
|
/seL4-l4v-10.1.1/seL4/libsel4/tools/ |
H A D | syscall_header_gen.py | 168 name = str(syscall.getAttribute("name"))
|
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_header_gen.py | 168 name = str(syscall.getAttribute("name"))
|
/seL4-l4v-10.1.1/seL4/tools/ |
H A D | syscall_header_gen.py | 168 name = str(syscall.getAttribute("name"))
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holdep_tokens.sml | 38 fun fromReader uc = make (fn () => case uc() of NONE => "" | SOME c => str c) 120 else Error(scr, "Bad character >"^str c^"< after open") 183 else Error(scr, "Bad character >"^str c^"< after 'open'") 188 | SOME c => Error(scr, "Don't expect to see '("^str c^"' after 'open'") 200 else Error(scr, "'."^str c^" unexpected") 256 | SOME c => Error(scr, "Don't expect 'include'-'('-'"^str c^"'") 279 else Error(scr, "Bad character >"^str c^"< after 'include'") 293 else Error(scr, "Bad character >"^str c^"< after 'include'") 358 else Error(scr, "Bad character >"^str c^"< after qualifying '.'") 405 else Error(scr, "Illegal backslash escape >" ^ str [all...] |