blob: 3c6ad3a015e10fb14286d1f0a7a4f1177aa493aa (
plain)
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
|
------------------------------------------------------------------------------
-- --
-- GNAT RUN-TIME COMPONENTS --
-- --
-- ADA.STRINGS.TEXT_BUFFERS.UNBOUNDED --
-- --
-- S p e c --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. In accordance with the copyright of that document, you can freely --
-- copy and modify this specification, provided that if you redistribute a --
-- modified version, any changes that you have made are clearly indicated. --
-- --
------------------------------------------------------------------------------
with Ada.Finalization;
package Ada.Strings.Text_Buffers.Unbounded with
Preelaborate
-- , Nonblocking
-- , Global => null
is
type Buffer_Type is new Root_Buffer_Type with private;
function Get (Buffer : in out Buffer_Type) return String with
Post'Class => Get'Result'First = 1 and then Current_Indent (Buffer) = 0;
function Wide_Get (Buffer : in out Buffer_Type) return Wide_String with
Post'Class => Wide_Get'Result'First = 1
and then Current_Indent (Buffer) = 0;
function Wide_Wide_Get
(Buffer : in out Buffer_Type) return Wide_Wide_String with
Post'Class => Wide_Wide_Get'Result'First = 1
and then Current_Indent (Buffer) = 0;
function Get_UTF_8
(Buffer : in out Buffer_Type) return UTF_Encoding.UTF_8_String with
Post'Class => Get_UTF_8'Result'First = 1
and then Current_Indent (Buffer) = 0;
function Wide_Get_UTF_16
(Buffer : in out Buffer_Type) return UTF_Encoding.UTF_16_Wide_String with
Post'Class => Wide_Get_UTF_16'Result'First = 1
and then Current_Indent (Buffer) = 0;
private
procedure Put_UTF_8_Implementation
(Buffer : in out Root_Buffer_Type'Class;
Item : UTF_Encoding.UTF_8_String)
with Pre => Buffer in Buffer_Type'Class;
package Mapping is new Output_Mapping (Put_UTF_8_Implementation);
type Chunk;
type Chunk_Access is access all Chunk;
type Chunk (Length : Positive) is record
Next : Chunk_Access := null;
Chars : UTF_Encoding.UTF_8_String (1 .. Length);
end record;
type Managed_Chunk_List is new Ada.Finalization.Limited_Controlled with
record
First_Chunk : aliased Chunk (64);
-- First chunk in list is not created by an allocator; it is
-- large enough to suffice for many common images.
Current_Chunk : Chunk_Access;
-- Chunk we are currrently writing to.
-- Initialized to Managed_Chunk_List.First'Access.
end record;
overriding procedure Initialize (List : in out Managed_Chunk_List);
-- List.Current_Chunk := List.First_Chunk'Unchecked_Access;
overriding procedure Finalize (List : in out Managed_Chunk_List);
-- Free any allocated chunks.
type Buffer_Type is new Mapping.Buffer_Type with record
List : Managed_Chunk_List;
Last_Used : Natural := 0;
-- Index of last used char in List.Current_Chunk.all; 0 if none used.
end record;
end Ada.Strings.Text_Buffers.Unbounded;
|
