VDMJ permits subclasses to call private constructors

[overturetool]

VDMJ permits subclasses to call private constructors

[joey-coleman]

Comment by nick_battle, 2013-05-31 21:20:36.248000:

• Release: --> v2.0.0beta2

[joey-coleman]

Comment by nick_battle, 2013-05-31 21:20:36.558000:

class A
instance variables
    iv:nat

operations
    private A: () ==> A
    A() == iv := 123;

end A

class B is subclass of A

operations
public test : () ==>()
test()==skip;
end B

This produces the following:

> p new B()
B{#2, A{#1, iv:=123}}

Still present in 2.0.0b2

[joey-coleman]

Comment by nick_battle, 2013-08-09 07:31:24.295000:

• Release: v2.0.0beta2 --> v2.0.0beta4

[joey-coleman]

Comment by nick_battle, 2013-08-27 15:47:29.830000:

• Release: v2.0.0beta4 --> v2.0.0beta5

[joey-coleman]

Comment by nick_battle, 2013-09-02 11:05:06.362000:

• Release: v2.0.0beta5 --> v2.0.0beta6

[joey-coleman]

Comment by nick_battle, 2013-10-16 07:03:36.661000:

• Release: v2.0.0beta6 --> v2.0.0

[joey-coleman]

Comment by nick_battle, 2013-10-16 07:03:37.226000:

Still in 2.0

[nickbattle]

Now fixed in ncb/development.