Searched refs:depth (Results 1 - 25 of 147) sorted by relevance

123456

/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DPRINT_PARSETREE.sml66 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 Dvariable_munge.c27 unsigned long foo(unsigned int depth);
31 unsigned long depth; local
32 depth = bar(1);
/seL4-l4v-master/seL4/include/kernel/
H A Dcspace.h51 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 Dfold_handling.scala32 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 Disabelle_export.scala43 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 Dfold_handling.scala32 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 Disabelle_export.scala43 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 Dcircular_includes.py47 depth = int(match.group(1))
50 if depth == 1:
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DFlagPrint.sml30 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 DCombobox.sml153 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 DEdit.sml140 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 DListbox.sml143 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 Dcspace.c66 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 Dcombinpp.sml104 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 Dpoly-prehol.sml15 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 Dpred_setpp.sml15 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 Dinterrupt.c41 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 DExnPrinter.581.sml23 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 DExnPrinter.sml23 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 DmesonLib.sig11 val depth : bool ref value
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dinterrupt.c53 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 DParseExtras.sml38 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 Dscan.scala29 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 Dscan.scala29 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 DmlibMeson.sml307 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...]

Completed in 127 milliseconds

123456