38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
-
-
-
-
-
-
|
Size : Natural := 0;
end record;
procedure Append (S : in out Bounded_String; C : Character);
function Get (S : Bounded_String) return String;
procedure Reset (S : in out Bounded_String);
procedure Check
(Test : in out NT.Test;
Found : in Bounded_String;
Expected : in String;
Context : in String := "");
type Test_Callback (Backend : access Bounded_String) is new Callback with
record
Symbol : Character;
end record;
overriding procedure Run (Self : in out Test_Callback);
|