Natools

History of src/natools-references__protected.ads of 24be612b042c653d
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

History of the file that is called src/natools-references__protected.ads at check-in 24be612b042c653d

2014-11-26
20:13
references: add Implicit_Dereference aspects file: [d99e38b57b] check-in: [3a18c0edc9] user: nat branch: trunk, size: 6142
2014-08-24
20:31
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. file: [3cec4789c7] check-in: [610b834d9d] user: nat branch: trunk, size: 6074

2014-07-19
18:27
Add pragma Preelaborable_Initialization throughout the code file: [18a0c38fdf] check-in: [3b9912ed66] user: nat branch: trunk, size: 5845
2014-07-17
19:37
Added: references__protected: task-safe portable variant of Natools.References, based on protected counters file: [46a97aca04] check-in: [66369eba6c] user: nat branch: trunk, size: 5731