Natools

Differences From Artifact [3bfa20ca4b]:

• File src/natools-references__protected.adb — part of check-in [66369eba6c] at 2014-07-17 19:37:28 on branch trunk — references__protected: task-safe portable variant of Natools.References, based on protected counters (user: nat, size: 4947) [annotate] [blame] [check-ins using]

To Artifact [440d417607]:

• File src/natools-references__protected.adb — part of check-in [610b834d9d] at 2014-08-24 20:31:35 on branch trunk — references: add Is_Last primitive

  It's almost a break in abstraction, and it's unsafe to use when the reference can be accessed concurrently. However it might have some use in some context, to free the last reference when checked in a protected or thread-local context, to build a crude garbage collection system. (user: nat, size: 5078) [annotate] [blame] [check-ins using]

109
110
111
112
113
114
115






116
117
118
119
120
121
122

   function Is_Empty (Ref : Immutable_Reference) return Boolean is
   begin
      return Ref.Count = null;
   end Is_Empty;








   function "=" (Left, Right : Immutable_Reference) return Boolean is
   begin
      return Left.Data = Right.Data;
   end "=";

>
>
>
>
>
>

109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128

   function Is_Empty (Ref : Immutable_Reference) return Boolean is
   begin
      return Ref.Count = null;
   end Is_Empty;


   function Is_Last (Ref : Immutable_Reference) return Boolean is
   begin
      return Ref.Count.Get_Value = 1;
   end Is_Last;


   function "=" (Left, Right : Immutable_Reference) return Boolean is
   begin
      return Left.Data = Right.Data;
   end "=";