mirror of
https://github.com/AdaCore/VSS.git
synced 2026-02-12 13:06:25 -08:00
41 lines
1.1 KiB
Ada
41 lines
1.1 KiB
Ada
--
|
|
-- Copyright (C) 2023, AdaCore
|
|
--
|
|
-- SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
--
|
|
|
|
with VSS.JSON.Pull_Readers.Buffered;
|
|
with VSS.JSON.Streams;
|
|
|
|
with Tests_JSON_Streams;
|
|
|
|
procedure Test_JSON_Buffered_Pull_Reader is
|
|
|
|
use all type VSS.JSON.Streams.JSON_Stream_Element_Kind;
|
|
|
|
Data :
|
|
aliased constant Tests_JSON_Streams.JSON_Stream_Element_Vectors.Vector :=
|
|
[(Kind => Start_Document),
|
|
(Kind => Start_Object),
|
|
(Kind => Key_Name, Key_Name => "member"),
|
|
(Kind => Start_Array),
|
|
(Kind => Null_Value),
|
|
(Kind => Boolean_Value, Boolean_Value => True),
|
|
(Kind => Number_Value,
|
|
Number_Value =>
|
|
(Kind => VSS.JSON.JSON_Integer,
|
|
String_Value => "123",
|
|
Integer_Value => 123)),
|
|
(Kind => String_Value, String_Value => "text"),
|
|
(Kind => End_Array),
|
|
(Kind => End_Object),
|
|
(Kind => End_Document)];
|
|
|
|
procedure Test_Mark_Reset;
|
|
|
|
procedure Test_Mark_Reset is separate;
|
|
|
|
begin
|
|
Test_Mark_Reset;
|
|
end Test_JSON_Buffered_Pull_Reader;
|