Searched refs:method (Results 1 - 25 of 113) sorted by relevance

12345

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dadder.cxx48 int method=BDD_REORDER_NONE; local
70 method = BDD_REORDER_WIN2;
73 method = BDD_REORDER_WIN2ITE;
76 method = BDD_REORDER_WIN3;
79 method = BDD_REORDER_WIN3ITE;
82 method = BDD_REORDER_SIFT;
85 method = BDD_REORDER_SIFTITE;
88 method = BDD_REORDER_RANDOM;
103 if (method == BDD_REORDER_NONE)
121 //bdd_autoreorder(method);
[all...]
/seL4-l4v-10.1.1/HOL4/src/opentheory/logging/
H A Dterm2thm.cgi17 <form method="post" enctype="multipart/form-data" action="$(basename $0)">
28 echo "Bad request method: $REQUEST_METHOD"
/seL4-l4v-10.1.1/seL4/libsel4/tools/
H A Dinvocation_header_gen.py187 for method in doc.getElementsByTagName("method"):
188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
H A Dsyscall_stub_gen.py43 # XML method descriptions are added.
776 Parse an XML file containing method definitions.
784 # Parse the XML to generate method structures.
805 for method in interface.getElementsByTagName("method"):
806 method_name = method.getAttribute("name")
807 method_id = method.getAttribute("id")
808 method_condition = method.getAttribute("condition")
809 method_manual_name = method.getAttribute("manual_name") or method_name
810 method_manual_label = method
[all...]
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py187 for method in doc.getElementsByTagName("method"):
188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
H A Dsyscall_stub_gen.py43 # XML method descriptions are added.
776 Parse an XML file containing method definitions.
784 # Parse the XML to generate method structures.
805 for method in interface.getElementsByTagName("method"):
806 method_name = method.getAttribute("name")
807 method_id = method.getAttribute("id")
808 method_condition = method.getAttribute("condition")
809 method_manual_name = method.getAttribute("manual_name") or method_name
810 method_manual_label = method
[all...]
/seL4-l4v-10.1.1/seL4/tools/
H A Dinvocation_header_gen.py187 for method in doc.getElementsByTagName("method"):
188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Dprotocol.scala28 case JSON.Object(obj) => obj -- (obj.keySet - "method" - "id")
41 def apply(method: String, params: JSON.T): JSON.T =
42 Message.empty + ("method" -> method) + ("params" -> params)
46 method <- JSON.string(json, "method")
48 } yield (method, params)
55 case Notification(method, _) if method == name => Some(())
81 def apply(id: Id, method
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dprotocol.scala28 case JSON.Object(obj) => obj -- (obj.keySet - "method" - "id")
41 def apply(method: String, params: JSON.T): JSON.T =
42 Message.empty + ("method" -> method) + ("params" -> params)
46 method <- JSON.string(json, "method")
48 } yield (method, params)
55 case Notification(method, _) if method == name => Some(())
81 def apply(id: Id, method
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dhttp.scala72 sealed case class Arg(method: String, uri: URI, request: Bytes)
82 def method(name: String, root: String, body: Arg => Option[Response]): Handler =
101 def get(root: String, body: Arg => Option[Response]): Handler = method("GET", root, body)
102 def post(root: String, body: Arg => Option[Response]): Handler = method("POST", root, body)
H A Duntyped.scala15 def method(c: Class[_], name: String, arg_types: Class[_]*): Method =
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dhttp.scala72 sealed case class Arg(method: String, uri: URI, request: Bytes)
82 def method(name: String, root: String, body: Arg => Option[Response]): Handler =
101 def get(root: String, body: Arg => Option[Response]): Handler = method("GET", root, body)
102 def post(root: String, body: Arg => Option[Response]): Handler = method("POST", root, body)
H A Duntyped.scala15 def method(c: Class[_], name: String, arg_types: Class[_]*): Method =
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y52 void actAutoreorder(token *times, token *method);
174 T_reorder method { bdd_reorder($2.ival); }
175 | T_autoreorder T_intval method { actAutoreorder(&$2,&$3); }
178 method: label
416 void actAutoreorder(token *times, token *method)
419 bdd_autoreorder(method->ival);
421 bdd_autoreorder_times(method->ival, times->ival);
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dspell_checker.scala148 val add = Untyped.method(factory_class, "add", classOf[String])
155 dict = Untyped.method(factory_class, "create").invoke(factory)
189 Untyped.method(dict.getClass, "add", classOf[String]).invoke(dict, word)
207 Untyped.method(dict.getClass.getSuperclass, "exist", classOf[String]).
227 Untyped.method(dict.getClass.getSuperclass, "searchSuggestions", classOf[String]).
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dspell_checker.scala148 val add = Untyped.method(factory_class, "add", classOf[String])
155 dict = Untyped.method(factory_class, "create").invoke(factory)
189 Untyped.method(dict.getClass, "add", classOf[String]).invoke(dict, word)
207 Untyped.method(dict.getClass.getSuperclass, "exist", classOf[String]).
227 Untyped.method(dict.getClass.getSuperclass, "searchSuggestions", classOf[String]).
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sig95 eqtype method
96 val WIN2 : method
97 val WIN2ITE : method
98 val SIFT : method
99 val SIFTITE : method
100 val RANDOM : method
101 val REORDER_NONE : method
103 val reorder : method -> unit
104 val autoReorder : method -> method
[all...]
H A Dbdd.sml278 type method = int type
279 val reorder : method -> unit = app1 (symb "mlbdd_bdd_reorder")
280 val autoReorder : method -> method = app1 (symb "mlbdd_bdd_autoreorder")
281 val autoReorderTimes : method -> int -> method = app2 (symb "mlbdd_bdd_autoreorder_times")
283 val getMethod : unit -> method = app1 (symb "mlbdd_bdd_getreorder_method")
/seL4-l4v-10.1.1/isabelle/src/HOL/MicroJava/document/
H A Dintroduction.tex21 \item Methods and method signatures
34 \item Complex block structure, method bodies with multiple returns
36 \item Class and method modifiers (such as \texttt{static} and
78 \item First, the notion of ``method type'' is introduced, which
80 \item Well-typedness of instructions wrt. a method type is defined
87 is to determine a method type that is well-typed according to the
93 % bytecode can be reduced to method types with small size.
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/MicroJava/document/
H A Dintroduction.tex21 \item Methods and method signatures
34 \item Complex block structure, method bodies with multiple returns
36 \item Class and method modifiers (such as \texttt{static} and
78 \item First, the notion of ``method type'' is introduced, which
80 \item Well-typedness of instructions wrt. a method type is defined
87 is to determine a method type that is well-typed according to the
93 % bytecode can be reduced to method types with small size.
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Dinvoke_scala.scala4 JVM method invocation service via Isabelle/Scala.
17 /* method reflection */
29 error("No such method: " + quote(name))
31 if (!Modifier.isStatic(m.getModifiers)) error("Not at static method: " + m.toString)
32 if (m.getReturnType != STRING) error("Bad method return type: " + m.toString)
41 case _ => error("Malformed method name: " + quote(name))
45 /* method invocation */
52 def method(name: String, arg: String): (Tag.Value, String) =
103 val (tag, result) = Invoke_Scala.method(name, msg.text)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dinvoke_scala.scala4 JVM method invocation service via Isabelle/Scala.
17 /* method reflection */
29 error("No such method: " + quote(name))
31 if (!Modifier.isStatic(m.getModifiers)) error("Not at static method: " + m.toString)
32 if (m.getReturnType != STRING) error("Bad method return type: " + m.toString)
41 case _ => error("Malformed method name: " + quote(name))
45 /* method invocation */
52 def method(name: String, arg: String): (Tag.Value, String) =
103 val (tag, result) = Invoke_Scala.method(name, msg.text)
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sml67 val dict = ty_antiq( ==`:(string # method) list`== );
68 val entry = ty_antiq( ==`:string # method`== );
254 else if type_of x = (==`:(string # method) list`==)
256 else if type_of x = (==`:string # method`==)
258 else if type_of x = (==`:method`==)
284 else if type_of x = (==`:(string # method) list`==)
286 else if type_of x = (==`:string # method`==)
288 else if type_of x = (==`:method`==)
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dio.tex95 by the given \obj{IO Port} capability in order for the method to succeed.
152 using the \apifunc{seL4\_CNode\_Mint}{cnode_mint} method, passing the
164 the IOMMU and the \apifunc{seL4\_CNode\_Mint}{cnode_mint} method will fail if an
168 Page tables are mapped into an \obj{IOSpace} using the \apifunc{seL4\_X86\_IOPageTable\_Map}{x86_io_page_table_map} method.
169 This method takes the \obj{IOPageTable} to map, the \obj{IOSpace} to map into
172 \apifunc{seL4\_X86\_Page\_MapIO}{x86_page_map_io} method whose parameters are analogous to
173 the corresponding method that maps \obj{Page}s into \obj{VSpaces} (see \autoref{ch:vspace}),
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/
H A Drules.tex107 the proof method \isa{rule} --- here with \isa{conjI}, the conjunction
118 method, which proves a subgoal by finding a matching assumption.
131 using the \isa{assumption} method.%
185 method designed to work with elimination rules. It looks for an assumption that
207 \isa{rule} method with \isa{disjI2} \ldots
213 method. We are left with the other subgoal, which
262 To invoke the elimination rule, we apply a new method, \isa{drule}.
273 \isa{assumption} method.
278 method determines how the rule will be interpreted. Many rules
415 also illustrates the \isa{intro} method
[all...]

Completed in 88 milliseconds

12345