Reference counting smart pointers library for Ada
Enables inner tagged types operations to accept and return references wrapping these types' accesses by using special tricks. This way naked unsafe access values can mostly be eliminated, something that other smart pointers fail to provide.
| 修订版 | 028e5b8ef1dc4baccc2e82b205662fdf9c9cbb71 (tree) |
|---|---|
| 时间 | 2019-09-08 21:19:26 |
| 作者 |  Sergey Dukov <dukov54@live...> |
| Commiter | Sergey Dukov |
Изменения в файле build.txt
Source/Referencing.Types.Operations.ads (diff)| @@ -28,10 +28,12 @@ | ||
| 28 | 28 | new Ada.Unchecked_Conversion (Referenced_Access, System.Address); |
| 29 | 29 | |
| 30 | 30 | function Is_Unique (Object : Referenced'Class) return Boolean; |
| 31 | - pragma Inline_Always(Is_Unique); | |
| 31 | + pragma Inline(Is_Unique); | |
| 32 | + | |
| 32 | 33 | procedure Retain (Object : in out Referenced'Class); |
| 33 | --- pragma Inline_Always(Retain); | |
| 34 | + pragma Inline(Retain); | |
| 35 | + | |
| 34 | 36 | procedure Release (Object : in out Referenced'Class; Result : out Boolean); |
| 35 | --- pragma Inline_Always(Release); | |
| 37 | + pragma Inline(Release); | |
| 36 | 38 | |
| 37 | 39 | end Referencing.Types.Operations; |
Fork