/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | PRINT_PARSETREE.sml | 66 fun printList (doPrint: 'a*FixedInt.int->pretty) (c: 'a list, separator, depth: FixedInt.int): pretty list = 67 if depth <= 0 then [PrettyString "..."] 71 | [v] => [doPrint (v, depth)] 75 doPrint (v, depth), 82 printList doPrint (vs, separator, depth - 1) 86 depth : FixedInt.int) : pretty = (* The number of levels to display. *) 89 and displayListWithBpts = printList (fn ((c,_), depth) => displayParsetree(c, depth)) 92 fun printTypeBind (TypeBind{name, typeVars, decType, ...}, depth) = 94 displayTypeVariables (typeVars, depth) [all...] |
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | variable_munge.c | 27 unsigned long foo(unsigned int depth); 31 unsigned long depth; local 32 depth = bar(1);
|
/seL4-l4v-master/seL4/include/kernel/ |
H A D | cspace.h | 51 word_t depth); 53 word_t depth); 55 word_t depth); 57 word_t depth);
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | fold_handling.scala | 32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0 42 takeWhile(_.improper).map(_ => structure.depth max 0).toList 64 def depth(i: Text.Offset): Int = 76 buffer.getFoldLevel(line - 1) - depth(range.start - 1) + depth(range.stop - 1)
|
H A D | isabelle_export.scala | 43 val depth = prefix.length + 1 50 val is_dir = entry.name_elems.length > depth 51 val path = Export.implode_name(theory :: entry.name_elems.take(depth))
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | fold_handling.scala | 32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0 42 takeWhile(_.improper).map(_ => structure.depth max 0).toList 64 def depth(i: Text.Offset): Int = 76 buffer.getFoldLevel(line - 1) - depth(range.start - 1) + depth(range.stop - 1)
|
H A D | isabelle_export.scala | 43 val depth = prefix.length + 1 50 val is_dir = entry.name_elems.length > depth 51 val path = Export.implode_name(theory :: entry.name_elems.take(depth))
|
/seL4-l4v-master/seL4/tools/ |
H A D | circular_includes.py | 47 depth = int(match.group(1)) 50 if depth == 1:
|
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | FlagPrint.sml | 30 fun printFlags depth _ x = 38 | plist (h::t) depth = 41 plist t (depth - 1) 45 ((if depth <= 0 then [PrettyString "..."] 46 else plist stringFlags depth) @
|
H A D | Combobox.sml | 153 fun printFlags(put, beg, brk, nd) depth _ x = 158 fun plist [] depth = () 160 | plist [h] depth = put h 161 | plist (h::t) depth = 164 plist t (depth - 1) 169 if depth <= 0 then put "..." else plist stringFlags depth;
|
H A D | Edit.sml | 140 fun printFlags(put, beg, brk, nd) depth _ x = 145 fun plist [] depth = () 147 | plist [h] depth = put h 148 | plist (h::t) depth = 151 plist t (depth - 1) 156 if depth <= 0 then put "..." else plist stringFlags depth;
|
H A D | Listbox.sml | 143 fun printFlags(put, beg, brk, nd) depth _ x = 148 fun plist [] depth = () 150 | plist [h] depth = put h 151 | plist (h::t) depth = 154 plist t (depth - 1) 159 if depth <= 0 then put "..." else plist stringFlags depth;
|
/seL4-l4v-master/seL4/src/kernel/ |
H A D | cspace.c | 66 word_t depth) 81 if (unlikely(depth < 1 || depth > wordBits)) { 88 res_ret = resolveAddressBits(root, capptr, depth); 111 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) argument 113 return lookupSlotForCNodeOp(true, root, capptr, depth); 116 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) argument 118 return lookupSlotForCNodeOp(false, root, capptr, depth); 121 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) argument 123 return lookupSlotForCNodeOp(true, root, capptr, depth); 65 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, word_t depth) argument [all...] |
/seL4-l4v-master/HOL4/src/combin/ |
H A D | combinpp.sml | 104 fun upd_printer (tyg,tmg) backend printer ppfns (pgr,lgr,rgr) depth tm = 129 depth = decdepth depth, binderp = false} k >> 132 depth = decdepth depth, binderp = false} v 137 printer {gravs = (pgr,lgr,mygrav), depth = decdepth depth,
|
/seL4-l4v-master/HOL4/developers/ |
H A D | poly-prehol.sml | 15 fn depth => fn printArgTypes => fn e: 'b => 45 fun pp_delta depth printArgTypes (d: 'a delta) = 52 printArgTypes (a, depth)]) 53 fun pp_verdict depth (pra, prb) (v: ('a, 'b) Lib.verdict) = 59 pra (a, depth)]) 64 prb (b, depth)]) 65 fun pp_frag depth printArgTypes (f: 'a HOLPP.frag) = 71 PolyML.prettyRepresentation (s, depth)]) 76 printArgTypes (a, depth)])
|
/seL4-l4v-master/HOL4/src/pred_set/src/ |
H A D | pred_setpp.sml | 15 fun univ_printer (tyg, tmg) backend printer ppfns gravs depth tm = 29 printer {gravs = gravs, depth = depth, binderp = false} itself_t 48 fun setcomprehension_printer (tyg,tmg) backend printer ppfns gravs depth tm = 73 printer {gravs = tops, depth = decdepth depth, binderp = false} t
|
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 41 word_t depth = getSyscallArg(3, buffer); local 62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); 85 word_t depth = getSyscallArg(3, buffer) & 0xfful; local 107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | ExnPrinter.581.sml | 23 fun exnPrint depth _ exn = 46 parameterException(s, PolyML.prettyRepresentation(arg, depth-1)) 58 if depth <= 1 then PrettyString "..." else PolyML.prettyRepresentation(param, depth-1)) 66 | SOME printFn => parameterException(exnName, printFn(exnArg, depth-1)) 88 fun print_ref depth doArg (r as ref x) = 89 if depth <= 0 109 [ PrettyString "ref", PrettyBreak(1, 0), parenthesise(doArg(x, depth-1)) ]))
|
H A D | ExnPrinter.sml | 23 fun exnPrint depth _ exn = 46 parameterException(s, PolyML.prettyRepresentation(arg, depth-1)) 58 if depth <= 1 then PrettyString "..." else PolyML.prettyRepresentation(param, depth-1)) 66 | SOME printFn => parameterException(exnName, printFn(exnArg, depth-1)) 88 fun print_ref depth doArg (r as ref x) = 89 if depth <= 0 109 [ PrettyString "ref", PrettyBreak(1, 0), parenthesise(doArg(x, depth-1)) ]))
|
/seL4-l4v-master/HOL4/src/meson/src/ |
H A D | mesonLib.sig | 11 val depth : bool ref value
|
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 53 word_t depth = getSyscallArg(3, buffer); local 68 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | ParseExtras.sml | 38 fun condprinter (tyg, tmg) backend printer ppfns (pgr,lgr,rgr) depth tm = let 59 printer { gravs = gravs, depth = depth - 1, binderp = false } t
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | scan.scala | 29 case class Cartouche(depth: Int) extends Line_Context 31 case class Cartouche_Comment(depth: Int) extends Line_Context 32 case class Comment(depth: Int) extends Line_Context 177 def cartouche_depth(depth: Int): Parser[(String, Int)] = new Parser[(String, Int)] 179 require(depth >= 0) 188 var d = depth 214 case Cartouche(depth) => 215 cartouche_depth(depth) ^^ { case (c, d) => (c, cartouche_context(d)) } 236 private def comment_depth(depth: Int): Parser[(String, Int)] = new Parser[(String, Int)] 238 require(depth > [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | scan.scala | 29 case class Cartouche(depth: Int) extends Line_Context 31 case class Cartouche_Comment(depth: Int) extends Line_Context 32 case class Comment(depth: Int) extends Line_Context 177 def cartouche_depth(depth: Int): Parser[(String, Int)] = new Parser[(String, Int)] 179 require(depth >= 0) 188 var d = depth 214 case Cartouche(depth) => 215 cartouche_depth(depth) ^^ { case (c, d) => (c, cartouche_context(d)) } 236 private def comment_depth(depth: Int): Parser[(String, Int)] = new Parser[(String, Int)] 238 require(depth > [all...] |
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibMeson.sml | 307 type state = {env : subst, depth : int, proof : thm list, offset : int}; 309 fun update_env f ({env, depth, proof, offset} : state) = 310 {env = f env, depth = depth, proof = proof, offset = offset}; 312 fun update_depth f ({env, depth, proof, offset} : state) = 313 {env = env, depth = f depth, proof = proof, offset = offset}; 315 fun update_proof f ({env, depth, proof, offset} : state) = 316 {env = env, depth = depth, proo 494 val depth = depth - #asmn r value [all...] |