Hosted by
|
with Readers; use Readers;
with Token_Readers; use Token_Readers;
with String_Lists; use String_Lists;
package XML_Readers is
type XML_Reader is
new Token_Reader with
record
Contexts : String_List_Access;
end record;
type XML_Reader_Access is access XML_Reader;
procedure Initialize_XML_Reader
(This : access XML_Reader'Class);
procedure Initialize_XML_Reader
(This : access XML_Reader'Class;
Filename : in String);
procedure Finalize_XML_Reader
(This : access XML_Reader'Class);
function Current_Input
return XML_Reader_Access;
function Open
(Filename : in String)
return XML_Reader_Access;
procedure Close
(This : in out XML_Reader_Access);
function End_Of_Tag
(This : access XML_Reader'Class)
return Boolean;
procedure XML_Expect_Error
(This : access XML_Reader'Class;
Final : in String;
Choices : in String);
function Get_Context
(This : access XML_Reader'Class)
return String;
function Context_Is
(This : access XML_Reader'Class;
Context : in String)
return Boolean;
function Descend
(This : access XML_Reader'Class)
return Boolean;
procedure Assert_Tag_Name
(This : access XML_Reader'Class;
Name : in String);
procedure Exit_Tag
(This : access XML_Reader'Class);
procedure Assert_Tag
(This : access XML_Reader'Class;
Name : in String);
procedure Exit_Element
(This : access XML_Reader'Class);
procedure Read_Attribute_Name
(This : access XML_Reader'Class);
procedure Assert_Attribute_Name
(This : access XML_Reader'Class;
Name : in String);
procedure Read_Attribute_Value
(This : access XML_Reader'Class);
procedure Assert_Attribute_Value
(This : access XML_Reader'Class;
Value : in String);
function Read_Data
(This : access XML_Reader'Class)
return String;
function Read_Element_Data
(This : access XML_Reader'Class;
Name : in String)
return String;
end XML_Readers;
|