Ada 95 Booch Components / Bugs / #24 No protection against multiple calls to Finalize

#24 No protection against multiple calls to Finalize

Milestone: v1.0_(example)

Status: closed-rejected

Owner: Simon Wright

Labels: Code (21)

Priority: 5

Updated: 2021-06-29

Created: 2009-09-29

Creator: Simon Wright

Private: No

BC.Support.Synchronization: the Finalize calls aren't protected against multiple calls, which is entirely legal in Ada.
The obvious problem is with Read_Lock, but there may be other more obscure possibilities.

Discussion

Simon Wright - 2009-09-30

ARM95 7.6.1(24), Note 21: the types involved are visibly only limited private, so the user can't call Finalize explicitly, so there will only be one call to Finalize

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Simon Wright - 2009-09-30

labels: --> Code

assigned_to: nobody --> simonjwright

status: open --> closed-rejected
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Simon Wright - 2018-05-02

status: closed-rejected --> open

Group: --> v1.0_(example)
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Simon Wright - 2021-06-29

status: open --> closed-rejected
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

No protection against multiple calls to Finalize

Group

Searches

Help

#24 No protection against multiple calls to Finalize

Discussion