markdown/source/parser/implementation/markdown-blocks.adb

--
--  Copyright (C) 2021-2024, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
--

with System.Atomic_Counters;

with Markdown.Blocks.ATX_Headings;
with Markdown.Blocks.Fenced_Code;
with Markdown.Blocks.HTML;
with Markdown.Blocks.Indented_Code;
with Markdown.Blocks.Lists;
with Markdown.Blocks.Paragraphs;
with Markdown.Blocks.Quotes;
with Markdown.Blocks.Tables;
with Markdown.Blocks.Thematic_Breaks;

with Markdown.Implementation.ATX_Headings;
with Markdown.Implementation.Fenced_Code_Blocks;
with Markdown.Implementation.HTML_Blocks;
with Markdown.Implementation.Indented_Code_Blocks;
with Markdown.Implementation.Lists;
with Markdown.Implementation.Paragraphs;
with Markdown.Implementation.Quotes;
with Markdown.Implementation.Thematic_Breaks;

package body Markdown.Blocks is

   ------------
   -- Adjust --
   ------------

   overriding procedure Adjust (Self : in out Block) is
   begin
      if Is_Assigned (Self.Data) then
         System.Atomic_Counters.Increment (Self.Data.Counter);
      end if;
   end Adjust;

   --------------
   -- Finalize --
   --------------

   overriding procedure Finalize (Self : in out Block) is
   begin
      if Is_Assigned (Self.Data) then
         if System.Atomic_Counters.Decrement (Self.Data.Counter) then
            Markdown.Implementation.Free (Self.Data);

         else
            Self.Data := null;
         end if;
      end if;
   end Finalize;

   --------------------
   -- Is_ATX_Heading --
   --------------------

   function Is_ATX_Heading (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Implementation.ATX_Headings.ATX_Heading'Class;
   end Is_ATX_Heading;

   --------------------------
   -- Is_Fenced_Code_Block --
   --------------------------

   function Is_Fenced_Code_Block (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Implementation.Fenced_Code_Blocks.Fenced_Code_Block'Class;
   end Is_Fenced_Code_Block;

   -------------------
   -- Is_HTML_Block --
   -------------------

   function Is_HTML_Block (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Implementation.HTML_Blocks.HTML_Block'Class;
   end Is_HTML_Block;

   ----------------------------
   -- Is_Indented_Code_Block --
   ----------------------------

   function Is_Indented_Code_Block (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Implementation.Indented_Code_Blocks.Indented_Code_Block'Class;
   end Is_Indented_Code_Block;

   -------------
   -- Is_List --
   -------------

   function Is_List (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Markdown.Implementation.Lists.List;
   end Is_List;

   ------------------
   -- Is_Paragraph --
   ------------------

   function Is_Paragraph (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Markdown.Implementation.Paragraphs.Paragraph'Class
        and then Markdown.Implementation.Paragraphs.Paragraph'Class
          (Self.Data.all).Table_Columns = 0;
   end Is_Paragraph;

   --------------
   -- Is_Quote --
   --------------

   function Is_Quote (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Markdown.Implementation.Quotes.Quote;
   end Is_Quote;

   --------------
   -- Is_Table --
   --------------

   function Is_Table (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Markdown.Implementation.Paragraphs.Paragraph'Class
        and then Markdown.Implementation.Paragraphs.Paragraph'Class
          (Self.Data.all).Table_Columns > 0;
   end Is_Table;

   -----------------------
   -- Is_Thematic_Break --
   -----------------------

   function Is_Thematic_Break (Self : Block'Class) return Boolean is
   begin
      return Is_Assigned (Self.Data)
        and then Self.Data.all in
          Markdown.Implementation.Thematic_Breaks.Thematic_Break;
   end Is_Thematic_Break;

   --------------------
   -- To_ATX_Heading --
   --------------------

   function To_ATX_Heading (Self : Block)
     return Markdown.Blocks.ATX_Headings.ATX_Heading is
   begin
      return Markdown.Blocks.ATX_Headings.From_Block (Self);
   end To_ATX_Heading;

   --------------------------
   -- To_Fenced_Code_Block --
   --------------------------

   function To_Fenced_Code_Block (Self : Block)
     return Markdown.Blocks.Fenced_Code.Fenced_Code_Block is
   begin
      return Markdown.Blocks.Fenced_Code.From_Block (Self);
   end To_Fenced_Code_Block;

   -------------------
   -- To_HTML_Block --
   -------------------

   function To_HTML_Block (Self : Block)
     return Markdown.Blocks.HTML.HTML_Block is
   begin
      return Markdown.Blocks.HTML.From_Block (Self);
   end To_HTML_Block;

   ----------------------------
   -- To_Indented_Code_Block --
   ----------------------------

   function To_Indented_Code_Block (Self : Block)
     return Markdown.Blocks.Indented_Code.Indented_Code_Block is
   begin
      return Markdown.Blocks.Indented_Code.From_Block (Self);
   end To_Indented_Code_Block;

   -------------
   -- To_List --
   -------------

   function To_List (Self : Block) return Markdown.Blocks.Lists.List is
   begin
      return Markdown.Blocks.Lists.From_Block (Self);
   end To_List;

   ------------------
   -- To_Paragraph --
   ------------------

   function To_Paragraph (Self : Block)
     return Markdown.Blocks.Paragraphs.Paragraph is
   begin
      return Markdown.Blocks.Paragraphs.From_Block (Self);
   end To_Paragraph;

   --------------
   -- To_Quote --
   --------------

   function To_Quote (Self : Block)
     return Markdown.Blocks.Quotes.Quote is
   begin
      return Markdown.Blocks.Quotes.From_Block (Self);
   end To_Quote;

   --------------
   -- To_Table --
   --------------

   function To_Table (Self : Block)
     return Markdown.Blocks.Tables.Table is
   begin
      return Markdown.Blocks.Tables.From_Block (Self);
   end To_Table;

   -----------------------
   -- To_Thematic_Break --
   -----------------------

   function To_Thematic_Break (Self : Block)
     return Markdown.Blocks.Thematic_Breaks.Thematic_Break is
   begin
      return Markdown.Blocks.Thematic_Breaks.From_Block (Self);
   end To_Thematic_Break;

end Markdown.Blocks;