1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
BeginPackage["Errors`", {"Profile`"}];
PrintError::usage = "";
ThrowError::usage = "";
KrancError::usage = "";
VerifyString;
VerifyStringList;
VerifyList;
InfoMessage;
SetDebugLevel;
ErrorDefinition::usage = "ErrorDefinition[f] creates a default definition of a function f which throws an exception. This can be used to catch programming errors where f is called with incorrect arguments.";
PrintError;
PrintStructure;
DebugQuiet = 0;
Warnings = 1
Terse = 2;
Info = 3;
InfoFull = 4;
DefFn;
Begin["`Private`"];
debugLevel = Terse;
removeBits[l_] :=
Module[{s, t},
t = Select[l, ! (MatchQ[#, HoldForm[Module[___]]] ||
MatchQ[#, HoldForm[CompoundExpression[___]]]) &];
s = If[Length[t] != 0, Drop[t, -1], t];
Map[# /. HoldForm[h_[args___]] :> h &, s];
s];
PrintStructure[x_]:=
PrintStructure[x, "", ""];
PrintStructure[l_List, prefix_, suffix_] :=
Module[{},
If[StringLength[ToString[l,InputForm] <> prefix] > 50,
Print[prefix, "{"];
Map[PrintStructure[#, " " <> prefix, ","] &, l];
Print[prefix, "}"],
Print[prefix, If[Head[l]===FullForm,ToString[l],ToString[l,InputForm]]]]];
PrintStructure[s_, prefix_, suffix_] :=
Print[prefix, If[Head[s]===FullForm,ToString[s],ToString[s,InputForm]], suffix];
PrintError[err_] :=
Module[{},
If[Head[err] === KrancError,
Module[{},
objs = err[[1]];
Map[PrintStructure, objs];
(* Print["Error stack:"];
PrintStructure[stack]*)
],
err]];
ThrowError[objects__] :=
Module[{s = Stack[_], s2},
s2 = removeBits[s];
Throw[KrancError[{objects}(*,s2*)], KrancError]];
VerifyString[s_] :=
If[! StringQ[s],
ThrowError["Not a string:", s]];
VerifyStringList[l_, err_:None] :=
If[! MatchQ[l, {___String}],
ThrowError[If[err===None,"",ToString[err]<>" - "]<>"Not a list of strings:", l]];
VerifyList[l_] :=
If[!Head[l] === List,
ThrowError["Not a list:", l]];
InfoMessage[level_, message__] :=
Module[{args = {message}},
If[level <= debugLevel,
Map[Print, args]];
];
SetDebugLevel[level_] :=
debugLevel = level;
ErrorDefinition[x_] :=
x[args___] :=
ThrowError["Invalid arguments to "<>ToString[x], {args}//FullForm];
SetAttributes[DefFn, HoldAll];
DefFn[def:(fn_[args___] := body_)] :=
Module[
{},
ErrorDefinition[fn];
fn[args] := (*Profile[fn,*)body(*]*)];
End[];
EndPackage[];
|
