/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | server_commands.scala | 89 else throw new Server.Error("Session build failed: return code " + results.rc, results_json) 111 catch { case exn: Server.Error => error(exn.message) } 139 else throw new Server.Error("Session shutdown failed: return code " + result.rc, result_json)
|
/seL4-l4v-master/seL4/src/arch/x86/32/ |
H A D | traps.S | 11 #define Error 9 define 19 # Hardware pushes onto the stack SS, ESP, EFLAGS, CS, NextIP and Error, 463 movl (4 * Error)(%esp), %eax # EAX contains Error Code 529 pushl $-1 # save Error (-1 means we entered via syscall)
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Windows.sml | 302 val err = Error.fromWord(SysWord.fromInt nonZero) 601 val err = Error.fromWord(Error.getLastError()) 649 val err = Error.fromWord(Error.getLastError()) 665 val err = Error.fromWord(Error.getLastError()) 875 val err = Error.fromWord(Error.getLastError()) 908 val err = Error [all...] |
/seL4-l4v-master/HOL4/examples/ARM/v7/eval/ |
H A D | arm_evalScript.sml | 69 of Error e => ValueState (c, e) s 89 of Error e => (e, NONE)
|
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 51 : [value] "r"(&thread->tcbArch.tcbContext.registers[Error + 1]), 188 // skip Error
|
/seL4-l4v-master/isabelle/src/Pure/Isar/ |
H A D | parse.scala | 102 if (result.successful && !rest.atEnd) Error("bad input", rest)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/ |
H A D | parse.scala | 102 if (result.successful && !rest.atEnd) Error("bad input", rest)
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Proof.sml | 139 handle Error err => raise Bug ("Proof.pp: shouldn't fail:\n" ^ err); 194 handle Error err => 214 handle Error err => 280 handle Error err => 345 handle Error err =>
|
H A D | Formula.sml | 38 | destBoolean _ = raise Error "destBoolean"; 126 | destAtom _ = raise Error "Formula.destAtom"; 133 | destNeg _ = raise Error "Formula.destNeg"; 217 | destForall _ = raise Error "destForall"; 236 | destExists _ = raise Error "destExists"; 460 | destNeq _ = raise Error "Formula.destNeq";
|
H A D | Formula.sig | 171 val sym : formula -> formula (* raises Error if given a refl *)
|
H A D | KeyMap.sig | 49 val get : 'a map -> key -> 'a (* raises Error *)
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Proof.sml | 139 handle Error err => raise Bug ("Proof.pp: shouldn't fail:\n" ^ err); 194 handle Error err => 214 handle Error err => 280 handle Error err => 345 handle Error err =>
|
H A D | Formula.sml | 38 | destBoolean _ = raise Error "destBoolean"; 126 | destAtom _ = raise Error "Formula.destAtom"; 133 | destNeg _ = raise Error "Formula.destNeg"; 217 | destForall _ = raise Error "destForall"; 236 | destExists _ = raise Error "destExists"; 460 | destNeq _ = raise Error "Formula.destNeq";
|
H A D | Formula.sig | 171 val sym : formula -> formula (* raises Error if given a refl *)
|
H A D | KeyMap.sig | 49 val get : 'a map -> key -> 'a (* raises Error *)
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibThm.sml | 60 | _ => raise Error "dest_axiom"; 376 case clause th of [lit] => lit | _ => raise Error "dest_unit: not a unit"; 401 handle Error _ => raise Bug "FRESH_VARSL: shouldn't fail"; 406 case clause th of [] => raise Error "UNIT_SQUASH: contradiction" 459 val () = assert (x <> y) (Error "psym: refl") 530 handle Error _ => raise Bug "DEPTH1: shouldn't fail" 546 handle Error _ => raise Bug "DEPTH: shouldn't fail"
|
H A D | mlibClauseset.sml | 91 val () = assert (x <> y) (Error "psym: refl") 227 fun taut c = assert (not (mlibCanon.tautologous (literals c))) (Error "taut"); 386 handle Error _ => raise Bug "deduce: shouldn't fail" 412 (Error "rewr_reducibles: order violation") 522 handle Error _ => raise Bug "purge_reducibles: shouldn't fail"; 587 handle Error _ => raise Bug "mlibClauseset.initialize: shouldn't fail";
|
H A D | mlibUnits.sml | 31 val () = assert (x <> y) (Error "psym: refl")
|
/seL4-l4v-master/HOL4/examples/ARM_security_properties/ |
H A D | inference_rulesScript.sml | 387 \/ (? e. (comp s1 = Error e) /\ (comp s2 = Error e)))`; 408 \/ (? e. (comp c s1 = Error e) /\ (comp c s2 = Error e)))`; 681 if access_violation t then ValueState (ARB:'a#'b) t else (f2 >>= (\y. constT (x,y))) t | Error e => Error e)``, 885 \/ (? e. (comp s1 = Error e) /\ (comp s2 = Error e)))`; 1061 (forT (l + 1) h f s1 = Error e) ��� 1062 (forT (l + 1) h f s2 = Error [all...] |
/seL4-l4v-master/seL4/manual/parts/ |
H A D | api.tex | 105 \section{Error Codes} 154 \subsection{Range Error} 169 \subsection{Alignment Error}
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | GetOpt.sig | 21 * * Error messages are now more informative, but no longer POSIX
|
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | hdr.sml | 53 (pr name; pr ", line "; pr (Int.toString l); pr ": Error: ";
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | LEXSIG.sml | 42 (* Error handling *)
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | Preterm.sml | 31 Error e => raise mkExn e 287 Error e => Error e 332 Error e => Error e 339 Error e => Error e 655 Error (AppFail(Rator',Rand',message), locn Rand) 683 Error(ConstrainFail(real_term, real_type, message), Locn)
|
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/ |
H A D | GetOpt.sig | 24 * * Error messages are now more informative, but no longer POSIX
|