Copyright (C) 2023, AdaCore
SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
function Boolean_Value
(Self : JSON_Buffered_Pull_Reader) return Boolean
function Element_Kind
(Self : JSON_Buffered_Pull_Reader)
return VSS.JSON.Streams.JSON_Stream_Element_Kind
type JSON_Buffered_Pull_Reader
(Reader : not null access JSON_Pull_Reader'Class)
is limited new JSON_Pull_Reader with private;
function Key_Name
(Self : JSON_Buffered_Pull_Reader) return VSS.Strings.Virtual_String
procedure Mark (Self : in out JSON_Buffered_Pull_Reader'Class)
Mark position in the input stream. Call of the Reset subprogram reposition stream to the marked position.
function Number_Value
(Self : JSON_Buffered_Pull_Reader) return VSS.JSON.JSON_Number
procedure Reset (Self : in out JSON_Buffered_Pull_Reader'Class)
Reposition stream to the last marked position.
function String_Value
(Self : JSON_Buffered_Pull_Reader) return VSS.Strings.Virtual_String
procedure Unmark (Self : in out JSON_Buffered_Pull_Reader'Class)
Remove position mark.