59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
+
+
+
+
+
+
+
+
|
procedure Render
(Output : in out Ada.Streams.Root_Stream_Type'Class;
Template : in out Lockable.Descriptor'Class;
Value : in T);
-- Read a rendering format from Template and use it on Value
procedure Render
(Output : in out Ada.Streams.Root_Stream_Type'Class;
Default_Format : in Format;
Template : in out Lockable.Descriptor'Class;
Value : in T);
-- Read a rendering format from Template, using defaults
-- from Default_Format, and use it on Value.
---------------------
-- Auxiliary Types --
---------------------
type Alignment is (Left_Aligned, Centered, Right_Aligned);
type Width is range 0 .. 10000;
|