VSS.XML.Events

Entities

Simple Types

• XML_Event_Kind

Record Types

• XML_Event

Description

Copyright (C) 2022, AdaCore

SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

XML_Event

type XML_Event (Kind : XML_Event_Kind := None) is record
   case Kind is
      when None =>
         null;
      when Start_Element | Attribute | End_Element =>
         URI  : VSS.IRIs.IRI;
         Name : VSS.Strings.Virtual_String;
         case Kind is
            when Attribute =>
               Value : VSS.Strings.Virtual_String;
            when others =>
               null;
         end case;
      when Text | CDATA | Comment =>
         Text : VSS.Strings.Virtual_String;
      when Processing_Instruction =>
         Target : VSS.Strings.Virtual_String;
         Data   : VSS.Strings.Virtual_String;
   end case;
end record;

Record fields

Kind

URI

Name

Value

Text

Target

Data

XML_Event_Kind

type XML_Event_Kind is
  (None,
   Start_Element,
   Attribute,
   End_Element,
   Comment,
   Processing_Instruction,
   Text,
   CDATA);

Enumeration Literal

None

Start_Element

Attribute

End_Element

Comment

Processing_Instruction

Text

CDATA