/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/adder/ |
H A D | adder.cxx | 48 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 D | term2thm.cgi | 17 <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 D | invocation_header_gen.py | 187 for method in doc.getElementsByTagName("method"): 188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
|
H A D | syscall_stub_gen.py | 43 # 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 D | invocation_header_gen.py | 187 for method in doc.getElementsByTagName("method"): 188 invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("condition"))))
|
H A D | syscall_stub_gen.py | 43 # 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 D | invocation_header_gen.py | 187 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 D | protocol.scala | 28 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 D | protocol.scala | 28 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 D | http.scala | 72 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 D | untyped.scala | 15 def method(c: Class[_], name: String, arg_types: Class[_]*): Method =
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | http.scala | 72 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 D | untyped.scala | 15 def method(c: Class[_], name: String, arg_types: Class[_]*): Method =
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | parser.y | 52 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 D | spell_checker.scala | 148 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 D | spell_checker.scala | 148 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 D | bdd.sig | 95 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 D | bdd.sml | 278 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 D | introduction.tex | 21 \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 D | introduction.tex | 21 \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 D | invoke_scala.scala | 4 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 D | invoke_scala.scala | 4 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 D | barendregt.sml | 67 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 D | io.tex | 95 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 D | rules.tex | 107 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...] |