| ︙ | | | ︙ | |
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
|
----------------------
-- Recorder Command --
----------------------
overriding procedure Execute
(Self : in out Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom)
is
pragma Unreferenced (Self);
begin
if Context then
State.Append_Atom (Name);
end if;
end Execute;
overriding procedure Execute
(Self : in out Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class)
is
pragma Unreferenced (Self);
begin
if not Context then
|
|
|
|
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
|
----------------------
-- Recorder Command --
----------------------
overriding procedure Execute
(Self : in Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom)
is
pragma Unreferenced (Self);
begin
if Context then
State.Append_Atom (Name);
end if;
end Execute;
overriding procedure Execute
(Self : in Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class)
is
pragma Unreferenced (Self);
begin
if not Context then
|
| ︙ | | | ︙ | |
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
--------------------
-- Raiser Command --
--------------------
overriding procedure Execute
(Self : in out Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom)
is
pragma Unreferenced (Self, State, Context, Name);
begin
raise Special_Exception;
end Execute;
overriding procedure Execute
(Self : in out Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class)
is
pragma Unreferenced (Self, State, Context, Cmd);
begin
raise Special_Exception;
|
|
|
|
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
--------------------
-- Raiser Command --
--------------------
overriding procedure Execute
(Self : in Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom)
is
pragma Unreferenced (Self, State, Context, Name);
begin
raise Special_Exception;
end Execute;
overriding procedure Execute
(Self : in Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class)
is
pragma Unreferenced (Self, State, Context, Cmd);
begin
raise Special_Exception;
|
| ︙ | | | ︙ | |
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
-- Individual Tests --
----------------------
procedure Test_Basic_Usage (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Basic usage");
begin
declare
Inter : Test_Interpreters.Interpreter := Test_Interpreter;
Buffer : aliased Test_Tools.Memory_Stream;
Printer : Printers.Canonical (Buffer'Access);
Input : Caches.Reference;
Cursor : Caches.Cursor;
begin
Input.Append_Atom (To_Atom ("cmd"));
Input.Open_List;
|
|
|
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
-- Individual Tests --
----------------------
procedure Test_Basic_Usage (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Basic usage");
begin
declare
Inter : constant Test_Interpreters.Interpreter := Test_Interpreter;
Buffer : aliased Test_Tools.Memory_Stream;
Printer : Printers.Canonical (Buffer'Access);
Input : Caches.Reference;
Cursor : Caches.Cursor;
begin
Input.Append_Atom (To_Atom ("cmd"));
Input.Open_List;
|
| ︙ | | | ︙ | |
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
|
end Test_Basic_Usage;
procedure Test_Exception_Fallback (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Local fallback raising an exception");
begin
declare
Inter : Test_Interpreters.Interpreter := Test_Interpreter;
Buffer : aliased Test_Tools.Memory_Stream;
Printer : Printers.Canonical (Buffer'Access);
Input : Caches.Reference;
Cursor : Caches.Cursor;
Fallback : Raiser;
begin
Input.Append_Atom (To_Atom ("cmd"));
|
|
|
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
|
end Test_Basic_Usage;
procedure Test_Exception_Fallback (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Local fallback raising an exception");
begin
declare
Inter : constant Test_Interpreters.Interpreter := Test_Interpreter;
Buffer : aliased Test_Tools.Memory_Stream;
Printer : Printers.Canonical (Buffer'Access);
Input : Caches.Reference;
Cursor : Caches.Cursor;
Fallback : Raiser;
begin
Input.Append_Atom (To_Atom ("cmd"));
|
| ︙ | | | ︙ | |
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
|
end Test_Inspection;
procedure Test_Local_Fallback (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Local fallback");
begin
declare
Inter : Test_Interpreters.Interpreter := Test_Interpreter;
Buffer : aliased Test_Tools.Memory_Stream;
Printer : Printers.Canonical (Buffer'Access);
Input : Caches.Reference := Invalid_Commands;
Cursor : Caches.Cursor := Input.First;
Fallback : Recorder;
begin
Input.Append_Atom (To_Atom ("cmd"));
|
|
|
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
|
end Test_Inspection;
procedure Test_Local_Fallback (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Local fallback");
begin
declare
Inter : constant Test_Interpreters.Interpreter := Test_Interpreter;
Buffer : aliased Test_Tools.Memory_Stream;
Printer : Printers.Canonical (Buffer'Access);
Input : Caches.Reference := Invalid_Commands;
Cursor : Caches.Cursor := Input.First;
Fallback : Recorder;
begin
Input.Append_Atom (To_Atom ("cmd"));
|
| ︙ | | | ︙ | |