Re: Initialization Params for Controlled Types

[je@unix.brighton.ac.uk (John English)]

Norman H. Cohen (ncohen@watson.ibm.com) wrote:
: In article <1994Nov4.134412.10010@unix.brighton.ac.uk>,
: je@unix.brighton.ac.uk (John English) writes: 

: |> C++ sidesteps this problem by making constructors non-inheritable.
: |> The only way to accomplish this in 9X is to make sure that Open isn't
: |> a primitive (e.g. by shoving it in a child package) which is fairly
: |> painful.

: Note that the danger of an inadvertent error could be avoided in Ada 9X
: by making the constructor a function returning a BankAccount value: 

:    function New_Bank_Account (Name: String) return BankAccount;

Yes, I should have declared it "type BankAccount is tagged limited private"
since I assume that copying a bank account shouldn't be allowed -- my mistake.
If this is so, you can't use a function for initialisation.

-- 
-------------------------------------------------------------------------------
John English                    | Thoughts for the day:
Dept. of Computing              | - People who live in windowed environments
University of Brighton          |   shouldn't cast pointers
E-mail: je@brighton.ac.uk       | - In C++ only your friends can access your
Fax:    0273 642405             |   private parts
-------------------------------------------------------------------------------