61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
type Null_Command is new Command with null record;
Do_Nothing : Null_Command := Null_Command'(null record);
type Interpreter is new Command with private;
procedure Add_Command
(Self : in out Interpreter;
Name : in Atom;
Cmd : in Command'Class);
procedure Add
|
>
|
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
type Null_Command is new Command with null record;
Do_Nothing : Null_Command := Null_Command'(null record);
type Interpreter is new Command with private;
pragma Preelaborable_Initialization (Interpreter);
procedure Add_Command
(Self : in out Interpreter;
Name : in Atom;
Cmd : in Command'Class);
procedure Add
|