diff options
Diffstat (limited to 'gcc/ada/a-cofove.ads')
-rw-r--r-- | gcc/ada/a-cofove.ads | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/a-cofove.ads b/gcc/ada/a-cofove.ads index 1f9b94f..2c451fb8 100644 --- a/gcc/ada/a-cofove.ads +++ b/gcc/ada/a-cofove.ads @@ -45,8 +45,9 @@ -- which is not possible if cursors encapsulate an access to the underlying -- container. --- There are two new functions: +-- There are three new functions: +-- function Strict_Equal (Left, Right : Vector) return Boolean; -- function Left (Container : Vector; Position : Cursor) return Vector; -- function Right (Container : Vector; Position : Cursor) return Vector; @@ -349,6 +350,11 @@ package Ada.Containers.Formal_Vectors is end Generic_Sorting; + function Strict_Equal (Left, Right : Vector) return Boolean; + -- Strict_Equal returns True if the containers are physically equal, i.e. + -- they are structurally equal (function "=" returns True) and that they + -- have the same set of cursors. + function Left (Container : Vector; Position : Cursor) return Vector with Pre => Has_Element (Container, Position) or else Position = No_Element; function Right (Container : Vector; Position : Cursor) return Vector with |