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
|
package Test_Interpreters is new Natools.S_Expressions.Interpreters
(Printers.Printer'Class, Boolean);
type Recorder is new Test_Interpreters.Command with null record;
overriding procedure Execute
(Self : in out Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom);
overriding procedure Execute
(Self : in out Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class);
Special_Exception : exception;
type Raiser is new Test_Interpreters.Command with null record;
overriding procedure Execute
(Self : in out Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom);
overriding procedure Execute
(Self : in out Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class);
end Natools.S_Expressions.Interpreter_Tests;
|
|
|
|
|
|
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
|
package Test_Interpreters is new Natools.S_Expressions.Interpreters
(Printers.Printer'Class, Boolean);
type Recorder is new Test_Interpreters.Command with null record;
overriding procedure Execute
(Self : in Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom);
overriding procedure Execute
(Self : in Recorder;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class);
Special_Exception : exception;
type Raiser is new Test_Interpreters.Command with null record;
overriding procedure Execute
(Self : in Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Name : in Atom);
overriding procedure Execute
(Self : in Raiser;
State : in out Printers.Printer'Class;
Context : in Boolean;
Cmd : in out Lockable.Descriptor'Class);
end Natools.S_Expressions.Interpreter_Tests;
|