[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[elpa] externals/wisi 01c34d0 33/35: In wisi, missed a few files in 3.1.
From: |
Stefan Monnier |
Subject: |
[elpa] externals/wisi 01c34d0 33/35: In wisi, missed a few files in 3.1.2 release |
Date: |
Sat, 28 Nov 2020 14:47:59 -0500 (EST) |
branch: externals/wisi
commit 01c34d04d2b841ad8ef8359d4f188f51968fda92
Author: Stephen Leake <stephen_leake@stephe-leake.org>
Commit: Stephen Leake <stephen_leake@stephe-leake.org>
In wisi, missed a few files in 3.1.2 release
---
sal-gen_unbounded_definite_vectors.adb | 12 ++++++++----
sal-gen_unbounded_definite_vectors.ads | 8 +++++---
sal.adb | 2 +-
3 files changed, 14 insertions(+), 8 deletions(-)
diff --git a/sal-gen_unbounded_definite_vectors.adb
b/sal-gen_unbounded_definite_vectors.adb
index faf1b45..9e1c189 100644
--- a/sal-gen_unbounded_definite_vectors.adb
+++ b/sal-gen_unbounded_definite_vectors.adb
@@ -525,8 +525,10 @@ package body SAL.Gen_Unbounded_Definite_Vectors is
end Variable_Ref;
overriding function First (Object : Iterator) return Cursor
- is begin
- if Object.Container.Elements = null then
+ is
+ use all type Ada.Containers.Count_Type;
+ begin
+ if Object.Container.Length = 0 then
return (Object.Container, Invalid_Peek_Index);
else
return (Object.Container, To_Peek_Type (Object.Container.First));
@@ -534,8 +536,10 @@ package body SAL.Gen_Unbounded_Definite_Vectors is
end First;
overriding function Last (Object : Iterator) return Cursor
- is begin
- if Object.Container.Elements = null then
+ is
+ use all type Ada.Containers.Count_Type;
+ begin
+ if Object.Container.Length = 0 then
return (Object.Container, Invalid_Peek_Index);
else
return (Object.Container, To_Peek_Type (Object.Container.Last));
diff --git a/sal-gen_unbounded_definite_vectors.ads
b/sal-gen_unbounded_definite_vectors.ads
index 818a223..29ecae0 100644
--- a/sal-gen_unbounded_definite_vectors.ads
+++ b/sal-gen_unbounded_definite_vectors.ads
@@ -177,10 +177,12 @@ package SAL.Gen_Unbounded_Definite_Vectors is
function Iterate (Container : aliased in Vector) return
Iterator_Interfaces.Reversible_Iterator'Class;
function Constant_Ref (Container : aliased in Vector; Position : in Cursor)
return Constant_Reference_Type
- with Inline, Pre => Has_Element (Position);
+ with Pre => Has_Element (Position) and then
+ To_Index (Position) in Container.First_Index ..
Container.Last_Index;
function Variable_Ref (Container : aliased in Vector; Position : in
Cursor) return Variable_Reference_Type
- with Pre => Has_Element (Position);
+ with Pre => Has_Element (Position) and then
+ To_Index (Position) in Container.First_Index ..
Container.Last_Index;
pragma Inline (Variable_Ref);
private
@@ -194,7 +196,7 @@ private
Elements : Array_Access;
-- Elements may be non-null with First = No_Index, after
-- Set_Capacity. If First /= No_Index and Last >= First, Elements /=
- -- null.
+ -- null. First > Last means Vector is empty.
First : Extended_Index := No_Index;
Last : Extended_Index := No_Index;
end record;
diff --git a/sal.adb b/sal.adb
index 08a2184..6265651 100644
--- a/sal.adb
+++ b/sal.adb
@@ -26,7 +26,7 @@ package body SAL is
function Version return String is
begin
- return "SAL 3.4";
+ return "SAL 3.5";
end Version;
end SAL;
- [elpa] externals/wisi dd09dcf 35/35: * .gitignore: New file, (continued)
- [elpa] externals/wisi dd09dcf 35/35: * .gitignore: New file, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi 232d669 18/35: Release: ada-mode: version 5.2.0. wisi: version 1.1.3, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi c7f61e5 26/35: In ada-mode, wisi; release ada-mode 6.1.1, wisi 2.1.1, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi 66d7e59 27/35: In ada-mode, wisi: release Ada mode 6.2.0, wisi 1.2.0., Stefan Monnier, 2020/11/28
- [elpa] externals/wisi 1dc8c19 12/35: release ada-mode 5.1.7, wisi 1.1.0; minor format changes in ada-ref-man (take 2), Stefan Monnier, 2020/11/28
- [elpa] externals/wisi 5934bfc 06/35: release ada-mode 5.1.0, wisi 1.0.1, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi d9cd208 32/35: In ada-mode, release 7.1.3; in wisi, release 3.1.2, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi c80e75d 30/35: Release ada-mode 7.1.0, wisi 3.1.0, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi 4d8af96 05/35: update to Ada mode version 5.0.1, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi 8a5302b 09/35: ada-mode 5.1.3, wisi 1.0.4, Stefan Monnier, 2020/11/28
- [elpa] externals/wisi 01c34d0 33/35: In wisi, missed a few files in 3.1.2 release,
Stefan Monnier <=
- [elpa] externals/wisi 0e04e18 08/35: ada-mode, wisi: bump versions again; forgot to add some files to git, Stefan Monnier, 2020/11/28