markdown_24.0.0_70ffe37b/source/parser/implementation/markdown-implementation-indented_code_blocks.ads

 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
--
--  Copyright (C) 2021-2023, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
--

--  Internal representation of an indented code block

private with VSS.Regular_Expressions;

with VSS.String_Vectors;

package Markdown.Implementation.Indented_Code_Blocks is
   pragma Preelaborate;

   type Indented_Code_Block is new Abstract_Block with private;
   --  An indented code block

   function Text (Self : Indented_Code_Block)
     return VSS.String_Vectors.Virtual_String_Vector;
   --  Return nested annotated text

   procedure Detector
     (Input : Input_Position;
      Tag   : in out Ada.Tags.Tag;
      CIP   : out Can_Interrupt_Paragraph);
   --  The detector procedure to find start of a Indented_Code_Block

private

   type Indented_Code_Block is new Abstract_Block with record
      Indent : VSS.Strings.Character_Count := 4;  --  Overridden in GNATdoc
      Lines  : VSS.String_Vectors.Virtual_String_Vector;
   end record;

   overriding function Create
     (Input : not null access Input_Position) return Indented_Code_Block;

   overriding procedure Append_Line
     (Self  : in out Indented_Code_Block;
      Input : Input_Position;
      CIP   : Can_Interrupt_Paragraph;
      Ok    : in out Boolean);

   Indent : VSS.Regular_Expressions.Regular_Expression;
   --  Some spaces at the beginning of a string: "^ +"

end Markdown.Implementation.Indented_Code_Blocks;